Computation in Magma always takes place in one or more explicitly defined structures. A family of structures whose members satisfy a common set of axioms and which share a common representation is termed a category. In the first of the following sections we summarise the facilities of the Magma language and environment. Following this we summarise many of the kernel categories grouped together under the broad headings listed below.
All timings given below are for a Sun 400Mhz UltraSPARC 2 unless otherwise indicated.