Enumerative problem VV(X)5ZZ = 10 on Fl(1,3,5;6)



Experimental data
Number of Real Solutions
  Necklaces     0     2     4     6     8     10  
  bcccedcca     0     0     0     0     0     1500  
  bccedccca     0     0     0     0     0     1500  
  bccdeccca     0     0     0     0     0     1500  
  bdeccccca     0     0     0     0     0     1500  
  baccccedc     0     0     0     0     0     1500  
  baedccccc     0     0     0     0     0     1500  
  bacedcccc     0     0     0     0     0     1500  
  bedccccca     0     0     0     0     0     1500  
  baccccdec     0     0     0     0     0     1500  
  bccccceda     0     0     0     0     0     1500  
  bccccedca     0     0     0     0     0     1500  
  bcccdecca     0     0     0     0     0     1500  
  bcaccedcc     0     0     0     134     187     1179  
  bcacdeccc     0     0     0     159     121     1220  
  bcaccccde     0     0     0     171     118     1211  
  bccedccac     0     0     0     172     313     1015  
  bcacedccc     0     0     0     181     116     1203  
  bccecdcca     0     0     0     188     251     1061  
  bacdceccc     0     0     0     196     180     1124  
  baccecdcc     0     0     0     196     236     1068  
  bcacccedc     0     0     0     200     101     1199  
  bcdceccca     0     0     0     211     172     1117  
  bcacccdec     0     0     0     219     106     1175  
  bccccdcea     0     0     0     240     124     1136  
  baccccdce     0     0     0     246     138     1116  
  bdeccccac     0     0     0     246     152     1102  
  bacecdccc     0     0     0     271     141     1088  
  bccccecda     0     0     0     275     103     1122  
  bcaedcccc     0     0     0     276     67     1157  
  bcccccade     0     0     0     279     148     1073  
  bccccedac     0     0     0     288     136     1076  
  bccaccedc     0     0     0     299     724     477  
  bccacdecc     0     0     0     305     618     577  
  bcceccdca     0     0     0     327     659     514  
  bacccdcec     0     0     0     333     136     1031  
  bccdcceca     0     0     0     337     743     420  
  bcedccacc     0     0     0     349     853     298  
  baccccecd     0     0     0     364     102     1034  
  bccacedcc     0     0     0     377     579     544  
  baccdccec     0     0     0     388     746     366  
  bccaccced     0     0     0     428     507     565  
  bccacccde     0     0     0     460     482     558  
  beccdccca     0     0     0     502     525     473  
  baeccdccc     0     0     0     527     512     461  
  becccccad     0     0     1     211     114     1174  
  badccccce     0     0     1     263     101     1135  
  bcccccdae     0     0     1     295     173     1031  
  bacceccdc     0     0     1     431     615     453  
  badcceccc     0     0     1     513     470     516  
  bcccaccde     0     0     2     212     833     453  
  bcccacced     0     0     2     244     841     413  
  bccaedccc     0     0     2     553     416     529  
  becccdcca     0     0     3     174     745     578  
  baecccdcc     0     0     3     251     829     417  
  bcccedacc     0     0     3     561     471     465  
  baccceccd     0     0     5     571     468     456  
  beccccdca     0     0     8     240     303     949  
  bccceccad     0     0     9     335     743     413  
  bedcacccc     0     0     11     276     285     928  
  bdcecaccc     0     0     12     349     747     392  
  bceaccccd     0     0     12     686     269     533  
  baecccccd     0     0     14     408     204     874  
  bcadceccc     0     0     21     274     206     999  
  bccdcecac     0     0     23     275     441     761  
  beccccacd     0     0     24     320     267     889  
  bdeaccccc     0     0     26     361     183     930  
  bcedcaccc     0     0     31     502     667     300  
  bdecacccc     0     0     35     459     432     574  
  bacdcccec     0     0     39     458     689     314  
  bacecccdc     0     0     44     502     721     233  
  baeccccdc     0     0     47     469     444     540  
  bcdecaccc     0     0     51     556     707     186  
  bccccaecd     0     0     81     465     574     380  
  bccedaccc     0     0     82     535     684     199  
  bcedacccc     0     0     126     547     504     323  
  badccccec     0     0     138     552     549     261  
  bccceadcc     0     1     8     337     699     455  
  bccccecad     0     1     9     478     252     760  
  bcaccecdc     0     1     18     273     365     843  
  bdcaecccc     0     1     22     314     510     653  
  bdacccecc     0     1     38     337     552     572  
  badcccecc     0     1     61     560     675     203  
  bcdcccaec     0     1     65     679     477     278  
  bdcccecca     0     1     74     542     667     216  
  bcdacccce     0     1     82     595     396     426  
  bcccdcace     0     1     160     747     440     152  
  bcdcaccce     0     1     167     670     476     186  
  becaccccd     0     2     10     301     267     920  
  bcccceadc     0     2     11     535     292     660  
  bcceadccc     0     2     51     409     531     507  
  bdceccacc     0     2     68     490     622     318  
  bdcccceac     0     2     71     490     586     351  
  bccdeaccc     0     2     76     590     652     180  
  bcadcccec     0     2     81     526     733     158  
  bcecdaccc     0     2     105     520     682     191  
  bccdaccce     0     2     167     693     474     164  
  baceccccd     0     2     213     579     480     226  
  bcdccceac     0     3     8     348     760     381  
  beaccccdc     0     3     18     319     315     845  
  bcacccecd     0     3     28     379     210     880  
  bcdcecacc     0     3     28     410     687     372  
  bdaeccccc     0     3     36     111     161     1189  
  bccccdcae     0     3     38     440     276     743  
  bcecacccd     0     3     50     777     405     265  
  bcadcccce     0     3     53     426     557     461  
  bcacecccd     0     3     77     592     634     194  
  bcceccacd     0     3     137     533     671     156  
  bcccdacce     0     3     184     720     438     155  
  beccacdcc     0     3     195     452     657     193  
  beacccccd     0     4     20     43     56     1377  
  bcecdccac     0     4     29     430     356     681  
  bcadccecc     0     4     51     502     515     428  
  bceccdcac     0     4     52     474     662     308  
  bdcceccac     0     4     65     571     501     359  
  bccccdace     0     4     103     606     428     359  
  bcacdccce     0     5     26     345     733     391  
  bcccdceac     0     5     46     416     243     790  
  bccecdacc     0     5     71     499     568     357  
  bcdceaccc     0     5     75     537     662     221  
  becccdacc     0     5     132     497     611     255  
  bcdeacccc     0     5     142     580     478     295  
  bcaceccdc     0     6     30     396     651     417  
  bcdaccecc     0     6     108     504     623     259  
  bcaeccdcc     0     7     35     484     583     391  
  bcacdcecc     0     7     37     275     295     886  
  bcecdcacc     0     7     72     424     687     310  
  beacccdcc     0     7     79     465     605     344  
  beccdccac     0     7     112     478     602     301  
  bcdacccec     0     7     134     576     573     210  
  becdcaccc     0     8     70     322     662     438  
  bcceacccd     0     8     103     330     526     533  
  bcceacdcc     0     8     107     522     705     158  
  bdaccccec     0     8     113     493     285     601  
  bccccdaec     0     8     125     525     340     502  
  bccaecdcc     0     9     58     520     461     452  
  bcdcaeccc     0     9     92     400     487     512  
  bdcacccec     0     9     110     752     362     267  
  bccdaccec     0     9     249     580     553     109  
  bcecacdcc     0     10     254     652     498     86  
  becdacccc     0     11     44     390     480     575  
  bdccecacc     0     11     180     493     566     250  
  bcdcaccec     0     11     244     638     512     95  
  bdcccacce     0     12     94     410     659     325  
  bcccecadc     0     12     94     600     355     439  
  bccecadcc     0     12     134     534     594     226  
  bceacdccc     0     13     113     699     334     341  
  beccdaccc     0     13     158     505     563     261  
  bdccaeccc     0     14     95     460     576     355  
  bcccdacec     0     15     157     624     554     150  
  bcdcacecc     0     15     181     572     422     310  
  bdcaceccc     0     16     107     465     482     430  
  bcacccdce     0     17     44     373     203     863  
  becdccacc     0     17     129     446     645     263  
  becaccdcc     0     18     180     610     519     173  
  bcdcccace     0     20     72     610     367     431  
  bdccaccce     0     20     79     546     500     355  
  bccecaccd     0     20     188     459     612     221  
  bccaeccdc     0     21     160     483     529     307  
  bccdccaec     0     21     263     698     395     123  
  bcdccaecc     0     22     162     498     568     250  
  bceccdacc     0     22     210     614     485     169  
  bdcceaccc     0     23     165     503     574     235  
  beccdcacc     0     24     160     538     613     165  
  bceccaccd     0     25     286     618     464     107  
  bcccdccae     0     26     131     531     506     306  
  bccaecccd     0     26     147     475     612     240  
  bcdccacce     0     32     212     606     531     119  
  bcecaccdc     0     72     234     445     561     188  

Key
Condition Name Symbol Codimension
 21345   V   a   1 
 41235   V   b   3 
 12435   X   c   1 
 12346   Z   d   1 
 12456   Z   e   3 
Point Selection

Total time of computation: 616 505.28 GHz-seconds or 7.13 GHz-days on rcf1537-10
252 000 Polynomial systems solved
The coefficients of a typical eliminant had 84 digits.
The typical eliminant had size 981 bytes.
This table automatically generated from the data in This File using This Maple Script
Created: Fri Jul 15 15:49:19 CDT 2005