Overview - Maple Help
For the best experience, we recommend viewing online help using Google Chrome or Microsoft Edge.

Magma

 Calling Sequence Magma:-command(arguments) command(arguments)

Description

 • The Magma package is a collection of routines for working with small, finite magmas. A magma (sometimes also called a groupoid or a general binary system) is simply a set, together with a binary operation defined on that set.

List of Magma Package Commands

 • The following is a list of the commands in the main Magma package.

Magma representation

 • A magma is a set together with a binary operation.  Since, by transport of structure, every finite magma of order n is isomorphic to a magma on the set of integers from 1 to n, magmas are represented uniformly throughout the package by their Cayley tables as Arrays with entries from 1 to n. Thus, the (i,j) entry of the Cayley table is the result of multiplying the elements i and j.
 • Arrays representing Cayley tables of magmas are stored in row-major order (C_order) and have datatype integer[4].

Accessing the Magma Package Commands

 • Each command in the Magma package can be accessed by using either the long form or the short form of the command name in the command calling sequence.  For example, if M is a magma you may use either Magma:-IsAssociative(M) or with(Magma); then IsAssociative(M).

Examples

 > $\mathrm{with}\left(\mathrm{Magma}\right):$
 > $\mathrm{Enumerate}\left(4,'\mathrm{associative}','\mathrm{commutative}'\right)$
 ${58}$ (1)
 > $\mathrm{Enumerate}\left(4,'\mathrm{associative}','\mathrm{commutative}','\mathrm{identity}'\right)$
 ${19}$ (2)
 > $\mathrm{Q4}≔\mathrm{Enumerate}\left(4,'\mathrm{quandle}','\mathrm{output}'='\mathrm{list}'\right)$
 ${\mathrm{Q4}}{≔}\left[\left[\begin{array}{cccc}{1}& {1}& {1}& {1}\\ {2}& {2}& {2}& {2}\\ {3}& {3}& {3}& {3}\\ {4}& {4}& {4}& {4}\end{array}\right]{,}\left[\begin{array}{cccc}{1}& {1}& {1}& {1}\\ {2}& {2}& {2}& {2}\\ {3}& {4}& {3}& {3}\\ {4}& {3}& {4}& {4}\end{array}\right]{,}\left[\begin{array}{cccc}{1}& {1}& {1}& {1}\\ {2}& {2}& {2}& {2}\\ {4}& {4}& {3}& {3}\\ {3}& {3}& {4}& {4}\end{array}\right]{,}\left[\begin{array}{cccc}{1}& {1}& {1}& {1}\\ {2}& {2}& {4}& {3}\\ {3}& {4}& {3}& {2}\\ {4}& {3}& {2}& {4}\end{array}\right]{,}\left[\begin{array}{cccc}{1}& {1}& {1}& {1}\\ {3}& {2}& {2}& {2}\\ {4}& {3}& {3}& {3}\\ {2}& {4}& {4}& {4}\end{array}\right]{,}\left[\begin{array}{cccc}{1}& {1}& {2}& {2}\\ {2}& {2}& {1}& {1}\\ {4}& {4}& {3}& {3}\\ {3}& {3}& {4}& {4}\end{array}\right]{,}\left[\begin{array}{cccc}{1}& {3}& {4}& {2}\\ {4}& {2}& {1}& {3}\\ {2}& {4}& {3}& {1}\\ {3}& {1}& {2}& {4}\end{array}\right]\right]$ (3)
 > $\mathrm{select}\left(\mathrm{IsAssociative},\mathrm{Q4}\right)$
 $\left[\left[\begin{array}{cccc}{1}& {1}& {1}& {1}\\ {2}& {2}& {2}& {2}\\ {3}& {3}& {3}& {3}\\ {4}& {4}& {4}& {4}\end{array}\right]\right]$ (4)

Compatibility

 • The Magma package was introduced in Maple 15.
 • For more information on Maple 15 changes, see Updates in Maple 15.