Release Notes: This release adds new solvable local residue ring SolvableLocalResidue as solvable quotient field modulo an ideal. Additionally there are new generic solvable polynomials: QLRSolvablePolynomial with abstracted generic coefficients from solvable quotient, local or local-residue rings. The abstracting interfaces QuotPair and QuotPairFactory are implemented in the corresponding classes. Scripting examples for the new classes are adjusted and extended. Differences were removed and different versions of Run*GB stand alone Gröbner base programs were cleaned up.
Release Notes: The Android version of JAS, based on Ruboto (JRuby for Android), is now available with signed code and can be directly installed. This release contains new algorithms for least common multiples and a trial greatest common divisor in solvable polynomial rings. Additionally, the Apel-Lassner canonical simplifier for solvable quotients is available. Some refactoring was required to break package dependency cycles. More Findbugs issues have been solved. Java 5 compatibility has been dropped.
Release Notes: This release contains new distributed Gröbner base algorithms based on the Java bindings of OpenMPI similarly to the MPJ version. Since both MPI and MPJ are not thread-safe, a work-around was developed to split the transport layer to allow selection of TCP/IP sockets or MPI/MPJ channels for transport. The socket-based distributed hash table now implements the clear() method, which solves non-specific errors in iterated distributed Gröbner base computations. The solvable multiplications have been simplified. Fixes and improvements have been made for Jython and JRuby scripts.
Release Notes: This release adds new algorithms for solvable polynomial rings over solvable local rings in classes LocalSolvablePolynomialRing and LocalSolvablePolynomial and new scripting examples for such solvable polynomial rings. The handling of non-commutative relations of solvable polynomials has been refactored to implement and use an interface RelationGenerator. Some more Findbugs and Eclipse issues and several problems with jruby of Android have been fixed and improved.
Release Notes: This release adds new algorithms for solvable polynomial rings over solvable residue rings in classes ResidueSolvablePolynomialRing and ResidueSolvablePolynomial, new methods to compute annihilators with respect to ideals and solvable ideals, new scripting examples for solvable polynomials with solvable residue coefficients, and a fix for associativity of solvable multiplication by considering all cases.
Release Notes: This release brings new algorithms for recursive solvable polynomial rings and new solvable polynomial rings with solvable quotient coefficients. This rings feature non-commutative multiplication of variables with coefficients. There are new scripting examples for recursive solvable polynomial rings and solvable polynomials with solvable quotient coefficients.
Release Notes: This release provides new algorithms for ideals in solvable polynomial rings in class SolvableIdeal, and new structures for solvable polynomial rings in classes SolvableQuotient, SolvableResidue, and the corresponding factories SolvableQuotientRing and SolvableResidueRing. There is a new theme for Ruby rdoc documentation, and the scripts have been adapted to a newer version of jruby (1.7.3). Some small fixes and improvements are included.
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.