About Site Map Submit Contact Us Log in | Create an account
Create an account Log In
Average Rating
User Rating:
Visitors Rating:
My rating:

Write review
  • License: Freeware
  • Last update: 5 years ago
  • Total downloads: 107
  • Price: Free |
  • Operating system: Mac OS X
  • Publisher: Alexander Dreyer and Michael Brickenstein
See full specifications

mac default iconPolyBoRi For Mac Publisher's description

The core of PolyBoRi is a C++ library

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.

What's New in This Release:

В· Repository changed to hg
В· gat parser added
В· Disabled keyboard interrupt handling (but re-raised)
В· Fixed critical bug in normal form
В· Naming convention: minimalElements -> minimal_elements
В· has_constant_part for variable/monomial
В· lead/lex_lead/lead_deg/lex_lead_deg also for Variable/Monomial
В· iterator for literal factorization
В· Added treatment of customizable settings for
В· Improved Sun Studio compatibility
В· Fix for hpux (CUDD needs pwd.h)

System Requirements:

В· Python
Program Release Status: Minor Update
Program Install Support: Install and Uninstall

Is PolyBoRi For Mac your software?

Manage your software

Most Popular

mac default icon twttr.media.types.instagram For Mac 1.4
Permission is hereby granted, free of charge
mac default icon Fiddler For Mac 1.0
Objective-C libraries for calculating sunrise & sunset times
mac default icon Wassup For Mac 2.5
Let's you know what's up with your Java environment.
mac default icon libdvdcss for Mac 1.2.11
Free and open source library that will help you access DVDs
mac default icon CodeRunner For Mac 1.3
Edit and run code in 10 different programming languages with CodeRunner...

Related Category

» Other (625)
» Tools (3122)