The input accepted by GaloisSplittingField has been made clearer.
A bug in the computation of a UnitGroup of an order of a number field has been fixed.
A crash involving computing free resolutions over number fields has been fixed.
An inefficiency in some computations of Groebner bases over finite fields of characteristic 2 has been fixed.
A missing error check for Gröbner basis input polynomials with too high degree when a degree limit is present has been fixed. Reported by P.-J. Spaenlehauer.
The reduction of elements in quotients of Dedekind modules has been fixed.
A hanging problem with embedding scalars into FP algebras has been fixed. Reported by S. Schoennenbeck.
The ComplexEvaluation intrinsic for Jacobi motives was fixed to properly include the Tate-twsting factor.
A bug with insufficient precision with Grossencharacter of a Jacobi motive has been fixed. Reported by D. Roberts.
Problems with identifying the correct infinity-type for the Grossencharacter of a Jacobi motive have been remedied.
A bug with the EulerFactor of a Hilbert modular form at a prime which splits into different degree ideals was fixed (the relevant sequence could not hold both polynomials and power series). Reported by J. Voight.
The check on the leading coefficient in IsEisenstein has been fixed. Reported by R. Mueller.
A crash on the 32-bit version in LLL for matrices over univariate polynomial rings has been fixed.
A bug with IsPrime for numbers of the form N^2+1 has been fixed.
A problem with IsQuaternionAlgebra and orders has been fixed, with some confusion between trace and norm and the their reduced versions. Reported by J. Voight and J. Sijsling.
Error checking in InverseDefiningPolynomials for a map between schemes which is a composition of maps between schemes has been improved.