The Magma Algebra System I: The User Language

Summary

The MAGMA language is presented, the design principles and theoretical background are outlined, and the constructors for structures, maps, and sets are outlined.

Keywords

Scope (computer science), Magma, Mathematics, Algebra over a field, Symbolic computation

References

The Correctness Problem in Computer ScienceR. Boyer, J. Moore — 1982
AXIOM: the scientific computation systemR. Jenks, R. Sutor — 1992
A Computer Algebra System Based on Ordersorted AlgebraAnthony C. Hearn, E. Schrüfer — 1995
Programming with algebraic structures: design of the MAGMA languageWieb Bosma, John Cannon, Graham Matthews — 1994
Universal algebraK. Meinke, John V. Tucker — 1993
The Design of Cayley - a Language for Modern AlgebraG. Butler, John J. Cannon — 1990
Principles of parameterized programmingJ. Goguen — 1989
Cayley, Version 4: The User LanguageG. Butler, John J. Cannon — 1988

Cited by

TOWARDS A CONSTRUCTIVE PROOF OF A THEOREM OF KOECK-LAU-SINGERMANArturo Hidalgo — 2012
A New Class of Designs Which Protect against Quantum JumpsThomas Beth, Christopher Charnes, Markus Grassl — 2003
Analysis of linear relationships in block ciphersMuhammad Reza Z’aba — 2010
Certain strongly regular Cayley graphs on 𝔽22(2s+1) from cyclotomyKoji Momihara — 2014
Lattice polytopes in coding theoryIvan Soprunov — 2014
On base sizes for algebraic groupsTimothy C. Burness, Robert M. Guralnick, Jan Saxl — 2013
On the ramification of modular parametrizations at the cuspsFrançois Brunault — 2012
Attacking a polynomial-based cryptosystem: Polly CrackerRainer Steinwandt, Willi Geiselmann, Régine Endsuleit — 2002
MULTIMODE quantum calculations of intramolecular vibrational energies of the water dimer and trimer using ab initio-based potential energy surfaces.智章松野 — 2008
Multi-Frey ℚ-curves and the Diophantine equation a2 + b6 = cnMichael A. Bennett, Imin Chen — 2012
Function field analogues of Bang-Zsigmondy's theorem and Feit's theoremDong Quan Ngoc Nguyen — 2015
Irreducibility Certicates for Polynomials with Integer Coecien tsBart Kirkels — 2004
Models of Genus One CurvesMohammad Sadek — 2010
Algoritmos de álgebra conmutativa en anillos de polinomiosSantiago Laplagne — 2012
Application of Computer Algebra in List DecodingMuhammad F. I. Chowdhury — 2013
A generalisation of Turyn's construction of self-dual codes (Research into Vertex Operator Algebras, Finite Groups and Combinatorics)Gabriele Nebe — 2011
Cloud Computing Algebraic Homomorphic Encryption SchemeReem Alattas — 2014
Analysis of nonlinear sequences and streamciphersSui-Guan Teo — 2013
Modeling Inheritance as Coercion in the Kenzo SystemCésar Domínguez, Francis Sergeraert, Julio Rubio — 2006
On The Parallelization Of Integer Polynomial MultiplicationFarnam Mansouri — 2014

Related papers

Computer algebra systems - a practical guideMichael J. Wester — 1999
Computer Algebra and Interpolation: A Lesson PlanNicolas Robidoux — 1997
Trends in Computer Algebra: International Symposium, Bad Neuenahr, May 19-21, 1987. ProceedingsRainer Janßen, Ibm Deutschland. Scientific Programs Dept., Ibm Deutschland — 1988
Matricial computations: Classroom practice with a computer algebra systemThierry Dana-Picard — 2001
Examples of Using a Computer Algebra System in Teaching AlgebraDuane M. Broline, E. I. Gordon, Brad Heller — 2007
Symbolic computation in the homogeneous geometric model with clifford algebraHongbo Li — 2004
Solving some problems of algebra, analysis, and mathematical physics using computer algebra systemsNikolaj Glazunov, F. G. Karpinskii, Vladimir V. Kornyak — 1991