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
|