Back to Patch Notes

Magma V2.10-10 Patch Notes

Patch release for Magma V2.10-10. Updated areas: Groups, Language and System, Lattices, Linear Algebra, Rings and Fields.

5 areas

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.

Back to Patch Notes