Change log for Magma V2.24-7 (Released 16/5/2019)

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

·A missing test for absolutely irreducibility has been added to IsRealisableOverSmallerField. Issue reported by D. Craven.

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.