Magma V2.16-9 Patch Notes
Patch release for Magma V2.16-9. Updated areas: Coding Theory, Commutative Algebra, Graphs, Language, Mappings and 6 more.
Coding Theory
PunctureCodeno longer allows all coordinates of the code to be removed. Reported by M. Grassl.A bug has been fixed in
CodeComplementthat 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
IsRadicalhas been fixed. Reported by G. Brown.An incorrect result
Saturationfor ideals has been fixed. Reported by E. Rains.
Graphs
Added convenience intrinsics
NumberOfVerticesandNumberOfEdges.
Language
The extended typing feature now enables arbitrary levels of nesting for sets, indexed sets, and multisets. (Formerly only sequences would nest.)
Calling
ListSignatureswith typeAnyproperly respects the value of theIsaparameter 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
NumberOfEdgesis now typed.
SLP Groups
A slowdown when large numbers of straight line programs were created has been addressed. Reported by E. O’Brien.