Magma V2.20-2 Patch Notes

Algebraic Curves¶

• The HasOnlyOrdinarySingularities intrinsics now only take curves of type CrvPln as arguments as opposed to plane curves of general type Crv.

Associative Algebras¶

• The computation of MaximalOrder for general associative algebras has been corrected. Reported by T.~Hoffmann.
• The scaling of the Discriminant for orders in groups algebras has been corrected.
• The RepresentationMatrix of an element of a group algebra $A$ (acting on a group algebra) has been improved.

Function Fields¶

• Computation of SMaximalOrder for the degree $p^n$ extension defined by a Witt vector has been added.

Groebner Bases¶

• The dense variant of F4 now allows larger number of variables and higher degree than previously. (The limit on variables is now longer 128 and the limit on the degree is no longer 4.)

Hilbert Modular Forms¶

• NewSubspace is now implemented (via degeneracy maps) for all spaces that can be computed using the ``definite'' algorithm.

Hyperelliptic Curves¶

• Several bugs (runtime errors and infinite loops) have been fixed in the package for heights on Jacobians. Reported by M.~Stoll.

Modular Forms¶

• The new version of OverconvergentHeckeSeries has now been included. Contributed by A.~Lauder.

Modules over Dedekind Domains¶

• More functionality has been provided for pseudo matrices over algebraic function fields. It is now possible to construct a PseudoMatrix from a sequence of RngFunOrdIdl and a matrix over a function field, multiply such a pseudo matrix by an RngFunOrdIdl and retrieve the Matrix and CoefficientIdeals of these pseudo matrices.

Schemes¶

• The BlowUp intrinsic to blow up a general subscheme of a scheme has been renamed Blowup for compatibility reasons.