Enumerative problem (W)3W(Y)3(Z)2 = 4 on Fl(2,4,5;6)



Experimental data Related Problems
Number of Real Solutions
  Necklaces     0     2     4  
  bddcaccaa     0     0     10000  
  baacacddc     0     0     10000  
  bddcccaaa     0     0     10000  
  baacccdda     0     0     10000  
  bacaccdda     0     0     10000  
  baccacdda     0     0     10000  
  baaaddccc     0     0     10000  
  baaddccca     0     0     10000  
  bcacddcaa     0     0     10000  
  bacccadad     0     0     10000  
  baacaddcc     0     0     10000  
  bacaaddcc     0     0     10000  
  badcccaad     0     0     10000  
  bacdadcca     0     0     10000  
  bcaccddaa     0     0     10000  
  bccaddcaa     0     0     10000  
  badaadccc     0     0     10000  
  badadaccc     0     0     10000  
  baaccdadc     0     0     10000  
  badaacccd     0     0     10000  
  bcccdadaa     0     0     10000  
  bacacddca     0     0     10000  
  baccaddca     0     0     10000  
  bacccdaad     0     0     10000  
  baaddaccc     0     0     10000  
  baddaccca     0     0     10000  
  bccddcaaa     0     0     10000  
  baacccadd     0     0     10000  
  baacccdad     0     0     10000  
  baccddcaa     0     0     10000  
  baadacccd     0     0     10000  
  bacddccaa     0     0     10000  
  bcaddccaa     0     0     10000  
  bcddccaaa     0     0     10000  
  bccacddaa     0     0     10000  
  baacaccdd     0     0     10000  
  baacdadcc     0     0     10000  
  baaccaddc     0     0     10000  
  bacaddcca     0     0     10000  
  bacccdada     0     0     10000  
  baaadcccd     0     0     10000  
  baadcccad     0     0     10000  
  baadcccda     0     0     10000  
  badacccda     0     0     10000  
  bacccaadd     0     2     9998  
  baddaaccc     0     2     9998  
  bdaaacccd     0     2     9998  
  bddccaaca     0     3     9997  
  bacaacddc     0     3     9997  
  bacddcaac     0     4     9996  
  bcaaddcca     0     4     9996  
  badacccad     0     6     9994  
  bcaaccdda     0     6     9994  
  bcccadaad     0     13     9987  
  bccacdada     0     18     9982  
  bdacccaad     0     21     9979  
  bdadaaccc     0     22     9978  
  bcccdaaad     0     23     9977  
  bcdadaacc     0     31     9969  
  baccacdad     0     38     9962  
  bcaccdada     0     40     9960  
  bcaccdaad     0     46     9954  
  bdaadcacc     0     49     9951  
  bccdadaca     0     53     9947  
  bcdaadacc     0     57     9943  
  bdadccaca     0     71     9929  
  baccdadac     0     74     9926  
  bdcaaccad     0     83     9917  
  bcddaacac     0     106     9894  
  bcaacacdd     0     106     9894  
  bcaaaccdd     0     110     9890  
  bccdaadca     0     112     9888  
  bdadccaac     0     123     9877  
  bddcaacac     0     129     9871  
  bccacadad     0     134     9866  
  bcaddcaac     0     136     9864  
  bcddacaca     0     138     9862  
  bddaaccac     0     140     9860  
  bccaddaac     0     142     9858  
  bdacaccad     0     150     9850  
  bcacddaac     0     151     9849  
  bcddacaac     0     153     9847  
  badccaacd     0     166     9834  
  bdaccacda     0     174     9826  
  bcdaadcac     0     179     9821  
  bcdaaadcc     0     180     9820  
  bdcaccaad     0     181     9819  
  bccdadaac     0     182     9818  
  bcaaacddc     0     184     9816  
  bccdaadac     0     188     9812  
  bcaddaacc     0     192     9808  
  bcaacdadc     0     198     9802  
  bddacaacc     0     199     9801  
  bdcaacacd     0     207     9793  
  bccaddaca     0     208     9792  
  bddcaaacc     0     211     9789  
  bccadadac     0     213     9787  
  bcdadacac     0     214     9786  
  bdacaaccd     0     222     9778  
  bdacacacd     0     227     9773  
  bddaaaccc     0     229     9771  
  bddcacaca     0     231     9769  
  bccacaadd     0     239     9761  
  bdaacaccd     0     244     9756  
  badcacacd     0     259     9741  
  baddacacc     0     259     9741  
  bcddaacca     0     265     9735  
  badccacad     0     284     9716  
  bccaacdad     0     286     9714  
  bcaaccadd     0     286     9714  
  bdadaccac     0     295     9705  
  bcacddaca     0     303     9697  
  bccddaaac     0     304     9696  
  bcacdadac     0     311     9689  
  bcacacadd     0     319     9681  
  bccaacdda     0     351     9649  
  badaccacd     0     363     9637  
  bcaddacac     0     366     9634  
  bacacdadc     0     382     9618  
  bdadcacac     0     387     9613  
  bcacaddca     0     393     9607  
  bdcaaaccd     0     402     9598  
  bcdaadcca     0     436     9564  
  bdccacada     0     477     9523  
  bacacddac     0     480     9520  
  bcaccadda     0     499     9501  
  baccaacdd     0     499     9501  
  bcacacdda     0     510     9490  
  baccacadd     0     536     9464  
  baccaddac     0     607     9393  
  bacddaacc     0     615     9385  
  bacaccadd     0     644     9356  
  bdccaacda     0     679     9321  
  bacdadacc     0     822     9178  
  bacdadcac     0     868     9132  
  baccadadc     0     1032     8968  
  bccaadacd     1     834     9165  
  baadcaccd     2     371     9627  
  badccacda     3     561     9436  
  bccaaadcd     3     652     9345  
  bcddaaacc     4     128     9868  
  baadccacd     5     645     9350  
  bccadcaad     7     378     9615  
  bcdacdaac     8     300     9692  
  bcdaacacd     9     957     9034  
  bacdacdac     9     1368     8623  
  baccadcad     18     505     9477  
  bccadaacd     25     1126     8849  
  bdcacadac     27     1869     8104  
  bcdacacad     29     1910     8061  
  bcaacdacd     38     832     9130  
  bacdacacd     39     2316     7645  
  bcadacadc     42     1088     8870  
  bdaaccadc     45     613     9342  
  bdcdaacac     45     919     9036  
  bcacadacd     50     813     9137  
  bdaccadca     54     1293     8653  
  bcdaaccad     55     1683     8262  
  bcacdaacd     56     1058     8886  
  bdcacdcaa     60     1154     8786  
  baaccdacd     64     858     9078  
  bdcdaccaa     65     397     9538  
  badcadcca     65     542     9393  
  bcaadcacd     66     1162     8772  
  bcdaacdac     67     1030     8903  
  bcdaaaccd     71     946     8983  
  baadcadcc     77     175     9748  
  badcacdac     77     1505     8418  
  bcdacacda     84     2298     7618  
  bdcacdaca     87     1700     8213  
  bcdacadca     95     2377     7528  
  badacacdc     105     1562     8333  
  bccdaacda     113     1710     8177  
  bdacacdac     115     1562     8323  
  badacdacc     122     776     9102  
  badcacdca     122     938     8940  
  bcacdacda     126     1128     8746  
  baccdaacd     139     2389     7472  
  baacdacdc     158     461     9381  
  bcdacaadc     165     1476     8359  
  bdacdacac     172     1795     8033  
  bacacdacd     175     1338     8487  
  bdacdaacc     176     1323     8501  
  bdcdacaca     179     1713     8108  
  badcdacca     180     569     9251  
  badccaadc     180     2265     7555  
  bdacadacc     191     1447     8362  
  baadcacdc     198     625     9177  
  bccdaaacd     201     1478     8321  
  bcdcaaadc     203     1342     8455  
  bcadcaacd     206     2740     7054  
  bdaacacdc     216     1186     8598  
  bdcdaacca     220     2815     6965  
  badacadcc     224     1445     8331  
  bdacadcac     226     1767     8007  
  bacdaaccd     234     2531     7235  
  bcdacaacd     239     2692     7069  
  badcadacc     248     1496     8256  
  bacdcacad     251     1460     8289  
  bcdacdaca     253     1301     8446  
  bcacdcaad     254     1249     8497  
  bcadcadac     322     1459     8219  
  bdacdcaca     329     1314     8357  
  bccdaacad     354     3278     6368  
  baacdaccd     359     1698     7943  
  baccadacd     364     1425     8211  
  badcdaacc     375     2157     7468  
  bcdaacdca     375     3009     6616  
  bdaaccdac     393     1434     8173  
  bcdccaaad     408     1555     8037  
  bdcdacaac     415     2401     7184  
  bcdcaadca     417     2791     6792  
  badcdacac     446     2049     7505  
  bdacaacdc     448     2736     6816  
  bacdacdca     453     1441     8106  
  bacdcaacd     456     3318     6226  
  baadcdacc     463     489     9048  
  bccdacaad     504     2504     6992  
  bdaccadac     505     2256     7239  
  bcdcaadac     519     2359     7122  
  bcaadcdac     520     1006     8474  
  bdacadcca     526     1940     7534  
  badaacdcc     550     1860     7590  
  bcdcaacda     558     3288     6154  
  baacacdcd     585     684     8731  
  bccdcaaad     617     2088     7295  
  bdccaadac     637     2955     6408  
  badaccadc     648     2035     7317  
  bcdcaaacd     658     2832     6510  
  bacadcdac     674     1738     7588  
  bcdcadaca     679     2412     6909  
  bcdccaada     751     1952     7297  
  bdacdcaac     753     2484     6763  
  badccadca     763     2318     6919  
  bacacdcda     789     1079     8132  
  bdaccdaca     862     1899     7239  
  bcacdcada     904     1693     7403  
  baaccdcad     961     945     8094  
  bacdccaad     982     2141     6877  
  bacaadcdc     1018     2443     6539  
  bdccadaca     1024     4083     4893  
  bcaaadcdc     1034     1434     7532  
  bcdcadaac     1051     2268     6681  
  bcaadccad     1102     2476     6422  
  bacaacdcd     1137     2157     6706  
  baaaccdcd     1162     301     8537  
  badacdcca     1207     597     8196  
  badccadac     1219     3482     5299  
  bdaacdcca     1237     1938     6825  
  bacdcadac     1250     2614     6136  
  badcdccaa     1253     236     8511  
  bdccdaaac     1260     3064     5676  
  baacdcadc     1276     1496     7228  
  baadacdcc     1284     499     8217  
  bcadccada     1307     2325     6368  
  baadcdcca     1317     63     8620  
  bdccdacaa     1318     1115     7567  
  baaadcdcc     1325     59     8616  
  bcacdcdaa     1449     879     7672  
  bacadccda     1462     1704     6834  
  bdaccdcaa     1551     1209     7240  
  bcaaacdcd     1599     2650     5751  
  bcaacdcda     1634     2009     6357  
  baadccadc     1643     1706     6651  
  bcaadaccd     1703     2927     5370  
  bacaadccd     1707     3192     5101  
  bacdcdaac     1824     1585     6591  
  baadccdac     1932     1615     6453  
  badaccdca     1962     665     7373  
  baacdcdac     1968     1375     6657  
  bacdcdaca     2035     1417     6548  
  baacadcdc     2036     1373     6591  
  baaacdccd     2236     140     7624  
  baadaccdc     2243     403     7354  
  bacdccdaa     2266     114     7620  
  bcaadccda     2299     2590     5111  
  baaadccdc     2316     71     7613  
  badccdcaa     2376     139     7485  
  baaacdcdc     3831     137     6032  
  baacdcdca     4012     130     5858  
Projections
VarietyProblem#
Fl(2;6) (W)3W 2

Key
Condition Name Symbol Codimension
 13245   W   a   1 
 35124   W   b   5 
 12354   Y   c   1 
 12346   Z   d   1 
Point Selection

Total time of computation: 454 289.32 GHz-seconds or 5.25 GHz-days on Clavius
2 800 000 Polynomial systems solved
The coefficients of a typical eliminant had 143 digits.
The typical eliminant had size 736 bytes.
This table automatically generated from the data in This File using This Maple Script
Created: Fri Jul 15 15:53:02 CDT 2005