Back to Patch Notes

Magma V2.29-6 Patch Notes

Patch release for Magma V2.29-6. Updated areas: Algebraic Modular forms, Algebraic Surfaces, Associative Algebras, Commutative Algebra, Groebner Bases and 5 more.

10 areas

Algebraic Modular forms

  • 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.

Algebraic Surfaces

  • 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.

Associative Algebras

  • Error checking for MaximalOrder intrinsics has been improved. Reported by David Benson.

Commutative Algebra

  • 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.

Groebner Bases

  • 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.

Integer Ring

  • An obscure bug in the MPQS function (for relatively small integers) has been fixed. Reported by Drew Sutherland.

Language/System

  • 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.

Lattices

  • Fixed a bug in NumberOfNeighbors for hermitian lattices at inert primes. Reported by Steve Huang.

Matrices

  • Added an intrinsic IsHermitian to check if a matrix is Hermitian with respect to an involution on the base ring.

Permutation Groups

  • A crash in AutomorphismGroup for a certain type of group has been fixed. Reported by Eamonn O’Brien.

Back to Patch Notes