vars S
i1 : R=ZZ/37[x,y,z];
i2 : S=createMonomialSubalgebra {x^2*y, x*z, z^3} ZZ 2 3 o2 = --[x y, x*z, z ] 37 o2 : monomial subalgebra of R
i3 : vars S o3 = | x2y xz z3 | 1 3 o3 : Matrix R <-- R