---
title: "Magma V2.12-16 Patch Notes"
canonical: "https://docs.magma-maths.org/patchnotes/2.12-16.html"
source: "https://docs.magma-maths.org/patchnotes/2.12-16.md"
---

<a id="magma-v2-12-16-patch-notes"></a>
# Magma V2.12-16 Patch Notes

## 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`](../GlobalFields/ClassFieldTheory/norm-equations.md#function-isnorm-fldab-rngordelt) 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.