v0.6.0

Several bug fixes, e.g.

• fixes bugs in the choice of primes
• fixes bug on elim order
• fixes bug occuring when swapping variables
• fixes various verbosity inconsistencies

Improvements:

• improves behaviour when random changes of variables are performed
• improvements of maple interfaces (suggested by Bruno Salvy)
• normalization of output real points

New functionality:

• adds normal form computations for prime fields
• adds new interface for normal form computations

Caution:
This release changes the API.

v0.5.0

• New functionality: Gröbner bases over the field of rational numbers (grevlex and elim orderings)
• Multi-threaded change of order (over prime fields)
• Improvement of performances for elim order
• Several bug fixes

v0.4.9

enables real root isolation from rational parametrizations + better real root extraction

v0.4.8

Bug fix (multi-threaded computations)

v0.4.7

bug fix

v0.4.6

Some bug fixes

v0.4.5

Smaller bug fixes in F4, F4SAT and the build system.