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

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

## Algebraic Curves

- Fixed a bug in computing adjoint linear systems for ordinary plane curves that would sometimes cause an `illegal null sequence` error. Reported by C. Quitte.

## Analytic Jacobians

- An error could occur with certain inputs when the sign of the imaginary part of a complex number turned out to be zero. Reported by M. Stoll.

## Coding Theory

- When running in secure mode, calls to [`BKLC`](../CodingTheory/LinearCodes/best-codes.md#function-bklc-fldfin-rngintelt-rngintelt) no longer fail due to illegal use of [`GetEnv`](../MagmaLanguage/EnvironmentAndOptions/Set-Get.md#function-getenv-monstgelt).
- The verbose output of [`CanteautChabaudsAttack`](../CodingTheory/LinearCodes/codingcrypto.md#function-canteautchabaudsattack-code-modtupfldelt-rngintelt-rngintelt-rngintelt) could crash in some cases when displaying the statistics; this has now been fixed.

## Commutative Algebra

- A bad case where `PrimaryDecomposition` was getting stuck has been fixed.  Reported by S. Jambor.
- A problem in the projection map for quotients of affine algebras has been fixed.  Reported by C. Quitte.
- A problem in the `Image` function for matrices over multivariate polynomials rings has been fixed.  Reported by C. Quitte.

## Elliptic Curves

- A possible crash in the computation of the Tamagawa number in the $I*$ case where the elliptic curve has large coefficients has been fixed.

## Finite Groups

- An error in the maximal subgroups of the classical group $O^+(8,q)$, $q$ even, has been fixed. Previously a non-maximal subgroup had been included in the results returned by ClassicalMaximals. However, the results returned by MaximalSubgroups applied to an arbitrary finite group having $O^+(8,q)$ as a composition factor would have been correct. Bug found and fixed by D. Holt.

## Global Arithmetic Fields

- A fix has been made to addition of orders.
- A problem in the `sub` constructor for orders in quadratic fields has been fixed. Illegal input to this function that does not define a suborder would cause internal errors. Reported by K. Brockhaus.
- Some fixes have been made to the computation of Galois groups.

## L-Series

- A bug with `eq` was fixed. Reported by M. Stoll.

## Local Fields

- Elements of general local fields now have the precision of their coefficients fixed so that there are no coefficients appearing with valuation greater than the absolute precision of the element any more than results from rounding.
- A fix has been made to a previous fix relating to the computation of the mapping of a local field into its ramified representation.
- A problem in the factorisation has been fixed that would cause runtime errors. This only affects the computation of `Extensions`. Reported by C. Greve.
- A problem in the computation of the unit group of local fields has been fixed. Reported by C. Greve.

## Matrix Groups

- A problem when computing the image and kernel of a homomorphism with matrix group domain has been addressed. This caused the `SolubleRadical` function to hang, for instance.
- Code to set the order of a standard matrix group has been improved. Problem reported by E. O’Brien.
- Added [`WordInStrongGenerators`](../FiniteGroups/PermutationGroups/BSGS-base-strong-generator.md#function-wordinstronggenerators-grpperm-grppermelt) for matrix groups. Request of E. O’Brien.

## Polynomial Rings

- A bug in factorization of bivariate polynomials over non-prime finite fields has been fixed.  Reported by P. Mueller.
- A crash in multivariate factorization over the integers has been fixed.  Reported by S. Jambor.

## Quaternion algebras

- [`pMatrixRing`](../Algebras/QuaternionAlgebras/hilbert-symbols.md#function-pmatrixring-algquat-rngordidl) was ignoring the optional argument `Precision` in some cases.  Reported by M. Masdeu.

## System

- [`AddAttribute`](../MagmaLanguage/FunctionsProceduresAndPackages/attribute.md#function-addattribute-cat-monstgelt) now returns an error message when attempting to add attributes to a type which may not have attributes. Reported by K. Andersen and others.

## Toric Geometry

- Fixed a potential crash when creating a graded toric lattice.
- Corrected the result when taking the Cartesian product of a polytope with itself.