test whether an element of a magma is a (two-sided) identity
IsIdentity( m, id )
Array; magma represented by its Cayley table
posint; candidate identity element
The IsIdentity command determines whether an element id of a magma m is an identity for m. It returns true if id is an identity of m, and returns false otherwise. The element id is an identity of m if id * x = x = x * id, for all x in m.
The Magma[IsIdentity] 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)