Added input validation in UnitaryModularForms to verify the lattice is even and integral. Reported by Steve Huang.
Fixed bug in HeckeEigensystem for algebraic unitary modular forms, stemming from a non-implemented Hecke operator when 2 is inert. This feature is still not implemented, but the intrinsic avoids attempting to compute this operator. Reported by Steve Huang.
Added the option to call HeckeEigensystem without specifying k, (defaulting to k = 1), while also specifying optional parameters, such as precision. This now matches the documentation. Reported by Steve Huang.
Checking for singularity in MinimalModelRationalSurface has been increased. The parameter CheckSing now defaults to true. If a surface is known to be singular then an error occurs regardless of how the parameter is set. Reported by Adam Logan.
Error checking for MaximalOrder intrinsics has been improved. Reported by David Benson.
An incorrect result when comparing two submodules of a module over an affine algebra been fixed. Reported by C. Quitte.
A problem with the injection map in the construction of kernels of homomorphisms between modules over affine algebras has been fixed.
A crash in ChangeOrder for polynomial rings defined over unusual rings has been fixed. Reported by Claude Quitte.
A bad slowdown and incorrect result for certain types of direct Groebner basis computations with non-graded monomial orders has been fixed. Reported by Markus Grassl.
An obscure bug in the MPQS function (for relatively small integers) has been fixed. Reported by Drew Sutherland.
An obscure crash when calling a function with zero arguments which expects one real argument has been fixed. Reported by Sachi Hashimoto.
The tag [L] is now added to the machine type in the information printed at crashes. Issue noted by Markus Grassl.
Fixed a bug in NumberOfNeighbors for hermitian lattices at inert primes. Reported by Steve Huang.
Added an intrinsic IsHermitian to check if a matrix is Hermitian with respect to an involution on the base ring.
A crash in AutomorphismGroup for a certain type of group has been fixed. Reported by Eamonn O'Brien.