The Magma Algebra System I: The User Language

In the first of two papers on , a new system for computational algebra, we present the 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.