FINITE VANISHING VERIFICATION FOR TWO PLANE-CURVE COMPONENTS
A=1X^3+2Y^3+1Z^3, B=2X^3+1Y^3+1Z^3
Target: H^0(P^2,E_{2,m}T^*(log(A+B)) tensor O(-t))=0
Finite range: minimal twists t=ceil(m/4), 1<=m<=12
Field: F_7
Mode: full

CASE (m,t)=(9,2)
chi  eps  method                 rows  columns  rank  nullity  det  seconds  result
 00   -1  full                    6376      971   971        0    6   21.604  ZERO
Voir_9_2_chi00_epsminus := 0;
 00    1  full                    6381      962   962        0    5   19.348  ZERO
Voir_9_2_chi00_epsplus := 0;
 11   -1  full                    6171      922   922        0    6   17.664  ZERO
Voir_9_2_chi11_epsminus := 0;
 11    1  full                    6176      914   914        0    1   15.816  ZERO
Voir_9_2_chi11_epsplus := 0;
 22   -1  full                    5606      872   872        0    2   15.350  ZERO
Voir_9_2_chi22_epsminus := 0;
 22    1  full                    5608      864   864        0    6   14.308  ZERO
Voir_9_2_chi22_epsplus := 0;
 01   -1  full                   11316     1747  1747        0    1   29.491  ZERO
Voir_9_2_chi01_epsminus := 0;
 01    1  full                   11316     1747  1747        0    6   28.506  ZERO
Voir_9_2_chi01_epsplus := 0;
 02   -1  full                   12292     1832  1832        0    3   21.546  ZERO
Voir_9_2_chi02_epsminus := 0;
 02    1  full                   12292     1832  1832        0    4   20.770  ZERO
Voir_9_2_chi02_epsplus := 0;
 12   -1  full                   12745     1924  1924        0    1   22.148  ZERO
Voir_9_2_chi12_epsminus := 0;
 12    1  full                   12745     1924  1924        0    6   21.536  ZERO
Voir_9_2_chi12_epsplus := 0;
CASE RESULT: VANISHING PROVED

