ZZ _ Ring

ZZ _ Ring

Synopsis:

Operator: _

Input:

an instance of class ZZ.

an instance of class Ring.

Output:

an instance of class RingElement.

1_R -- provides the unit element of the ring R.
0_R -- provides the zero element of the ring R.
n_R -- promotes the integer n to the ring R.

Code:

     -- ../../../Macaulay2/m2/enginering.m2:695-699
     ZZ _ Ring := RingElement => (i,R) -> (
          if i === 1 then R#1
          else if i === 0 then R#0
          else i * R#1
          )