Magma V2.10-17 Patch Notes

Groups¶

• A bug in computing Classes of 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 GrpPC has been fixed. The bug was reported as a problem with IsNormal by 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 MaximalOrder computation over base fields of degree 32 has been fixed.
• Divisor creation in function fields failed sometimes if the orders were created in special ways.
• SplittingField for polynomials with rational coefficient is now supported.
• A bug in p-adic powering with very large exponents has been fixed.
• Several bugs in XGCD over 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 InverseRSKCorrespondence causing a segmentation fault has been fixed.
• A function Positions which 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 monoids
• Some new coercions have been provided. These include coercions between the integers and the ordered monoid of positive integers