generators M
gens M
i1 : R = QQ[a..d];
i2 : M = monoid R o2 = M o2 : GeneralOrderedMonoid
i3 : gens M o3 = {a, b, c, d} o3 : List