msolve 0.11.0-1
Package Information
| 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. |
|---|---|
| Maintainer | Debian Math Team <team+math@tracker.debian.org> |
| Changed By | Doug Torrance <dtorrance@debian.org> |
| Distribution | unstable |
| Architecture | any |
| VCS | git: https://salsa.debian.org/math-team/msolve.git (browse) |
| Popcon Installs | 60 |
| Binary NEW | Yes (binary-only upload) |
| Tracker | https://tracker.debian.org/pkg/msolve |
| Uploaded | 4 hours ago |
New Package Report
.changes
| Source | msolve |
|---|---|
| Version | 0.11.0-1 |
| Changed-By | Doug Torrance |
| Architecture | source amd64 |
| Distribution | unstable |
| Date | Fri, 09 Oct 2026 07:44:28 -0400 |
Changelog
msolve (0.11.0-1) unstable; urgency=medium
.
* New upstream release.
* Rename libmsolve3 -> libmsolve4 for SOVERSION bump.
* debian/copyright
- Add new authors and update years for existing authors.
- Switch LGPL-2.1 -> LGPL-2.1+.
- Add src/neogb/test-driver and its license (GPL-2+ with Autoconf
exception).
* debian/libmsolve4.symbols
- Remove obsolete symbols..dsc
| Section | libdevel |
|---|---|
| Priority | optional |
| Component | main |
| Package-List | libmsolve-dev deb libdevel optional arch=any libmsolve4 deb libs optional arch=any msolve deb math optional arch=any |
debian/copyright
Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
Upstream-Name: msolve
Source: https://github.com/algebraic-solving/msolve
Files: *
Copyright: 2021-2026 Jérémy Berthomieu <jeremy.berthomieu@lip6.fr>
2021-2026 Christian Eder <ederc@mathematik.uni-kl.de>
2021-2026 Mohab Safey El Din <mohab.safey@lip6.fr>
2023-2026 Vincent Neiger
Jorge Garcia Fontan
Huu Phuoc Le
Bruno Salvy
License: GPL-2+
Files: m4/ax_check_compile_flag.m4
Copyright: 2008 Guido U. Draheim <guidod@gmx.de>
2011 Maarten Bosmans <mkbosmans@gmail.com>
License: FSFAP
Files: m4/ax_count_cpus.m4
Copyright: 2014 Karlson2k (Evgeny Grin) <k2k@narod.ru>
2012 Brian Aker <brian@tangent.org>
2008 Michael Paul Bailey <jinxidoru@byu.net>
2008 Christophe Tournayre <turn3r@users.sourceforge.net>
License: FSFAP
Files: m4/ax_cpu_vendor.m4
Copyright: 2008 Christophe Tournayre <turn3r@users.sourceforge.net>
License: FSFAP
Files: m4/ax_ext.m4
Copyright: 2007 Christophe Tournayre <turn3r@users.sourceforge.net>
2013, 2015 Michael Petch <mpetch@capp-sysware.com>
2017 Rafael de Lucena Valle <rafaeldelucena@gmail.com>
License: FSFAP
Files: m4/ax_gcc_builtin.m4
Copyright: 2013 Gabriele Svelto <gabriele.svelto@gmail.com>
License: FSFAP
Files: m4/ax_gcc_x86_avx_xgetbv.m4
Copyright: 2013 Michael Petch <mpetch@capp-sysware.com>
License: GPL-3+ with autoconf exception
Files: m4/ax_gcc_x86_cpuid.m4
Copyright: 2008 Steven G. Johnson <stevenj@alum.mit.edu>
2008 Matteo Frigo
2015 Michael Petch <mpetch@capp-sysware.com>
License: GPL-3+ with autoconf exception
Files: m4/ax_openmp.m4
Copyright: 2008 Steven G. Johnson <stevenj@alum.mit.edu>
2015 John W. Peterson <jwpeterson@gmail.com>
2016 Nick R. Papior <nickpapior@gmail.com>
License: GPL-3+ with autoconf exception
Files: src/crt/longlong.h
src/crt/ulong_extras.h
src/fglm/berlekamp_massey.c
src/msolve/getdelim.h
src/upolmat/nmod_mat_permute_rows.c
Copyright: 1991-1994, 1996-2025 Free Software Foundation, Inc.
2006-2009, 2015, 2016 William Hart
2008 Peter Shrimpton
2009 Tom Boothby
2010, 2011 Fredrik Johansson
2019 Daniel Schultz
2023 Albin Ahlbäck
License: LGPL-2.1+
Files: src/neogb/test-driver
Copyright: 2011-2018 Free Software Foundation, Inc.
License: GPL-2+ with Autoconf exception
Files: debian/*
Copyright: 2021-2026 Doug Torrance <dtorrance@debian.org>
License: GPL-2+
License: GPL-2+
This program is free software; you can redistribute it
and/or modify it under the terms of the GNU General Public
License as published by the Free Software Foundation; either
version 2 of the License, or (at your option) any later
version.
.
This program is distributed in the hope that it will be
useful, but WITHOUT ANY WARRANTY; without even the implied
warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR
PURPOSE. See the GNU General Public License for more
details.
.
You should have received a copy of the GNU General Public License along
with this package; if not, see <https://www.gnu.org/licenses/>.
.
On Debian systems, the full text of the GNU General Public
License version 2 can be found in the file
`/usr/share/common-licenses/GPL-2'.
License: FSFAP
Copying and distribution of this file, with or without modification,
are permitted in any medium without royalty provided the copyright
notice and this notice are preserved. This file is offered as-is,
without any warranty.
License: GPL-3+ with autoconf exception
This program is free software: you can redistribute it and/or modify it
under the terms of the GNU General Public License as published by the
Free Software Foundation, either version 3 of the License, or (at your
option) any later version.
.
This program is distributed in the hope that it will be useful, but
WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General
Public License for more details.
.
You should have received a copy of the GNU General Public License along
with this program. If not, see <http://www.gnu.org/licenses/>.
.
As a special exception, the respective Autoconf Macro's copyright owner
gives unlimited permission to copy, distribute and modify the configure
scripts that are the output of Autoconf when processing the Macro. You
need not follow the terms of the GNU General Public License when using
or distributing such scripts, even though portions of the text of the
Macro appear in them. The GNU General Public License (GPL) does govern
all other use of the material that constitutes the Autoconf Macro.
.
This special exception to the GPL applies to versions of the Autoconf
Macro released by the Autoconf Archive. When you make and distribute a
modified version of the Autoconf Macro, you may extend this special
exception to the GPL to apply to your modified version as well.
.
On Debian systems, the full text of the GNU General Public
License version 3 can be found in the file
`/usr/share/common-licenses/GPL-3'.
License: GPL-2+ with Autoconf exception
This program is free software; you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation; either version 2, or (at your option)
any later version.
.
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
.
You should have received a copy of the GNU General Public License
along with this program. If not, see <https://www.gnu.org/licenses/>.
.
As a special exception to the GNU General Public License, if you
distribute this file as part of a program that contains a
configuration script generated by Autoconf, you may include it under
the same distribution terms that you use for the rest of that program.
.
On Debian systems, the full text of the GNU General Public
License version 2 can be found in the file
`/usr/share/common-licenses/GPL-2'.
License: LGPL-2.1+
This library is free software; you can redistribute it and/or modify
it under the terms of the GNU Lesser General Public License as
published by the Free Software Foundation; either version 2.1 of the
License, or (at your option) any later version.
.
This library is distributed in the hope that it will be useful, but
WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
Lesser General Public License for more details.
.
You should have received a copy of the GNU Lesser General Public License
along with this library; if not, see <https://www.gnu.org/licenses/>.
.
On Debian systems, the complete text of the GNU Lesser General Public
License version 2.1 can be found in
"/usr/share/common-licenses/LGPL-2.1".