Patch Notes

Magma V2.11-11 Patch Notes

Patch release for Magma V2.11-11. Updated areas: Algebraic Geometry, Commutative Algebra, Function Fields, Groups, Integer Ring and 3 more.

27 November 2004 8 areas

Algebraic Geometry ¶

A bug in the application of maps between schemes with alternative defining equations has been fixed.

A bug in primary decomposition of positive-dimensional ideals defined over algebraic function fields has been fixed.
A bug in evaluation of affine algebra elements has been fixed. Reported by Martijn Stam.

A bug in printing elements of function fields in product representation has been fixed.

Arithmetic operations for finitely presented Coxeter groups have been implemented in the C kernel replacing the existing package code, resulting in large speed-ups for computations with Coxeter groups.
A bug in the construction of direct products of PC-groups that sometime caused crashes, particularly when forming products of a sequence of groups, has been fixed. Bug reported by Kasper Andersen.
A bug with equality testing in automorphism groups of groups has been fixed. This has also fixed a bug with sets of elements of these groups.

The ECPP primality prover now works in the AMD64 version. Also, Certificate has been fixed to work on all 64-bit versions. Other problems with ECPP since 2.11-9 have been fixed.

A bug causing cmpeq to crash when applied to extended types has been fixed.
A bug in the saving and restoring of workspaces has been fixed.
A bug causing runtime errors in eq during profiling has been fixed.
Some confusing error messages related to argument checking when calling Magma intrinsics have been fixed.

Automorphisms of number fields now store attributes corresponding to the following properties: homomorphism, injectiion and surjection.
Decomposition of index divisors in non-maximal orders is no longer allowed.
Magma level printing of elements of number fields has been improved.
A bug which caused computation of maximal orders in relative extensions defined by non-monic polynomials to die while computing maximal orders has been fixed.