Release Notes: This is a major release with version number 2.5. The Java API will be more stable from now on. It fixes a race condition in distributed (hybrid) Gröbner base implementations and improves the MPJ version of GB computations. The GBFactory has changed, and a new option to select Gebauer & Möller critical pair handling in GBAlgorithmBuilder was added. The default precision of BigDecimal was changed to DECIMAL128. The GreatestCommonDivisorHensel implementation is improved by using integer evaluation points and further optimizations.
Release Notes: This release provides mostly performance optimizations, small improvements, and fixes. The optimizations include combined methods for polynomials like scaleSubtractMultiple(b, g, a, e, S) to compute the expression "b x^g this - a x^e S" in one rush. There is now a first version of a JAS Android App. The app uses its JRuby scripting interface and runs within the Ruby IRB Android app Ruboto.
Release Notes: This release contains new distributed Gröbner base algorithms based on MPI as communication middle-ware. The implementation uses the MPJ (MPI Java) API and can be run with either MPJ Express or FastMPJ. The implementing classes are GroebnerBaseDistributedMPJ for the pure distributed version, and GroebnerBaseDistributedHybridMPJ for the distributed and multi-threaded version.
Release Notes: This release contains new parts for free non-commutative Gröbner base computation and polynomial reduction. It consists of a new interface WordGroebnerBase and new classes WordGroebnerBaseAbstract and WordGroebnerBaseSeq. The jython and jruby access to non-commutative polynomials is provided with the classes WordPolyRing and WordIdeal. Additionally, there is an improved way to select (commutative) Gröbner base algorithm implementations with the class GBAlgorithmBuilder; for example, a fraction free algorithm with optimization of the variable order.
Release Notes: This release fixed further Findbugs issues through code refactoring. For example, Clonable was removed from the Element interface and the clone() method was renamed to copy(). New parts were added for computation in free non-commutative associative rings, with the GenWordPolynomial and GenWordPolynomialRing classes.
Release Notes: This release fixed almost all high and many medium priority Findbugs warnings.
Release Notes: This release adds more JRuby examples, bugfixes for right module Gröbner bases and multiple roots computation, and bugfixes for meaningful problems spotted by findbugs.
Release Notes: This release improves root bounds for real root computation, adds missing methods for real root computation, fixes complex root selection of zero dimensional ideals, and adds small fixes and more missing methods.
Release Notes: This release refactors and fixes algorithms for Wu-Ritt characteristic sets in the class CharacteristicSetWu. Unit tests are in CharSetTest. Jython and JRuby script access to characteristic set algorithms in methods CS(), isCS(), and csReduction(). Small fixes and improvements.
Release Notes: The Jython and JRuby scripting classes PolyRing are now injecting the polynomial ring variables into the top level interpreter environment by default. There is a new class GroebnerBaseFGLM to compute a Gröbner base according to the "FGLM" algorithm. It computes a Gröbner base with respect to a graded term order and then constructs the Gröbner base with respect to the requested term order via linear algebra in the residue class ring. A new launcher shell script jas. Small fixes, improvements, and a missing method implemented and in PolyUtilApp.