brial 1.2.8
Arithmetic of polynomials over boolean rings
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.
- Website: https://github.com/BRiAl/BRiAl/
- Licenses: GPL 2+
- Package source: gnu/packages/sagemath.scm
- Builds: See build status
- Issues: See known issues
Installation
Install brial 1.2.8
as follows:
guix install brial@1.2.8
Or install the latest version:
guix install brial
You can also install packages in augmented, pure or containerized environments for development or simply to try them out without polluting your user profile. See the guix shell
documentation for more information.