search

algebraic-solving / msolve

Library for Polynomial System Solving through Algebraic Methods
https://msolve.lip6.fr
GNU General Public License v2.0
84 stars 21 forks source link

Allow passing the field of rational numbers in maple interface #138

Open wegank opened 1 month ago

wegank commented 1 month ago

fc = 0 was previously not handled in MSolveGroebner, causing an undefined field_char and subsequent failures when passed to ToMSolve.

Tested with the following lines, saved as test.mpl in the project root directory, with a global installation of msolve on macOS.

read("interfaces/msolve-to-maple-file-interface-macos.mpl");
MSolveGroebner([x^2 + y^2 - 4, x * y - 1], 0, [x, y], ["mspath" = "msolve"]);