Change log for Magma V2.10-8 (Released 25/5/2003)

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 Ï€ 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.