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

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

## Coding Theory

- `PunctureCode` no longer allows all coordinates of the code to be removed.  Reported by M. Grassl.
- A bug has been fixed in [`CodeComplement`](../CodingTheory/AdditiveCodes/operation.md#function-codecomplement-code-code) that could cause it to crash or return incorrect results when either argument was an additive code.  Reported by M. Grassl.

## Commutative Algebra

- A crash in `IsRadical` has been fixed.  Reported by G. Brown.
- An incorrect result `Saturation` for ideals has been fixed. Reported by E. Rains.

## Graphs

- Added convenience intrinsics `NumberOfVertices` and `NumberOfEdges`.

## Language

- The extended typing feature now enables arbitrary levels of nesting for sets, indexed sets, and multisets.  (Formerly only sequences would nest.)
- Calling [`ListSignatures`](../MagmaLanguage/EnvironmentAndOptions/info.md#function-listsignatures-cat) with type `Any` properly respects the value of the `Isa` parameter now.

## Mappings

- When mapping a sequence which is not coercible into the domain of the mapping, a sequence containing the images of the elements of the input sequence will only be returned if all those images lie in the same universe.  Reported by G. Peruginelli.

## Matrix Groups

- Major improvements have been made to the algorithm for proving a matrix group over a ring of characteristic zero to be finite or infinite (in particular, in the function `IsFinite`).

## Multisets

- An error during printing of a multiset containing unsortable sequences has been fixed.  Reported by S. Humphries.
- The hashing of multisets now pays attention to the multiplicities, so differing multisets with identical underlying sets will hash to different values.

## Number Fields

- Testing if a fractional element lies inside an integral order was triggering runtime errors rather than simply returning false.

## Polynomial Rings

- A crash in multivariate GCD over small finite fields has been fixed. Reported by M. Stoll.

## Polytopes and Polyhedra

- `NumberOfEdges` is now typed.

## SLP Groups

- A slowdown when large numbers of straight line programs were created has been addressed.  Reported by E. O’Brien.