Portal de Periódicos da CAPES

The Magma Algebra System I: The User Language

1997; Elsevier BV; Volume: 24; Issue: 3-4 Linguagem: Inglês

10.1006/jsco.1996.0125

1095-855X

Wieb Bosma, John Cannon, Catherine Playoust,

Algebraic structures and combinatorial models

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