brial: Boolean Ring Algebra implementation using binary decision diagrams¶
Description¶
BRiAl (“Boolean Ring Algebra”) is the successor to PolyBoRi.
The core of PolyBoRi 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. On top of this C++-library we provide a Python interface. This allows parsing of complex polynomial systems, as well as sophisticated and extendable strategies for Gröbner base computation. PolyBoRi features a powerful reference implementation for Gröbner basis computation.
License¶
GPL version 2 or later
Upstream Contact¶
Type¶
standard
Version Information¶
package-version.txt:
1.2.8
Equivalent System Packages¶
arch:
$ sudo pacman -S brial
conda:
$ conda install brial
Debian/Ubuntu:
$ sudo apt-get install brial
Fedora/Redhat/CentOS:
$ sudo yum install brial
freebsd:
$ sudo pkg install brial
gentoo:
$ sudo emerge brial
nix:
$ nix-env --install brial
opensuse:
$ sudo zypper install brial
See https://repology.org/project/brial/versions
If the system package is installed, ./configure will check whether it can be used.