-- -*- M2-comint -*- {* hash: 816103833 *} i1 : R = QQ[a..d]; i2 : M = monoid R o2 = M o2 : GeneralOrderedMonoid i3 : gens M o3 = {a, b, c, d} o3 : List i4 :
-- -*- M2-comint -*- {* hash: 816103833 *} i1 : R = QQ[a..d]; i2 : M = monoid R o2 = M o2 : GeneralOrderedMonoid i3 : gens M o3 = {a, b, c, d} o3 : List i4 :