test whether a finite magma is a crossed set
IsCrossedSet( m )
Array representing the Cayley table of a finite magma
A crossed set is a quandle Q such that, for all x and y in Q, we have x * y = x if, and only if, y * x = y.
The IsCrossedSet command returns true if the given magma is a crossed set. It returns false otherwise.
Note that it is not assumed that the magma m is a quandle, so this check is applied first.
m ≔ 1|3|2,3|2|1,2|1|3
m ≔ 1|1|1,3|2|2,2|3|3
The Magma[IsCrossedSet] command was introduced in Maple 16.
For more information on Maple 16 changes, see Updates in Maple 16.
Download Help Document
What kind of issue would you like to report? (Optional)