next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
SymbolicPowers :: lowerBoundResurgence

lowerBoundResurgence -- computes a lower bound for the resurgence of a given ideal.

Synopsis

Description

The resurgence of an ideal I, defined by Harbourne and Bocci, is given by ρ(I) := sup {a/b : I(a)Ib }.

Given an ideal I, finds the maximum of the quotients m/k that fail I(m) ⊆Ik with k ≤ the optional input SampleSize.

i1 : T = QQ[x,y,z];
i2 : I = intersect(ideal"x,y",ideal"x,z",ideal"y,z");

o2 : Ideal of T
i3 : lowerBoundResurgence(I)

     6
o3 = -
     5

o3 : QQ

Ways to use lowerBoundResurgence :