Information for RPM brial-0.8.5-10.fc29.src.rpm
| ID | 81544 | ||||||||
|---|---|---|---|---|---|---|---|---|---|
| Name | brial | ||||||||
| Version | 0.8.5 | ||||||||
| Release | 10.fc29 | ||||||||
| Epoch | |||||||||
| Arch | src | ||||||||
| 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. | ||||||||
| Build Time | 2018-05-17 12:23:26 GMT | ||||||||
| Size | 1.33 MB | ||||||||
| b71059281c7b27908f9d75feb99aaeb3 | |||||||||
| License | GPLv2+ and BSD | ||||||||
| Buildroot | f29-build-1862-598 | ||||||||
| Provides | No Provides | ||||||||
| Obsoletes | No Obsoletes | ||||||||
| Conflicts | No Conflicts | ||||||||
| Requires |
|
||||||||
| Recommends | No Recommends | ||||||||
| Suggests | No Suggests | ||||||||
| Supplements | No Supplements | ||||||||
| Enhances | No Enhances | ||||||||
| Files |
|
||||||||
| Component of | No Buildroots | ||||||||
