Change log for Magma V2.18-10 (Released 7/9/2012)

Algebraic Number Fields

·Improvements have been made to GeneratingSubfields when more precision was required in the computation. This can be avoided by using an alternative method.

·A bug has been fixed in IsIsomorphic and CompositeFields.

Commutative Algebra

·An error in GradedModule has been fixed. Reported by C. Quitte.

·An crash in MinimalFreeResolution over large finite fields has been fixed.

Elliptic Curves

·Some runtime errors in EightDescent occuring in rare examples have been fixed. Reported by R. Rathbun.

FP Algebras

·A missing check for too many terms in the product of long elements of FP algebras has been added. Reported by E. Rowell.

Galois Groups

·GaloisData has been fixed to no longer return a group and sequence of roots in some cases (only the GaloisData). Reported by J. KlÃ¼ners.

General Local Fields

·Coercion between a local field and its ramified representation has been enabled.

·Construction of local fields by non-monic polynomials has been fixed. Reported by M. Stoll.

·Precision handling has been improved.

·SuggestedPrecision is now available for polynomials over local fields.

Lie Algebras

·The IsSimple intrinsic now returns false for a 1-dimensional Lie algebra.

·An infinite loop in DirectSumDecomposition (when the field is finite and non-prime) has been fixed.

Polynomial Rings

·An obscure crash in multivariate polynomial factorization has been fixed. Reported by A. Kasprzyk.

Vector Spaces

·A bug in IsConsistent for vectors has been fixed. Reported by R. Zeier.

p-adic Fields and their Extensions

·Improvements have been made to some handling of elements of p-adic fields and extensions where the valuation of the element was greater than the precision of the ring of integers. Printing in precision 1 fields has been fixed.

·The Extensions returned by Factorization of a polynomial over a local field have been fixed. Reported by J. KlÃ¼ners.

·An error check has been added to Factorization of a polynomial over a local field where precision was found to be lacking.