Change log for Magma V2.28-24 (Released 20/6/2025)

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

·A crash in IsSolubleByFinite has been fixed.

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 â‰¤ s â‰¤ 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

·A hang in the intrinsic function QuaternionAlgebra(I::RngOrdIdl, S::SeqEnum[PlcNumElt]) has been fixed. Reported by Eloi Torrents Juste.