test whether a magma is a band
IsBand( m )
Array representing the Cayley table of a finite magma
A band is an idempotent semigroup, that is, an associative magma in which the identity XX = X is satisfied.
The IsBand command returns true if the given magma is a band. It returns false otherwise.
m ≔ 1|1|1,1|2|3,3|3|3
m ≔ 1|2|3,2|3|3,3|1|2
The Magma[IsBand] command was introduced in Maple 15.
For more information on Maple 15 changes, see Updates in Maple 15.
Download Help Document
What kind of issue would you like to report? (Optional)