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

\f0\fs24
\paperw11907\paperh16839
\pgncont\pgndec\pgnstarts1\pgnrestart
\fs36\b Change log for Magma V2.29-8 (Released 10/6/2026)\b0\fs24\par \par \par \fs27\b Aggregates\b0\fs24\par \par \f3\'B7\f0 Printing of multisets now respects the print level properly for elements with multiplicity greater than 1. Reported by Markus Grassl.\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/RandomGenus5CurveNonTrigonal}{\fldrslt\f4\cs15\ul RandomGenus5CurveNonTrigonal}} hung forever over fields of characteristic 2. It now reports a clear error instead.\par \par\f3\'B7\f0 {\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/GonalityPreservingLift}{\fldrslt\f4\cs15\ul GonalityPreservingLift}} on a non-trigonal genus-5 curve over a field of characteristic 2 used to fail with an internal "Division by zero". It now reports a clear characteristic-2 error.\par \par\par \fs27\b Algebraic Function Fields\b0\fs24\par \par \f3\'B7\f0 A crash when constructing an ideal of an order of an algebraic function field using a sequence containing one zero has been fixed. Reported by Florian Hess.\par \par\f3\'B7\f0 Print names are now automatically assigned to the algebraic function field constructed to be a rational function field if the rational function field has print names assigned. Reported by Florian Hess.\par \par\f3\'B7\f0 Coercion into algebraic function fields has been extended/improved so that evaluation of polynomials at elements of such fields (with automatic coercion) now behaves correctly. Reported by Shiva Chidambaram.\par \par\par \fs27\b Algebraic Number Fields\b0\fs24\par \par \f3\'B7\f0 The efficiency of memory management has been improved when deleting many number fields. Reported by Andrew Sutherland.\par \par\f3\'B7\f0 Embedding information is now reliably retained between fields and subfields constructed from them.\par \par\par \fs27\b Algebraic Surfaces\b0\fs24\par \par \f3\'B7\f0 The {\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/BettiNumber}{\fldrslt\f4\cs15\ul BettiNumber}} intrinsic for elliptic surfaces over a non-rational base curve now uses the correct genus contributions.\par \par\f3\'B7\f0 We improved {\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/ParametrizeDelPezzo}{\fldrslt\f4\cs15\ul ParametrizeDelPezzo}} for smooth degree-5 surfaces by trying all 5 choices of removal quadric in the pair-of-points construction.\par \par\par \fs27\b Algebras\b0\fs24\par \par \f3\'B7\f0 A bug in \f4sub<>\f0  for non-associative algebras, where products of basis elements were not included, has been fixed. Reported by Justin McIlroy.\par \par\f3\'B7\f0 Signature matching and dispatch has been fixed so that multiplication of a polynomials defined over an algebra and a scalar in the algebra now behaves correctly. Reported by Przemyslaw Koprowsk.\par \par\f3\'B7\f0 A crash arising from incorrect memory handling in the function {\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/UniversalEnvelopingAlgebra}{\fldrslt\f4\cs15\ul UniversalEnvelopingAlgebra}} has been fixed.\par \par\par \fs27\b Automatic Groups\b0\fs24\par \par \f3\'B7\f0 New function {\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/IsConjugate}{\fldrslt\f4\cs15\ul IsConjugate}} to test conjugacy for infinite-order elements of a hyperbolic group.\par \par\par \fs27\b Basic Algebras\b0\fs24\par \par \f3\'B7\f0 The algorithm to compute a basic algebra from a presentation has been significantly improved by the use of sparse matrices; this can also save memory. Reported by David Benson.\par \par\par \fs27\b Coding Theory\b0\fs24\par \par \f3\'B7\f0 Fixed a race condition in the threaded {\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/WeightDistribution}{\fldrslt\f4\cs15\ul WeightDistribution}} algorithm.\par \par\par \fs27\b Commutative Algebra\b0\fs24\par \par \f3\'B7\f0 Unexpected behaviour in the {\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/Homogenization}{\fldrslt\f4\cs15\ul Homogenization}} function for multivariate polynomials ideals has been fixed. Reported by Daniele Taufer.\par \par\f3\'B7\f0 A crash when computing homogeneous Groebner bases has been fixed. Reported by Sachi Hashimoto.\par \par\f3\'B7\f0 A bug where {\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/PrimaryDecomposition}{\fldrslt\f4\cs15\ul PrimaryDecomposition}} could create ideals which did not have properly reduced Groebner bases has been fixed.\par \par\f3\'B7\f0 A hang in Radical testing for ideals with many variables in small characteristic has been fixed. Reported by Steve Huang.\par \par\f3\'B7\f0 The FGLM algorithm now selects most monomial orders for the target order (when the \f4Al := "FGLM"\f0  parameter is given). Requested by Eric Rains.\par \par\f3\'B7\f0 New function \f4NumberField(A)\f0  for affine algebra A (in the case that A is a field) has been added. Requested by Eric Rains.\par \par\par \fs27\b Finite Groups\b0\fs24\par \par \f3\'B7\f0 Added intrinsic \f4IdentifyGroupBySearch(G)\f0 , which returns the \f4<#G, k>\f0  label of \f4G\f0  in the small groups database by iterating the database with cheap invariants (derived subgroup order, exponent, centre order, etc.) followed by an {\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/IsIsomorphic}{\fldrslt\f4\cs15\ul IsIsomorphic}} check. This is a fallback for orders such as 1152 and 1536 for which {\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/CanIdentifyGroup}{\fldrslt\f4\cs15\ul CanIdentifyGroup}} returns false. The error raised by {\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/IdentifyGroup}{\fldrslt\f4\cs15\ul IdentifyGroup}} on such orders now mentions this fallback. Reported by Dan Yasaki.\par \par\f3\'B7\f0 Functions like {\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/CosetAction}{\fldrslt\f4\cs15\ul CosetAction}} for matrix groups defined over quotient rings of orders of number fields are now properly supported. Reported by Steve Huang.\par \par\f3\'B7\f0 A small bug in maximal subgroups for \f4Sp(8,4)\f0  has been fixed. Reported by Tim Burness.\par \par\f3\'B7\f0 New function {\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/WordInGenerators}{\fldrslt\f4\cs15\ul WordInGenerators}} which uses an algorithm of Minkwitz to try to write elements of a finite permutation or matrix group as a reasonably short word in the user generators.\par \par\par \fs27\b Finitely Presented Groups\b0\fs24\par \par \f3\'B7\f0 Fixed a crash in {\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/IsAutomaticGroup}{\fldrslt\f4\cs15\ul IsAutomaticGroup}} and {\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/AutomaticGroup}{\fldrslt\f4\cs15\ul AutomaticGroup}} that could abort Magma when the system temporary directory path was long.\par \par\par \fs27\b Invariant Rings\b0\fs24\par \par \f3\'B7\f0 A hang in {\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/PrimaryInvariants}{\fldrslt\f4\cs15\ul PrimaryInvariants}} for diagonal matrix groups has been fixed. Reported by David Benson.\par \par\par \fs27\b Lattices\b0\fs24\par \par \f3\'B7\f0 A crash in {\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/IsIsometric}{\fldrslt\f4\cs15\ul IsIsometric}} for integral lattices has been fixed. Reported by Jeremy Rouse.\par \par\par \fs27\b Local Fields\b0\fs24\par \par \f3\'B7\f0 Precision when constructing {\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/Eltseq}{\fldrslt\f4\cs15\ul Eltseq}} of an element in a ramified extension has been improved. Reported by Kevin Keating.\par \par\f3\'B7\f0 Precision when coercing an element sequence into a local field has been improved. Reported by Kevin Keating.\par \par\par \fs27\b Matrices\b0\fs24\par \par \f3\'B7\f0 Fixed a precision bug in numerical complex linear algebra ({\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/Solution}{\fldrslt\f4\cs15\ul Solution}}, {\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/Kernel}{\fldrslt\f4\cs15\ul Kernel}}, {\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/Rank}{\fldrslt\f4\cs15\ul Rank}}) where an internal random-unitary generator was passed the wrong parent and used a heap-state-dependent precision, causing results to vary in the last bits across sessions.\par \par\f3\'B7\f0 The algorithms to compute the echelon form or nullspace of a matrix defined over the quotient of a maximal order of a number field by any ideal is now supported properly for the first time. Reported by Dan Yasaki.\par \par\f3\'B7\f0 A crash in {\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/Determinant}{\fldrslt\f4\cs15\ul Determinant}} for matrices defined over quaternion algebras has been fixed. Reported by Lewis Combes.\par \par\par \fs27\b Matrix Groups\b0\fs24\par \par \f3\'B7\f0 Algorithms for matrix groups defined over quaternion algebras are now supported properly. Reported by Markus Grassl.\par \par\par \fs27\b Modular Curves\b0\fs24\par \par \f3\'B7\f0 Implemented faster version of {\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/X0NQuotient}{\fldrslt\f4\cs15\ul X0NQuotient}} when the quotient is an elliptic curve embedded in a high dimensional space. Reported by Oana Padurariu.\par \par\par \fs27\b Permutation Groups\b0\fs24\par \par \f3\'B7\f0 New function {\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/TwoClosure}{\fldrslt\f4\cs15\ul TwoClosure}} to compute the two-closure of a transitive permutation group.\par \par\par \fs27\b Quadratic Fields\b0\fs24\par \par \f3\'B7\f0 The {\field{\*\fldinst HYPERLINK http://magma.maths.usyd.edu.au/magma/handbook/search/Conductor}{\fldrslt\f4\cs15\ul Conductor}} of some quadratic orders has been fixed to match the documentation and equivalent computations. Reported by Anthony Henderson.\par \par\par \fs27\b Representation Theory\b0\fs24\par \par \f3\'B7\f0 A bug in \f4Complement(M, S)\f0  for G-modules M,S (where the base ring was not a finite field, the integer ring or the rational field) has been fixed. Reported by Justin McIlroy.\par \par\par \fs27\b System\b0\fs24\par \par \f3\'B7\f0 The command-line usage and documentation now describe all user-facing startup options, and \f4-h\f0 , \f4-?\f0  and \f4–help\f0  now display the usage message and exit successfully.\par \par\f3\'B7\f0 Blank lines are now preserved in strings even when reading from standard input (in particular when in a terminal).\par \par\f3\'B7\f0 A fix has been made so infinite recursion (causing a crash) in traceback printing on errors is now avoided.\par \par\f3\'B7\f0 A fix in traceback printing has been made so that whenever an error occurs while printing a function argument, the argument is abbreviated and the original error message is now clearly printed properly. Reported by David Roe.\par \par}