×

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 Link