Patch Notes
Magma V2.23-5 Patch Notes
Patch release for Magma V2.23-5. Updated areas: Arithmetic Geometry, Coding Theory, Cyclotomic Fields, Galois Theory, Group Theory and 5 more.
Arithmetic Geometry¶
- The function
TwoCoverDescenthas been improved. Also, a new parameterPointshas been added, which can be set to a set of rational points on the curve, to be used for an early exit when the given points exhaust the upper bound for the Selmer set computed so far. - The 3rd return value of the function
AutomorphismGrouphas been fixed for hyperelliptic curves.
Coding Theory¶
MacWilliamsTransformhas been considerably sped up.
Cyclotomic Fields¶
- A deletion problem with cyclotomic fields has been fixed. This was seen during computations with character tables and class groups.
Galois Theory¶
- An internal problem with
SolveByRadicalshas been fixed. Reported by M. Grassl.
Group Theory¶
- Various improvements have been made to the large matrix group code.
Hecke Characters¶
- Some problems with coercion of the trivial character were fixed, and the code now caches ideals to ensure compatability.
Integers¶
- The upper limit on
PrimesUpTohas been changed so that a crash no longer ensues. Reported by M. Kirschmer.
Lattices¶
- The crash involving
BKZintrinsic over the rational field has been fixed.
Polynomial Rings¶
- A crash in
Valuationfor univariate polynomials has been fixed. Reported by M. Stoll. - New parameter
DegreeLimit:=Dadded toFactorizationfor univariate polynomials so that only irreducible factors with degree at most the given bound $D$ are returned (this can lead to large speedups for certain base rings). The general factorization algorithm for univariate polynomials over Z or Q has also been sped up. Requested by E. González-Jiménez.
System¶
- The parent of an extended type is now the power structure of ECat, not the power structure of Cat. Reported by T. Dokchitser.