Macaulay2 » Documentation
Packages » SymbolicPowers :: lowerBoundResurgence
next | previous | forward | backward | up | index | toc

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



The resurgence of an ideal $I$, defined by Harbourne and Bocci, is given by $\rho(I) :=$ sup $\lbrace a/b : I^{(a)}$ ⊄ $I^b \rbrace.$

Given an ideal $I$, finds the maximum of the quotients $m/k$ that fail $I^{(m)} \subseteq I^k$ with $k \leq$ 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)

o3 = -

o3 : QQ

Ways to use lowerBoundResurgence :

For the programmer

The object lowerBoundResurgence is a method function with options.