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

CASE (m,t)=(3,2)
chi  eps  method                 rows  columns  rank  nullity  det  seconds  result
 c0   -1  full                     533       80    80        0    3    0.043  ZERO
Voir_3_2_chic0_epsminus := 0;
 c0    1  full                     512       77    77        0    1    0.035  ZERO
Voir_3_2_chic0_epsplus := 0;
 c1   -1  full                    1054      156   156        0    2    0.134  ZERO
Voir_3_2_chic1_epsminus := 0;
 c1    1  full                    1054      156   156        0    3    0.132  ZERO
Voir_3_2_chic1_epsplus := 0;
 c2   -1  full                    1039      156   156        0    3    0.127  ZERO
Voir_3_2_chic2_epsminus := 0;
 c2    1  full                    1039      156   156        0    3    0.129  ZERO
Voir_3_2_chic2_epsplus := 0;
CASE RESULT: VANISHING PROVED

CASE (m,t)=(4,2)
chi  eps  method                 rows  columns  rank  nullity  det  seconds  result
 c0   -1  full                    1209      172   172        0    2    0.417  ZERO
Voir_4_2_chic0_epsminus := 0;
 c0    1  full                    1233      185   185        0    2    0.496  ZERO
Voir_4_2_chic0_epsplus := 0;
 c1   -1  full                    2448      356   356        0    3    1.992  ZERO
Voir_4_2_chic1_epsminus := 0;
 c1    1  full                    2448      356   356        0    2    1.978  ZERO
Voir_4_2_chic1_epsplus := 0;
 c2   -1  full                    2472      356   356        0    3    1.999  ZERO
Voir_4_2_chic2_epsminus := 0;
 c2    1  full                    2472      356   356        0    2    1.952  ZERO
Voir_4_2_chic2_epsplus := 0;
CASE RESULT: VANISHING PROVED

CASE (m,t)=(5,2)
chi  eps  method                 rows  columns  rank  nullity  det  seconds  result
 c0   -1  full                    2154      354   354        0    2    1.562  ZERO
Voir_5_2_chic0_epsminus := 0;
 c0    1  full                    2121      345   345        0    4    1.601  ZERO
Voir_5_2_chic0_epsplus := 0;
 c1   -1  full                    4316      697   697        0    3    8.050  ZERO
Voir_5_2_chic1_epsminus := 0;
 c1    1  full                    4316      697   697        0    2    8.071  ZERO
Voir_5_2_chic1_epsplus := 0;
 c2   -1  full                    4331      698   698        0    1    8.149  ZERO
Voir_5_2_chic2_epsminus := 0;
 c2    1  full                    4331      698   698        0    1    8.114  ZERO
Voir_5_2_chic2_epsplus := 0;
CASE RESULT: VANISHING PROVED

CASE (m,t)=(6,3)
chi  eps  method                 rows  columns  rank  nullity  det  seconds  result
 c0   -1  full                    4229      607   607        0    2   10.111  ZERO
Voir_6_3_chic0_epsminus := 0;
 c0    1  full                    4279      632   632        0    1   12.082  ZERO
Voir_6_3_chic0_epsplus := 0;
 c1   -1  full                    8542     1237  1237        0    3   45.894  ZERO
Voir_6_3_chic1_epsminus := 0;
 c1    1  full                    8542     1237  1237        0    2   43.849  ZERO
Voir_6_3_chic1_epsplus := 0;
 c2   -1  full                    8527     1237  1237        0    4   46.468  ZERO
Voir_6_3_chic2_epsminus := 0;
 c2    1  full                    8527     1237  1237        0    1   46.197  ZERO
Voir_6_3_chic2_epsplus := 0;
CASE RESULT: VANISHING PROVED

CASE (m,t)=(7,3)
chi  eps  method                 rows  columns  rank  nullity  det  seconds  result
 c0   -1  full                    7084     1028  1028        0    2   66.615  ZERO
Voir_7_3_chic0_epsminus := 0;
 c0    1  full                    7018     1013  1013        0    4   62.119  ZERO
Voir_7_3_chic0_epsplus := 0;
 c1   -1  full                   14170     2039  2039        0    2  234.343  ZERO
Voir_7_3_chic1_epsminus := 0;
 c1    1  full                   14170     2039  2039        0    2  239.870  ZERO
Voir_7_3_chic1_epsplus := 0;
 c2   -1  full                   14220     2040  2040        0    1  242.959  ZERO
Voir_7_3_chic2_epsminus := 0;
 c2    1  full                   14220     2040  2040        0    4  242.059  ZERO
Voir_7_3_chic2_epsplus := 0;
CASE RESULT: VANISHING PROVED

