Magma V2.28-24 Patch Notes

Patch release for Magma V2.28-24. Updated areas: Commutative Algebra, Differential Rings, Elliptic Curves, Hyperellptic Curves, Matrix Groups and 4 more.

9 areas

Commutative Algebra

  • A problem where primary decomposition was very slow in small characteristic has been fixed. Reported by Yongyuan Huang.

Differential Rings

  • A crash in creating differential rings recursively has been fixed. Reported by Lewis Combes.

Elliptic Curves

  • A bug in MordellWeilGroup when the elliptic curve is not given by a minimal model has been fixed. Reported by Adam Logan.

Hyperellptic Curves

  • A package error related to to genus-3 hyperelliptic curve functions has been fixed. Reported by Ryo Ohashi.

Matrix Groups

Modular Curves

  • A bug in X0NQuotient when the modular curve X0(N) has genus 1 has been fixed. Reported by Timo Keller.

Permutation Groups

  • A new intrinsic Homogeneity has been added. This gives the maximal \(k\) such that the group acts transitively on all \(s\)-subsets of the domain for \(1 łe s łe k\). Prompted by Asher Auel.

  • A bug in TwoTransitiveGroupIdentification has been fixed.

Quadratic Fields

  • PicardGroup of a RngQuad now uses the implementation for RngOrd so that the map returned has as preimage.

  • IsQuadratic can now handle non simple fields. Reported by David Craven.

  • Coercing quadratic elements into cyclotomic fields when the field is constructed in a way other than QuadraticField has been fixed. Reported by David Craven.

Quaternion Algebras