1557
Comment:
|
← Revision 5 as of 2022-04-05 01:00:25 ⇥
0
outdated
|
Deletions are marked like this. | Additions are marked like this. |
Line 1: | Line 1: |
= 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: [email protected] == 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 |