Patch Notes
Magma V2.28-7 Patch Notes
Patch release for Magma V2.28-7. Updated areas: Algebraic Curves, Commutative Algebra, Finite Fields, Finitely Presented Groups, Linear Programming and 3 more.
Algebraic Curves¶
- A spurious debug print in
CurveQuotienthas been removed. Reported by D. Zureick-Brown.
Commutative Algebra¶
- A crash in
VarietySizefor ideals having multiple components has been fixed. Reported by M. Grassl.
Finite Fields¶
- A crash when computing discrete logarithms in several finite fields with differing degrees has been fixed. Reported by E. O'Brien.
- The function
Log(b, e)for finite field elements has been improved in the case that the base $b$ lies in a proper subfield (by computing the logarithm in the subfield).
Finitely Presented Groups¶
- A problem with
IsInfiniteFPGroupfor an FP-group with one generator has been fixed. Reported by M. Grassl.
Linear Programming¶
- A crash in
MinimalIntegerSolutionhas been fixed. Reported by A. Munemasa.
Matrix Groups¶
- Fixed bug in
RecognizeClassicalwhereQuasisimpleMatrixGroup ("2L247", 24, 7)was identified incorrectly as SL(24, 7). Identifed by E. O'Brien and fixed by A. Niemeyer. - Two new functions
ProjectiveClassicalIsConjugateandProjectiveClassicalCentraliserwhich decide conjugacy and construct centraliser in the central quotient of a classical group. Prepared by D. Holt and E. O'Brien. - The algorithm to compute element centralisers in unitary groups has been greatly improved in large cases by avoiding a hard discrete logarithm problem. Issue reported by E. O'Brien and improvement supplied by G. de Franceschi.
Permutation Groups¶
- A crash in
Subgroupsof non-standard permutation groups has been fixed. Reported by M. Rodgers.
Representation Theory¶
- A crash in
IsIrreduciblefor G-modules defined over number fields has been fixed. Reported by S. Humphries.