Ring _ {...} -- make a monomial from a list of exponents

Ring _ {...} -- make a monomial from a list of exponents

Synopsis:

Operator: _

Input:

an instance of class Ring.

an instance of class List.

Output:

an instance of class RingElement.

R_w -- produce the monomial of the ring R by using the integers in the list w as exponents of the variables.

i1 : R = ZZ[a..d]



o1 = R



o1 : PolynomialRing

i2 : R_{1,2,3,4}



        2 3 4

o2 = a*b c d



o2 : R

Code:

     -- ../../../Macaulay2/m2/orderedmonoidrings.m2:346
     Ring _ List := RingElement => (R,w) -> product(#w, i -> (R_i)^(w_i))