diff options
| author | Andreas Enge <andreas@enge.fr> | 2019-06-19 23:57:49 +0200 |
|---|---|---|
| committer | Andreas Enge <andreas@enge.fr> | 2019-06-19 23:57:49 +0200 |
| commit | a1dcaacb7b790668fd8cce6ce29a004587f50218 (patch) | |
| tree | 7e528f2bb73e14ac56439ed96a28bf9daeca208b | |
| parent | 37edfb0f1cdff251b1231d687041dfe6e7ea92e5 (diff) | |
gnu: Add brial.
* gnu/packages/sagemath.scm (brial): New variable.
| -rw-r--r-- | gnu/packages/sagemath.scm | 40 |
1 files changed, 40 insertions, 0 deletions
diff --git a/gnu/packages/sagemath.scm b/gnu/packages/sagemath.scm index 6cf1badb3c..8ae3cf77ff 100644 --- a/gnu/packages/sagemath.scm +++ b/gnu/packages/sagemath.scm @@ -27,7 +27,9 @@ #:use-module (gnu packages algebra) #:use-module (gnu packages autotools) #:use-module (gnu packages bdw-gc) + #:use-module (gnu packages boost) #:use-module (gnu packages compression) + #:use-module (gnu packages image) #:use-module (gnu packages multiprecision) #:use-module (gnu packages pkg-config) #:use-module (gnu packages python) @@ -313,3 +315,41 @@ on numerical types, while GiNaC depends on CLN for this purpose.") coefficients of which are modular integers.") (license (list license:gpl2 license:gpl3)) ; dual licensed (home-page "https://gitlab.com/sagemath/zn_poly"))) + +(define-public brial + (package + (name "brial") + (version "1.2.5") + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/BRiAl/BRiAl/") + (commit version))) + (file-name (git-file-name name version)) + (sha256 + (base32 + "1nv56fp3brpzanxj7vwvxqdafqfsfhdgq5imr3m94psw5gdfqwja")))) + (build-system gnu-build-system) + (native-inputs + `(("autoconf" ,autoconf) + ("automake" ,automake) + ("libtool" ,libtool) + ("pkg-config" ,pkg-config))) + (inputs + `(("boost" ,boost) + ("libpng" ,libpng) + ("m4ri" ,m4ri))) + (arguments + ;; We are missing the boost unit test framework. + `(#:tests? #f + #:configure-flags (list "--without-boost-unit-test-framework"))) + (synopsis "Arithmetic of polynomials over boolean rings") + (description "BRiAl is the successor to PolyBoRi maintained by the +Sage community. Its core is a C++ library, which provides high-level data +types for Boolean polynomials and monomials, exponent vectors, as well as +for the underlying polynomial rings and subsets of the powerset of the +Boolean variables. As a unique approach, binary decision diagrams are +used as internal storage type for polynomial structures.") + (license license:gpl2+) + (home-page "https://gitlab.com/sagemath/zn_poly"))) |