我一直在尝试一些C++计算机代数库，以便与我正在学习的vector微积分类(class)一起使用。我在GiNaC和SymbolicC++中遇到非线性方程的问题它确实有效。这是一个简单的例子，但问题是我无法弄清楚如何计算一个数字并可能将其转换为double或float:#include#include"symbolicc++.h"usingnamespacestd;intmain(void){Symbolicx("x"),y("y");Equatione1=(x^2)+(y^2)==13;Equatione2=(x^2)-y==7;Equationseqs={e1,e2};listsym