| Paketname | libpolybori-0.5.0-0 |
| Beschreibung | Polynomials over Boolean Rings, shared library |
| Archiv/Repository | Offizielles Debian Archiv squeeze (main) |
| Version | 0.5~rc1-2.1+b2 |
| Sektion | libs |
| Priorität | optional |
| Installierte Größe | 5840 Byte |
| Hängt ab von | libc6 (>= 2.7), libgcc1 (>= 1:4.1.1), libstdc++6 (>= 4.4.0) |
| Empfohlene Pakete | |
| Paketbetreuer | Tim Abbott |
| Quelle | polybori (0.5~rc1-2.1) |
| Paketgröße | 2073594 Byte |
| Prüfsumme MD5 | 1b346e5165cd9ae60ac8c1d8689d3e9a |
| Prüfsumme SHA1 | 344ab603b80eba64efec6bc6eb1c1c75f3e230d8 |
| Prüfsumme SHA256 | 73df74636df18a5860f8a74f1effde1afaa3e5ab995fa64807572e49b1cc8964 |
| Link zum Herunterladen | libpolybori-0.5.0-0_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, PolyBoRi provides 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 shared libraries.
|