i1 : R=ZZ/37[x,y,t];
i2 : S=createMonomialSubalgebra {x^3, x^2*y, y^3, x*y^2};
i3 : normalToricRing S ZZ 3 2 3 2 o3 = --[y , x y, x , x*y ] 37 o3 : monomial subalgebra of R