test whether a finite magma is diassociative
IsDiassociative( m )
Array representing the Cayley table of a finite magma
The IsDiassociative command returns true if each submagma of the magma m generated by two elements is associative. It returns false otherwise.
The Magma[IsDiassociative] 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)