Magma V2.11-15 Patch Notes

Extensions of Rings¶

• IsWildlyRamified was wrong for relative extensions of number fields, it would wrongly always return false.
• The order of multiplication of automorphisms of number fields has been changed. The problem was reported by Sergei Haller.
• A bug in Precision for ramified p-adic extensions (which caused the function to report an incorrect value) has been fixed.
• A bug in IsSquare for unramified p-adic extensions has been fixed. Bug reported by Jason Martin.

Groups¶

• A bug with CosetImage of a GrpFP on itself has been fixed. Bug reported by Derek Holt.
• A bug with testing conjugacy of elements of PC-groups, when the elements are not in the group where the conjugating element is sought, has been fixed.
• A better error trap for long words in the RWS group and monoid classes has been implemented. Bug reported by Markus Grassl.

System¶

• A bug which caused IntegerToString to append garbage to its result has been fixed.
• Gets now functions correctly on lines longer than 4 kilobytes. Previously, it would split such lines.
• A few improvements have been made to the profiler: element constructors are now profiled, and map objects which are defined at the same place are now considered equal (previously, every map object was considered unique, resulting in potentially thousands of lines of unhelpful output).