A problem where primary decomposition was very slow in small characteristic has been fixed. Reported by Yongyuan Huang.
A crash in creating differential rings recursively has been fixed. Reported by Lewis Combes.
A bug in MordellWeilGroup when the elliptic curve is not given by a minimal model has been fixed. Reported by Adam Logan.
A package error related to to genus-3 hyperelliptic curve functions has been fixed. Reported by Ryo Ohashi.
A crash in IsSolubleByFinite has been fixed.
A bug in X0NQuotient when the modular curve X0(N) has genus 1 has been fixed. Reported by Timo Keller.
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.
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.
A hang in the intrinsic function QuaternionAlgebra(I::RngOrdIdl, S::SeqEnum[PlcNumElt]) has been fixed. Reported by Eloi Torrents Juste.