monoid R
If R is a quotient ring of a polynomial ring S, then the monoid of S is returned.
i1 : R = QQ[a..d, Weights=>{1,2,3,4}] o1 = R o1 : PolynomialRing
i2 : M = monoid R o2 = M o2 : GeneralOrderedMonoid
i3 : use M o3 = M o3 : GeneralOrderedMonoid
i4 : class a o4 = M o4 : GeneralOrderedMonoid