Back to News
Patch Notes

Magma V2.25-8 Patch Notes

Patch release for Magma V2.25-8. Updated areas: Aggregates, Algebraic Number Fields, Character Theory, Coding Theory, Commutative Algebra and 8 more.

13 areas

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

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

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.
Back to News