Given a monomial ideal I in $k[x_1,\dots,x_d]$, the convex hull in $\mathbb{R}^d$ of the set of exponents of all monomials in I is called the Newton polyhedron of I.
i1 : R = QQ[x,y,z] o1 = R o1 : PolynomialRing |
i2 : I = ideal"x2,y3,yz"
2 3
o2 = ideal (x , y , y*z)
o2 : Ideal of R
|
i3 : P = NP I
o3 = {ambient dimension => 3 }
dimension of lineality space => 0
dimension of polyhedron => 3
number of facets => 5
number of rays => 3
number of vertices => 3
o3 : Polyhedron
|
Note that a monomial is in the integral closure of I if and only if its exponent vector is in NP(I).
i4 : J = integralClosure(I,1)
2 3 2
o4 = ideal (y*z, x , y , x*y )
o4 : Ideal of R
|
i5 : P == NP J o5 = true |
The object NP is a method function.