@@ -35,6 +35,7 @@ (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 lisp)
@@ -258,6 +259,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")