PolyBoRi is implemented as a C++ library for Polynomials over Boolean Rings, which provides high-level data types for Boolean polynomials. A python-interface yields extensible algorithms for computing Gröbner bases over Boolean Rings.
Release Date:
Topic:
Operating System:
All POSIX (Linux/BSD/UNIX-like OSes),
OS Portable (Source code to work with many OS platforms)
License:
Translations:
Intended Audience:
User Interface:
Programming Language:
Registered:
Ratings and Reviews
Be the first to post a text review of PolyBoRi. Rate and review a project by clicking thumbs up or thumbs down in the right column.
Project Feed
-
Project Information Updated
alexanderdreyer changed the public information on the PolyBoRi project -
File released: /polybori/0.6.3/Changes_0.6.3
-
File released: /polybori/0.6.3/PolyBoRi-0.6-3.src.rpm
-
File released: /polybori/0.6.3/polybori-0.6-3.tar.gz
-
Code committed
alexanderdreyer committed patchset 78 of module PolyBoRi to the PolyBoRi CVS repository, changing 18 files -
polybori 0.6.2 file released: polybori-0.6-2.tar.gz
* hashing BooleVariable consistent with BoolePolynomial and BooleMonomial * Python interface Polynomial.stableHash -> Polynomial.stable_hash * added substitute_variables function in python and c++ * Cloning of rings added. This results in rings with similar properties. They share the same decision diagram management, but ordering and variable names may be changed independently. * FORCE_HASH_MAP can now to used to force scons to use deprecated hash_map * fixed bug in groebner basis heuristic * new linear lexicographical lead functions / also included in groebner_basis for some cases * fixed heuristics * Python enabledLog -> enabled_log * fixed bug in new ll routines * Solaris port supported * Compatibility with upcoming scons versions (removing deprecated stuff)
-
polybori 0.6.2 file released: PolyBoRi-0.6-2.src.rpm
* hashing BooleVariable consistent with BoolePolynomial and BooleMonomial * Python interface Polynomial.stableHash -> Polynomial.stable_hash * added substitute_variables function in python and c++ * Cloning of rings added. This results in rings with similar properties. They share the same decision diagram management, but ordering and variable names may be changed independently. * FORCE_HASH_MAP can now to used to force scons to use deprecated hash_map * fixed bug in groebner basis heuristic * new linear lexicographical lead functions / also included in groebner_basis for some cases * fixed heuristics * Python enabledLog -> enabled_log * fixed bug in new ll routines * Solaris port supported * Compatibility with upcoming scons versions (removing deprecated stuff)
-
File released: /polybori/0.6.2/polybori-0.6-2.tar.gz
-
File released: /polybori/0.6.2/PolyBoRi-0.6-2.src.rpm
-
Code committed
alexanderdreyer committed patchset 77 of module PolyBoRi to the PolyBoRi CVS repository, changing 1 files
Rate and Review
Be the first person to add a text review.
Related Projects
PolyBoRi Actions
About SourceForge
Develop Software
Copyright © 2009 Geeknet, Inc. All rights reserved. Terms of Use
