Paketname | python-polybori |
Beschreibung | Polynomials over Boolean Rings, Python module |
Archiv/Repository | Offizielles Ubuntu Archiv lucid (universe) |
Version | 0.5~rc1-2.1 |
Sektion | universe/python |
Priorität | optional |
Installierte Größe | 5636 Byte |
Hängt ab von | libboost-python1.40.0 (>= 1.40.0-1), libc6 (>= 2.7), libgcc1 (>= 1:4.1.1), libstdc++6 (>= 4.4.0), ip |
Empfohlene Pakete | |
Paketbetreuer | Ubuntu Developers |
Quelle | polybori |
Paketgröße | 1712326 Byte |
Prüfsumme MD5 | 2ddd7c87b54865b379af4ff91ec6c806 |
Prüfsumme SHA1 | f6818c1f6dbbd4014460563a40e195dd3228e8ef |
Prüfsumme SHA256 | fbfe6c42efa1e865bbadcf209759422ab04c4395027c028fbee1ff5f1300e833 |
Link zum Herunterladen | python-polybori_0.5~rc1-2.1_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.
|