- Debian Science Maintainers (QA 頁面, 郵件存檔)
- Alexander Dreyer (QA 頁面)
- Felix Salfelder (QA 頁面)
- Tobias Hansen (QA 頁面)
- 主頁 [polybori.sourceforge.net]
polynomials over Boolean Rings, core development files
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 a Python interface is provided. 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 core development files.
其他與 libpolybori-dev 有關的套件
- dep: libpolybori-0.8-3 (= 0.8.3-3+b2)
- polynomials over Boolean Rings, shared library