Package: msolve (0.6.5-1 and others) [debports]

[ Source:  ]

computer algebra algorithms for solving polynomial systems

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 command line interface and documentation.

Other Packages Related to msolve

• dep: libc6 (>= 2.34)

  GNU C Library: Shared libraries
  also a virtual package provided by libc6-udeb

• dep: libflint19 (>= 3.1.2)

  C library for number theory, shared library

• dep: libgmp10 (>= 2:6.3.0+dfsg)

  Multiprecision arithmetic library

• dep: libgomp1 (>= 6)

  GCC OpenMP (GOMP) support library

• dep: libmsolve-0.6.5 (>= 0.6.5)

  computer algebra algorithms for solving polynomial systems (shared library)

Download msolve

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
ppc64 (unofficial port)	0.6.5-1+b1	587.6 kB	842.0 kB	[list of files]