msolve: Multivariate polynomial system solver¶

Description¶

Open source C library implementing computer algebra algorithms for solving polynomial systems (with rational coefficients or coefficients in a prime field).

License¶

GPL v2+

Upstream Contact¶

https://github.com/algebraic-solving/msolve

Type¶

optional

Dependencies¶

• $(MP_LIBRARY)

• _bootstrap: Represents system packages required for running the top-level bootstrap script

• flint: Fast Library for Number Theory

• mpfr: Multiple-precision floating-point computations with correct rounding

Version Information¶

package-version.txt:

0.9.0

Installation commands¶

$ sage -i msolve

If the system package is installed, ./configure will check if it can be used.