1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
|
Source: msolve
Section: math
Maintainer: Debian Math Team <team+math@tracker.debian.org>
Uploaders: Doug Torrance <dtorrance@debian.org>
Build-Depends: biber,
debhelper-compat (= 13),
help2man,
libflint-dev,
libgmp-dev,
libmpfr-dev,
texlive-bibtex-extra,
texlive-fonts-extra,
texlive-fonts-recommended,
texlive-latex-base,
texlive-latex-extra,
texlive-latex-recommended,
texlive-plain-generic,
texlive-science
Standards-Version: 4.7.3
Homepage: https://msolve.lip6.fr/
Vcs-Browser: https://salsa.debian.org/math-team/msolve
Vcs-Git: https://salsa.debian.org/math-team/msolve.git
Package: msolve
Architecture: any
Depends: ${misc:Depends}, ${shlibs:Depends}
Description: 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.
Package: libmsolve3
Section: libs
Architecture: any
Multi-Arch: same
Depends: ${misc:Depends}, ${shlibs:Depends}
Description: computer algebra algorithms for solving polynomial systems (shared library)
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 shared library.
Package: libmsolve-dev
Section: libdevel
Architecture: any
Multi-Arch: same
Depends: ${misc:Depends}, libmsolve3 (=${binary:Version})
Description: 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.
|
