test whether a magma is a kei (involutary quandle)
IsKei( m )
Array representing the Cayley table of a finite magma
The IsKei command returns true if the given magma is a kei. It returns false otherwise.
A kei, also called an involutary quandle, is a quandle that satisfies the right involutary law (XY)Y = X.
m ≔ 1,3,2|3,2,1|2,1,3
m ≔ 1,2,3|2,3,3|3,1,2
The Magma[IsKei] command was introduced in Maple 15.
For more information on Maple 15 changes, see Updates in Maple 15.
Download Help Document