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 |