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

CASE (m,t)=(8,3)
chi  eps  method                 rows  columns  rank  nullity  det  seconds  result
 c0   -1  full                   10807     1567  1567        0    4  187.002  ZERO
Voir_8_3_chic0_epsminus := 0;
 c0    1  full                   10881     1604  1604        0    3  198.748  ZERO
Voir_8_3_chic0_epsplus := 0;
 c1   -1  full                   21731     3169  3169        0    1  805.853  ZERO
Voir_8_3_chic1_epsminus := 0;
 c1    1  full                   21731     3169  3169        0    1  806.143  ZERO
Voir_8_3_chic1_epsplus := 0;
 c2   -1  full                   21723     3170  3170        0    1  803.967  ZERO
Voir_8_3_chic2_epsminus := 0;
 c2    1  full                   21723     3170  3170        0    6  805.361  ZERO
Voir_8_3_chic2_epsplus := 0;
CASE RESULT: VANISHING PROVED

