Change log for Magma V2.10-17 (Released 24/10/2003)

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