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.
Tables from this paper
6,584 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
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.
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…
Solving Problems with Magma. Sydney: School of Mathematics and Statistics, University of Sydney
- 1995
Magma: A New Computer Algebra System
- Euromath Bulletin
- 1996