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.
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
IsSolubleByFinitehas 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
Homogeneityhas 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
TwoTransitiveGroupIdentificationhas been fixed.
Quadratic Fields
PicardGroupof aRngQuadnow uses the implementation forRngOrdso that the map returned has as preimage.IsQuadraticcan 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
QuadraticFieldhas 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.