[Next] [Prev] [Right] [Left] [Up] [Index] [Root]
Release Notes V2.01-1 (21 June 1996)

Release Notes V2.01-1 (21 June 1996)

Magma V2.01-1 (21 June 1996)

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

Version V2.01 of Magma features the full release of packages (V1.3 contained a Beta release of packages), and the new I/O and system facilities. Version V2.01 also features automatic printing of expressions.

Documentation

  • Handbook: Extensive changes and additions
  • An Introduction to Magma: extensive revision/updating of the language and environment chapters; minor revision/updating of most of the category chapters
  • Solving Problems with Magma: reorganization of the chapters; several additional examples added; several minor amendments and improvements
  • First Steps in Magma: documentation that "print" is now optional; minor revisions

    Language and System Features

  • 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, and Sprint function for obtaining output as a string
  • Automatic loading of multiple files at startup
  • Assignment of variables at startup from the command line
  • Advanced string manipulation functions including regular expression matching (Split, Regexp)
  • Function Pipe to pass input to an external command and receive its output as a string
  • Function Getpid for obtaining the process ID of the current Magma process
  • File objects for advanced I/O operations, including opening of pipes and most C standard library I/O functions
  • 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

    Aggregate Data Types

  • Multisets, allowing sets with repetitions
  • Lists, allowing linear collections of unrelated objects
  • Coproducts, allowing mixing of unrelated objects

    Permutation Groups

  • New algorithm for finding conjugacy classes in a permutation group
  • Solvable radical (SolvableRadical, Radical)
  • Algorithm to, given a permutation group G of degree n, construct a degree n faithful permutation representation of G / Radical(G)
  • The parameters for the function ClassMap have changed (see the Handbook)

    Integer Ring

  • Limit of number of factorizations stored for Cunningham factorization (CunninghamStorageLimit attribute)

    Finite Fields

  • Fast trace algorithm due to Eric Rains

    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
  • Computation of varieties over the complex field
  • Multivariate factorization of polynomials over finite fields (and function fields over finite fields)
  • Saturation ideal (ColonIdeal: the colon ideal I:f^infinity for ideal I and polynomial f)
  • More general evaluation of multivariate polynomials at elements of algebras over the coefficient ring

    Algebraic Number Fields and their Orders

  • Installation of new KANT V4 (April 3, 1996 version)
  • Solution of unit equation
  • Construction of exceptional units
  • Absolute minimal polynomial of an order element
  • Absolute representation matrix of an order element
  • Residue field of a prime ideal
  • Specification of a fractional ideal as I/n, n an integer
  • LCM of ideals belonging to a maximal order
  • Ramification index
  • Suborders
  • Square Root, n-th root of order and ANF elements
  • GaloisGroup algorithm fixed so that, for degree 8 to 11 inclusive, the roots returned (as the second return value) are in the correct order (i.e are consistent with the permutation group returned)

    Matrix Algebras

  • Basis functions (Basis, BasisElement, Coordinates)

    Finitely presented Algebras

  • New version of the Linton vector enumerator

    Elliptic Curves

  • Function IsEllipticCurve to test whether a sequence of coefficients defines a valid elliptic curve and to create it if so
  • Function SilvermanBound
  • Faster rank computation
  • Function MordellWeilRankBounds
  • Synonym Rank for MordellWeilRank, and synonym RankBounds for MordellWeilRankBound}

    Block Designs

  • Near-linear space functions Restriction, ConnectionNumber, IsPointRegular, IsLineRegular

    Finite Planes

  • Creation of classical and non-classical finite projective and affine planes
  • Subplanes, dual of a projective plane
  • Numerical invariants: order, p-rank
  • Properties: Desarguesian, self-dual
  • Parallel classes of an affine plane
  • k-arcs: testing, complete, tangents, secants, passants
  • Conics: through given points, knot, exterior, interior
  • Unitals: testing, tangents, feet
  • Affine to projective plane and vice versa
  • Related structures: design, incidence matrix, incidence graph, linear code
  • Collineation group, isomorphism testing
  • Central collineations: testing, groups
  • Group actions on a plane: orbits and stabilizers of points and lines
  • Symmetry properties: point transitive, line transitive

  • [Next] [Prev] [Right] [Left] [Up] [Index] [Root]