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

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

## Algebraic Function Fields

- Deletion of a prime ideal after an element has been expanded at it has been fixed.
- `Evaluate` at a place of an element with product representation has been sped up.
- A fix has been made to multivariate factorization and primary decomposition over non-simple function fields.
- Some defining polynomials of infinite orders now have smaller coefficients.
- The computation of the `Discriminant` of a polynomial over an order of a function field is faster now using the subresultant algorithm. Computation of the `Discriminant` of an order in relative representation is also faster as a result.

## Algebraic Number Fields

- An error instead of a crash now occurs when using `quo<FldNum : | >` with a reducible polynomial on the right hand side.
- An improvement has been made to principal ideal testing when the norm of the ideal is large.  Reported by F. Bouyer.

## Finitely Presented Algebras

- Some problems in finitely presented algebras have been fixed. Reported by A. Kasprzyk.

## Global Arithmetic Fields

- Powering of elements of coefficient rings of extensions has been optimized by using the coefficient ring for the powering instead of the extension which is the parent. Reported by M. Grassl.
- Some `GaloisGroup` computations have been fixed.
- `GaloisGroup` of a non-simple extension now gives an error instead of a crash. Reported by D. Grünewald.
- A internal fix has been made to powering of elements.
- The computation of primes in the discriminant of a Kummer or Artin–Schreier extension in the `MaximalOrder` computation has been improved.
- The `Al` parameter to `MaximalOrder` has been improved. Selecting `Al := "Round2"` or `Al := "Round4"` will avoid the use of the special Kummer and Artin-Schreier extension algorithms.

## Graphs

- [`AssignWeights`](../Combinatorics/Multigraphs/multig-decorations.md#function-assignweights-grphmult-grphedge-rngelt-ref) now produces an error message instead of crashing when weights are provided for non-existent edge indices.

## Groups

- A bug where the subgroups of a pc-group were not stored with the group when computed has been fixed.
- A crash in code for finding the socle of a primitive permutation group has been fixed.
- Easy inputs for [`IsCompletelyReducible`](../FiniteGroups/MatrixGroupsOverInfiniteFields/other-properties.md#function-iscompletelyreducible-grpmat) and [`IsNilpotentByFinite`](../FiniteGroups/MatrixGroupsOverInfiniteFields/virtual_tests.md#function-isnilpotentbyfinite-grpmat) are handled more sensibly.
- Parameters for [`LieType`](../FiniteGroups/AlmostSimpleGroups/group-recognition.md#function-grpmatff-lietype) and [`RecogniseSU4`](../FiniteGroups/AlmostSimpleGroups/group-recognition.md#function-recognisesu4-grp-rngintelt-rngintelt) are altered to improve performance for certain types of input.
- A crash when computing the conjugate of a character by an element of a supergroup ahs been fixed.

## Modules

- An incorrect result for `IsIrreducible` for some modules over the rational field has been fixed.   Reported by M. Kuenzer.

## Polytopes and Polyhedra

- [`IsSmooth`](../AlgebraicGeometry/ToricVarieties/toric-cones-and-polyhedra.md#function-issmooth-torpol) was erroneously returning true for non-Fano polytopes.

## Schemes

- A memory fix has been made to maps between schemes. Reported by D. Kohel.

## Sequences

- A bug has been fixed in [`ParallelSort`](../SetsSequencesMappings/Sequences/operation.md#function-parallelsort-seqenum-seqenum-ref); this bug could cause incorrect results when exactly one of the sequences contained booleans. Reported by T. Feulner.

## System

- A possible crash when calling a variadic intrinsic has been fixed. This could occur if the first variable argument was an expression whose value was not stored elsewhere.  Report by A. Kasprzyk.