{\rtf1\ansi\deff0\deftab360

{\fonttbl
{\f0\fswiss\fcharset0 Arial}
{\f1\froman\fcharset0 Times New Roman}
{\f2\fswiss\fcharset0 Verdana}
{\f3\froman\fcharset2 Symbol}
{\f4\fmonospace\fcharset0 Courier}
}

{\info
{\author Computational Algebra Group}{\copyright Copyright (c) 2026 Computational Algebra Group}{\title Change log for Magma V2.29-10}}

\f0\fs24
\paperw11907\paperh16839
\pgncont\pgndec\pgnstarts1\pgnrestart
\fs36\b Change log for Magma V2.29-10 (Released 7/8/2026)\b0\fs24\par \par \par \fs27\b Aggregates\b0\fs24\par \par \f3\'B7\f0 \f4&cat\f0  applied to a sequence of sequences whose combined length exceeded 2{\super 31} could corrupt memory and crash, rather than reporting that the result was too long. This has been fixed.\par \par\par \fs27\b Algebraic Curves\b0\fs24\par \par \f3\'B7\f0 {\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/LPolynomial}{\fldrslt\f4\cs15\ul LPolynomial}}, {\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/ZetaFunction}{\fldrslt\f4\cs15\ul ZetaFunction}} and {\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/EulerFactor}{\fldrslt\f4\cs15\ul EulerFactor}} could silently return a wrong L-polynomial for some genus 2 curves over small prime fields; the correct L-polynomial is now returned. Reported by Edgar Costa.\par \par\f3\'B7\f0 {\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/HasOnlyOrdinarySingularities}{\fldrslt\f4\cs15\ul HasOnlyOrdinarySingularities}} failed to compute the maximum multiplicity in case of small characteristic. This is now fixed by using Hasse derivatives. Reported by Shiva Chidambaram.\par \par\par \fs27\b Algebraic Function Fields\b0\fs24\par \par \f3\'B7\f0 A bug in {\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/Subfields}{\fldrslt\f4\cs15\ul Subfields}} for characteristic 0 function fields when more specialization attempts were needed than were previously attempted has been fixed. Fix suggested by Juergen Klueners.\par \par\f3\'B7\f0 A fix has been made to the computation of finite maximal orders of algebraic function fields using the Montes algorithm.\par \par\par \fs27\b Algebraic Geometry\b0\fs24\par \par \f3\'B7\f0 The Calabi-Yau graded ring search routine stopped immediately with a file-opening error instead of doing any work, because it redirected the session log into a fixed directory that does not exist on a normal installation. It no longer sets a log file of its own, so it no longer fails during logging setup; call {\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/SetLogFile}{\fldrslt\f4\cs15\ul SetLogFile}} beforehand if you want its output logged.\par \par\f3\'B7\f0 {\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/PointsModPN}{\fldrslt\f4\cs15\ul PointsModPN}} now also handles ordinary projective schemes over a residue ring \f4Integers(p^k)\f0  of the integers, by covering the scheme with its standard affine charts and enumerating each projective point once. Consequently {\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/RationalPoints}{\fldrslt\f4\cs15\ul RationalPoints}} and {\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/Points}{\fldrslt\f4\cs15\ul Points}} return the points of such a projective scheme over \f4Integers(p^k)\f0 . Projective schemes over a non-prime-power modulus, or over a residue ring of a number-field order, are not yet supported.\par \par\par \fs27\b Algebraic Number Fields\b0\fs24\par \par \f3\'B7\f0 The computation of the units in the final phase of the {\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/ClassGroup}{\fldrslt\f4\cs15\ul ClassGroup}} algorithm has been significantly improved in the case that the unit rank is non-trivial (specifically in the p-adic log handling). Difficult example with high unit rank supplied by Siman Wong.\par \par\f3\'B7\f0 {\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/Embed}{\fldrslt\f4\cs15\ul Embed}} has been adjusted when there are existing relationships between the input fields. Reported by Abhijit Mudigonda.\par \par\f3\'B7\f0 {\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/ArtinMap}{\fldrslt\f4\cs15\ul ArtinMap}} returned an incorrect value when called for similar but different fields due to caching. This has been resolved through improved cache management. Reported by Sachi Hashimoto.\par \par\f3\'B7\f0 Intersecting the zero ideal of an order with a base ring could give an ideal with a nonsense generator or cause a crash; this also made Norm of a Hermitian lattice with zero diagonal Gram entries crash. This has been fixed. Reported by Edgar Costa.\par \par\f3\'B7\f0 Improvements have been made to embedding and coercion when fields are isomorphic.\par \par\f3\'B7\f0 {\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/HasComplexConjugate}{\fldrslt\f4\cs15\ul HasComplexConjugate}} for a number field ({\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/FldAlg}{\fldrslt\f4\cs15\ul FldAlg}}) could fail with a sequence-length error when complex conjugation is given by a polynomial of low degree in the generator; this has been fixed.\par \par\f3\'B7\f0 {\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/IsRootOfUnity}{\fldrslt\f4\cs15\ul IsRootOfUnity}} could return twice the correct order for an element of a cyclotomic field, failed with a type error for an element of a cyclotomic ring of integers, and rejected elements of a quadratic field outright. This has been fixed. For an element of a p-adic ring or field the order returned could be meaningless: {\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/IsRootOfUnity}{\fldrslt\f4\cs15\ul IsRootOfUnity}} reported that 2 is a root of unity of order 76293945312500 in the 5-adic field. That computation has been withdrawn. Zero and elements of nonzero valuation are now reported as not roots of unity, 1 and -1 are reported as roots of unity of orders 1 and 2, and for any other p-adic unit {\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/IsRootOfUnity}{\fldrslt\f4\cs15\ul IsRootOfUnity}} now raises an error instead of returning an answer that may be wrong. Genuine p-adic roots of unity, such as the nontrivial Teichmüller representatives, are refused as well. Reported by Gabor Wiese.\par \par\f3\'B7\f0 The efficiency of {\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/MakeCyclotomic}{\fldrslt\f4\cs15\ul MakeCyclotomic}} has been improved.\par \par\par \fs27\b Binary Quadratic Forms\b0\fs24\par \par \f3\'B7\f0 A {\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/ClassNumber}{\fldrslt\f4\cs15\ul ClassNumber}} computation which failed depending on seed has been fixed.\par \par\par \fs27\b Coding Theory\b0\fs24\par \par \f3\'B7\f0 A self-dual quantum code was assigned minimum weight 0 if the weight distribution of the classical code it was constructed from had already been computed. This has been fixed. Reported by Markus Grassl.\par \par\par \fs27\b Commutative Algebra\b0\fs24\par \par \f3\'B7\f0 {\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/PrimaryDecomposition}{\fldrslt\f4\cs15\ul PrimaryDecomposition}} for an ideal defined over a non-field was missing an error check. This has been fixed. Reported by Miles Reid.\par \par\f3\'B7\f0 Fixed bad inefficiency in {\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/PrimaryDecomposition}{\fldrslt\f4\cs15\ul PrimaryDecomposition}} for a zero-dimensional ideal defined over the rational field where there were several variables. Reported by Edgar Costa.\par \par\par \fs27\b Congruence Subgroups of PSL_2(R)\b0\fs24\par \par \f3\'B7\f0 {\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/IsGamma}{\fldrslt\f4\cs15\ul IsGamma}} no longer returns {\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/true}{\fldrslt\f4\cs15\ul true}} for a congruence subgroup defined with a Dirichlet character, bringing it into line with {\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/IsGamma0}{\fldrslt\f4\cs15\ul IsGamma0}}, {\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/IsGamma1}{\fldrslt\f4\cs15\ul IsGamma1}}, {\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/IsGammaUpper0}{\fldrslt\f4\cs15\ul IsGammaUpper0}} and {\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/IsGammaUpper1}{\fldrslt\f4\cs15\ul IsGammaUpper1}}, which already excluded such groups. Because {\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/Index}{\fldrslt\f4\cs15\ul Index}} and {\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/Genus}{\fldrslt\f4\cs15\ul Genus}} take a Γ(N) shortcut whenever {\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/IsGamma}{\fldrslt\f4\cs15\ul IsGamma}} holds, they previously returned the values of Γ(N) itself for these groups: for Γ(13) relaxed by an even quadratic character, {\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/Index}{\fldrslt\f4\cs15\ul Index}} gave 1092 instead of 364 and {\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/Genus}{\fldrslt\f4\cs15\ul Genus}} gave 50 instead of 16.\par \par\par \fs27\b Elliptic Curves\b0\fs24\par \par \f3\'B7\f0 {\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/IntegralQuarticPoints}{\fldrslt\f4\cs15\ul IntegralQuarticPoints}} raised a runtime error on a quartic whose associated elliptic curve has rank 0 and nontrivial torsion; the integral points are now returned. Reported by Gökhan Soydan.\par \par\par \fs27\b Finite Fields\b0\fs24\par \par \f3\'B7\f0 Certain lattices of finite fields of the same characteristic (in particular, arising from residue class fields created in {\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/GaloisGroup}{\fldrslt\f4\cs15\ul GaloisGroup}} computations) could have incompatible embeddings of subfields. This has been fixed. Reported by Gunter Malle and Claus Fieker.\par \par\par \fs27\b Finite Groups\b0\fs24\par \par \f3\'B7\f0 {\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/Subgroups}{\fldrslt\f4\cs15\ul Subgroups}} now returns no subgroup classes when {\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/IndexEqual}{\fldrslt\f4\cs15\ul IndexEqual}} is set to an index that does not divide the group order, instead of returning classes with a different index.\par \par\par \fs27\b Galois Groups\b0\fs24\par \par \f3\'B7\f0 A crash in {\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/GaloisProof}{\fldrslt\f4\cs15\ul GaloisProof}} has been fixed. Reported by Bjorn Poonen.\par \par\par \fs27\b Groups\b0\fs24\par \par \f3\'B7\f0 An intrinsic \f4IsSubgroup(H,K)\f0  has been added. For subgroups H and K of a common overgroup it is equivalent to \f4H subset K\f0 . Reported by Florian Hess.\par \par\par \fs27\b Hilbert Modular Forms\b0\fs24\par \par \f3\'B7\f0 {\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/HeckeOperator}{\fldrslt\f4\cs15\ul HeckeOperator}} on a space of Hilbert cusp forms could fail with an assertion error in {\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/ProjectiveLine}{\fldrslt\f4\cs15\ul ProjectiveLine}} when the level was divisible by two prime ideals of residue degree greater than one, one of them to multiplicity at least two. The underlying residue-class enumeration of \f4O/I\f0  returned colliding representatives in this case, so the projective line was built incomplete; it is now computed from the Smith normal form of the ideal and is always complete. Reported by Edgar Costa.\par \par\par \fs27\b Lattices\b0\fs24\par \par \f3\'B7\f0 {\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/GenusRepresentatives}{\fldrslt\f4\cs15\ul GenusRepresentatives}} for a number-field lattice raised the error "Illegal null sequence" when the lattice had an all-zero diagonal Gram matrix, such as the indefinite unimodular lattice II_2,2 (an orthogonal sum of hyperbolic planes). This came from {\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/Norm}{\fldrslt\f4\cs15\ul Norm}}, where the diagonal-value ideal was the zero ideal and its empty basis was passed to {\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/Matrix}{\fldrslt\f4\cs15\ul Matrix}}. The norm of such a lattice is now computed correctly from its off-diagonal (trace) contribution. Reported by Eran Assaf.\par \par\f3\'B7\f0 {\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/NeighbourClosure}{\fldrslt\f4\cs15\ul NeighbourClosure}} rejected the {\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/UseAuto}{\fldrslt\f4\cs15\ul UseAuto}} parameter and had no overload for a {\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/LatNF}{\fldrslt\f4\cs15\ul LatNF}} argument, unlike {\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/NeighborClosure}{\fldrslt\f4\cs15\ul NeighborClosure}}. {\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/NeighbourClosure}{\fldrslt\f4\cs15\ul NeighbourClosure}} now accepts exactly the same parameters and overloads as {\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/NeighborClosure}{\fldrslt\f4\cs15\ul NeighborClosure}}.\par \par\par \fs27\b Lie Algebras\b0\fs24\par \par \f3\'B7\f0 {\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/UpperCentralSeries}{\fldrslt\f4\cs15\ul UpperCentralSeries}} and {\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/Generators}{\fldrslt\f4\cs15\ul Generators}} caused an internal error for an algebra whose base ring was a euclidean ring which is not a field, such as a univariate polynomial ring over a finite field. This has been fixed. Reported by Armand Brumer.\par \par\par \fs27\b Local Fields\b0\fs24\par \par \f3\'B7\f0 {\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/Factorization}{\fldrslt\f4\cs15\ul Factorization}} for a polynomial over a p-adic ring or field could occasionally hit infinite recursion and eventually crash when the requested precision was too low to separate the true factors (here this arose in the computation of an Artin representation L-series). The internal algorithm now automatically retries at higher precision and over a fixed-precision ring it raises a clean error instead of looping. Reported by Siman Wong.\par \par\f3\'B7\f0 {\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/HenselLift}{\fldrslt\f4\cs15\ul HenselLift}} of polynomials over a local field whose leading coefficient is an imprecise zero has been improved. Reported by Aidan Hennessey.\par \par\par \fs27\b Matrices\b0\fs24\par \par \f3\'B7\f0 Operations on matrices with more than 2^31 entries could give a wrong answer or an error in the Standard version, because of 32-bit overflow in some places. This has been fixed. Reported by Eran Assaf.\par \par\par \fs27\b Matrix Groups\b0\fs24\par \par \f3\'B7\f0 {\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/StabiliserOfSpaces}{\fldrslt\f4\cs15\ul StabiliserOfSpaces}} could take many minutes and tens of gigabytes on a long sequence of subspaces, and then crash. It is now much faster and uses far less memory. This has been fixed. Reported by Eamonn O'Brien.\par \par\par \fs27\b Modular Curves\b0\fs24\par \par \f3\'B7\f0 Both forms of {\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/Af}{\fldrslt\f4\cs15\ul Af}} declared a return type of {\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/ModSym}{\fldrslt\f4\cs15\ul ModSym}} while returning the sequence of spaces that {\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/NewformDecomposition}{\fldrslt\f4\cs15\ul NewformDecomposition}} and {\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/SortDecomposition}{\fldrslt\f4\cs15\ul SortDecomposition}} give, one for each Galois-conjugacy class of newforms. The declared type is now {\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/SeqEnum}{\fldrslt\f4\cs15\ul SeqEnum}}, matching what is returned and what those two intrinsics declare.\par \par\par \fs27\b Polynomial Rings\b0\fs24\par \par \f3\'B7\f0 Applying a ring homomorphism to an element of a quotient of a univariate polynomial ring (where the base ring was a large residue class ring) did not reduce the coefficients to a canonical form sometimes. This has been fixed. Reported by Edgar Costa.\par \par}