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

i3 : ring S

o3 = R

o3 : PolynomialRing

i4 : gens S

       2         3
o4 = {x y, x*z, z }

o4 : List

Methods that use an object of class MonomialSubalgebra :

generators(MonomialSubalgebra) -- generators of a monomial subalgebra
intclToricRing(MonomialSubalgebra) -- integral closure of a toric ring
normalToricRing(MonomialSubalgebra) -- normalization of a toric ring
numgens(MonomialSubalgebra) -- number of generators of a monomial subalgebra
ring(MonomialSubalgebra) -- surrounding ring of a monomial subalgebra
vars(MonomialSubalgebra) -- row matrix of the generators of a monomial subalgebra

For the programmer

The object MonomialSubalgebra is a type, with ancestor classes HashTable < Thing.

MonomialSubalgebra -- class of monomial subalgebras

Description

See also

Methods that use an object of class MonomialSubalgebra :

For the programmer