Patch Notes

Magma V2.27-2 Patch Notes

Patch release for Magma V2.27-2. Updated areas: Groebner Bases, Matrices, Quaternion Algebras.

3 areas

Groebner Bases

  • A slowdown in the F4 algorithm for ideals with non-degree orders has been fixed. A crash in multi-threaded F4 has also been fixed. Reported by M. Grassl.
  • An incorrect result when computing the lexicographical Groebner basis of a certain type of ideal over the integer ring has been fixed. Reported by N. Katz.
  • A hang when computing Groebner bases over medium-size primes has been fixed. Reported by M Voznyy and C. Rito.
  • An bug (causing a hang or incorrect results) when computing Groebner bases of certain types of ideal over medium-size prime finite fields has been fixed. Reported independently by M. Voznyy and C. Rito.

Matrices

  • A incorrect result for Kernel applied to matrices over quaternion algebras has been fixed. Reported by A. Pieper.
  • An incorrect result in FactoredCharacteristicPolynomial for a special type of integer matrix has been fixed. Reported by L. van Geemen.

Quaternion Algebras

  • An crash in RightIdealClasses for certain ideals of orders of quaternion algebra has been fixed. Reported by M. Masdeu and E. Torrents.