Magma V2.29-2 Patch Notes

Aggregates¶

• A problem in where the indexing universe of an associative array was not updated properly after indexed assigning has been fixed. Reported by David J Zywina.

Algebraic Curves¶

• Compatibility checking of the divisors into Reduction has been added. Reported by Emiel Haakma.

Algebraic Function Fields¶

• A bug in coercion between function fields has been fixed.

Commutative Algebra¶

• JacobianMatrix has been fixed for sequences having only zero defining polynomials.

Elliptic Curves¶

• Precision handling in the arithmetic of points of elliptic curves has been improved. Reported by Sachi Hashimoto.

Finite Fields¶

• A crash involving embedding a default field into a non-default field (coming out of computing the order of the Jacobian of a hyperelliptic curve) has been fixed. Reported by Laurian Azebaze Guimagang.

Groups¶

• A typo in the definition of C9AlternatingElementToWord has been fixed. As a result it no longer erroneously allows a parameter named GrpElt, and the second argument is properly typechecked.

I/O¶

• A minor memory leak with I/O objects has been fixed. Reported by Derek Holt.

Language¶

• New procedures Load(S) (for any expression $S$ yielding a string) and Load(Q) (for any expression $Q$ yielding a sequence of strings) have been added. These specify that the file(s) with the given names are to be loaded immediately in order after the procedure call. This is similar to the existing load directive, but allows dynamic creation of the filename string(s) to be loaded. Also as with load, each Load procedure call may only be used in a simple statement at the top level.
• A new function Clone(X) has been added, which takes an object $X$ having user-defined type $T$ and returns a copy $C$ of $X$ with type $T$ and with all assigned attributes copied from $X$. This allows one to modify the attributes of the new object $C$ without affecting the attributes of $X$.
• A syntax error during assignment now raises an error again instead of crashing.
• Verbose flag handling has been fixed so that if a verbose flag is redefined in package files, the maximum of the values defined is now used (instead of the incorrect repetition of the same flag with different maximum values). Reported by Michael Stoll.

Lattices¶

• A crash in ClosestVectors (in the Linux64 AVX2 executable alone) has been fixed. Reported by Stefano Marseglia.

Matrices¶

• Missing documentation for IdentityMatrix has been added to the Handbook. Reported by Aloysius Ng.

Modules¶

• A missing error check for modules with action over non-commutative rings has been added. Reported by Markus Grassl.

Quaternion Algebras¶

• An error in RightIdealClasses has been fixed to no longer return a left ideal. Reported by Linlong Liu.