FINITE VANISHING VERIFICATION FOR TWO PLANE-CURVE COMPONENTS
A=1X^3+2Y^3+1Z^3, B=2X^3+1Y^3+1Z^3
Target: H^0(P^2,E_{2,m}T^*(log(A+B)) tensor O(-t))=0
Finite range: SMT-38 minimal twists t=ceil((m+1)/5), 1<=m<=14
Field: F_5
Mode: full

CASE (m,t)=(1,1)
chi  eps  method                 rows  columns  rank  nullity  det  seconds  result
 00   -1  full                      13        3     3        0    2    0.000  ZERO
Voir_1_1_chi00_epsminus := 0;
 00    1  full                      15        3     3        0    2    0.000  ZERO
Voir_1_1_chi00_epsplus := 0;
 11   -1  full                       6        3     3        0    1    0.000  ZERO
Voir_1_1_chi11_epsminus := 0;
 11    1  full                       7        3     3        0    4    0.000  ZERO
Voir_1_1_chi11_epsplus := 0;
 22   -1  full                       2        1     1        0    2    0.000  ZERO
Voir_1_1_chi22_epsminus := 0;
 22    1  full                       3        1     1        0    2    0.000  ZERO
Voir_1_1_chi22_epsplus := 0;
 01   -1  full                      10        4     4        0    2    0.000  ZERO
Voir_1_1_chi01_epsminus := 0;
 01    1  full                      10        4     4        0    3    0.000  ZERO
Voir_1_1_chi01_epsplus := 0;
 02   -1  full                      10        4     4        0    3    0.000  ZERO
Voir_1_1_chi02_epsminus := 0;
 02    1  full                      10        4     4        0    3    0.000  ZERO
Voir_1_1_chi02_epsplus := 0;
 12   -1  full                      32        6     6        0    2    0.000  ZERO
Voir_1_1_chi12_epsminus := 0;
 12    1  full                      32        6     6        0    2    0.000  ZERO
Voir_1_1_chi12_epsplus := 0;
CASE RESULT: VANISHING PROVED

CASE (m,t)=(2,1)
chi  eps  method                 rows  columns  rank  nullity  det  seconds  result
 00   -1  full                      74       12    12        0    4    0.001  ZERO
Voir_2_1_chi00_epsminus := 0;
 00    1  full                      77       14    14        0    1    0.001  ZERO
Voir_2_1_chi00_epsplus := 0;
 11   -1  full                      40       10    10        0    4    0.000  ZERO
Voir_2_1_chi11_epsminus := 0;
 11    1  full                      42       12    12        0    1    0.000  ZERO
Voir_2_1_chi11_epsplus := 0;
 22   -1  full                      38        8     8        0    1    0.000  ZERO
Voir_2_1_chi22_epsminus := 0;
 22    1  full                      41       10    10        0    4    0.000  ZERO
Voir_2_1_chi22_epsplus := 0;
 01   -1  full                      74       18    18        0    2    0.000  ZERO
Voir_2_1_chi01_epsminus := 0;
 01    1  full                      74       18    18        0    3    0.000  ZERO
Voir_2_1_chi01_epsplus := 0;
 02   -1  full                      89       22    22        0    3    0.000  ZERO
Voir_2_1_chi02_epsminus := 0;
 02    1  full                      89       22    22        0    3    0.001  ZERO
Voir_2_1_chi02_epsplus := 0;
 12   -1  full                     151       26    26        0    1    0.000  ZERO
Voir_2_1_chi12_epsminus := 0;
 12    1  full                     151       26    26        0    1    0.001  ZERO
Voir_2_1_chi12_epsplus := 0;
CASE RESULT: VANISHING PROVED

CASE (m,t)=(3,1)
chi  eps  method                 rows  columns  rank  nullity  det  seconds  result
 00   -1  full                     224       37    37        0    3    0.003  ZERO
Voir_3_1_chi00_epsminus := 0;
 00    1  full                     223       36    36        0    4    0.002  ZERO
Voir_3_1_chi00_epsplus := 0;
 11   -1  full                     153       32    32        0    2    0.003  ZERO
Voir_3_1_chi11_epsminus := 0;
 11    1  full                     155       31    31        0    4    0.002  ZERO
Voir_3_1_chi11_epsplus := 0;
 22   -1  full                     125       26    26        0    2    0.001  ZERO
Voir_3_1_chi22_epsminus := 0;
 22    1  full                     129       25    25        0    2    0.002  ZERO
Voir_3_1_chi22_epsplus := 0;
 01   -1  full                     279       56    56        0    3    0.003  ZERO
Voir_3_1_chi01_epsminus := 0;
 01    1  full                     279       56    56        0    3    0.003  ZERO
Voir_3_1_chi01_epsplus := 0;
 02   -1  full                     302       61    61        0    1    0.004  ZERO
Voir_3_1_chi02_epsminus := 0;
 02    1  full                     302       61    61        0    1    0.003  ZERO
Voir_3_1_chi02_epsplus := 0;
 12   -1  full                     432       69    69        0    2    0.005  ZERO
Voir_3_1_chi12_epsminus := 0;
 12    1  full                     432       69    69        0    2    0.005  ZERO
Voir_3_1_chi12_epsplus := 0;
CASE RESULT: VANISHING PROVED

CASE (m,t)=(4,1)
chi  eps  method                 rows  columns  rank  nullity  det  seconds  result
 00   -1  full                     481       74    74        0    4    0.014  ZERO
Voir_4_1_chi00_epsminus := 0;
 00    1  full                     481       78    78        0    1    0.013  ZERO
Voir_4_1_chi00_epsplus := 0;
 11   -1  full                     396       71    71        0    2    0.011  ZERO
Voir_4_1_chi11_epsminus := 0;
 11    1  full                     399       74    74        0    3    0.014  ZERO
Voir_4_1_chi11_epsplus := 0;
 22   -1  full                     349       60    60        0    1    0.008  ZERO
Voir_4_1_chi22_epsminus := 0;
 22    1  full                     349       64    64        0    4    0.008  ZERO
Voir_4_1_chi22_epsplus := 0;
 01   -1  full                     688      128   128        0    4    0.020  ZERO
Voir_4_1_chi01_epsminus := 0;
 01    1  full                     688      128   128        0    4    0.023  ZERO
Voir_4_1_chi01_epsplus := 0;
 02   -1  full                     773      138   138        0    2    0.026  ZERO
Voir_4_1_chi02_epsminus := 0;
 02    1  full                     773      138   138        0    2    0.024  ZERO
Voir_4_1_chi02_epsplus := 0;
 12   -1  full                    1028      156   156        0    4    0.026  ZERO
Voir_4_1_chi12_epsminus := 0;
 12    1  full                    1028      156   156        0    1    0.026  ZERO
Voir_4_1_chi12_epsplus := 0;
CASE RESULT: VANISHING PROVED

CASE (m,t)=(5,2)
chi  eps  method                 rows  columns  rank  nullity  det  seconds  result
 00   -1  full                     881      150   150        0    1    0.039  ZERO
Voir_5_2_chi00_epsminus := 0;
 00    1  full                     883      147   147        0    3    0.036  ZERO
Voir_5_2_chi00_epsplus := 0;
 11   -1  full                     834      138   138        0    1    0.037  ZERO
Voir_5_2_chi11_epsminus := 0;
 11    1  full                     836      136   136        0    3    0.041  ZERO
Voir_5_2_chi11_epsplus := 0;
 22   -1  full                     758      127   127        0    1    0.028  ZERO
Voir_5_2_chi22_epsminus := 0;
 22    1  full                     759      124   124        0    3    0.022  ZERO
Voir_5_2_chi22_epsplus := 0;
 01   -1  full                    1546      251   251        0    3    0.066  ZERO
Voir_5_2_chi01_epsminus := 0;
 01    1  full                    1546      251   251        0    2    0.070  ZERO
Voir_5_2_chi01_epsplus := 0;
 02   -1  full                    1684      274   274        0    4    0.075  ZERO
Voir_5_2_chi02_epsminus := 0;
 02    1  full                    1684      274   274        0    4    0.075  ZERO
Voir_5_2_chi02_epsplus := 0;
 12   -1  full                    1756      297   297        0    1    0.080  ZERO
Voir_5_2_chi12_epsminus := 0;
 12    1  full                    1756      297   297        0    4    0.078  ZERO
Voir_5_2_chi12_epsplus := 0;
CASE RESULT: VANISHING PROVED

CASE (m,t)=(6,2)
chi  eps  method                 rows  columns  rank  nullity  det  seconds  result
 00   -1  full                    1623      257   257        0    4    0.104  ZERO
Voir_6_2_chi00_epsminus := 0;
 00    1  full                    1631      265   265        0    1    0.113  ZERO
Voir_6_2_chi00_epsplus := 0;
 11   -1  full                    1569      240   240        0    4    0.103  ZERO
Voir_6_2_chi11_epsminus := 0;
 11    1  full                    1577      246   246        0    3    0.116  ZERO
Voir_6_2_chi11_epsplus := 0;
 22   -1  full                    1344      219   219        0    2    0.088  ZERO
Voir_6_2_chi22_epsminus := 0;
 22    1  full                    1353      226   226        0    4    0.087  ZERO
Voir_6_2_chi22_epsplus := 0;
 01   -1  full                    2758      452   452        0    2    0.265  ZERO
Voir_6_2_chi01_epsminus := 0;
 01    1  full                    2758      452   452        0    3    0.265  ZERO
Voir_6_2_chi01_epsplus := 0;
 02   -1  full                    3129      482   482        0    3    0.307  ZERO
Voir_6_2_chi02_epsminus := 0;
 02    1  full                    3129      482   482        0    2    0.283  ZERO
Voir_6_2_chi02_epsplus := 0;
 12   -1  full                    3264      518   518        0    3    0.322  ZERO
Voir_6_2_chi12_epsminus := 0;
 12    1  full                    3264      518   518        0    2    0.313  ZERO
Voir_6_2_chi12_epsplus := 0;
CASE RESULT: VANISHING PROVED

CASE (m,t)=(7,2)
chi  eps  method                 rows  columns  rank  nullity  det  seconds  result
 00   -1  full                    2809      424   424        0    3    0.652  ZERO
Voir_7_2_chi00_epsminus := 0;
 00    1  full                    2815      419   419        0    3    0.566  ZERO
Voir_7_2_chi00_epsplus := 0;
 11   -1  full                    2723      402   402        0    3    0.554  ZERO
Voir_7_2_chi11_epsminus := 0;
 11    1  full                    2729      398   398        0    1    0.510  ZERO
Voir_7_2_chi11_epsplus := 0;
 22   -1  full                    2397      374   374        0    4    0.483  ZERO
Voir_7_2_chi22_epsminus := 0;
 22    1  full                    2404      370   370        0    3    0.428  ZERO
Voir_7_2_chi22_epsplus := 0;
 01   -1  full                    4747      748   748        0    3    1.309  ZERO
Voir_7_2_chi01_epsminus := 0;
 01    1  full                    4747      748   748        0    3    1.229  ZERO
Voir_7_2_chi01_epsplus := 0;
 02   -1  full                    5491      793   793        0    1    1.463  ZERO
Voir_7_2_chi02_epsminus := 0;
 02    1  full                    5491      793   793        0    1    1.472  ZERO
Voir_7_2_chi02_epsplus := 0;
 12   -1  full                    5688      847   847        0    2    1.523  ZERO
Voir_7_2_chi12_epsminus := 0;
 12    1  full                    5688      847   847        0    2    1.486  ZERO
Voir_7_2_chi12_epsplus := 0;
CASE RESULT: VANISHING PROVED

CASE (m,t)=(8,2)
chi  eps  method                 rows  columns  rank  nullity  det  seconds  result
 00   -1  full                    4473      646   646        0    4    3.245  ZERO
Voir_8_2_chi00_epsminus := 0;
 00    1  full                    4481      657   657        0    3    2.730  ZERO
Voir_8_2_chi00_epsplus := 0;
 11   -1  full                    4300      612   612        0    3    2.470  ZERO
Voir_8_2_chi11_epsminus := 0;
 11    1  full                    4307      622   622        0    3    2.888  ZERO
Voir_8_2_chi11_epsplus := 0;
 22   -1  full                    3881      578   578        0    1    2.536  ZERO
Voir_8_2_chi22_epsminus := 0;
 22    1  full                    3890      588   588        0    1    2.498  ZERO
Voir_8_2_chi22_epsplus := 0;
 01   -1  full                    7697     1166  1166        0    1    5.528  ZERO
Voir_8_2_chi01_epsminus := 0;
 01    1  full                    7697     1166  1166        0    1    4.908  ZERO
Voir_8_2_chi01_epsplus := 0;
 02   -1  full                    8697     1234  1234        0    4    6.484  ZERO
Voir_8_2_chi02_epsminus := 0;
 02    1  full                    8697     1234  1234        0    1    6.170  ZERO
Voir_8_2_chi02_epsplus := 0;
 12   -1  full                    9005     1303  1303        0    1    6.364  ZERO
Voir_8_2_chi12_epsminus := 0;
 12    1  full                    9005     1303  1303        0    1    6.927  ZERO
Voir_8_2_chi12_epsplus := 0;
CASE RESULT: VANISHING PROVED

CASE (m,t)=(9,2)
chi  eps  method                 rows  columns  rank  nullity  det  seconds  result
 00   -1  full                    6872      971   971        0    3   29.534  ZERO
Voir_9_2_chi00_epsminus := 0;
 00    1  full                    6876      962   962        0    4   25.236  ZERO
Voir_9_2_chi00_epsplus := 0;
 11   -1  full                    6610      922   922        0    4   22.047  ZERO
Voir_9_2_chi11_epsminus := 0;
 11    1  full                    6615      914   914        0    2   21.892  ZERO
Voir_9_2_chi11_epsplus := 0;
 22   -1  full                    5943      872   872        0    3   16.691  ZERO
Voir_9_2_chi22_epsminus := 0;
 22    1  full                    5942      864   864        0    1   13.736  ZERO
Voir_9_2_chi22_epsplus := 0;
 01   -1  full                   12075     1747  1747        0    2   28.191  ZERO
Voir_9_2_chi01_epsminus := 0;
 01    1  full                   12075     1747  1747        0    2   27.371  ZERO
Voir_9_2_chi01_epsplus := 0;
 02   -1  full                   13227     1832  1832        0    2   46.445  ZERO
Voir_9_2_chi02_epsminus := 0;
 02    1  full                   13227     1832  1832        0    3   44.610  ZERO
Voir_9_2_chi02_epsplus := 0;
 12   -1  full                   13582     1924  1924        0    1   49.658  ZERO
Voir_9_2_chi12_epsminus := 0;
 12    1  full                   13582     1924  1924        0    4   46.791  ZERO
Voir_9_2_chi12_epsplus := 0;
CASE RESULT: VANISHING PROVED

CASE (m,t)=(10,3)
chi  eps  method                 rows  columns  rank  nullity  det  seconds  result
 00   -1  full                    9453     1366  1366        0    4   27.075  ZERO
Voir_10_3_chi00_epsminus := 0;
 00    1  full                    9457     1380  1380        0    1   28.839  ZERO
Voir_10_3_chi00_epsplus := 0;
 11   -1  full                    9154     1312  1312        0    1   22.155  ZERO
Voir_10_3_chi11_epsminus := 0;
 11    1  full                    9158     1325  1325        0    3   23.291  ZERO
Voir_10_3_chi11_epsplus := 0;
 22   -1  full                    8959     1245  1245        0    2   19.888  ZERO
Voir_10_3_chi22_epsminus := 0;
 22    1  full                    8963     1259  1259        0    2   21.769  ZERO
Voir_10_3_chi22_epsplus := 0;
 01   -1  full                   17901     2514  2514        0    1   48.854  ZERO
Voir_10_3_chi01_epsminus := 0;
 01    1  full                   17901     2514  2514        0    4   47.947  ZERO
Voir_10_3_chi01_epsplus := 0;
 02   -1  full                   18463     2624  2624        0    3   63.811  ZERO
Voir_10_3_chi02_epsminus := 0;
 02    1  full                   18463     2624  2624        0    2   65.630  ZERO
Voir_10_3_chi02_epsplus := 0;
 12   -1  full                   18883     2750  2750        0    1   83.740  ZERO
Voir_10_3_chi12_epsminus := 0;
 12    1  full                   18883     2750  2750        0    4   84.001  ZERO
Voir_10_3_chi12_epsplus := 0;
CASE RESULT: VANISHING PROVED

CASE (m,t)=(11,3)
chi  eps  method                 rows  columns  rank  nullity  det  seconds  result
 00   -1  full                   13374     1908  1908        0    2   82.813  ZERO
Voir_11_3_chi00_epsminus := 0;
 00    1  full                   13378     1896  1896        0    4   83.753  ZERO
Voir_11_3_chi00_epsplus := 0;
 11   -1  full                   12921     1831  1831        0    3   78.179  ZERO
Voir_11_3_chi11_epsminus := 0;
 11    1  full                   12925     1820  1820        0    3   72.017  ZERO
Voir_11_3_chi11_epsplus := 0;
 22   -1  full                   12682     1756  1756        0    3   55.834  ZERO
Voir_11_3_chi22_epsminus := 0;
 22    1  full                   12686     1744  1744        0    4   50.742  ZERO
Voir_11_3_chi22_epsplus := 0;
 01   -1  full                   25344     3500  3500        0    3  111.819  ZERO
Voir_11_3_chi01_epsminus := 0;
 01    1  full                   25344     3500  3500        0    2  112.912  ZERO
Voir_11_3_chi01_epsplus := 0;
 02   -1  full                   25962     3651  3651        0    2  127.595  ZERO
Voir_11_3_chi02_epsminus := 0;
 02    1  full                   25962     3651  3651        0    3  126.501  ZERO
Voir_11_3_chi02_epsplus := 0;
 12   -1  full                   26790     3804  3804        0    1  127.943  ZERO
Voir_11_3_chi12_epsminus := 0;
 12    1  full                   26790     3804  3804        0    4  126.711  ZERO
Voir_11_3_chi12_epsplus := 0;
CASE RESULT: VANISHING PROVED

CASE (m,t)=(12,3)
chi  eps  method                 rows  columns  rank  nullity  det  seconds  result
 00   -1  full                   18526     2564  2564        0    2  215.896  ZERO
Voir_12_3_chi00_epsminus := 0;
 00    1  full                   18534     2585  2585        0    2  234.356  ZERO
Voir_12_3_chi00_epsplus := 0;
 11   -1  full                   18050     2469  2469        0    3  207.153  ZERO
Voir_12_3_chi11_epsminus := 0;
 11    1  full                   18060     2488  2488        0    3  218.976  ZERO
Voir_12_3_chi11_epsplus := 0;
 22   -1  full                   17487     2366  2366        0    2  171.973  ZERO
Voir_12_3_chi22_epsminus := 0;
 22    1  full                   17495     2386  2386        0    4  179.888  ZERO
Voir_12_3_chi22_epsplus := 0;
 01   -1  full                   35367     4768  4768        0    1  322.867  ZERO
Voir_12_3_chi01_epsminus := 0;
 01    1  full                   35367     4768  4768        0    4  318.643  ZERO
Voir_12_3_chi01_epsplus := 0;
 02   -1  full                   35919     4947  4947        0    3  318.638  ZERO
Voir_12_3_chi02_epsminus := 0;
 02    1  full                   35919     4947  4947        0    3  314.265  ZERO
Voir_12_3_chi02_epsplus := 0;
 12   -1  full                   37004     5141  5141        0    2  361.091  ZERO
Voir_12_3_chi12_epsminus := 0;
 12    1  full                   37004     5141  5141        0    3  351.819  ZERO
Voir_12_3_chi12_epsplus := 0;
CASE RESULT: VANISHING PROVED

CASE (m,t)=(13,3)
chi  eps  method                 rows  columns  rank  nullity  det  seconds  result
 00   -1  full                   24668     3406  3406        0    4  617.205  ZERO
Voir_13_3_chi00_epsminus := 0;
 00    1  full                   24680     3390  3390        0    4  568.593  ZERO
Voir_13_3_chi00_epsplus := 0;
 11   -1  full                   24256     3297  3297        0    4  565.719  ZERO
Voir_13_3_chi11_epsminus := 0;
 11    1  full                   24267     3283  3283        0    3  546.990  ZERO
Voir_13_3_chi11_epsplus := 0;
 22   -1  full                   23562     3173  3173        0    2  678.708  ZERO
Voir_13_3_chi22_epsminus := 0;
 22    1  full                   23574     3158  3158        0    2  649.526  ZERO
Voir_13_3_chi22_epsplus := 0;
 01   -1  full                   47234     6339  6339        0    1 1231.341  ZERO
Voir_13_3_chi01_epsminus := 0;
 01    1  full                   47234     6339  6339        0    4 1218.518  ZERO
Voir_13_3_chi01_epsplus := 0;
 02   -1  full                   48250     6562  6562        0    1 1349.942  ZERO
Voir_13_3_chi02_epsminus := 0;
 02    1  full                   48250     6562  6562        0    4 1339.415  ZERO
Voir_13_3_chi02_epsplus := 0;
 12   -1  full                   49657     6808  6808        0    2 1325.510  ZERO
Voir_13_3_chi12_epsminus := 0;
 12    1  full                   49657     6808  6808        0    3 1334.248  ZERO
Voir_13_3_chi12_epsplus := 0;
CASE RESULT: VANISHING PROVED

CASE (m,t)=(14,3)
chi  eps  method                 rows  columns  rank  nullity  det  seconds  result
 00   -1  full                   32405     4402  4402        0    2 1288.255  ZERO
Voir_14_3_chi00_epsminus := 0;
 00    1  full                   32417     4428  4428        0    4 1317.971  ZERO
Voir_14_3_chi00_epsplus := 0;
 11   -1  full                   31599     4260  4260        0    3 1214.500  ZERO
Voir_14_3_chi11_epsminus := 0;
 11    1  full                   31611     4284  4284        0    3 1226.098  ZERO
Voir_14_3_chi11_epsplus := 0;
 22   -1  full                   31198     4118  4118        0    3  810.562  ZERO
Voir_14_3_chi22_epsminus := 0;
 22    1  full                   31209     4143  4143        0    1  827.206  ZERO
Voir_14_3_chi22_epsplus := 0;
 01   -1  full                   62115     8261  8261        0    2 1631.499  ZERO
Voir_14_3_chi01_epsminus := 0;
 01    1  full                   62115     8261  8261        0    2 1633.676  ZERO
Voir_14_3_chi01_epsplus := 0;
 02   -1  full                   63790     8544  8544        0    4 2179.421  ZERO
Voir_14_3_chi02_epsminus := 0;
 02    1  full                   63790     8544  8544        0    1 2175.627  ZERO
Voir_14_3_chi02_epsplus := 0;
 12   -1  full                   64746     8830  8830        0    1 2423.014  ZERO
Voir_14_3_chi12_epsminus := 0;
 12    1  full                   64746     8830  8830        0    1 2361.501  ZERO
Voir_14_3_chi12_epsplus := 0;
CASE RESULT: VANISHING PROVED
