The iterated mapping over the relative resolution of X_e(a,b) in the resonance scroll has betti numbers in a range of a general 2k-gonal canonical curve of genus a+b+1, if a,b are large enough, see ES2018. We compute the minimal type $(a,b) \equiv (a1,b1) \mod k$ where this becomes true.
In the second version c is the minimal value of a,b's for all congruence classes mod k. We conjecture that c=k^2-k.
i1 : (a,b)=computeBound(6,4,3) o1 = (9, 7) o1 : Sequence |
i2 : computeBound 3 -- 0.0843268 seconds elapsed -- 0.089356 seconds elapsed -- 0.0927123 seconds elapsed -- 0.0938804 seconds elapsed -- 0.10007 seconds elapsed -- 0.137482 seconds elapsed o2 = 6 |
The object computeBound is a method function.