From 1c577237b1a2b8e81e91515d6030b772f181981b Mon Sep 17 00:00:00 2001
From: Vinicius Monego <monego@posteo.net>
Date: Sun, 9 Feb 2025 01:52:22 +0000
Subject: gnu: Add msolve.
* gnu/packages/algebra.scm (msolve): New variable.
Change-Id: I8587f7527a6eb1cc9065751351491777c4cd00be
Signed-off-by: Andreas Enge <andreas@enge.fr>
---
gnu/packages/algebra.scm | 33 +++++++++++++++++++++++++++++++++
1 file changed, 33 insertions(+)
(limited to 'gnu')
diff --git a/gnu/packages/algebra.scm b/gnu/packages/algebra.scm
index 7d82e280d5..9b9610f33a 100644
--- a/gnu/packages/algebra.scm
+++ b/gnu/packages/algebra.scm
@@ -2037,3 +2037,36 @@ (define-public reduce
(license (license:non-copyleft "file://README"
"See README in the distribution."))))
+(define-public msolve
+ (package
+ (name "msolve")
+ (version "0.7.3")
+ (source (origin
+ (method git-fetch)
+ (uri (git-reference
+ (url "https://github.com/algebraic-solving/msolve")
+ (commit (string-append "v" version))))
+ (file-name (git-file-name name version))
+ (sha256
+ (base32
+ "1ipsdw5sk4d344ki4r5ma9vn8gyi8hrk0n951r0720wvgxkw920p"))))
+ (build-system gnu-build-system)
+ (native-inputs (list autoconf automake libtool))
+ (inputs (list flint gmp mpfr))
+ (home-page "https://msolve.lip6.fr/")
+ (synopsis
+ "Library for polynomial system solving through algebraic methods")
+ (description "@code{msolve} is a 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:
+
+@itemize
+@item the computation of Groebner bases
+@item real root isolation of the solutions to polynomial systems
+@item the computation of the dimension and the degree of the solution set.
+@end itemize")
+ (license license:gpl2+)))
+
--
cgit v1.2.3