# The Magma Algebra System I: The User Language

@article{Bosma1997TheMA, title={The Magma Algebra System I: The User Language}, author={Wieb Bosma and John J. Cannon and Catherine Playoust}, journal={J. Symb. Comput.}, year={1997}, volume={24}, pages={235-265} }

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.

## 6,578 Citations

### KASH: Recent Developments

- Computer Science, MathematicsICMS
- 2006

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

- MathematicsICMS
- 2010

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

- MathematicsMFCS
- 2000

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

- Computer ScienceMACIS
- 2015

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

- MathematicsJ. Symb. Comput.
- 2001

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 graded algebras

- MathematicsTransactions of the American Mathematical Society
- 2019

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

- MathematicsJ. Symb. Comput.
- 2002

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

- MathematicsInt. J. Algebra Comput.
- 2002

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?

- Computer ScienceSerdica Journal of Computing
- 2017

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.

## References

SHOWING 1-10 OF 13 REFERENCES

### Cayley, Version 4: The User Language

- MathematicsISSAC
- 1988

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

- Computer Science, MathematicsDISCO
- 1990

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

- Computer Science
- 1992

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

- Mathematics
- 1982

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…

### A Computer Algebra System Based on Ordersorted Algebra

- Computer Science, MathematicsJ. Symb. Comput.
- 1995

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…

### Programming with algebraic structures: design of the MAGMA language

- Computer ScienceISSAC '94
- 1994

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