Paketname | python-polybori |
Beschreibung | Polynomials over Boolean Rings, Python module |
Archiv/Repository | Offizielles Debian Archiv squeeze (main) |
Version | 0.5~rc1-2.1+b2 |
Sektion | python |
Priorität | optional |
Installierte Größe | 11020 Byte |
Hängt ab von | libboost-python1.42.0 (>= 1.42.0-1), libc6 (>= 2.7), libgcc1 (>= 1:4.1.1), libstdc++6 (>= 4.4.0), ip |
Empfohlene Pakete | |
Paketbetreuer | Tim Abbott |
Quelle | polybori (0.5~rc1-2.1) |
Paketgröße | 3397034 Byte |
Prüfsumme MD5 | a29d2da94ee18f5b9d1daccddcdb65cb |
Prüfsumme SHA1 | f22b2d5a73c586dade497e6489ad72ff2111cb86 |
Prüfsumme SHA256 | a9bf14eceb46b9e192ea04316be5ce09408621fb4743797f8f334d4bba146dd0 |
Link zum Herunterladen | python-polybori_0.5~rc1-2.1+b2_i386.deb |
Ausführliche 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.
|