monoid Ring -- get the monoid from a monoid ring

monoid Ring -- get the monoid from a monoid ring

Synopsis:

Function: monoid -- make a monoid

Input:

an instance of class Ring.

Output:

an instance of class Monoid.

monoid R -- yields the underlying monoid of polynomial ring or monoid ring.

i1 : R = QQ[x,y]



o1 = R



o1 : PolynomialRing

i2 : monoid R



o2 = [x, y]



o2 : GeneralOrderedMonoid

Code:

     -- ../../../Macaulay2/m2/ofcm.m2:446
     monoid Ring := Monoid => R -> R.monoid