pkgsrc-WIP-cvs archive

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]

CVS commit: wip/py-ploybori

Module name:    wip
Committed by:   jihbed
Date:           Sun May 16 15:58:17 UTC 2010

Import into wip/py-ploybori

Log Message:
Import py26-polybori-0.6-3 as wip/py-ploybori.

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
we provide 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.


Vendor Tag:     JIHBED
Release Tags:   JIHBED_20100516
N wip/py-ploybori/distinfo
N wip/py-ploybori/Makefile
N wip/py-ploybori/TODO
N wip/py-ploybori/PLIST
N wip/py-ploybori/DESCR

No conflicts created by this import


pkgsrc-wip-cvs mailing list

Home | Main Index | Thread Index | Old Index