ZZ _ Monoid -- get unit element

ZZ _ Monoid -- get unit element

Synopsis:

Operator: _

Input:

an instance of class ZZ.

an instance of class Monoid.

Output:

an instance of class MonoidElement.

1_M -- provides the unit element of a group or monoid M.

Code:

     -- ../../../Macaulay2/m2/ofcm.m2:6-9
     ZZ _ Monoid := MonoidElement => (i,M) -> (
          if i === 1 then M#1
          else error "expected integer to be 1"
          )