Back to Patch Notes

Magma V2.21-9 Patch Notes

Patch release for Magma V2.21-9. Updated areas: ATLAS database, Algebraic Function Fields, Matrices, Modules, Modules over Dedekind Domains and 5 more.

10 areas

ATLAS database

  • The matrix representation of U5(2) of dimension 55 over GF(11) was incorrect and has now been fixed.

  • The intrinsics ATLASGroupNames and AtlasGroupnames now correctly indicate that their return type is SetIndx, not SeqEnum.

  • A minor regression: The first two matrix representations of E6(2) have been swapped. Similarly, the two permutation representations of O8-(3).2_3 have been swapped.

Algebraic Function Fields

  • Error checking has been improved in Automorphisms of an algebraic function field over a given coefficient field. This intrinsic is currently only for function fields whose constant field is the rational field.

Matrices

  • A precision problem with p-adic determinants has been fixed. Reported by C. Birkbeck.

Modules

  • The functions Representation and Submodules now work for G-modules of dimension zero. Problem reported by G. Tornaria.

Modules over Dedekind Domains

  • Compatibility of modules over Dedekind domains has been improved. This, in particular, allows more flexibility in the combination of inputs to + and meet.

Number Field Sieve

  • The OptimalSkewness intrinsic now checks that its input is defined over the integers.

Polynomials

  • A bug that could cause crashes when computing the roots of a polynomial over a Laurent series algebra has been fixed.

  • A crash in factorization of polynomials over a chain of function fields in characteristic zero has been fixed.

  • A crash in multivariate GCD has been fixed. Reported by R. Lewis.

Quadratic Fields

  • The Kernel of a matrix over an order of a quadratic field which is also a Euclidean ring has been fixed.

Series

  • The IsPower intrinsic for series has been improved to consider scaling by a leading coefficient that is not 1. Reported by M. Stoll.

System

  • A bug that could cause require directives to report the wrong error location has been fixed.

Back to Patch Notes