Change log for Magma V2.25-8 (Released 18/12/2020)

Aggregates

·Iteration through associative arrays now works; previously, due to an oversight, only dual iteration was supported. Reported by M. Rodgers.

Algebraic Number Fields

·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.

Character Theory

·A crash in BrauerCharacterTable when applied to a non-soluble group has been fixed.

Coding Theory

·A crash in ConstantWords over large non-prime finite fields has been fixed. Reported by D. Wehlau.

Commutative Algebra

·A bug in Variety for ideals defined over algebraic closures has been fixed. Reported by F. Sauer.

Elliptic Curves

·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.

Group Algebras

·The group argument is now allowed to be an infinite matrix group again.

Groups

·A crash in IsConjugate for subgroups of a permutation group has been fixed.

Hyperelliptic Curves

·A memory leak in # for hyperelliptic curves has been fixed. Reported by A. Brumer.

Matrices

·AddRow and AddColumn now accept a RngElt as a scalar not only an integer. Reported by W. Bosma.

Real Numbers

·PowerRelation now raises an error instead of crashing when the argument is infinite. Reported by T. Dokchitser.

Representation Theory

·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.

Schemes

·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.