Magma V2.10-10 Patch Notes

Groups¶

• A bug in permutation group Verify has been fixed. This bug has been in all versions of Magma since V2.5, but happened only rarely. It was found in verification of a permutation representation of Lyons group (degree 8835156).
• A bug in creating elements of the character ring of a group with rational but non-integer values has been fixed.
• A print level of "Magma" for GrpLieElt is now recognized.
• HasComputableSubgroups returned false too often and is now fixed.
• A spurious error message that sometimes appeared when computing modular representations of a group has been eliminated.

Language and System¶

• A bug in the construction of large sequences has been fixed.

Lattices¶

• A bug in the function ShortVectors has been fixed (when the bound was large).

Linear Algebra¶

• The operators lt, le, gt and ge now work for matrices and vectors.

Rings and Fields¶

• A bug in IsConstant for an algebraic function field element has been fixed.
• A bug involving residue fields of algebraic function fields whose constant field is a polynomial fraction ring has been fixed.
• Better error checking is being done on NumberOfPlaces. It will now give an error message when a combination of the constant field and the degree is too large.
• An error finding a place of a given degree of function field has been fixed.
• A memory management problem in taking products of quadratic forms has been dealt with.
• A bug in Reduce of an order of a function field has been fixed.
• Several bugs in StrongApproximation for function fields have been fixed.
• A bug fix and speedups in the computation of discrete logs in RayResidueRings of global function fields have been achieved.
• A bug fix in the computation of defining equations for abelian extensions of global function fields has been fixed.
• The ordering of the complex conjugates in non-simple cyclotomic fields has been changed to match the ordering for the simple fields.
• A bug in IsIrreducible for multivariate polynomials has been fixed.