{\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-7}}

\f0\fs24
\paperw11907\paperh16839
\pgncont\pgndec\pgnstarts1\pgnrestart
\fs36\b Change log for Magma V2.29-7 (Released 30/4/2026)\b0\fs24\par \par \par \fs27\b Abelian Extensions\b0\fs24\par \par \f3\'B7\f0 {\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/HeckeCharacterGroup}{\fldrslt\f4\cs15\ul HeckeCharacterGroup}} has been fixed when the defining ideal of the norm group differs to the conductor of the abelian extension.\par \par\f3\'B7\f0 Extra printing whilst constructing an {\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/AbelianExtension}{\fldrslt\f4\cs15\ul AbelianExtension}} from a number field has been removed. Reported by Markus Grassl.\par \par\par \fs27\b Algebraic Number Fields\b0\fs24\par \par \f3\'B7\f0 {\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/SplittingField}{\fldrslt\f4\cs15\ul SplittingField}} also known as {\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/NormalClosure}{\fldrslt\f4\cs15\ul NormalClosure}} of a number field has been made more efficient when the {\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/Abs}{\fldrslt\f4\cs15\ul Abs}} or {\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/Opt}{\fldrslt\f4\cs15\ul Opt}} parameters are {\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/true}{\fldrslt\f4\cs15\ul true}}. Reported by Havard Damm-Johnsen.\par \par\f3\'B7\f0 {\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/IdealsUpTo}{\fldrslt\f4\cs15\ul IdealsUpTo}} has been written for relative extensions.\par \par\f3\'B7\f0 The computation of {\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/MultiplicationTable}{\fldrslt\f4\cs15\ul MultiplicationTable}} is now more efficient in orders which are indirect transformations of equation orders.\par \par\par \fs27\b Algebraic Surfaces\b0\fs24\par \par \f3\'B7\f0 The prior {\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/CheckSing}{\fldrslt\f4\cs15\ul CheckSing}} fix for {\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/MinimalModelRationalSurface}{\fldrslt\f4\cs15\ul MinimalModelRationalSurface}} has also been applied to {\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/MinimalModelRuledSurface}{\fldrslt\f4\cs15\ul MinimalModelRuledSurface}}, {\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/MinimalModelKodairaDimensionZero}{\fldrslt\f4\cs15\ul MinimalModelKodairaDimensionZero}}, and {\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/MinimalModelKodairaDimensionOne}{\fldrslt\f4\cs15\ul MinimalModelKodairaDimensionOne}}. Reported by Adam Logan.\par \par\par \fs27\b Coding Theory\b0\fs24\par \par \f3\'B7\f0 An incorrect result for {\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/IsSymplecticSelfDual}{\fldrslt\f4\cs15\ul IsSymplecticSelfDual}} has been fixed. Reported by Shiroman Prakash.\par \par\par \fs27\b Commutative Algebra\b0\fs24\par \par \f3\'B7\f0 The function {\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/SAT}{\fldrslt\f4\cs15\ul SAT}} has been fixed to count exclusion clauses, thus avoiding a warning in the SAT program. Reported by Ian Smart.\par \par\f3\'B7\f0 A crash in {\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/Normalisation}{\fldrslt\f4\cs15\ul Normalisation}} for ideals with {\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/grevlex}{\fldrslt\f4\cs15\ul grevlex}} orderings has been fixed.\par \par\f3\'B7\f0 An occasional wrong result involving very sparse matrices in the linear algebra phase of the F4 algorithm has been fixed.\par \par\f3\'B7\f0 Fixed wrong results for certain {\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/Dense}{\fldrslt\f4\cs15\ul Dense}} Groebner basis computations.\par \par\par \fs27\b Curves\b0\fs24\par \par \f3\'B7\f0 {\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/UniformizingParameter}{\fldrslt\f4\cs15\ul UniformizingParameter}} has been fixed for curves with ambients having non scroll gradings. Reported by Everett Howe.\par \par\par \fs27\b Elliptic Curves\b0\fs24\par \par \f3\'B7\f0 A memory management crash when checking isomorphism of elliptic curves over equal but non identical rings has been fixed. Reported by Sachi Hashimoto.\par \par\par \fs27\b Exterior Algebras\b0\fs24\par \par \f3\'B7\f0 A check has been added to \f4ExteriorAlgebra(K, n)\f0  to ensure that the base ring K is a field.\par \par\par \fs27\b Finite Fields\b0\fs24\par \par \f3\'B7\f0 The procedure \f4Embed(S, F)\f0  has been fixed so that when S and F are both defined over prime fields and have the same default polynomials then the matching generator in F is chosen for the embedding, when consistent. Reported by Sachi Hashimoto.\par \par\par \fs27\b Language/System\b0\fs24\par \par \f3\'B7\f0 The {\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/case}{\fldrslt\f4\cs15\ul case}} statement and {\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/intrinsic}{\fldrslt\f4\cs15\ul intrinsic}} declaration now require trailing semicolons, matching all other compound statements.\par \par\f3\'B7\f0 An obscure crash in signature handling has been fixed: this involved package signatures with extended types being added after other simpler signatures for the same intrinsic had already been called.\par \par\f3\'B7\f0 A crash when attaching package files (involving race conditions when creating \f4.sig\f0  files) has been fixed. Reported by Maarten Derickx.\par \par\f3\'B7\f0 A crash in \f4save/restore\f0  involving calling package intrinsics after {\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/restore}{\fldrslt\f4\cs15\ul restore}} has been fixed. Reported by Abhijit Mudigonda.\par \par\f3\'B7\f0 A fix has been made for the problem where an error message was sometimes not printed (so there was a silent return to the top level) when printing an object with undefined attributes in a traceback. Reported by Shiva Chidambaram.\par \par\par \fs27\b Lattices\b0\fs24\par \par \f3\'B7\f0 Fixed a bug in the 2-adic Jordan decomposition where the diagonal array was not recomputed after modification during the term-4 reduction step, causing incorrect results. Reported by Adam Logan.\par \par\par \fs27\b Linear Algebra\b0\fs24\par \par \f3\'B7\f0 A crash in {\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/CommonEigenspaces}{\fldrslt\f4\cs15\ul CommonEigenspaces}} has been fixed. Reported by Lewis Combes.\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/AllExtensions}{\fldrslt\f4\cs15\ul AllExtensions}} has been corrected when the field is not represented as a totally ramified extension over an unramified extension. Reported by Tim Dokchitser.\par \par\f3\'B7\f0 Some handling of zeros of local fields has been improved. Reported by Sachi Hashimoto.\par \par\par \fs27\b Optimization\b0\fs24\par \par \f3\'B7\f0 An incorrect result in \f4Solution(L)\f0  where \f4L\f0  is an LP process with large integers (where the system was wrongly said to be infeasible) has been fixed. Reported by Michael Helmut Mertens.\par \par\par \fs27\b Quaternion Algebras\b0\fs24\par \par \f3\'B7\f0 Fixed a bug in multiplication of an ideal in the base ring by an ideal of the quaternion algebra, leading to incorrect outputs of {\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/IsIsomorphic}{\fldrslt\f4\cs15\ul IsIsomorphic}}.\par \par}