--- title: "Magma V2.16-11 Patch Notes" canonical: "https://docs.magma-maths.org/patchnotes/2.16-11.html" source: "https://docs.magma-maths.org/patchnotes/2.16-11.md" --- # Magma V2.16-11 Patch Notes ## Automorphism Groups of Groups - A bug in testing membership of these groups has been fixed. Bug reported by Kasper Andersen. ## Coding Theory - [`ConstaCyclicCode`](../CodingTheory/LinearCodes/families.md#function-constacycliccode-rngintelt-rngupolelt-fldfinelt) now checks that the shift factor is non-zero. Reported by M. Grassl. - A bug in `meet` for additive codes has been fixed; this bug could cause too large an intersection to be returned. Reported by D. Smith. - Applying `Aut` to a code that is not defined over a finite field now produces an error message instead of crashing. - The application of [`LeeWeightEnumerator`](../CodingTheory/LinearCodesOverZ4/weight-enumerator.md#function-leeweightenumerator-code) to a code defined over a ring other than $\mathbb{Z}_4$ now produces an error message instead of crashing. - The weight computation of codes over the finite ring (not field) with two elements was either incorrect or crashing, depending on platform. This bug has been fixed. Reported by A. Munemasa. - Fixed a minor leak in cyclic code creation. - Fixed some leaks in the quadratic residue code creation. ## Elliptic Curves - A problem with domains in maps for `TwoDescent` has been fixed. Reported by N. Bruin. - Some package-level issues with [`HeegnerPoint`](../ArithmeticGeometry/EllipticCurvesOverQAndNumberFields/intro-2.md#function-heegnerpoint-crvell) have been fixed; it now works again. - A minor leak in the rank computation has been fixed. - A leak in [`IsomorphismData`](../ArithmeticGeometry/EllipticCurves/morphism.md#function-isomorphismdata-map) has been fixed. ## Finitely-Presented Groups - A bug in [`Rewrite`](../FinitelyPresentedGroups/FPGroups/coset-space-table.md#function-grpfp-1-rewrite) which produced incorrect results when the subgroup had a trivial generator has been fixed. Bug reported by Eamonn O’Brien. ## Function Fields - The calculation of the genus of a function field in non-simple representation has been fixed. Reported by M. Grassl. - Some problems which arose when computing Galois groups of function fields in characteristic p have been fixed. ## Functions of a Complex Variable - The intrinsic [`HypergeometricSeries2F1`](../ModularArithmeticGeometry/ArithmeticFuchsianGroupsAndShimuraCurves/triangle-groups.md#function-hypergeometricseries2f1-fldratelt-fldratelt-fldratelt-fldcomelt) has been extended to allow rational and integral values of its complex argument. ## Groups Defined by Rewrite Systems - Fixed an occasional crash when putting RWS groups into sequences. Reported by S. Humphries. ## Infinities - The description of `Round` for infinities no longer makes mention of the Gaussian integers. ## Integers - The implementation of [`ShiftRight`](../BasicRings/Integers/operation-element.md#function-shiftright-rngintelt-rngintelt) for negative integers has been modified so that its results now always match the documented behaviour. Reported by I. Morel. - Improved the bounds checking of [`Binomial`](../BasicRings/Integers/combinatorics.md#function-binomial-rngintelt-rngintelt) so that large parameters which lead to (relatively) small results are computed now. ## Lie Theory - Three omissions in `RestrictionMatrix` were fixed. Bug reported and solution provided by R. Zeier. - Some assertion failures that could arise when using universal enveloping algebras have been fixed. Reported by A. Maurischat. ## Local Arithmetic Fields - Factorization of inseparable polynomials over series rings has been fixed. Reported by R. Butenuth. - Loss of precision in some operations in General Local Fields has been reduced, specifically in application of automorphisms, although they are no longer created as `hom<>`s as a result. - Precision issues in `FixedField` have been better handled. ## Matrices - Improved matrix coercion of sequences of sequences, the case when the inner sequences were intended for coercion into the base ring is handled better. Fixes a bug reported by E. O’Brien. - The intrinsic [`Minors`](../MatricesLinearAlgebra/Matrices/properties.md#function-minors-mtrx-rngintelt) no longer takes a `Signed` parameter, nor are the signs adjusted any more; a new intrinsic [`Cofactors`](../MatricesLinearAlgebra/Matrices/properties.md#function-cofactors-mtrx) has been added for situations where the signs are wanted. The cofactors (and minors) are returned in such an order that coercing the sequence of cofactors into the matrix ring will produce the adjugate. - The universe of sequences returned by [`RowSequence`](../MatricesLinearAlgebra/Matrices/access.md#function-rowsequence-mtrx) is now correctly set when the matrix has no rows (or columns). ## Matrix Groups - Installed a fix in the function [`RecogniseSU4`](../FiniteGroups/AlmostSimpleGroups/group-recognition.md#function-recognisesu4-grp-rngintelt-rngintelt) to improve performance. Further minor problems have been fixed in this version. Bugs reported by E. O’Brien, fixed by P. Brooksbank. - The intrinsic `IsConjugate` for subgroups has been corrected in the case in which the two subgroups had different orders. This had caused a runtime error when two variables were assigned. Bug reported by K. Andersen. ## Multisets - A crash that occurred when [`IsDisjoint`](../SetsSequencesMappings/Sets/operation.md#function-isdisjoint-setenum-setenum) was called on multisets has been fixed. - The operators [`diff`](../SetsSequencesMappings/Sets/operation.md#operation-operation-diff-setenum-setenum-setenum), `diff:=`, [`sdiff`](../SetsSequencesMappings/Sets/operation.md#operation-operation-sdiff-setenum-setenum-setenum), and `sdiff:=` now work for multiset arguments. This lack was pointed out by K. Andersen. ## Networks - A crash which occurred when attempting to call [`MinimumCut`](../Combinatorics/Networks/flow.md#function-minimumcut-grphvert-grphvert) having the same vertex as source and sink has been fixed (it now raises an error instead.) Reported by M. Grassl. ## Number Fields - A missing case in `OptimizedRepresentation` for orders that could cause a runtime error in the code for solving relative norm equations has been fixed. Reported by E. Thome. ## Permutation Groups - The `quo` constructor has been modified to always perform a degree reduction. Inconsistency reported by Kasper Andersen. ## Rational Field - The description of `Round` has been corrected to indicate that it rounds away from zero, not toward infinity. ## Real and Complex Fields - A bug in the printing of complex numbers as polynomial coefficients has been fixed. This could result in the sign of the imaginary component being printed incorrectly in the case of the constant term. Reported by D. Yasaki. - The Handbook description of `Round` has been corrected to indicate that it rounds away from zero, not toward infinity. - A bug in printing real numbers in [`printf`](../MagmaLanguage/InputOutput/print.md#literal-literal-printf-printf-format-expression-expression) has been fixed. ## Representation Theory - A bug in [`WriteGModuleOver`](../RepresentationTheory/ModulesOverAnAlgebraAndGroupRepresentations/operation.md#function-writegmoduleover-modgrp-fldalg) that would cause an internal error runtime has been fixed. Reported by J. Schmidt. - A typo in `Minimize` for representations that prevented the `All` flag from being be passed on has been fixed. Reported by J. Schmidt. ## Schemes - Some memory leaks in the scheme machinery have been fixed. Reported by A-S. Elsenhans. - A problem in [`TangentCone`](../AlgebraicGeometry/AlgebraicCurves/local-curve.md#function-tangentcone-pt) for non-hypersurfaces has been fixed. The function now employs a local Groebner basis computation. - Changes have been made to `Is(Non)Singular` and [`SingularSubscheme`](../AlgebraicGeometry/Schemes/schemes-global.md#function-singularsubscheme-sch) to address the problem of possibly erroneous results for subschemes of weighted projective space and other ambients not covered by standard affine patches. For a weighted projective scheme `X`, calls to these intrinsics will now give a runtime error if it is determined that the current singularity-checking methods made fail on a non-empty subset of `X`. For schemes in newer, more general toric ambients, a runtime error is now automatically generated (we will try to update the methods used to deal with this problem in later releases). Problem reported by Tony Varilly. ## Symmetric Functions - A bug has been fixed that could cause a crash when coercing symmetric functions over certain rings (in particular, rational function fields and number fields) into polynomial rings. - A bug has been fixed that could cause the result to lie in an underlying ring of the polynomial ring argument under some circumstances. - Several bugs relating to the conversion of symmetric functions to and from polynomial ideals were fixed. These bugs could cause the result to crash or erroneously succeed when the result did not lie in the ideal. ## System - A minor leak that could occasionally arise when hashing certain types of objects has been removed.