Magma V2.10-17 Patch Notes
Patch release for Magma V2.10-17. Updated areas: Groups, Language, Rings and Fields, Young Tableau.
Groups
A bug in computing
Classesof a matrix group (reported by Eamonn O’Brien) has been fixed. The bug caused a segmentation fault when there were many classes with identical order/length.A number of bugs in the code for computing automorphism groups and testing isomorphism of finite permutation and matrix groups have been fixed.
A bug in membership testing for subgroups of a
GrpPChas been fixed. The bug was reported as a problem withIsNormalby Eamonn O’Brien and Mike Newman when working with a large 2-group.It is now possible to form sequences and sets of elements of Lie groups.
Language
A bug which allowed strings to be indexed by non-integers has been fixed.
Rings and Fields
A bug in the
MaximalOrdercomputation over base fields of degree 32 has been fixed.Divisor creation in function fields failed sometimes if the orders were created in special ways.
SplittingFieldfor polynomials with rational coefficient is now supported.A bug in p-adic powering with very large exponents has been fixed.
Several bugs in
XGCDover p-adic fields have been fixed.Several minor problems in the ECPP code for proving primality of integers has been fixed. When checking a large number of primes, a segmentation fault could have occurred.
A bug in the factorization of polynomials over positive-characteristic function fields has been fixed.
A problem in the intersection of fractional ideals of number fields causing Magma to die has been fixed.
Young Tableau
A memory bug in
InverseRSKCorrespondencecausing a segmentation fault has been fixed.A function
Positionswhich searches the cells of a tableau for a given entry has been provided.The syntax
M<[x]> := ...has been installed for ordered monoids and plactic monoidsSome new coercions have been provided. These include coercions between the integers and the ordered monoid of positive integers