test whether a finite magma is power associative
IsPowerAssociative( m )
Array representing the Cayley table of a finite magma
The IsPowerAssociative command returns true if each submagma of the magma m generated by a single element is associative. It returns false otherwise.
m ≔ 1|2|3,2|3|1,3|1|2
m ≔ 1|2|3,2|3|3,3|1|2
The Magma[IsPowerAssociative] 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)