Back to Patch Notes

Magma V2.29-7 Patch Notes

Patch release for Magma V2.29-7. Updated areas: Abelian Extensions, Algebraic Number Fields, Algebraic Surfaces, Coding Theory, Commutative Algebra and 10 more.

15 areas

Abelian Extensions

  • HeckeCharacterGroup has been fixed when the defining ideal of the norm group differs to the conductor of the abelian extension.

  • Extra printing whilst constructing an AbelianExtension from a number field has been removed. Reported by Markus Grassl.

Algebraic Number Fields

  • SplittingField also known as NormalClosure of a number field has been made more efficient when the Abs or Opt parameters are true. Reported by Havard Damm-Johnsen.

  • IdealsUpTo has been written for relative extensions.

  • The computation of MultiplicationTable is now more efficient in orders which are indirect transformations of equation orders.

Algebraic Surfaces

Coding Theory

Commutative Algebra

  • The function SAT has been fixed to count exclusion clauses, thus avoiding a warning in the SAT program. Reported by Ian Smart.

  • A crash in Normalisation for ideals with grevlex orderings has been fixed.

  • An occasional wrong result involving very sparse matrices in the linear algebra phase of the F4 algorithm has been fixed.

  • Fixed wrong results for certain Dense Groebner basis computations.

Curves

  • UniformizingParameter has been fixed for curves with ambients having non scroll gradings. Reported by Everett Howe.

Elliptic Curves

  • A memory management crash when checking isomorphism of elliptic curves over equal but non identical rings has been fixed. Reported by Sachi Hashimoto.

Exterior Algebras

Finite Fields

  • The procedure Embed(S, F) 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.

Language/System

  • The case statement and intrinsic declaration now require trailing semicolons, matching all other compound statements.

  • 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.

  • A crash when attaching package files (involving race conditions when creating .sig files) has been fixed. Reported by Maarten Derickx.

  • A crash in save/restore involving calling package intrinsics after restore has been fixed. Reported by Abhijit Mudigonda.

  • 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.

Lattices

  • 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.

Linear Algebra

Local Fields

  • AllExtensions has been corrected when the field is not represented as a totally ramified extension over an unramified extension. Reported by Tim Dokchitser.

  • Some handling of zeros of local fields has been improved. Reported by Sachi Hashimoto.

Optimization

  • An incorrect result in Solution(L) where L is an LP process with large integers (where the system was wrongly said to be infeasible) has been fixed. Reported by Michael Helmut Mertens.

Quaternion Algebras

  • Fixed a bug in multiplication of an ideal in the base ring by an ideal of the quaternion algebra, leading to incorrect outputs of IsIsomorphic.

Back to Patch Notes