From 15033a1e63e3c6a987a2bd4c75663dcb08623109 Mon Sep 17 00:00:00 2001 From: Vinicius Monego Date: Mon, 13 May 2024 20:52:15 +0000 Subject: gnu: Add python-pplpy. * gnu/packages/sagemath.scm (python-pplpy): New variable. Change-Id: I24d436a03462fd7eb176d34a15683a88814238ea Signed-off-by: Sharlatan Hellseher --- gnu/packages/sagemath.scm | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) (limited to 'gnu/packages') diff --git a/gnu/packages/sagemath.scm b/gnu/packages/sagemath.scm index 8d5d04ee93..02201a9343 100644 --- a/gnu/packages/sagemath.scm +++ b/gnu/packages/sagemath.scm @@ -33,8 +33,10 @@ (define-module (gnu packages sagemath) #:use-module (gnu packages autotools) #:use-module (gnu packages bdw-gc) #:use-module (gnu packages boost) + #:use-module (gnu packages check) #:use-module (gnu packages compression) #:use-module (gnu packages image) + #:use-module (gnu packages maths) #:use-module (gnu packages lisp) #:use-module (gnu packages multiprecision) #:use-module (gnu packages pkg-config) @@ -227,6 +229,26 @@ (define-public zn-poly (license (list license:gpl2 license:gpl3)) ; dual licensed (home-page "https://gitlab.com/sagemath/zn_poly"))) +(define-public python-pplpy + (package + (name "python-pplpy") + (version "0.8.10") + (source + (origin + (method url-fetch) + (uri (pypi-uri "pplpy" version)) + (sha256 + (base32 "1zggfj09zkfcabcsasq27vwbhdmkig4yn380gi6wykcih9n22anl")))) + (build-system pyproject-build-system) + (native-inputs (list python-cython-3 python-pytest)) + (inputs (list gmp mpc mpfr pari-gp ppl)) + (propagated-inputs (list python-cysignals python-gmpy2)) + (home-page "https://github.com/sagemath/pplpy") + (synopsis "Python PPL wrapper") + (description "This Python package provides a wrapper to the C++ Parma +Polyhedra Library (PPL).") + (license license:gpl3+))) + (define-public brial (package (name "brial") -- cgit v1.2.3