Back to Patch Notes

Magma V2.12-16 Patch Notes

Patch release for Magma V2.12-16. Updated areas: Class Fields of Number Fields, Elliptic Curves, Geometry, Groups, Rings.

5 areas

Class Fields of Number Fields

  • A problem in IsNormal with parameter All that would cause an infinite recursion if the conductor is not invariant under the automorphims of the base field has been fixed.

  • A bug in IsNorm has been fixed - the function would occasionally return false wrongly.

Elliptic Curves

  • A bug in the discrete logarithm that sometimes caused the algorithm to fail has been fixed.

  • Points on \(E(\mathbb{Q})\) with \(p\) dividing the coordinates’ denominators may now be coerced into \(E(\mathbb{F}_p)\) (the result is the identity element).

  • A bug in the SEA algorithm that sometimes caused it to fail with the error message "not enough terms to determine poly" has been fixed.

Geometry

  • Several bugs in scheme maps involving product or weighted projective space have been fixed. In particular, the internal checking of inverse equations and the check for map equality.

  • The EllipticCurve(C,point/place) and Conic(C) parametrisation intrinsics have been fixed to work for non-planar curves C.

  • A number of small improvements have been made to the hypersurface and singularity checking intrinsics.

Groups

  • A bug in the matrix group soluble radical routines has been fixed. Bug reported by Derek Holt.

Rings

  • A problem in IsPID, IsEuclidean and related functions was solved. Those functions tended to return true in a large number of situations where “unkown” would have been more apropriate.

Back to Patch Notes