Back to News
Patch Notes

Magma V2.18-10 Patch Notes

Patch release for Magma V2.18-10. Updated areas: Algebraic Number Fields, Commutative Algebra, Elliptic Curves, FP Algebras, Galois Groups and 5 more.

10 areas

Algebraic Number Fields

  • Improvements have been made to GeneratingSubfields when more precision was required in the computation. This can be avoided by using an alternative method.
  • A bug has been fixed in IsIsomorphic and CompositeFields.

Commutative Algebra

Elliptic Curves

  • Some runtime errors in EightDescent occuring in rare examples have been fixed. Reported by R. Rathbun.

FP Algebras

  • A missing check for too many terms in the product of long elements of FP algebras has been added. Reported by E. Rowell.

Galois Groups

  • GaloisData has been fixed to no longer return a group and sequence of roots in some cases (only the GaloisData). Reported by J. Klüners.

General Local Fields

  • Coercion between a local field and its ramified representation has been enabled.
  • Construction of local fields by non-monic polynomials has been fixed. Reported by M. Stoll.
  • Precision handling has been improved.
  • SuggestedPrecision is now available for polynomials over local fields.

Lie Algebras

  • The IsSimple intrinsic now returns false for a 1-dimensional Lie algebra.
  • An infinite loop in DirectSumDecomposition (when the field is finite and non-prime) has been fixed.

Polynomial Rings

  • An obscure crash in multivariate polynomial factorization has been fixed. Reported by A. Kasprzyk.

Vector Spaces

  • A bug in IsConsistent for vectors has been fixed. Reported by R. Zeier.

p-adic Fields and their Extensions

  • Improvements have been made to some handling of elements of $p$-adic fields and extensions where the valuation of the element was greater than the precision of the ring of integers. Printing in precision 1 fields has been fixed.
  • The Extensions returned by Factorization of a polynomial over a local field have been fixed. Reported by J. Klüners.
  • An error check has been added to Factorization of a polynomial over a local field where precision was found to be lacking.
Back to News