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.155882 seconds elapsed o3 = 2 |
The object monAnalyticSpread is a method function.