Package: libmsolve-dev
Source: msolve
Version: 0.10.1-1build1
Architecture: arm64
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian Math Team <team+math@tracker.debian.org>
Installed-Size: 791
Depends: libmsolve3 (= 0.10.1-1build1)
Section: libdevel
Priority: optional
Multi-Arch: same
Homepage: https://msolve.lip6.fr/
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.
