MonomialSubalgebra -- class of monomial subalgebras
Description
A monomial subalgebra is a subalgebra of a polynomial ring generated by monomials. In other words, it is a monoid algebra. A new monomial subalgebra can be created using createMonomialSubalgebra.
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