Magma V2.10-8 Patch Notes

Patch release for Magma V2.10-8. Updated areas: Documentation, Geometry, Groups, Rings and Fields.

25 May 2003 4 areas

Documentation

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

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.

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.

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.