Release Notes V2.00-1 (1 May 1996)

Magma V2.00-1 (1 May 1996)

Here is a terse summary of the new features installed in Magma for V2.0 since March 5, 1996. See the release notes for V1.30 for all new features introduced into Magma in 1995.

V2.0 of Magma features the full release of packages (V1.3 contained a Beta release of packages). V2.0 also features automatic printing of expressions.

Language

Full release of Packages (see release notes of V1.30-1 for details)

Automatic printing of expressions without the need of the 'print' statement

'printf' statment for formatted printing

Multisets, allowing sets with repetitions

Lists, allowing linear collections of unrelated objects

Coproducts, allowing mixing of unrelated objects

Equality operator 'cmpeq' which returns whether arguments are comparable as well as equal, thus always returning an answer

Extension of the where-is operator to expression lists

Finitely Presented Groups

New Tietze algorithm

Multivariate Polynomial Rings

Primary decomposition

General radical

Hilbert series and Hilbert polynomial

Efficient changing of orders

Extension and contraction of ideals

Variable extension of ideals

Algebraic Number Fields and their Orders

Installation of new KANT (April 3, 1996 version)

Incidence Structures

Finite planes (new category) linear space, design

Some new minor incidence structure functions