Magma V2.10-8 Patch Notes

Documentation¶

• The intrinsic function AdjointRepresentation of a Lie group was incorrectly labelled RegularRepresentation in the Handbook.

Geometry¶

• Degree now should work for maps between curves that have a base scheme supported at a singularity.
• Degree should now work for compositions of maps between curves.

Groups¶

• The algorithm implementing the quo-constructor for permutation groups has been subtly changed. This results in a large decrease in the time taken to compute SocleQuotient(PGL(4, 41)), for instance.
• A bug in computing the stabilizer of a sequence of points in a permutation group has been fixed. This bug occurred only rarely, depending on unlikely random events. The bug showed up in computing Subgroups(PSL(3,19)).
• The Verify(GrpPerm) command is changed to always perform a verification, even when the BSGS is believed to be complete.
• A bug in verification of permutation group BSGS when there are basic orbits of length 1 is fixed. It was found working with a centralizer in McL.2.

Rings and Fields¶

• A bug reported by Jonathan Hanke in which an attempt to compute $\pi$ to more than a million places in the free model of the real numbers has been fixed.
• A p-adic bug in the coercion of a zero of a base field into a ramified extension, reported by Sebastian Pauli, has been fixed.
• A reference counting issue in the p-adics which caused instability with large primes, reported by Thomas Womack, has been fixed.
• A bug in the determination of 2 element generators for ideals of certain orders (of number fields) has been fixed.
• Magma level printing for relative extensions of number fields now works.
• A rare problem in non-simple extensions was fixed.