-------------------------------------------------------------------------------
Announcement of PolyBoRi's First Beta Version
-------------------------------------------------------------------------------
Dear Sage developers,
we proudly announce the availability of PolyBoRi 0.1, the first
publicly
available beta of our framework for computations with polynomials in
Boolean
rings. Download and further information can be found at
http://polybori.sourceforge.net/
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 Gröbner base computation. PolyBoRi features a powerful reference
implementation for Gröbner basis computation.
PolyBoRi is open source. It is released to the public under the terms
of the GNU Public License (GPL), version 3 or later, for details see
http://www.gnu.org/licenses/gpl-3.0.txt and the references therein.
With best regards,
The PolyBoRi Team
http://www.itwm.fhg.de/en/as__asprojects__PolyBoRi/PolyBoRi/
-----------------------------------------------------------------------
DISCLAIMER: This document is provided by The PolyBoRi Team for
informational
purposes only. All information contained in this document is provided
as is,
without warranties of any kind. The PolyBoRi Team does not guarantee
accuracy
of the information and does not assume responsibility for any damages
resulting
from the use of or inability to use this document.
COPYRIGHT (c) 2007 by The PolyBoRi Team:
Michael Brickenstein (MFO), mailto:[EMAIL PROTECTED]
Alexander Dreyer (ITWM), mailto:[EMAIL PROTECTED]
PolyBoRi is a joint project of the following institutions
* Mathematisches Forschungsinstitut Oberwolfach (MFO),
Oberwolfach, Germany,
* University of Kaiserslautern, Department of Mathematics,
Algebra, Geometry and Computer Algebra Group,
Kaiserslautern, Germany, and
* Fraunhofer Institute for Industrial Mathematics (ITWM),
Department of System Analysis, Prognosis and Control,
Kaiserslautern, Germany.
This announcement may be copied and redistributed provided that
- its entire contents and the copyright message are left unchanged
- and that the document is distributed free of charge.
-----------------------------------------------------------------------
--~--~---------~--~----~------------~-------~--~----~
To post to this group, send email to sage-devel@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at http://groups.google.com/group/sage-devel
URLs: http://sage.scipy.org/sage/ and http://modular.math.washington.edu/sage/
-~----------~----~----~----~------~----~------~--~---
