Maxima不使用solve函数求解系统sqrt（x）= 1，y = 1

Question

我试图用最大值的根来解决方程组，例如：

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

但是，maxima说这个系统没有解决方案。另一方面，最大值能够解决这个等式：

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

我可以在maxima中解决上述系统吗？

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可以简化;它的存在可能有点不方便，但并非不正确。