-- -*- M2-comint -*- {* hash: 1077285690 *}
i1 : M = monoid[x,y,z]
o1 = M
o1 : GeneralOrderedMonoid
i2 : vars M
o2 = {x, y, z}
o2 : List
i3 :
-- -*- M2-comint -*- {* hash: 1077285690 *}
i1 : M = monoid[x,y,z]
o1 = M
o1 : GeneralOrderedMonoid
i2 : vars M
o2 = {x, y, z}
o2 : List
i3 :
::
::
::
