Package: msolve (0.9.4-2 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, loong64, sh4]

  GNU C 라이브러리: 공유 라이브러리
  also a virtual package provided by libc6-udeb

  dep: libc6 (>= 2.41) [sh4]

  dep: libc6 (>= 2.42) [loong64]

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

  GNU C 라이브러리: 공유 라이브러리
  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: libflint22 (>= 3.4.0) [not ia64, sh4]

  C library for number theory, shared library

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

  Multiprecision 연산 라이브러리

• dep: libgomp1 (>= 6)

  GCC OpenMP (GOMP) 지원 라이브러리

• dep: libmsolve-0.6.5 (>= 0.6.5) [ia64]

  computer algebra algorithms for solving polynomial systems (shared library)

• dep: libmsolve0 (>= 0.7.0) [sh4]

  computer algebra algorithms for solving polynomial systems (shared library)

• dep: libmsolve3 (>= 0.7.0) [not ia64, sh4]

  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.9.4-2	587.7 kB	832.0 kB	[list of files]
amd64	0.9.4-2	590.7 kB	787.0 kB	[list of files]
arm64	0.9.4-2	574.3 kB	767.0 kB	[list of files]
armhf	0.9.4-2	572.6 kB	702.0 kB	[list of files]
hppa (unofficial port)	0.9.4-2	588.7 kB	785.0 kB	[list of files]
i386	0.9.4-2	600.2 kB	830.0 kB	[list of files]
ia64 (unofficial port)	0.6.5-1+b1	607.3 kB	998.0 kB	[list of files]
loong64	0.9.4-2	581.7 kB	830.0 kB	[list of files]
m68k (unofficial port)	0.9.4-2	569.2 kB	742.0 kB	[list of files]
ppc64 (unofficial port)	0.9.4-2	601.4 kB	895.0 kB	[list of files]
ppc64el	0.9.4-2	601.9 kB	895.0 kB	[list of files]
riscv64	0.9.4-2	585.7 kB	711.0 kB	[list of files]
s390x	0.9.4-2	606.3 kB	846.0 kB	[list of files]
sh4 (unofficial port)	0.7.5-1	607.7 kB	767.0 kB	[list of files]
sparc64 (unofficial port)	0.9.4-2	571.4 kB	1,541.0 kB	[list of files]