Differences between revisions 1 and 2
Revision 1 as of 2008-04-01 22:58:58
Size: 1557
Editor: BurcinErocal
Comment:
Revision 2 as of 2008-11-14 13:41:51
Size: 1557
Editor: anonymous
Comment: converted to 1.6 markup
No differences found!

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