msolve
msolve copied to clipboard
Library for Polynomial System Solving through Algebraic Methods
`GetOptions(opts)` returns 10 values, while `MSolveRealRoots` only receives 9.
The comment in `interfaces/msolve-to-maple-file-interface.mpl` https://github.com/algebraic-solving/msolve/blob/07c7cb2c0eaa7dba7c54dc1e64178fea58e40d6a/interfaces/msolve-to-maple-file-interface.mpl#L21-L24 is not accurate, as the sed command does work for macOS users with GNU sed, which is common for Nix users in a build environment:...
Hello, I compile msolve from the latest commit https://github.com/algebraic-solving/msolve/commit/ea859ac31a054bd74ab56304b69bb53057a1f9a5, and run the command `msolve -g 2 -c 0 -f input.txt -o output.txt`. After about 10 minutes I get Segmentation fault....
Linux distributions must build for the lowest common denominator CPU. For the Fedora Linux distribution, the original x86_64 is still supported, meaning we cannot build msolve with AVX2 support. Would...
Some of the tests are are failing and hanging on 32-bit architectures, possibly due to using `long` (which is only 32 bits instead of 64 on these architectures). For example...
`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...
This solves #182. This also does minor cleaning in two functions of iofiles, the only difference in behaviour should be that `get_nvars` returns `-1` on failure (it used to return...
Otherwise, it is impossible to obtain the rational parameterization in the example...