---
title: "Magma V2.20-2 Patch Notes"
canonical: "https://docs.magma-maths.org/patchnotes/2.20-2.html"
source: "https://docs.magma-maths.org/patchnotes/2.20-2.md"
---

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

## Algebraic Curves

- The [`HasOnlyOrdinarySingularities`](../AlgebraicGeometry/AlgebraicCurves/curves.md#function-hasonlyordinarysingularities-crvpln) intrinsics now only take curves of type `CrvPln` as arguments as opposed to plane curves of general type `Crv`.

## Associative Algebras

- The computation of `MaximalOrder` for general associative algebras has been corrected.  Reported by T.~Hoffmann.
- The scaling of the `Discriminant` for orders in groups algebras has been corrected.
- The `RepresentationMatrix` of an element of a group algebra $A$ (acting on a group algebra) has been improved.

## Function Fields

- Computation of [`SMaximalOrder`](../GlobalFields/ClassFieldTheoryForGlobalFunctionFields/witt-rings.md#function-smaximalorder-rngwittelt-plcfunelt) for the degree $p^n$ extension defined by a Witt vector has been added.

## Groebner Bases

- The dense variant of F4 now allows larger number of variables and higher degree than previously.  (The limit on variables is now longer 128 and the limit on the degree is no longer 4.)

## Hilbert Modular Forms

- `NewSubspace` is now implemented (via degeneracy maps) for all spaces that can be computed using the \`\`definite’’ algorithm.

## Hyperelliptic Curves

- Several bugs (runtime errors and infinite loops) have been fixed in the package for heights on Jacobians.  Reported by M.~Stoll.

## Modular Forms

- The new version of [`OverconvergentHeckeSeries`](../ModularArithmeticGeometry/ModularForms/overconvergent.md#function-overconvergentheckeseries-rngintelt-rngintelt-rngintelt-rngintelt) has now been included. Contributed by A.~Lauder.

## Modules over Dedekind Domains

- More functionality has been provided for pseudo matrices over algebraic function fields. It is now possible to construct a `PseudoMatrix` from a sequence of `RngFunOrdIdl` and a matrix over a function field, multiply such a pseudo matrix by an `RngFunOrdIdl` and retrieve the `Matrix` and `CoefficientIdeals` of these pseudo matrices.

## Schemes

- The `BlowUp` intrinsic to blow up a general subscheme of a scheme has been renamed `Blowup` for compatibility reasons.