FINITE VANISHING VERIFICATION FOR TWO PLANE-CURVE COMPONENTS
A=Y, B=X^8+Y^8+Z^8+X^4Y^4
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),(8,3)
Field: F_5
Mode: full

CASE (m,t)=(3,2)
chi  eps  method                 rows  columns  rank  nullity  det  seconds  result
 c0    0  full                     467      174   174        0    4    0.009  ZERO
Voir_3_2_chic0_epsnone := 0;
 c1    0  full                     439      160   160        0    4    0.009  ZERO
Voir_3_2_chic1_epsnone := 0;
 c2    0  full                     469      174   174        0    2    0.007  ZERO
Voir_3_2_chic2_epsnone := 0;
 c3    0  full                     439      160   160        0    4    0.007  ZERO
Voir_3_2_chic3_epsnone := 0;
 c4    0  full                     468      174   174        0    4    0.008  ZERO
Voir_3_2_chic4_epsnone := 0;
 c5    0  full                     438      160   160        0    1    0.007  ZERO
Voir_3_2_chic5_epsnone := 0;
 c6    0  full                     466      174   174        0    3    0.006  ZERO
Voir_3_2_chic6_epsnone := 0;
 c7    0  full                     437      160   160        0    2    0.007  ZERO
Voir_3_2_chic7_epsnone := 0;
CASE RESULT: VANISHING PROVED

CASE (m,t)=(4,2)
chi  eps  method                 rows  columns  rank  nullity  det  seconds  result
 c0    0  full                    1121      398   398        0    4    0.043  ZERO
Voir_4_2_chic0_epsnone := 0;
 c1    0  full                    1079      372   372        0    3    0.038  ZERO
Voir_4_2_chic1_epsnone := 0;
 c2    0  full                    1122      397   397        0    2    0.040  ZERO
Voir_4_2_chic2_epsnone := 0;
 c3    0  full                    1080      372   372        0    4    0.038  ZERO
Voir_4_2_chic3_epsnone := 0;
 c4    0  full                    1121      397   397        0    1    0.045  ZERO
Voir_4_2_chic4_epsnone := 0;
 c5    0  full                    1079      372   372        0    4    0.041  ZERO
Voir_4_2_chic5_epsnone := 0;
 c6    0  full                    1119      397   397        0    2    0.028  ZERO
Voir_4_2_chic6_epsnone := 0;
 c7    0  full                    1078      372   372        0    3    0.027  ZERO
Voir_4_2_chic7_epsnone := 0;
CASE RESULT: VANISHING PROVED

CASE (m,t)=(5,2)
chi  eps  method                 rows  columns  rank  nullity  det  seconds  result
 c0    0  full                    2278      779   779        0    1    0.125  ZERO
Voir_5_2_chic0_epsnone := 0;
 c1    0  full                    2195      738   738        0    2    0.141  ZERO
Voir_5_2_chic1_epsnone := 0;
 c2    0  full                    2280      779   779        0    3    0.149  ZERO
Voir_5_2_chic2_epsnone := 0;
 c3    0  full                    2195      738   738        0    4    0.142  ZERO
Voir_5_2_chic3_epsnone := 0;
 c4    0  full                    2280      778   778        0    2    0.131  ZERO
Voir_5_2_chic4_epsnone := 0;
 c5    0  full                    2198      738   738        0    3    0.134  ZERO
Voir_5_2_chic5_epsnone := 0;
 c6    0  full                    2279      778   778        0    3    0.216  ZERO
Voir_5_2_chic6_epsnone := 0;
 c7    0  full                    2197      738   738        0    3    0.212  ZERO
Voir_5_2_chic7_epsnone := 0;
CASE RESULT: VANISHING PROVED

CASE (m,t)=(6,3)
chi  eps  method                 rows  columns  rank  nullity  det  seconds  result
 c0    0  full                    3896     1382  1382        0    1    1.005  ZERO
Voir_6_3_chic0_epsnone := 0;
 c1    0  full                    3762     1320  1320        0    4    0.943  ZERO
Voir_6_3_chic1_epsnone := 0;
 c2    0  full                    3897     1382  1382        0    4    0.915  ZERO
Voir_6_3_chic2_epsnone := 0;
 c3    0  full                    3757     1320  1320        0    1    0.896  ZERO
Voir_6_3_chic3_epsnone := 0;
 c4    0  full                    3895     1382  1382        0    4    0.953  ZERO
Voir_6_3_chic4_epsnone := 0;
 c5    0  full                    3761     1320  1320        0    3    0.887  ZERO
Voir_6_3_chic5_epsnone := 0;
 c6    0  full                    3895     1381  1381        0    2    0.844  ZERO
Voir_6_3_chic6_epsnone := 0;
 c7    0  full                    3764     1320  1320        0    3    0.822  ZERO
Voir_6_3_chic7_epsnone := 0;
CASE RESULT: VANISHING PROVED

CASE (m,t)=(7,3)
chi  eps  method                 rows  columns  rank  nullity  det  seconds  result
 c0    0  full                    6537     2279  2279        0    4    3.986  ZERO
Voir_7_3_chic0_epsnone := 0;
 c1    0  full                    6370     2190  2190        0    4    3.886  ZERO
Voir_7_3_chic1_epsnone := 0;
 c2    0  full                    6540     2279  2279        0    3    3.946  ZERO
Voir_7_3_chic2_epsnone := 0;
 c3    0  full                    6365     2190  2190        0    3    3.961  ZERO
Voir_7_3_chic3_epsnone := 0;
 c4    0  full                    6538     2279  2279        0    4    3.916  ZERO
Voir_7_3_chic4_epsnone := 0;
 c5    0  full                    6367     2190  2190        0    4    3.909  ZERO
Voir_7_3_chic5_epsnone := 0;
 c6    0  full                    6537     2279  2279        0    2    3.566  ZERO
Voir_7_3_chic6_epsnone := 0;
 c7    0  full                    6369     2190  2190        0    1    3.462  ZERO
Voir_7_3_chic7_epsnone := 0;
CASE RESULT: VANISHING PROVED

CASE (m,t)=(8,3)
chi  eps  method                 rows  columns  rank  nullity  det  seconds  result
 c0    0  full                   10312     3543  3543        0    2   14.516  ZERO
Voir_8_3_chic0_epsnone := 0;
 c1    0  full                   10064     3420  3420        0    4   14.260  ZERO
Voir_8_3_chic1_epsnone := 0;
 c2    0  full                   10314     3542  3542        0    1   14.038  ZERO
Voir_8_3_chic2_epsnone := 0;
 c3    0  full                   10055     3420  3420        0    3   13.680  ZERO
Voir_8_3_chic3_epsnone := 0;
 c4    0  full                   10311     3542  3542        0    4   13.841  ZERO
Voir_8_3_chic4_epsnone := 0;
 c5    0  full                   10059     3420  3420        0    4   13.605  ZERO
Voir_8_3_chic5_epsnone := 0;
 c6    0  full                   10311     3542  3542        0    4    8.045  ZERO
Voir_8_3_chic6_epsnone := 0;
 c7    0  full                   10061     3420  3420        0    2    8.101  ZERO
Voir_8_3_chic7_epsnone := 0;
CASE RESULT: VANISHING PROVED

