monAnalyticSpread -- the analytic spread of a monomial ideal

Synopsis

Usage:

monAnalyticSpread(I)
Inputs:
- I, a monomial ideal,
Outputs:
- a monomial ideal, the analytic spread of I

Description

Given a monomial ideal I, this function computes the analytic spread of I as one more than the maximal dimension of a bounded facet of its Newton polyhedron.

i1 : R = QQ[x,y]

o1 = R

o1 : PolynomialRing

i2 : I = ideal"x2,xy,y3"

             2        3
o2 = ideal (x , x*y, y )

o2 : Ideal of R

i3 : elapsedTime monAnalyticSpread I
 -- 0.336182 seconds elapsed

o3 = 2

Ways to use monAnalyticSpread :

monAnalyticSpread(Ideal)

For the programmer

The object monAnalyticSpread is a method function.

monAnalyticSpread -- the analytic spread of a monomial ideal

Synopsis

Description

See also

Ways to use monAnalyticSpread :

For the programmer