Back to Patch Notes

Magma V2.24-7 Patch Notes

Patch release for Magma V2.24-7. Updated areas: Aggregates, Groebner Bases, Group Theory, Hyperelliptic Curves, IO and 6 more.

11 areas

Aggregates

  • A bug ChangeUniverse for multisets (where the multiplicities were not correct) has been fixed. Reported by S. Tomaskovic-Moore.

Groebner Bases

  • A slowdown in Groebner basis computation over number fields (when the coefficients lie in the rational field) has been fixed. Reported by C. Bonnafe.

Group Theory

  • The intrinsic ClassicalMaximals has been corrected to include a C2 maximal subgroup for SL(2,4) which had been omitted. In addition, two superfluous maximal subgroups for OmegaPlus(8,2) have been removed. Reported by S. Glasby and fixed by D. Holt.

  • The names given by PrimitiveGroupDescription for primitive group numbers 3, 4, 5 of degree 56 have been changed to agree with the names used in the ATLAS of Finite Simple Groups. Problem reported by M. Zieve.

  • A crash when finding LowIndexSubgroups of a permutation group has been fixed. Bug reported by John Jones.

  • A bug when computing IrreducibleModules has been fixed. A rare error when computing the conjugates of an irreducible module could result in repeated copies of one or more irreducibles being returned. Bug reported by D. Craven.

  • A bug using the !! operator on elements of a permutation group has been fixed. Bug reported by E. O’Brien.

  • The output of StandardGeneratorsGroupNames has been altered by removing the string “L2p (for any prime p)”. This gave problems for users who iterated over the set of names.

Hyperelliptic Curves

  • A problem with an reducible global lift in a p-adic point counting method has been resolved with LPolynomial. Reported by A. Sutherland.

IO

  • Hash for sockets no longer always returns 13.

Integers

  • A slowdown in Modexp for integers when the modulus had a certain form has been fixed. Reported by W. Bosma.

Local Fields

  • The accuracy of DefiningPolynomial taking 2 arguments has been improved when the first argument is a direct extension of the second. Reported by S. Marseglia.

  • IsNormal has been improved for rings with infinite precision. Reported by S. Marseglia.

Matrices

  • The function Cokernel was incorrectly returning only one result in assignment context; this has been fixed. Reported by U. Derenthal.

Modules

Quaternion Algebras

  • A incorrect third return value with IsConjugate for orders was fixed. Reported by S. Hughes.

System

  • A crash in save/restore has been fixed. Reported by K. Yang.

Back to Patch Notes