next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
Normaliz :: intersectionValRingIdeals

intersectionValRingIdeals -- intersection of valuation ideals

Synopsis

Description

A discrete monomial valuation v on R=K[X1,...,Xn] is determined by the values v(Xj) of the indeterminates. This function takes as input the matrix V=(vi(Xj)), whose rows correspond to the values of the indeterminates for for r valuations v1, ...,vr, with an additional column holding lower bounds w1,...,wr ∈ℤ. It returns the subalgebra S={f∈R: vi(f)≥0, i=1,...,n}, the intersection of the valuation rings of the r valuations, and a system of generators of the S-submodule M={f∈R: vi(f)≥wi, i=1,...,n} over R, which consists of the elements whose i-th valuation is greater or equal to the i-th bound wi. If wi>=0 for all i, then M is an ideal in S.

R=QQ[x,y,z,w];
V=matrix({{0,1,2,3,4},{-1,1,2,1,3}});
intersectionValRingIdeals(V,R)

See also

Ways to use intersectionValRingIdeals :