test whether a set is a submagma of a given magma
IsSubMagma( ss, m )
subset of the domain of the magma m
Array representing the Cayley table of a finite magma
A submagma of a magma is a subset that is closed under the specified binary operation. Note that the empty set is vacuously a submagma of any magma. Also, every magma is a submagma of itself.
The IsSubMagma( ss, m ) command returns true if the set ss is a submagma of the magma m, and returns false otherwise.
The Magma[IsSubMagma] command was introduced in Maple 15.
For more information on Maple 15 changes, see Updates in Maple 15.
Download Help Document
What kind of issue would you like to report? (Optional)