Java Algebra System

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.

Release Notes: Refactoring to simplify type parameters and loosen type conditions. A new package edu.jas.ufdroot to remove cyclic package dependencies again. Improved selection of factorization implementations in FactorFactory classes and better suited constructors of the factorization implementations. Small fixes and improvements.

Release Notes: Some algorithms for Wu-Ritt characteristic sets in the class PolyGBUtil and unit tests. Small fixes and improvements.

Release Notes: This release implements modular variants and parallel proxy versions of resultant algorithms, cleans and fills missing methods in GreatestCommonDivisor* classes in the edu.jas.ufd package, fixes ModLong to ModInteger conversion, and adds small fixes, improvements, and refactorings of methods to the right classes.