The HasLeftIdentity command determines whether a magma m has a left identity element.  It returns true if m has a left identity element, and returns false' otherwise.

The Magma[HasLeftIdentity] command was introduced in Maple 15.

For more information on Maple 15 changes, see Updates in Maple 15.