 Magma - Maple Programming Help

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.

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).
 • Because the underlying implementation of the Magma package is a module, it is possible to use the form Magma:-command to access a command from the package. For more information, see Module Members.

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.