Iteration through associative arrays now works; previously, due to an oversight, only dual iteration was supported. Reported by M. Rodgers.
Further improvements have been made to MaximalOrder computations using the Round2 algorithm and the Discriminant and Ramification parameters including fixes in the relative case.
Improvements have been made to the computation of integer primes for use in the Montes algorithm to compute a MaximalOrder.
Algorithm selection for computation of MaximalOrders of number fields has been fixed in the cases where it was found to be broken.
A few bugs related to the running of the Montes algorithm to compute MaximalOrders and Decompositions of primes have been fixed.
The LCM of zero and another element of a quotient of an order has been fixed to return zero.
A crash when applying the map returned by IsIsomorphic applied to a pair of number fields, where one is non-simple, has been fixed.
A crash in BrauerCharacterTable when applied to a non-soluble group has been fixed.
A crash in ConstantWords over large non-prime finite fields has been fixed. Reported by D. Wehlau.
A bug in Variety for ideals defined over algebraic closures has been fixed. Reported by F. Sauer.
A bug in turning a singular plane quartic into an elliptic curve was fixed. Reported by E. Costa.
A problem with ReducedTatePairing incorrectly using denominator elimination (giving wrong answers) has been fixed. Reported by A. Joux.
The group argument is now allowed to be an infinite matrix group again.
A crash in IsConjugate for subgroups of a permutation group has been fixed.
A memory leak in # for hyperelliptic curves has been fixed. Reported by A. Brumer.
PowerRelation now raises an error instead of crashing when the argument is infinite. Reported by T. Dokchitser.
An incorrect result for the function IndecomposableSummands (or DirectSumDecomposition) applied to a QG-module where G is a soluble group has been fixed. Reported by J. Jones.
The intrinsic RationalPointsByFibration now has a parameter IncludeSingularPoints that can be set to false to ignore them.
A precision problem in IsLocallySolvable has been fixed. Reported by J. van Langen.
A problem with PointSearch involving missing points (due to p-adic lift spaces not being sufficiently saturated) has been fixed. Reported by R. van Bommel.