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

CASE (m,t)=(3,3)
chi  eps  method                 rows  columns  rank  nullity  det  seconds  result
 c0    0  full                     504      186   186        0    5    0.032  ZERO
Voir_3_3_chic0_epsnone := 0;
 c1    0  full                     503      185   185        0    5    0.025  ZERO
Voir_3_3_chic1_epsnone := 0;
 c2    0  full                     507      186   186        0    3    0.033  ZERO
Voir_3_3_chic2_epsnone := 0;
 c3    0  full                     501      185   185        0    5    0.033  ZERO
Voir_3_3_chic3_epsnone := 0;
 c4    0  full                     506      186   186        0   10    0.030  ZERO
Voir_3_3_chic4_epsnone := 0;
 c5    0  full                     501      185   185        0    6    0.029  ZERO
Voir_3_3_chic5_epsnone := 0;
 c6    0  full                     504      186   186        0    9    0.025  ZERO
Voir_3_3_chic6_epsnone := 0;
 c7    0  full                     500      185   185        0    3    0.022  ZERO
Voir_3_3_chic7_epsnone := 0;
 c8    0  full                     501      185   185        0    4    0.021  ZERO
Voir_3_3_chic8_epsnone := 0;
CASE RESULT: VANISHING PROVED

CASE (m,t)=(4,3)
chi  eps  method                 rows  columns  rank  nullity  det  seconds  result
 c0    0  full                    1220      429   429        0    7    0.148  ZERO
Voir_4_3_chic0_epsnone := 0;
 c1    0  full                    1219      428   428        0   10    0.173  ZERO
Voir_4_3_chic1_epsnone := 0;
 c2    0  full                    1226      429   429        0    1    0.172  ZERO
Voir_4_3_chic2_epsnone := 0;
 c3    0  full                    1217      428   428        0    9    0.163  ZERO
Voir_4_3_chic3_epsnone := 0;
 c4    0  full                    1222      429   429        0    7    0.154  ZERO
Voir_4_3_chic4_epsnone := 0;
 c5    0  full                    1215      428   428        0    4    0.144  ZERO
Voir_4_3_chic5_epsnone := 0;
 c6    0  full                    1220      429   429        0    6    0.154  ZERO
Voir_4_3_chic6_epsnone := 0;
 c7    0  full                    1214      428   428        0   10    0.157  ZERO
Voir_4_3_chic7_epsnone := 0;
 c8    0  full                    1217      429   429        0    8    0.157  ZERO
Voir_4_3_chic8_epsnone := 0;
CASE RESULT: VANISHING PROVED

