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)=(3,2)
chi  eps  method                 rows  columns  rank  nullity  det  seconds  result
 c0   -1  full                     533       80    80        0    5    0.081  ZERO
Voir_3_2_chic0_epsminus := 0;
 c0    1  full                     512       77    77        0    5    0.097  ZERO
Voir_3_2_chic0_epsplus := 0;
 c1   -1  full                    1054      156   156        0    3    0.327  ZERO
Voir_3_2_chic1_epsminus := 0;
 c1    1  full                    1054      156   156        0    3    0.331  ZERO
Voir_3_2_chic1_epsplus := 0;
 c2   -1  full                    1039      156   156        0    6    0.307  ZERO
Voir_3_2_chic2_epsminus := 0;
 c2    1  full                    1039      156   156        0    6    0.326  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    3    0.442  ZERO
Voir_4_2_chic0_epsminus := 0;
 c0    1  full                    1233      185   185        0    2    0.484  ZERO
Voir_4_2_chic0_epsplus := 0;
 c1   -1  full                    2448      356   356        0    4    1.748  ZERO
Voir_4_2_chic1_epsminus := 0;
 c1    1  full                    2448      356   356        0    4    1.729  ZERO
Voir_4_2_chic1_epsplus := 0;
 c2   -1  full                    2472      356   356        0    5    1.661  ZERO
Voir_4_2_chic2_epsminus := 0;
 c2    1  full                    2472      356   356        0    5    1.817  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                    2460      354   354        0    3    4.359  ZERO
Voir_5_2_chic0_epsminus := 0;
 c0    1  full                    2426      345   345        0    2    4.030  ZERO
Voir_5_2_chic0_epsplus := 0;
 c1   -1  full                    4885      697   697        0    2   18.745  ZERO
Voir_5_2_chic1_epsminus := 0;
 c1    1  full                    4885      697   697        0    2   18.515  ZERO
Voir_5_2_chic1_epsplus := 0;
 c2   -1  full                    4890      698   698        0    5   18.473  ZERO
Voir_5_2_chic2_epsminus := 0;
 c2    1  full                    4890      698   698        0    5   18.839  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                    4416      607   607        0    4   28.226  ZERO
Voir_6_3_chic0_epsminus := 0;
 c0    1  full                    4470      632   632        0    6   32.087  ZERO
Voir_6_3_chic0_epsplus := 0;
 c1   -1  full                    8910     1237  1237        0    6   94.216  ZERO
Voir_6_3_chic1_epsminus := 0;
 c1    1  full                    8910     1237  1237        0    1   96.230  ZERO
Voir_6_3_chic1_epsplus := 0;
 c2   -1  full                    8884     1237  1237        0    5   92.494  ZERO
Voir_6_3_chic2_epsminus := 0;
 c2    1  full                    8884     1237  1237        0    2   91.770  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                    6831     1028  1028        0    4   90.858  ZERO
Voir_7_3_chic0_epsminus := 0;
 c0    1  full                    6766     1013  1013        0    1   94.172  ZERO
Voir_7_3_chic0_epsplus := 0;
 c1   -1  full                   13655     2039  2039        0    1  329.000  ZERO
Voir_7_3_chic1_epsminus := 0;
 c1    1  full                   13655     2039  2039        0    1  329.798  ZERO
Voir_7_3_chic1_epsplus := 0;
 c2   -1  full                   13692     2040  2040        0    1  324.709  ZERO
Voir_7_3_chic2_epsminus := 0;
 c2    1  full                   13692     2040  2040        0    6  331.965  ZERO
Voir_7_3_chic2_epsplus := 0;
CASE RESULT: VANISHING PROVED

