Name : brial
| |
Version : 1.2.4
| Vendor : Fedora Project
|
Release : 1.fc29
| Date : 2018-09-14 04:41:44
|
Group : Unspecified
| Source RPM : brial-1.2.4-1.fc29.src.rpm
|
Size : 3.88 MB
| |
Packager : Fedora Project
| |
Summary : Framework for Boolean Rings
|
Description :
The core of BRiAl 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. BRiAL features a powerful reference implementation for Gröbner basis computation.
|
RPM found in directory: /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/29/Everything/x86_64/os/Packages/b |