×

zbMATH — the first resource for mathematics

The Magma algebra system. I: The user language. (English) Zbl 0898.68039
Summary: In the first of two papers on MAGMA, a new system for computational algebra, we present the MAGMA language, outline the design priciples and theoretical background, and indicate its scope and use. Particular attention is given to the construction for structures, maps, and sets.

MSC:
68W30 Symbolic computation and algebraic computation
Software:
Magma
PDF BibTeX XML Cite
Full Text: DOI