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_5
Mode: full

CASE (m,t)=(3,3)
chi  eps  method                 rows  columns  rank  nullity  det  seconds  result
 c0    0  full                     504      186   186        0    1    0.020  ZERO
Voir_3_3_chic0_epsnone := 0;
 c1    0  full                     503      185   185        0    4    0.017  ZERO
Voir_3_3_chic1_epsnone := 0;
 c2    0  full                     507      186   186        0    2    0.018  ZERO
Voir_3_3_chic2_epsnone := 0;
 c3    0  full                     501      185   185        0    3    0.015  ZERO
Voir_3_3_chic3_epsnone := 0;
 c4    0  full                     506      186   186        0    3    0.019  ZERO
Voir_3_3_chic4_epsnone := 0;
 c5    0  full                     501      185   185        0    3    0.014  ZERO
Voir_3_3_chic5_epsnone := 0;
 c6    0  full                     504      186   186        0    4    0.012  ZERO
Voir_3_3_chic6_epsnone := 0;
 c7    0  full                     500      185   185        0    3    0.011  ZERO
Voir_3_3_chic7_epsnone := 0;
 c8    0  full                     501      185   185        0    4    0.013  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    2    0.101  ZERO
Voir_4_3_chic0_epsnone := 0;
 c1    0  full                    1219      428   428        0    2    0.102  ZERO
Voir_4_3_chic1_epsnone := 0;
 c2    0  full                    1226      429   429        0    2    0.110  ZERO
Voir_4_3_chic2_epsnone := 0;
 c3    0  full                    1217      428   428        0    1    0.102  ZERO
Voir_4_3_chic3_epsnone := 0;
 c4    0  full                    1222      429   429        0    3    0.103  ZERO
Voir_4_3_chic4_epsnone := 0;
 c5    0  full                    1215      428   428        0    1    0.101  ZERO
Voir_4_3_chic5_epsnone := 0;
 c6    0  full                    1220      429   429        0    4    0.069  ZERO
Voir_4_3_chic6_epsnone := 0;
 c7    0  full                    1214      428   428        0    4    0.067  ZERO
Voir_4_3_chic7_epsnone := 0;
 c8    0  full                    1217      429   429        0    1    0.064  ZERO
Voir_4_3_chic8_epsnone := 0;
CASE RESULT: VANISHING PROVED

