|
|
| Distribution |
Debian unstable |
| Abteilung |
python |
| Quelle |
polybori |
| Version |
0.5~rc1-2.1+b2 |
| Maintainer |
Tim Abbott <tabbott@mit.edu>
|
| Beschreibung |
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 Groebner base
computation. PolyBoRi features a powerful reference implementation
for Groebner basis computation.
.
This package contains the PolyBoRi Python module and ipbori program.
|
| Abhängig von | ipython, libboost-python1.42.0 (>= 1.42.0-1), libc6 (>= 2.7), libgcc1 (>= 1:4.1.1), libpolybori-dev (= 0.5~rc1-2.1+b2), libstdc++6 (>= 4.4.0), python (< < 2.7), python (>= 2.5), python-central (>= 0.6.11) | | Provides | polybori |
| Offizielle Seiten |
Paket
Entwicklerinformationen
Bugs (Binärpaket)
Bugs (Quellpaket) |
| Download |
amd64 |
|
|
|
