Maxima 不使用 solve 函数求解系统 sqrt(x)=1, y=1

Question

我正在尝试求解以最大值为根的方程组，例如：

solve([sqrt(x) = 1, y = 1], [x,y]);

但是maxima说这个系统没有解。另一方面，maxima 能够求解这个方程：

solve([sqrt(x) = 1], [x]);

我可以在最大值中解决上述系统吗？

Answer 1

内置的solve有严重的局限性。附加功能to_poly_solve可以求解含有根的方程；我不知道它的局限性是什么。

(%i2) load (to_poly_solve);
(%o2) /usr/local/share/maxima/5.40.0/share/to_poly_solve/to_poly_solve.mac
(%i3) to_poly_solve ([sqrt(x) = 1, y = 1], [x,y]);
(%o3)                       %union([x = 1, y = 1])

%union 表示解并集。由于只找到一个解决方案，%union 可以简化掉；它的存在可能有点不方便，但并非不正确。

Maxima 不使用 solve 函数求解系统 sqrt(x)=1, y=1

Maxima does not solve the system sqrt(x)=1, y=1 with the solve function

maxima