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 profile: 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    3    0.000  ZERO
Voir_1_1_chi00_epsminus := 0;
 00    1  full                      15        3     3        0    1    0.000  ZERO
Voir_1_1_chi00_epsplus := 0;
 11   -1  full                       6        3     3        0    3    0.000  ZERO
Voir_1_1_chi11_epsminus := 0;
 11    1  full                       7        3     3        0    2    0.000  ZERO
Voir_1_1_chi11_epsplus := 0;
 22   -1  full                       2        1     1        0    4    0.000  ZERO
Voir_1_1_chi22_epsminus := 0;
 22    1  full                       3        1     1        0    4    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    3    0.000  ZERO
Voir_1_1_chi12_epsminus := 0;
 12    1  full                      32        6     6        0    3    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    3    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    3    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    3    0.000  ZERO
Voir_2_1_chi22_epsminus := 0;
 22    1  full                      41       10    10        0    2    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.001  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    2    0.001  ZERO
Voir_2_1_chi12_epsminus := 0;
 12    1  full                     151       26    26        0    2    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    2    0.005  ZERO
Voir_3_1_chi00_epsminus := 0;
 00    1  full                     223       36    36        0    3    0.004  ZERO
Voir_3_1_chi00_epsplus := 0;
 11   -1  full                     153       32    32        0    4    0.003  ZERO
Voir_3_1_chi11_epsminus := 0;
 11    1  full                     155       31    31        0    4    0.003  ZERO
Voir_3_1_chi11_epsplus := 0;
 22   -1  full                     125       26    26        0    3    0.005  ZERO
Voir_3_1_chi22_epsminus := 0;
 22    1  full                     129       25    25        0    3    0.004  ZERO
Voir_3_1_chi22_epsplus := 0;
 01   -1  full                     279       56    56        0    2    0.008  ZERO
Voir_3_1_chi01_epsminus := 0;
 01    1  full                     279       56    56        0    2    0.009  ZERO
Voir_3_1_chi01_epsplus := 0;
 02   -1  full                     302       61    61        0    4    0.010  ZERO
Voir_3_1_chi02_epsminus := 0;
 02    1  full                     302       61    61        0    4    0.009  ZERO
Voir_3_1_chi02_epsplus := 0;
 12   -1  full                     432       69    69        0    3    0.013  ZERO
Voir_3_1_chi12_epsminus := 0;
 12    1  full                     432       69    69        0    3    0.012  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    1    0.016  ZERO
Voir_4_1_chi00_epsminus := 0;
 00    1  full                     481       78    78        0    2    0.016  ZERO
Voir_4_1_chi00_epsplus := 0;
 11   -1  full                     396       71    71        0    1    0.016  ZERO
Voir_4_1_chi11_epsminus := 0;
 11    1  full                     399       74    74        0    1    0.016  ZERO
Voir_4_1_chi11_epsplus := 0;
 22   -1  full                     349       60    60        0    3    0.015  ZERO
Voir_4_1_chi22_epsminus := 0;
 22    1  full                     349       64    64        0    4    0.015  ZERO
Voir_4_1_chi22_epsplus := 0;
 01   -1  full                     688      128   128        0    3    0.053  ZERO
Voir_4_1_chi01_epsminus := 0;
 01    1  full                     688      128   128        0    3    0.051  ZERO
Voir_4_1_chi01_epsplus := 0;
 02   -1  full                     773      138   138        0    4    0.065  ZERO
Voir_4_1_chi02_epsminus := 0;
 02    1  full                     773      138   138        0    4    0.063  ZERO
Voir_4_1_chi02_epsplus := 0;
 12   -1  full                    1028      156   156        0    3    0.053  ZERO
Voir_4_1_chi12_epsminus := 0;
 12    1  full                    1028      156   156        0    2    0.052  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    3    0.073  ZERO
Voir_5_2_chi00_epsminus := 0;
 00    1  full                     883      147   147        0    3    0.058  ZERO
Voir_5_2_chi00_epsplus := 0;
 11   -1  full                     834      138   138        0    4    0.052  ZERO
Voir_5_2_chi11_epsminus := 0;
 11    1  full                     836      136   136        0    3    0.064  ZERO
Voir_5_2_chi11_epsplus := 0;
 22   -1  full                     758      127   127        0    1    0.061  ZERO
Voir_5_2_chi22_epsminus := 0;
 22    1  full                     759      124   124        0    4    0.057  ZERO
Voir_5_2_chi22_epsplus := 0;
 01   -1  full                    1546      251   251        0    3    0.155  ZERO
Voir_5_2_chi01_epsminus := 0;
 01    1  full                    1546      251   251        0    2    0.148  ZERO
Voir_5_2_chi01_epsplus := 0;
 02   -1  full                    1684      274   274        0    4    0.155  ZERO
Voir_5_2_chi02_epsminus := 0;
 02    1  full                    1684      274   274        0    4    0.164  ZERO
Voir_5_2_chi02_epsplus := 0;
 12   -1  full                    1756      297   297        0    1    0.177  ZERO
Voir_5_2_chi12_epsminus := 0;
 12    1  full                    1756      297   297        0    4    0.175  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    3    0.191  ZERO
Voir_6_2_chi00_epsminus := 0;
 00    1  full                    1631      265   265        0    3    0.227  ZERO
Voir_6_2_chi00_epsplus := 0;
 11   -1  full                    1569      240   240        0    4    0.184  ZERO
Voir_6_2_chi11_epsminus := 0;
 11    1  full                    1577      246   246        0    4    0.202  ZERO
Voir_6_2_chi11_epsplus := 0;
 22   -1  full                    1344      219   219        0    4    0.187  ZERO
Voir_6_2_chi22_epsminus := 0;
 22    1  full                    1353      226   226        0    1    0.185  ZERO
Voir_6_2_chi22_epsplus := 0;
 01   -1  full                    2758      452   452        0    2    0.515  ZERO
Voir_6_2_chi01_epsminus := 0;
 01    1  full                    2758      452   452        0    3    0.524  ZERO
Voir_6_2_chi01_epsplus := 0;
 02   -1  full                    3129      482   482        0    3    0.603  ZERO
Voir_6_2_chi02_epsminus := 0;
 02    1  full                    3129      482   482        0    2    0.608  ZERO
Voir_6_2_chi02_epsplus := 0;
 12   -1  full                    3264      518   518        0    1    0.689  ZERO
Voir_6_2_chi12_epsminus := 0;
 12    1  full                    3264      518   518        0    4    0.696  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    4    1.285  ZERO
Voir_7_2_chi00_epsminus := 0;
 00    1  full                    2815      419   419        0    1    1.119  ZERO
Voir_7_2_chi00_epsplus := 0;
 11   -1  full                    2723      402   402        0    2    1.098  ZERO
Voir_7_2_chi11_epsminus := 0;
 11    1  full                    2729      398   398        0    1    0.969  ZERO
Voir_7_2_chi11_epsplus := 0;
 22   -1  full                    2397      374   374        0    1    0.978  ZERO
Voir_7_2_chi22_epsminus := 0;
 22    1  full                    2404      370   370        0    4    0.891  ZERO
Voir_7_2_chi22_epsplus := 0;
 01   -1  full                    4747      748   748        0    4    2.528  ZERO
Voir_7_2_chi01_epsminus := 0;
 01    1  full                    4747      748   748        0    4    2.445  ZERO
Voir_7_2_chi01_epsplus := 0;
 02   -1  full                    5491      793   793        0    2    2.861  ZERO
Voir_7_2_chi02_epsminus := 0;
 02    1  full                    5491      793   793        0    2    2.885  ZERO
Voir_7_2_chi02_epsplus := 0;
 12   -1  full                    5688      847   847        0    2    3.180  ZERO
Voir_7_2_chi12_epsminus := 0;
 12    1  full                    5688      847   847        0    2    3.211  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    1    5.863  ZERO
Voir_8_2_chi00_epsminus := 0;
 00    1  full                    4481      657   657        0    1    5.182  ZERO
Voir_8_2_chi00_epsplus := 0;
 11   -1  full                    4300      612   612        0    4    4.499  ZERO
Voir_8_2_chi11_epsminus := 0;
 11    1  full                    4307      622   622        0    2    5.294  ZERO
Voir_8_2_chi11_epsplus := 0;
 22   -1  full                    3881      578   578        0    4    4.616  ZERO
Voir_8_2_chi22_epsminus := 0;
 22    1  full                    3890      588   588        0    1    4.796  ZERO
Voir_8_2_chi22_epsplus := 0;
 01   -1  full                    7697     1166  1166        0    2    9.703  ZERO
Voir_8_2_chi01_epsminus := 0;
 01    1  full                    7697     1166  1166        0    2    9.151  ZERO
Voir_8_2_chi01_epsplus := 0;
 02   -1  full                    8697     1234  1234        0    2   11.575  ZERO
Voir_8_2_chi02_epsminus := 0;
 02    1  full                    8697     1234  1234        0    3   11.520  ZERO
Voir_8_2_chi02_epsplus := 0;
 12   -1  full                    9005     1303  1303        0    3   12.803  ZERO
Voir_8_2_chi12_epsminus := 0;
 12    1  full                    9005     1303  1303        0    3   11.829  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   25.128  ZERO
Voir_9_2_chi00_epsminus := 0;
 00    1  full                    6876      962   962        0    4   19.675  ZERO
Voir_9_2_chi00_epsplus := 0;
 11   -1  full                    6610      922   922        0    4   20.463  ZERO
Voir_9_2_chi11_epsminus := 0;
 11    1  full                    6615      914   914        0    2   18.930  ZERO
Voir_9_2_chi11_epsplus := 0;
 22   -1  full                    5943      872   872        0    3   18.844  ZERO
Voir_9_2_chi22_epsminus := 0;
 22    1  full                    5942      864   864        0    1   15.692  ZERO
Voir_9_2_chi22_epsplus := 0;
 01   -1  full                   12075     1747  1747        0    2   36.159  ZERO
Voir_9_2_chi01_epsminus := 0;
 01    1  full                   12075     1747  1747        0    2   34.265  ZERO
Voir_9_2_chi01_epsplus := 0;
 02   -1  full                   13227     1832  1832        0    2   40.684  ZERO
Voir_9_2_chi02_epsminus := 0;
 02    1  full                   13227     1832  1832        0    3   42.213  ZERO
Voir_9_2_chi02_epsplus := 0;
 12   -1  full                   13582     1924  1924        0    1   43.118  ZERO
Voir_9_2_chi12_epsminus := 0;
 12    1  full                   13582     1924  1924        0    4   43.477  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    3   41.759  ZERO
Voir_10_3_chi00_epsminus := 0;
 00    1  full                    9457     1380  1380        0    4   47.582  ZERO
Voir_10_3_chi00_epsplus := 0;
 11   -1  full                    9154     1312  1312        0    1   36.353  ZERO
Voir_10_3_chi11_epsminus := 0;
 11    1  full                    9158     1325  1325        0    1   38.308  ZERO
Voir_10_3_chi11_epsplus := 0;
 22   -1  full                    8959     1245  1245        0    3   33.367  ZERO
Voir_10_3_chi22_epsminus := 0;
 22    1  full                    8963     1259  1259        0    3   38.322  ZERO
Voir_10_3_chi22_epsplus := 0;
 01   -1  full                   17901     2514  2514        0    2   68.223  ZERO
Voir_10_3_chi01_epsminus := 0;
 01    1  full                   17901     2514  2514        0    3   66.309  ZERO
Voir_10_3_chi01_epsplus := 0;
 02   -1  full                   18463     2624  2624        0    4   76.633  ZERO
Voir_10_3_chi02_epsminus := 0;
 02    1  full                   18463     2624  2624        0    1   75.722  ZERO
Voir_10_3_chi02_epsplus := 0;
 12   -1  full                   18883     2750  2750        0    2   82.047  ZERO
Voir_10_3_chi12_epsminus := 0;
 12    1  full                   18883     2750  2750        0    3   80.497  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    4  103.960  ZERO
Voir_11_3_chi00_epsminus := 0;
 00    1  full                   13378     1896  1896        0    3  105.720  ZERO
Voir_11_3_chi00_epsplus := 0;
 11   -1  full                   12921     1831  1831        0    2   95.835  ZERO
Voir_11_3_chi11_epsminus := 0;
 11    1  full                   12925     1820  1820        0    1   85.919  ZERO
Voir_11_3_chi11_epsplus := 0;
 22   -1  full                   12682     1756  1756        0    3   88.260  ZERO
Voir_11_3_chi22_epsminus := 0;
 22    1  full                   12686     1744  1744        0    3   81.292  ZERO
Voir_11_3_chi22_epsplus := 0;
 01   -1  full                   25344     3500  3500        0    4  175.351  ZERO
Voir_11_3_chi01_epsminus := 0;
 01    1  full                   25344     3500  3500        0    1  174.405  ZERO
Voir_11_3_chi01_epsplus := 0;
 02   -1  full                   25962     3651  3651        0    2  189.743  ZERO
Voir_11_3_chi02_epsminus := 0;
 02    1  full                   25962     3651  3651        0    3  187.896  ZERO
Voir_11_3_chi02_epsplus := 0;
 12   -1  full                   26790     3804  3804        0    2  211.422  ZERO
Voir_11_3_chi12_epsminus := 0;
 12    1  full                   26790     3804  3804        0    3  211.714  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    3  275.054  ZERO
Voir_12_3_chi00_epsminus := 0;
 00    1  full                   18534     2585  2585        0    1  305.622  ZERO
Voir_12_3_chi00_epsplus := 0;
 11   -1  full                   18050     2469  2469        0    1  257.825  ZERO
Voir_12_3_chi11_epsminus := 0;
 11    1  full                   18060     2488  2488        0    1  275.267  ZERO
Voir_12_3_chi11_epsplus := 0;
 22   -1  full                   17487     2366  2366        0    3  232.521  ZERO
Voir_12_3_chi22_epsminus := 0;
 22    1  full                   17495     2386  2386        0    3  244.832  ZERO
Voir_12_3_chi22_epsplus := 0;
 01   -1  full                   35367     4768  4768        0    1  476.858  ZERO
Voir_12_3_chi01_epsminus := 0;
 01    1  full                   35367     4768  4768        0    4  471.332  ZERO
Voir_12_3_chi01_epsplus := 0;
 02   -1  full                   35919     4947  4947        0    4  510.765  ZERO
Voir_12_3_chi02_epsminus := 0;
 02    1  full                   35919     4947  4947        0    4  502.825  ZERO
Voir_12_3_chi02_epsplus := 0;
 12   -1  full                   37004     5141  5141        0    3  553.201  ZERO
Voir_12_3_chi12_epsminus := 0;
 12    1  full                   37004     5141  5141        0    2  533.102  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  738.593  ZERO
Voir_13_3_chi00_epsminus := 0;
 00    1  full                   24680     3390  3390        0    1  706.551  ZERO
Voir_13_3_chi00_epsplus := 0;
 11   -1  full                   24256     3297  3297        0    4  689.405  ZERO
Voir_13_3_chi11_epsminus := 0;
 11    1  full                   24267     3283  3283        0    1  664.313  ZERO
Voir_13_3_chi11_epsplus := 0;
 22   -1  full                   23562     3173  3173        0    1  649.897  ZERO
Voir_13_3_chi22_epsminus := 0;
 22    1  full                   23574     3158  3158        0    4  607.519  ZERO
Voir_13_3_chi22_epsplus := 0;
 01   -1  full                   47234     6339  6339        0    4 1182.270  ZERO
Voir_13_3_chi01_epsminus := 0;
 01    1  full                   47234     6339  6339        0    1 1155.218  ZERO
Voir_13_3_chi01_epsplus := 0;
 02   -1  full                   48250     6562  6562        0    1 1265.111  ZERO
Voir_13_3_chi02_epsminus := 0;
 02    1  full                   48250     6562  6562        0    4 1262.626  ZERO
Voir_13_3_chi02_epsplus := 0;
 12   -1  full                   49657     6808  6808        0    1 1360.693  ZERO
Voir_13_3_chi12_epsminus := 0;
 12    1  full                   49657     6808  6808        0    4 1353.345  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 1480.445  ZERO
Voir_14_3_chi00_epsminus := 0;
 00    1  full                   32417     4428  4428        0    4 1538.649  ZERO
Voir_14_3_chi00_epsplus := 0;
 11   -1  full                   31599     4260  4260        0    3 1369.923  ZERO
Voir_14_3_chi11_epsminus := 0;
 11    1  full                   31611     4284  4284        0    3 1388.424  ZERO
Voir_14_3_chi11_epsplus := 0;
 22   -1  full                   31198     4118  4118        0    3 1344.547  ZERO
Voir_14_3_chi22_epsminus := 0;
 22    1  full                   31209     4143  4143        0    1 1393.745  ZERO
Voir_14_3_chi22_epsplus := 0;
 01   -1  full                   62115     8261  8261        0    2 2650.466  ZERO
Voir_14_3_chi01_epsminus := 0;
 01    1  full                   62115     8261  8261        0    2 2675.188  ZERO
Voir_14_3_chi01_epsplus := 0;
 02   -1  full                   63790     8544  8544        0    4 2919.931  ZERO
Voir_14_3_chi02_epsminus := 0;
 02    1  full                   63790     8544  8544        0    1 2873.978  ZERO
Voir_14_3_chi02_epsplus := 0;
 12   -1  full                   64746     8830  8830        0    1 2754.913  ZERO
Voir_14_3_chi12_epsminus := 0;
 12    1  full                   64746     8830  8830        0    1 2700.774  ZERO
Voir_14_3_chi12_epsplus := 0;
CASE RESULT: VANISHING PROVED

