The Magma Algebra System I: The User Language

  title={The Magma Algebra System I: The User Language},
  author={Wieb Bosma and John J. Cannon and Catherine Playoust},
  journal={J. Symb. Comput.},
Abstract In the first of two papers on MAGMA , a new system for computational algebra, we present the MAGMA language, outline the design principles and theoretical background, and indicate its scope and use. Particular attention is given to the constructors for structures, maps, and sets. 

KASH: Recent Developments

The computer algebra system KASH/KANT for number theory has evolved considerably and its new features are presented and the related components, QaoS (Querying Algebraic Objects System) and GiANT (Graphical Al algebraic Number Theory) are introduced.

Magma - A Tool for Number Theory

Magma is a computer algebra system developed by the group of John Cannon at the University of Sydney to provide a framework for implementing algorithms at a much higher level of abstraction than CA systems such as Maple and Mathematica.

Abstract Data Types in Computer Algebra

The aim of this paper is to report on the practical applications of this theory of abstract data types within computer algebra, and to outline some of the theoretical issues raised by this practical application.

Current Challenges in Developing Open Source Computer Algebra Systems

A number of current challenges in the development of Open Source computer algebra systems are discussed, with the main focus on algebraic geometry and the system Singular.

Computing in the Monster

We discuss the feasibility of a general technique for computing in the Fischer?Griess Monster, and provide information on some of its subgroups which illustrates the use of computational techniques

Testing isomorphism of modules

Testing isomorphism of graded algebras

We present a new algorithm to decide isomorphism between finite graded algebras. For a broad class of nilpotent Lie algebras, we demonstrate that it runs in time polynomial in the order of the input

Equality in Computer Algebra and Beyond

The computerization of mathematical computation in computer algebra systems on the one hand, and mathematical reasoning in theorem provers on the other hand, forces us to explore the issue of equality in greater detail.

A Millennium Project: Constructing Small Groups

Motivated by the millennium, these methods are used to construct the groups of order at most 2000; this calculation is reported on and the resulting group library is described.

What is Genselfdual?

All binary self-dual codes with given properties can be classified using the ACM Computing Classification System and developed software in the area of Coding Theory is presented.



Cayley, Version 4: The User Language

Cayley, version 4, is a proposed knowledge-based system for modern algebra. The proposal integrates the existing powerful algorithm base of Cayley with modest deductive facilities and large

The Design of Cayley - a Language for Modern Algebra

The design of Cayley's user language has been responsive to the needs of its users and influenced by established practice in the domain of modern algebra.

AXIOM: the scientific computation system

This book gives the reader a technical introduction to AXIOM, interacts with the system's tutorial, accesses algorithms newly developed by the symbolic computation community, and presents advanced programming and problem solving techniques.

Universal Algebra

I was brought to Universal Algebra against my will, as it were by Hermann Grassmann, and the main point of this paper is to describe a piece of Grass-mann's work and to ask those who know the subject

The Correctness Problem in Computer Science

A Computer Algebra System Based on Ordersorted Algebra

This paper presents the prototype design of an algebraic computation system that manipulates algebraic quantities as generic objects using order-sorted algebra as the underlying model. The resulting

Principles of parameterized programming

Programming with algebraic structures: design of the MAGMA language

The use of algebraic structure as a design paradigm provides a natural strong typing mechanism and the result is a powerful, clean language which deals with objects in a mathematically rigorous manner.

Solving Problems with Magma. Sydney: School of Mathematics and Statistics, University of Sydney

  • 1995

Magma: A New Computer Algebra System

  • Euromath Bulletin
  • 1996