Magma
SubMagmaCayleyTable
compute the Cayley table of a submagma
Calling Sequence
Parameters
Description
Examples
Compatibility
SubMagmaCayleyTable( s, m )
s
-
subset of {1,2,...,n}
m
Array representing the Cayley table of a finite magma of order n
The SubMagmaCayleyTable( s, m ) command returns a Cayley table for the submagma s of the magma represented by the Cayley table m. The elements of s are renumbered to fall within the range 1..k, where k is the number of elements of s.
If the subset s of {1,2,...,n} is not a submagma of m, then an exception is raised.
The Magma[SubMagmaCayleyTable] command was introduced in Maple 17.
For more information on Maple 17 changes, see Updates in Maple 17.
See Also
IsSubMagma
Download Help Document