test for the existence of a (two-sided) zero element in a finite magma
HasZero( m )
Array representing the Cayley table of a finite magma
The HasZero command returns true if the given magma has a zero element; that is, an element z such that z*x = x*z = z, for all x in m. It returns false otherwise.
m ≔ 1|1|1,1|3|3,1|2|2
m ≔ 1|1|1,1|1|1,2|1|1
The Magma[HasZero] 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)