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