PolyBoRi
Description
PolyBoRi is implemented as a C++ library for Polynomials over Boolean Rings, which provides high-level data types for Boolean polynomials and monomials, exponent vectors, as well as for the underlying polynomial rings.
In addition to optimized data structures, PolyBoRi features a performant reference implementation for Gröbner basis computation, using an enhanced variant of the slimgb algorithm, which was implemented first in the computer algebra system Singular . The framework was developed and designed together with slimgb's original author.
License
GPL 3+
SPKG Maintainers
Burcin Erocal [email protected]
Upstream Contact
Web site:
http://polybori.sourceforge.net/
Mailing list:
Dependencies
Boost (package includes the required subset of boost headers, no compiled component necessary) SCons
Special Update/Build Instructions
Changelog
polybori-0.3.1 (Burcin Erocal)
update to PolyBoRi-0.3.1 release
- remove patches required for the previous version
- reset hg repository
polybori-0.1-r7 (Ralf-Philipp Weinmann)
pulled in memleak fix in groebner/src/nf.cc from PolyBoRi repo
- comment changes on precomputed Groebner base tables pulled in from repo
- these remove claims about possible patents.
polybori-0.1-r6 (Michael Abshoff)
- add ENV = os.environ to SConstruct (fixes #1553)
prior releases
- lost in the dark ages