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

ACKNOWLEDGEMENTS

The Magma Development Team

Current Members

Geoff Bailey, BSc (Hons) (Sydney), [1995-]: Main interests include elliptic curves (especially those defined over the rationals), virtual machines and computer language design. Has implemented part of the elliptic curve facilities especially the calculation of Mordell-Weil groups. Other main areas of contribution include combinatorics, local fields and the Magma system internals.

John Cannon Ph.D. (Sydney), [1971-]: Research interests include computational methods in algebra, geometry, number theory and combinatorics; the design of mathematical programming languages and the integration of databases with Computer Algebra systems. Contributions include overall concept and planning, language design, specific design for many categories, numerous algorithms (especially in group theory) and general management.

Willem de Graaf, Ph.D. (T.U. Eindhoven), [2004-]: Main research interest is computational Lie theory, in particular algorithms for finite-dimensional Lie algebras and quantum groups. Has contributed functions for dealing with finite-dimensional Lie algebras, and finitely-presented Lie algebras. Is currently implementing algorithms for quantum groups.

Claus Fieker, Ph.D. (TU Berlin), [2000-]: Formerly a member of the KANT project. Research interests are in constructive algebraic number theory and, especially, relative extensions and computational class field theory. Main contributions are class field theory, the current interface to number fields and relative extensions of function fields. Contributed to the module theory over Dedekind domains and is currently developing generic methods for global fields.

Damien Fisher, BSc (Advanced) (Sydney), BSc (Hons) (UNSW), [2002-]: Implemented a new package for p-adic rings and their extensions that places a strong emphasis on fast arithmetic. Current projects focus on extensions to the Magma language, and include a Magma profiler.

Michael Harrison, Ph.D. (Cambridge,UK 1992), [2003-]: Research interests are in number theory, arithmetic and algebraic geometry. Implemented the p-adic methods for counting points on hyperelliptic curves and their Jacobians over finite fields: Kedlaya's method and the modular parameter method of Mestre. Currently working on machinery for general surfaces and cohomology for projective varieties.

Allan Steel, BA (Hons, University Medal) (Sydney), [1989-]: Has developed many of the fundamental data structures and algorithms in Magma for multiprecision integers, finite fields, matrices and modules, polynomials and Gröbner bases, aggregates, memory management, environmental features, and the package system, and has also worked on the Magma language interpreter. In collaboration, he has developed the code for lattice theory (with Bernd Souvignier), invariant theory (with Gregor Kemper) and module theory (with Jon Carlson and Derek Holt).

Nicole Sutherland, BSc (Hons) (Macquarie), [1999-]: Works in the areas of number theory and algebraic geometry. Developed the machinery for Newton polygons and lazy power series and contributed to the code for local fields, number fields, modules over Dedekind domains, function fields and schemes. Currently working on relative function fields and improving maps between schemes.

Bill Unger, Ph.D. (Sydney), [1998-]: Works in computational group theory, with particular emphasis on algorithms for permutation and matrix groups. Implemented many of Magma's current permutation group algorithms, in particular BSGS verification, solvable radical and chief series algorithms. Recently extended the primitive groups database to degree 999 (with Colva Roney-Dougal).

Greg White, BSc (Hons) (Sydney), [2000-]: Research interests include cryptography and coding theory. Contributions include a database of best known linear codes database for binary and quaternary codes, machinery for codes over finite rings, and a package for Young Tableaux. Current projects include discrete logarithms in finite fields and quantum error correcting codes.

Former Members

Wieb Bosma, [1989-1996]: Responsible for the initial development of number theory in Magma and the coordination of work on commutative rings. Also has continuing involvement with the design of Magma.

Gavin Brown,[1998-2001]: Developed code in basic algebraic geometry, applications of Groebner bases, number field and function field kernel operations; applications of Hilbert series to lists of varieties.

Herbert Brückner, [1998--1999]: Developed code for constructing the ordinary irreducible representations of a finite soluble group and the maximal finite soluble quotient of a finitely presented group.

Nils Bruin, [2002--2003]: Contributions include Selmer groups of elliptic curves and hyperelliptic Jacobians over arbitrary number fields, local solubility testing for arbitrary projective varieties and curves, Chabauty-type computations on Weil-restrictions of elliptic curves and some algorithms for, and partial design of, the differential rings module.

Bruce Cox, [1990--1998]: A member of the team that worked on the design of the Magma language. Responsible for implementing much of the first generation Magma machinery for permutation and matrix groups.

Alexandra Flynn, [1995--1998]: Incorporated various Pari modules into Magma, and developed much of the machinery for designs and finite planes.

Volker Gebhardt, [1999--2003]: Author of the Magma categories for infinite polycyclic groups and for braid groups. Other contributions include machinery for general finitely presented groups.

Katharina Gei ss ler, [1999--2001]: Developed the code for computing Galois groups of number fields and function fields.

Emanuel Herrmann, [1999]: Developed code for computing integral points and S-integral points on ellipt ic curves.

Florian He ss, [1999--2001]: Developed a substantial part of the algebraic function field module in Magma including algorithms such as the computation of Riemann-Roch spaces and class groups.

David Kohel, [1999--2002]: Contributions include model for schemes (with G Brown); algorithms for curves of low genus; implementation of elliptic curves, binary quadratic forms, quaternion algebras, Brandt modules, spinor genera and genera of lattices, modular curves, conics (with P Lieby), modules of supersingular points (with W Stein), Witt rings.

Paulette Lieby, [1999--2003]: Contributed to the development of algorithms for algebraic geometry, abelian groups and incidence structures. Developed datastructures for multigraphs and implemented algorithms for planarity, triconnectivity and network flows.

Graham Matthews, [1989--1993]: Involved in the design of the Magma semantics, user interface, and internal organisation.

Richard Rannard, [1997--1998]: Contributed to the code for elliptic curves over finite fields including a first version of the SEA algorithm.

Colva M. Roney-Dougal, [2001--2003]: Completed the classification of primitive permutation groups up to degree 999 (with Bill Unger). Classified maximal subgroups of almost simple groups.

Michael Slattery, [1987]: Contributed a large part of the machinery for finite soluble groups including subgroup lattice and automorphism group.

Ben Smith, [2000--2003]: Contributed to an implementation of the Number Field Sieve and a package for integer linear programming.

Bernd Souvignier, [1996--1997]: Contributed to the development of algorithms and code for lattices, local fields, finite dimensional algebras and permutation groups.

Alexa van der Waall, [2003]: Implemented aspects of differential Galois theory.

Paul B. van Wamelen, [2002--2003]: Implemented analytic Jacobians of hyperelliptic curves in Magma.

External Contributors

The Magma system has benefited enormously from contributions made by many members of the mathematical community. We list below those persons and research groups who have given the project substantial assistance either by allowing us to adapt their software for inclusion within Magma or through general advice and criticism. We wish to express our gratitude both to the people listed here and to all those others who participated in some aspect of the Magma development.

Group Theory

A database of all groups having order at most 2000, excluding order 1024 has been made available by Hans Ulrich Besche (Aachen), Bettina Eick (Braunschweig), and Eamonn O'Brien (Auckland). This library incorporates "directly" the libraries of 2-groups of order dividing 256 and the 3-groups of order dividing 729, which were prepared and distributed at various intervals by M.F. Newman (ANU) and E.A. O'Brien and various assistants, the first release dating from 1987.

Peter Brooksbank (Ohio) gave the Magma group permission to base its implementation of the Kantor-Seress algorithm for black-box recognition of linear groups on his GAP implementation.

The soluble quotient algorithm in Magma was designed and implemented by Herbert Brückner (Aachen).

Greg Gamble (UWA) helped refine the concept of a G-set for a permutation group and drafted several sections of the chapter on permutation groups.

The descriptions of the groups of order p^4, p^5, p^6 for p>3 were contributed by Boris Girnat, Robert McKibbin, M.F. Newman, E.A. O'Brien, and M.R. Vaughan-Lee.

Versions of Magma from V2.8 onwards employ the Advanced Coset Enumerator designed by George Havas (Queensland) and implemented by Colin Ramsay (also of Queensland). George has also contributed to the design of the machinery for finitely presented groups.

Machinery for computing group cohomology and for producing group extensions has been provided by Derek Holt (Warwick). There are two parts to this machinery. The first part comprises Derek's older C-language package for permutation groups while the second part comprises a recent Magma language package for group cohomology.

Calculation of automorphism groups (for permuation and matrix groups) and determining group isomorphism (for finite groups) is performed by code written by Derek Holt (Warwick).

Derek Holt (Warwick) developed a modified version of his program, kbmag, for inclusion within Magma. The Magma facilities for groups and monoids defined by confluent rewrite systems, as well as automatic groups, are supported by this code.

Derek Holt (Warwick) has implemented the Magma version of the Bratus/Pak algorithm for black-box recognition of the symmetric and alternating groups.

The function for determining whether a given finite permutation group is a homomorphic image of a finitely presented group has been implemented in C by Volker Gebhardt (Magma) from a Magma language prototype developed by Derek Holt (Warwick).

Alexander Hulpke (Colorado State) has made available his database of all transitive permutation groups of degree up to 30. This incorporates the earlier database of Greg Butler (Concordia) and John McKay (Concordia) containing all transitive groups of degree up to 15.

Most of the algorithms for p-groups and many of the algorithms implemented in Magma for finite soluble groups are largely due to Charles Leedham--Green (QMW, London).

The PERM package developed by Jeff Leon (UIC) for efficient backtrack searching in permutation groups is used for most of the permutation group constructions that employ backtrack search.

A Monte-Carlo algorithm for non-constructive recognition of simple groups has been contributed by its authors Gunter Malle (Kassel) and Eamonn O'Brien (Auckland). This procedure includes the algorithm of Babai et al.

Magma incorporates a database of the maximal finite rational subgroups of GL(n, Q) up to dimension 31. This database is due to Gabriele Nebe (Ulm) and Wilhelm Plesken (Aachen). A database of quaternionic matrix groups constructed by Gabriele is also included.

A function that determines whether a matrix group G (defined over a finite field) is the normaliser of an extraspecial group in the case where the degree of G is an odd prime uses the new Monte-Carlo algorithm of Alice Niemeyer (Perth) and has been implemented in Magma by Eamonn O'Brien (Auckland).

The NQ program of Werner Nickel (Darmstadt) is used to compute nilpotent quotients of finitely presented groups.

The package for recognizing large degree classical groups over finite fields was designed and implemented by Alice Niemeyer (Perth) and Cheryl Praeger (Perth). It has been extended to include 2-dimensional linear groups by Eamonn O'Brien (Auckland).

The p-quotient program, developed by Eamonn O'Brien (Auckland) based on earlier work by George Havas and Mike Newman (ANU), provides a key facility for studying p-groups in Magma. Eamonn's extensions in Magma of this package for generating p-groups, computing automorphism groups of p-groups, and deciding isomorphism of p-groups are also included. He has contributed software to count certain classes of p-groups and to construct central extensions of soluble groups.

Eamonn O'Brien (Auckland) has contributed a Magma implementation of algorithms for determining the Aschbacher category of a subgroup of GL(n, q). The corresponding sections of the Handbook were written by Eamonn.

A fast algorithm for determining subgroup conjugacy based on Aschbacher's theorem classifying the maximal subgroups of a linear group has been designed and implemented by Colva Roney-Dougal (Sydney).

Colva Roney-Dougal (Sydney) has implemented the Beals et al algorithm for black-box recognition of the symmetric and alternating groups.

Generators for matrix representations for groups of Lie type were constructed and implemented by Don Taylor (Sydney) with some assistance from Leanne Rylands (Western Sydney).

The low index subgroup function is implemented by code that is based on a Pascal program written by Charlie Sims (Rutgers).

A package for computing with subgroups of finite index in the group PSL(2, R) has been developed by Helena Verrill (Hannover).

A Magma database has been constructed from the permutation and matrix representations contained in the on-line Atlas of Finite Simple Groups with the assistance of its author Robert Wilson (Birmingham).

Basic Rings

A facility for computing with arbitrary but fixed precision reals was based on Richard Brent's (ANU) FORTRAN package MP. Richard has also made available his database of 221, 122 factorizations of integers of the form p^n +- 1, together with his intelligent factorization code FACTOR.

Stefi Cavallar (CWI, Amsterdam) has adapted her code for filtering relations in the CWI Number Field Sieve so as to run as part of the Magma Number Field Sieve.

The group headed by Henri Cohen (Bordeaux) made available parts of their Pari system for computational number theory for inclusion in Magma. Pascal Letard of the Pari group visited Sydney for two months in 1994 and recoded large sections of Pari for Magma. The Pari facilities installed in Magma include arithmetic for real and complex fields (the `free' model), approximately 100 special functions for real and complex numbers, quadratic fields and other features.

Xavier Gourdon (INRIA, Paris) made available his C implementation of A. Schön-hage's splitting-circle algorithm for the fast computation of the roots of a polynomial to a specified precision. Xavier also assisted with the adaptation of his code for the Magma kernel.

Two of the main integer factorization tools available in Magma are due to Arjen K. Lenstra (Citibank) and his collaborators. These are the elliptic curve method ECM and a multiple polynomial quadratic sieve developed by Arjen from his "factoring by email" MPQS during visits to Sydney in 1995 and 1998.

The primality of integers is proven using the ECPP (Elliptic Curves and Primality Proving) package written by François Morain (Ecole Polytechnique and INRIA). The ECPP program in turn uses the BigNum package developed jointly by INRIA and Digital PRL.

The code for Coppersmith's index-calculus algorithm (used to compute logarithms in finite fields of characteristic 2) was developed by Emmanuel Thom'e (Ecole Polytechnique).

Extensions of Rings

The algebraic function field module in Magma is based on machinery developed in KANT. It was further developed by Florian He ss while at the University of Sydney over the period September, 1999 - January, 2001. Florian continues to be involved in the development of this module.

David Kohel (Singapore, Sydney) has contributed to the machinery for binary quadratic forms and has implemented rings of Witt vectors.

Jürgen Klüners (Kassel) has made major contributions to the Galois theory machinery for function fields and number fields. In particular, he implemented the subfield and automorphism group functions as well as the computation of the subfield lattice of the normal closure of a field.

Jürgen Klüners (Kassel) and Gunter Malle (Kassel) made available their extensive tables of polynomials realising all Galois groups over Q up to degree 15.

Sebastian Pauli (TU Berlin) has implemented his algorithm for factoring polynomials over local fields within Magma. This algorithm may also be used for the factorization of ideals, the computation of completions of global fields, and for splitting extensions of local fields into towers of unramified and totally ramified extensions.

The facilities for general number fields in Magma are provided by the KANT V4 package developed by Michael Pohst and collaborators, originally at Düsseldorf and now at TU, Berlin. This package provides extensive machinery for computing with maximal orders of number fields and their ideals, Galois groups and function fields. Particularly noteworthy are functions for computing the class group, the unit group, systems of fundamental units, and subfields of a number field.

Linear Algebra and Module Theory

The functions for computing automorphism groups and isometries of lattices are based on the AUTO and ISOM programs of Bernd Souvignier (Nijmegen).

The packages for chain complexes and basic algebras have been developed by Jon F. Carlson (Athens, GA).

Derek Holt (Warwick) has made a number of important contributions to the design of the module theory algorithms employed in Magma.

Charles Leedham-Green (QMW, London) was responsible for the original versions of the submodule lattice and endomorphism ring algorithms.

A collection of lattices from the on-line tables of lattices prepared by Neil Sloane (AT&T Research) and Gabriele Nebe (Ulm) is included in Magma.

Algebras and Representation Theory

Gregor Kemper (Heidelberg) has contributed most of the major algorithms of the Invariant Theory module of Magma, together with many other helpful suggestions in the area of Commutative Algebra.

Quaternion algebras have been implemented by David Kohel (Singapore, Sydney).

The vector enumeration program of Steve Linton (St. Andrews) provides Magma with the capability of constructing matrix representations for finitely presented associative algebras.

The Magma implementation of the Dixon--Schneider algorithm for computing the table of ordinary characters of a finite group is based on an earlier version written for Cayley by Gerhard Schneider (Karlsruhe).

Lie Theory

The major structural machinery for Lie algebras has been implemented for Magma by Willem de Graaf (Utrecht) and is based on his ELIAS package written in GAP.

A fast algorithm for multiplying Coxeter group elements has been designed and implemented by R. B. Howlett (Sydney).

The original version of the code for root systems and permutation Coxeter groups was modelled, in part, on the Chevie package of GAP and implemented by D. E. Taylor (Sydney) with the assistance of Frank Lübeck (Aachen).

The current version of Lie theory in Magma has been implemented by Scott H. Murray (Sydney) with some assistance from D. E. Taylor (Sydney). It includes the three contributions listed immediately above.

Functions that construct any finite irreducible unitary reflection group in C^n have been implemented by D. E. Taylor (Sydney). Extension to the infinite case was implemented by Scott H. Murray (Sydney).

Algebraic Geometry

The machinery for working with Hilbert series of polarised varieties and the associated databases of K3 surfaces and Fano 3-folds has been constructed by Gavin Brown (Warwick).

The Magma facility for determining the Mordell-Weil group of an elliptic curve over the rational field is based on the mwrank programs of John Cremona (Nottingham).

John Cremona (Nottingham) has contributed his code implementing Tate's algorithm for computing local minimal models for elliptic curves defined over number fields.

A database of elliptic curves of conductor up to 20,000 constructed by John Cremona (Nottingham) is also included.

Various point-counting algorithms for hyperelliptic curves have been implemented by Pierrick Gaudry (Ecole Polytechnique, Paris). These include an implementation of the Schoof algorithm for genus 2 curves.

Martine Girard (Sydney) has contributed her fast code for determining the heights of a point on an elliptic curve defined over a number field or a function field.

A Magma package for calculating Igusa and other invariants for genus 2 hyperelliptic curves functions was written by Everett Howe (CCR, San Diego) and is based on gp routines developed by Fernando Rodriguez--Villegas (Texas) as part of the Computational Number Theory project funded by a TARP grant.

David Kohel (Singapore, Sydney) has provided implementations of division polynomials and isogeny structures for elliptic curves, Brandt modules and modular curves. He developed the machinery for conics with Paulette Lieby (Magma), and, jointly with William Stein (Harvard), he implemented the module of supersingular points.

Reynard Lercier (Rennes) provided much advice and assistance to the Magma group concerning the implementation of the SEA point counting algorithm for elliptic curves.

Miles Reid (Warwick) has been heavily involved in the design and development of a database of K3 surfaces within Magma.

A package for computing with modular symbols (known as HECKE) has been developed by William Stein (Harvard). William has also provided a package for modular forms.

In 2003--2004, William Stein (Harvard) developed extensive machinery for computing with modular abelian varieties within Magma.

A database of 136, 924, 520 elliptic curves with conductors up to 10^8 has been provided by William Stein (Harvard) and Mark Watkins (Penn State).

Much of the initial development of the package for computing with hyperelliptic curves is due to Michael Stoll (Düsseldorf).

Mark Watkins (Penn State) developed C code in Magma for computing the set of curves Q-isogenous to a given curve, for determining the analytic rank and for finding the modular degree of a rational elliptic curve.

Tom Womack (Nottingham) contributed code for doing four-descent, for locating Heegner points and for computing the Cassels-Tate pairing in the case of elliptic curves over Q.

Incidence Structures, Codes and Optimization

Michel Berkelaar (Eindhoven) gave us permission to incorporate his lp_solve package for linear programming.

The first stage of the Magma database of Hadamard and skew-Hadamard matrices was prepared with the assistance of Stelios Georgiou (Athens), Ilias Kotsireas (Wilfrid Laurier) and Christos Koukouvinos (Athens). In particular, they made available their tables of Hadamard matrices of orders 32, 36, 44, 48 and 52.

The construction of a database of Best Known Linear Codes over GF(2) was a joint project with Markus Grassl (IAKS, Karlsruhe). Other contributors to this project include: Andries Brouwer, Zhi Chen, Stephan Grosse, Aaron Gulliver, Ray Hill, David Jaffe, Simon Litsyn, James B. Shearer and Henk van Tilborg. Markus Grassl has also made many other contributions to the Magma coding theory machinery.

The databases of Best Known Linear Codes over GF(3) and GF(4) were constructed by Markus Grassl (IAKS, Karlsruhe).

The Magma machinery for symmetric functions is based on the Symmetrica package developed by Abalbert Kerber (Bayreuth) and colleagues. The Magma version was implemented by Axel Kohnert of the Bayreuth group.

The Magma kernel code for computing with incidence geometries has been developed by Dimitri Leemans (Brussels).

The PERM package developed by Jeff Leon (UIC) is used to determine automorphism groups of codes, designs and matrices.

The calculation of the automorphism groups of graphs and the determination of graph isomorphism is performed using Brendan McKay's (ANU) program nauty (version 2.2). Databases of graphs and machinery for generating such databases have also been made available by Brendan. He has also collaborated in the design of the sparse graph machinery.

Graham Norton (Queensland) has provided substantial advice and help in the development of Z_4-codes in Magma.

The code to perform the regular expression matching in the regexp intrinsic function comes from the V8 regexp package by Henry Spencer (Toronto).

Handbook Contributors

Introduction

The Handbook of Magma Functions is the work of many individuals. It was based on a similar Handbook written for Cayley in 1990. Up until 1997 the Handbook was mainly written by Wieb Bosma, John Cannon and Allan Steel but in more recent times, as Magma expanded into new areas of mathematics, additional people became involved. It is not uncommon for some chapters to comprise contributions from 8 to 10 people. Because of the complexity and dynamic nature of chapter authorship, rather than ascribe chapter authors, in the table below we attempt to list those people who have made significant contributions to chapters.

We distinguish between:

Principal Author, i.e. one who primarily conceived the core element(s) of a chapter and who was also responsible for the writing of a large part of its current content, and

Contributing Author, i.e. one who has written a significant amount of content but who has not had primary responsibility for chapter design and overall content.

It should be noted that attribution of a person as an author of a chapter carries no implications about the authorship of the associated computer code: for some chapters it will be true that the author(s) listed for a chapter are also the authors of the corresponding code, but in many chapters this is either not the case or only partly true. Some information about code authorship may be found in the sections Magma Development Team and External Contributors.

The attributions given below reflect the authorship of the material comprising the V2.11 edition. Since many of the authors have since moved on to other careers, we have not been able to check that all of the attributions below are completely correct. We would appreciate hearing of any omissions.

In the chapter listing that follows, for each chapter the start of the list of principal authors (if any) is denoted by while the start of the list of contributing authors is denoted by .

People who have made minor contributions to one or more chapters are listed in a general acknowledgement following the chapter listing.

The Chapters

STATEMENTS AND EXPRESSIONS
      W. Bosma, A. Steel

FUNCTIONS, PROCEDURES AND PACKAGES
      W. Bosma, A. Steel

INPUT AND OUTPUT
      W. Bosma, A. Steel

ENVIRONMENT AND OPTIONS
      A. Steel
      W. Bosma

MAGMA SEMANTICS
      G. Matthews

THE MAGMA PROFILER
      D. Fisher

INTRODUCTION TO AGGREGATES
      W. Bosma

SETS
      W. Bosma, J. Cannon
      A. Steel

SEQUENCES
      W. Bosma, J. Cannon

TUPLES AND CARTESIAN PRODUCTS
      W. Bosma

LISTS
      W. Bosma

COPRODUCTS
      A. Steel

RECORDS
      W. Bosma

MAPPINGS
      W. Bosma

FINITELY PRESENTED SEMIGROUPS
      J. Cannon

MONOIDS GIVEN BY REWRITE SYSTEMS
      D. Holt
      G. Matthews

GROUPS
      J. Cannon
      B. Cox

PERMUTATION GROUPS
      J. Cannon
      B. Cox, W. Unger

MATRIX GROUPS
      J. Cannon
      B. Cox, E.A. O'Brien, A. Steel

FINITE SOLUBLE GROUPS
      J. Cannon, M. Slattery

FINITE p-GROUPS
      E.A. O'Brien

GENERIC ABELIAN GROUPS
      P. Lieby

BLACK-BOX GROUPS
      W. Unger

AUTOMORPHISM GROUPS
      D. Holt
      W. Unger

COHOMOLOGY AND EXTENSIONS
      D. Holt

DATABASES OF GROUPS
      W. Unger
      V. Gebhardt

FINITELY PRESENTED ABELIAN GROUPS
      J. Cannon

FINITELY PRESENTED GROUPS
      J. Cannon
      V. Gebhardt

FINITELY PRESENTED GROUPS: ADVANCED
      H. Brückner, V. Gebhardt
      E.A. O'Brien

POLYCYCLIC GROUPS
      V. Gebhardt

BRAID GROUPS
      V. Gebhardt

GROUPS DEFINED BY REWRITE SYSTEMS
      D. Holt
      G. Matthews

AUTOMATIC GROUPS
      D. Holt
      G. Matthews

GROUPS OF STRAIGHT-LINE PROGRAMS
      J. Cannon

SUBGROUPS OF PSL_2(R)
      H. Verrill

INTRODUCTION TO RINGS
      W. Bosma

RING OF INTEGERS
      W. Bosma, A. Steel
      S. Contini, B. Smith

RATIONAL FIELD
      W. Bosma

FINITE FIELDS
      W. Bosma, A. Steel

UNIVARIATE POLYNOMIAL RINGS
      A. Steel

MULTIVARIATE POLYNOMIAL RINGS
      A. Steel

REAL AND COMPLEX FIELDS
      W. Bosma

INTRODUCTION TO MODULES
      J. Cannon

MATRICES
      A. Steel

SPARSE MATRICES
      A. Steel

VECTOR SPACES
      J. Cannon, A. Steel

FREE MODULES
      J. Cannon, A. Steel

LATTICES
      B. Souvignier, A. Steel

IDEAL THEORY AND GRÖBNER BASES
      A. Steel

AFFINE ALGEBRAS
      A. Steel

MODULES OVER AFFINE ALGEBRAS
      A. Steel

ORDERS AND ALGEBRAIC FIELDS
      W. Bosma, C. Fieker
      J. Cannon, N. Sutherland

BINARY QUADRATIC FORMS
      D. Kohel

QUADRATIC FIELDS
      W. Bosma

CYCLOTOMIC FIELDS
      W. Bosma

CLASS FIELD THEORY
      C. Fieker

ALGEBRAICALLY CLOSED FIELDS
      A. Steel

RATIONAL FUNCTION FIELDS
      A. Steel

ALGEBRAIC FUNCTION FIELDS
      F. Hess
      C. Fieker, N. Sutherland

MODULES OVER DEDEKIND DOMAINS
      C. Fieker, N. Sutherland

VALUATION RINGS
      W. Bosma

NEWTON POLYGONS
      G. Brown, N. Sutherland

p-ADIC RINGS AND THEIR EXTENSIONS
      D. Fisher, B. Souvignier
      N. Sutherland

GALOIS RINGS
      A. Steel

POWER, LAURENT AND PUISEUX SERIES
      A. Steel

LAZY POWER SERIES RINGS
      N. Sutherland

DIFFERENTIAL RINGS, FIELDS AND OPERATORS
      A. van der Waall

ALGEBRAS
      J. Cannon, B. Souvignier

STRUCTURE CONSTANT ALGEBRAS
      J. Cannon, B. Souvignier

ASSOCIATIVE ALGEBRAS
      J. Cannon, B. Souvignier

QUATERNION ALGEBRAS
      D. Kohel

MATRIX ALGEBRAS
      J. Cannon, A. Steel

FINITELY PRESENTED ALGEBRAS
      A. Steel, S. Linton

MODULES OVER A MATRIX ALGEBRA
      J. Cannon, A. Steel

GROUP ALGEBRAS
      J. Cannon, B. Souvignier

K[G]-MODULES AND GROUP REPRESENTATIONS
      J. Cannon, A. Steel

CHARACTERS OF FINITE GROUPS
      W. Bosma, J. Cannon

REPRESENTATION THEORY OF SYMMETRIC GROUPS
      A. Kohnert

INVARIANT RINGS OF FINITE GROUPS
      A. Steel

BASIC ALGEBRAS
      J. Carlson

CHAIN COMPLEXES
      J. Carlson

INTRODUCTION TO LIE THEORY
      S. Murray
      D. Taylor

COXETER SYSTEMS
      S. Murray
      D. Taylor

ROOT SYSTEMS
      S. Murray
      D. Taylor

ROOT DATA
      S. Murray, D. Taylor

COXETER GROUPS
      S. Murray
      D. Taylor

COXETER GROUPS AS PERMUTATION GROUPS
      S. Murray, D. Taylor

REFLECTION GROUPS
      S. Murray
      D. Taylor

GROUPS OF LIE TYPE
      S. Murray
      D. Taylor

LIE ALGEBRAS
      W. de Graaf
      S. Murray

FINITELY PRESENTED LIE ALGEBRAS
      W. de Graaf

SCHEMES
      G. Brown
      J. Cannon, M. Harrison, N. Sutherland

PLANE ALGEBRAIC CURVES
      G. Brown
      N. Bruin, J. Cannon

RESOLUTION GRAPHS AND SPLICE DIAGRAMS
      G. Brown

HILBERT SERIES OF POLARISED VARIETIES
      G. Brown

RATIONAL CURVES AND CONICS
      D. Kohel, P. Lieby

ELLIPTIC CURVES
      D. Kohel
      G. Bailey, W. Bosma, N. Bruin

HYPERELLIPTIC CURVES
      P. van Wamelen
      N. Bruin, M. Harrison, D. Kohel

MODULAR CURVES
      D. Kohel

MODULAR SYMBOLS
      W. Stein
      K. Buzzard

BRANDT MODULES
      D. Kohel

SUPERSINGULAR DIVISORS ON MODULAR CURVES
      D. Kohel, W. Stein

MODULAR FORMS
      W. Stein
      K. Buzzard

MODULAR ABELIAN VARIETIES
      W. Stein

ENUMERATIVE COMBINATORICS
      G. Bailey
      G. White

PARTITIONS, WORDS AND YOUNG TABLEAUX
      G. White

SYMMETRIC FUNCTIONS
      A. Kohnert

GRAPHS
      J. Cannon, P. Lieby
      G. Bailey

MULTIGRAPHS
      J. Cannon, P. Lieby

NETWORKS
      P. Lieby

INCIDENCE STRUCTURES AND DESIGNS
      J. Cannon

HADAMARD MATRICES
      G. Bailey

FINITE PLANES
      J. Cannon

INCIDENCE GEOMETRY
      D. Leemans

LINEAR CODES OVER FINITE FIELDS
      J. Cannon, A. Steel
      G. White

ADDITIVE CODES
      G. White

LINEAR CODES OVER FINITE RINGS
      A. Steel
      G. White

PSEUDO-RANDOM BIT SEQUENCES
      S. Contini

LINEAR PROGRAMMING
      B. Smith

General Acknowledgements

In addition to the contributors listed above, we gratefully acknowledge the contributions to the Handbook made by the following people:

J. Brownie (group theory)
K. Gei ss ler (Galois groups)
A. Flynn (algebras and designs)
M. Harrison (commutative algebra and schemes)
E. Herrmann (elliptic curves)
E. Howe (Igusa invariants)
B. McKay (graph theory)
S. Pauli (local fields)
C. Playoust (data structures, rings)
C. Roney-Dougal (groups)
P. Walford (elliptic and modular functions)
M. Watkins (elliptic curves)
T. Womack (elliptic curves)