Version 2.5.7

Bugfix for #66

Version 2.5.6

Bugfix for #65

Version 2.5.5

Bugfix for #63

Version 2.5.4

Fixed bug (#a668655) in Newton polygon method which caused wrong irreducibility test for bivariate polynomials.

Version 2.5.3

Bug fixes and small improvements:

• added possibility to cache all modular inverses for small finite fields (#59)
• switched to libdivide4j v1.2
• compatibility fixes with Java 12
• fix #60

Version 2.5.2

Bugfix release:

• bugfixes in rational functions #45 #46 #49
• fix performance dip of multivariate gcd for equal polynomials 1e6936a
• fix some bad cases for univariate factorization over Z #47 (todo: implement LLL based van Hoeij's algorithm in future)
• fix #48

Version 2.5.1

Bugfix release:

• minor bugfix in LeinartDecomposition
• minor bugfix in bivariate MultivariateFactorization
• better Scala API for GroebnerMethods
• other small fixes & improvements
• added -V option to rings.repl (specify Rings version)

Version 2.5: algebraic number fields, resultants, algebraic relations

This version introduces rigorous support of algebraic number fields and general field extensions (#43):

• Implementation of algebraic number fields (AlgebraicNumberField) via simple (SimpleFieldExtension) and multiple (MultipleFieldExtension) field extensions
• Fully support polynomial GCD, resultants and factorization over algebraic number fields
• Methods for constructing splitting fields (SplittingField(poly))

Various methods from theory of resultants:

• Implementation of different univariate polynomial remainder sequences, subresultant sequences, resultants and discriminants over arbitrary fields (UnivariateResultants)
• Efficient multivariate resultants and discriminants over arbitrary fields by adapting Brown's and Zippel's algorithms for GCD (MultivariateResultants)

Methods related to Groebner bases (GroebnerMethods):

• Special elimination methods GroebnerMethods.eliminate(polys, variable)
• Methods for testing algebraic dependence of polynomials and computing algebraic relations (annihilators) GroebnerMethods.algebraicRelations(polys)
• Computation of Nullstellensatz certificates GroebnerMethods.NullstellensatzCertificate(polys)
• Leinart's partial fraction decomposition of multivariate fractions (GroebnerMethods.LeinartDecomposition(fraction))

Version 2.4

Two major improvements:

• improved mathematical expressions IO (#38)
• vastly improved implementation of rationals, including rational function arithmetic (#39)
• minor fixes and improvements

Version 2.3.2

Important bug fix that caused fail of sparse Hensel lifting in many cases.