Package: msolve (0.7.3-1 and others)

[ Source: msolve  ]

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.38) [not alpha, ia64, sh4]

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

  dep: libc6 (>= 2.40) [sh4]

• dep: libc6.1 (>= 2.37) [ia64]

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

  dep: libc6.1 (>= 2.38) [alpha]

• dep: libflint17 [sh4]

  C library for number theory, shared library

• dep: libflint19 (>= 3.1.2) [ia64]

  C library for number theory, shared library

  dep: libflint19 (>= 3.1.3) [not ia64, sh4]

• 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) [ia64]

  computer algebra algorithms for solving polynomial systems (shared library)

• dep: libmsolve0 (>= 0.7.0) [not ia64]

  computer algebra algorithms for solving polynomial systems (shared library)

Download msolve

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
alpha (unofficial port)	0.7.3-1	585.8 kB	832.0 kB	[list of files]
amd64	0.7.3-1	592.4 kB	783.0 kB	[list of files]
arm64	0.7.3-1	574.9 kB	767.0 kB	[list of files]
armel	0.7.3-1	571.0 kB	750.0 kB	[list of files]
armhf	0.7.3-1	571.1 kB	678.0 kB	[list of files]
hppa (unofficial port)	0.7.3-1	586.6 kB	781.0 kB	[list of files]
i386	0.7.3-1	602.4 kB	822.0 kB	[list of files]
ia64 (unofficial port)	0.6.5-1+b1	607.3 kB	998.0 kB	[list of files]
m68k (unofficial port)	0.7.3-1	570.3 kB	742.0 kB	[list of files]
mips64el	0.7.3-1	576.1 kB	839.0 kB	[list of files]
ppc64 (unofficial port)	0.7.3-1	600.8 kB	895.0 kB	[list of files]
ppc64el	0.7.3-1	600.8 kB	895.0 kB	[list of files]
riscv64	0.7.3-1	584.7 kB	707.0 kB	[list of files]
s390x	0.7.3-1	605.5 kB	842.0 kB	[list of files]
sh4 (unofficial port)	0.7.3-1	607.6 kB	767.0 kB	[list of files]
sparc64 (unofficial port)	0.7.3-1	570.2 kB	1,541.0 kB	[list of files]