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
Dependencies#
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 libbrial-dev libbrial-groebner-dev
Fedora/Redhat/CentOS:
$ sudo yum install brial brial-devel
freebsd:
$ sudo pkg install math/brial
gentoo:
$ sudo emerge sci-libs/brial
nix:
$ nix-env --install brial
opensuse:
$ sudo zypper install brial-devel
void:
$ sudo xbps-install brial-devel
See https://repology.org/project/brial/versions
If the system package is installed, ./configure will check whether it can be used.