Пакунок: libmsolve-dev (0.9.0-2 and others)

computer algebra algorithms for solving polynomial systems (development)

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

Currently, with msolve, you can basically solve multivariate polynomial systems. This encompasses:

 * the computation of Groebner bases
 * real root isolation of the solutions to polynomial systems
 * the computation of the dimension and the degree of the solution set
 * and many other things you can do using msolve.

This package contains the development files for the library.

This page is also available in the following languages (How to set the default document language):