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

CASE (m,t)=(3,2)
chi  eps  method                 rows  columns  rank  nullity  det  seconds  result
 c0    0  full                     467      174   174        0    7    0.008  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    9    0.010  ZERO
Voir_3_2_chic2_epsnone := 0;
 c3    0  full                     439      160   160        0   10    0.010  ZERO
Voir_3_2_chic3_epsnone := 0;
 c4    0  full                     468      174   174        0    9    0.010  ZERO
Voir_3_2_chic4_epsnone := 0;
 c5    0  full                     438      160   160        0    4    0.010  ZERO
Voir_3_2_chic5_epsnone := 0;
 c6    0  full                     466      174   174        0    4    0.008  ZERO
Voir_3_2_chic6_epsnone := 0;
 c7    0  full                     437      160   160        0    7    0.011  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.086  ZERO
Voir_4_2_chic0_epsnone := 0;
 c1    0  full                    1079      372   372        0    8    0.078  ZERO
Voir_4_2_chic1_epsnone := 0;
 c2    0  full                    1122      397   397        0    8    0.086  ZERO
Voir_4_2_chic2_epsnone := 0;
 c3    0  full                    1080      372   372        0    6    0.077  ZERO
Voir_4_2_chic3_epsnone := 0;
 c4    0  full                    1121      397   397        0    1    0.085  ZERO
Voir_4_2_chic4_epsnone := 0;
 c5    0  full                    1079      372   372        0    2    0.073  ZERO
Voir_4_2_chic5_epsnone := 0;
 c6    0  full                    1119      397   397        0    6    0.084  ZERO
Voir_4_2_chic6_epsnone := 0;
 c7    0  full                    1078      372   372        0    1    0.080  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                    2297      779   779        0    8    0.525  ZERO
Voir_5_2_chic0_epsnone := 0;
 c1    0  full                    2214      738   738        0    3    0.517  ZERO
Voir_5_2_chic1_epsnone := 0;
 c2    0  full                    2299      779   779        0    7    0.590  ZERO
Voir_5_2_chic2_epsnone := 0;
 c3    0  full                    2213      738   738        0    6    0.568  ZERO
Voir_5_2_chic3_epsnone := 0;
 c4    0  full                    2297      778   778        0    6    0.604  ZERO
Voir_5_2_chic4_epsnone := 0;
 c5    0  full                    2214      738   738        0    8    0.541  ZERO
Voir_5_2_chic5_epsnone := 0;
 c6    0  full                    2294      778   778        0    3    0.394  ZERO
Voir_5_2_chic6_epsnone := 0;
 c7    0  full                    2212      738   738        0    9    0.372  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                    4274     1382  1382        0    4    2.283  ZERO
Voir_6_3_chic0_epsnone := 0;
 c1    0  full                    4143     1320  1320        0    2    2.244  ZERO
Voir_6_3_chic1_epsnone := 0;
 c2    0  full                    4277     1382  1382        0   10    2.367  ZERO
Voir_6_3_chic2_epsnone := 0;
 c3    0  full                    4141     1320  1320        0    9    2.239  ZERO
Voir_6_3_chic3_epsnone := 0;
 c4    0  full                    4275     1382  1382        0    4    2.329  ZERO
Voir_6_3_chic4_epsnone := 0;
 c5    0  full                    4144     1320  1320        0    6    2.220  ZERO
Voir_6_3_chic5_epsnone := 0;
 c6    0  full                    4273     1381  1381        0    3    1.956  ZERO
Voir_6_3_chic6_epsnone := 0;
 c7    0  full                    4144     1320  1320        0    1    1.924  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                    7184     2279  2279        0    4    8.953  ZERO
Voir_7_3_chic0_epsnone := 0;
 c1    0  full                    7016     2190  2190        0    3    8.909  ZERO
Voir_7_3_chic1_epsnone := 0;
 c2    0  full                    7187     2279  2279        0    3    9.023  ZERO
Voir_7_3_chic2_epsnone := 0;
 c3    0  full                    7011     2190  2190        0    3    8.867  ZERO
Voir_7_3_chic3_epsnone := 0;
 c4    0  full                    7186     2279  2279        0   10    9.057  ZERO
Voir_7_3_chic4_epsnone := 0;
 c5    0  full                    7015     2190  2190        0    7    8.848  ZERO
Voir_7_3_chic5_epsnone := 0;
 c6    0  full                    7184     2279  2279        0    8    8.770  ZERO
Voir_7_3_chic6_epsnone := 0;
 c7    0  full                    7015     2190  2190        0    9    8.634  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                   11362     3543  3543        0    6   29.943  ZERO
Voir_8_3_chic0_epsnone := 0;
 c1    0  full                   11110     3420  3420        0    8   29.330  ZERO
Voir_8_3_chic1_epsnone := 0;
 c2    0  full                   11366     3542  3542        0    3   29.482  ZERO
Voir_8_3_chic2_epsnone := 0;
 c3    0  full                   11104     3420  3420        0    4   28.985  ZERO
Voir_8_3_chic3_epsnone := 0;
 c4    0  full                   11363     3542  3542        0    1   28.292  ZERO
Voir_8_3_chic4_epsnone := 0;
 c5    0  full                   11108     3420  3420        0    1   28.524  ZERO
Voir_8_3_chic5_epsnone := 0;
 c6    0  full                   11363     3542  3542        0   10   28.994  ZERO
Voir_8_3_chic6_epsnone := 0;
 c7    0  full                   11109     3420  3420        0    7   28.357  ZERO
Voir_8_3_chic7_epsnone := 0;
CASE RESULT: VANISHING PROVED

