Magma
IsLoop
test whether a finite magma is a loop
Calling Sequence
Parameters
Description
Examples
Compatibility
IsLoop( m )
m
-
Array representing the Cayley table of a finite magma
A loop is a quasigroup with an identity element.
The IsLoop command returns true if the given magma is a loop, and returns false otherwise.
with⁡Magma:
m≔1|2|3,2|3|1,3|1|2
m≔123231312
IsLoop⁡m
true
m≔1|3|2,2|1|3,3|2|1
m≔132213321
false
The Magma[IsLoop] command was introduced in Maple 15.
For more information on Maple 15 changes, see Updates in Maple 15.
See Also
HasIdentity
IsQuasigroup
Download Help Document
What kind of issue would you like to report? (Optional)