-- -*- M2-comint -*- hash: 4695117053575608321

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

i5 : 
