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



Experimental data
Number of Real Solutions
  Necklaces     0     2     4     6     8     10  
  baaaccdd     0     0     0     0     0     1500  
  bdcdcaaa     0     0     0     0     0     1500  
  bcddcaaa     0     0     0     0     0     1500  
  baddccaa     0     0     0     0     0     1500  
  badcdcaa     0     0     0     0     0     1500  
  bacddcaa     0     0     0     0     0     1500  
  baaadccd     0     0     0     0     0     1500  
  baaadcdc     0     0     0     0     0     1500  
  baaaddcc     0     0     0     0     0     1500  
  baadccda     0     0     0     0     0     1500  
  baadcdca     0     0     0     0     0     1500  
  baaddcca     0     0     0     0     0     1500  
  bdcaaacd     0     0     0     1     293     1206  
  bcaaadcd     0     0     0     48     265     1187  
  bcaaaddc     0     0     0     58     251     1191  
  badcacda     0     0     0     64     724     712  
  bcaaacdd     0     0     0     82     206     1212  
  bccaaadd     0     0     0     82     577     841  
  bcdaadca     0     0     0     84     970     446  
  bcacddaa     0     0     0     92     581     827  
  baadcdac     0     0     0     126     813     561  
  bcdaaadc     0     0     0     132     543     825  
  bcaddcaa     0     0     0     142     676     682  
  baadccad     0     0     0     208     747     545  
  bdaadcca     0     0     0     260     622     618  
  bacdcaad     0     0     0     472     590     438  
  badccaad     0     0     0     659     514     327  
  bdcaaadc     0     0     1     27     536     936  
  bdaaadcc     0     0     1     112     241     1146  
  bdcacdaa     0     0     1     112     904     483  
  baaddacc     0     0     1     154     939     406  
  bdccaaad     0     0     1     175     335     989  
  baacdcad     0     0     2     256     643     599  
  bdcaacda     0     0     2     257     922     319  
  bcdadcaa     0     0     2     457     674     367  
  bcdcaaad     0     0     3     108     395     994  
  badcaadc     0     0     3     245     938     314  
  bdcaadca     0     0     3     261     685     551  
  baddacca     0     0     5     209     867     419  
  bcaddaca     0     0     8     170     850     472  
  bcacadda     0     0     11     323     769     397  
  badccada     0     0     12     165     543     780  
  bacdcada     0     0     13     149     763     575  
  bcdcadaa     0     0     13     182     837     468  
  bacacdda     0     0     21     295     400     784  
  bacacdad     0     0     24     397     749     330  
  bccaadda     0     0     25     347     762     366  
  bcaaddac     0     0     25     376     782     317  
  bcaacdad     0     0     25     471     706     298  
  bacaddca     0     0     28     408     393     671  
  bdadccaa     0     0     30     329     618     523  
  badadcca     0     0     31     354     722     393  
  badaadcc     0     0     34     530     630     306  
  bdccadaa     0     0     38     221     577     664  
  badcadca     0     0     41     195     828     436  
  badcdaca     0     0     41     238     503     718  
  bdcadcaa     0     0     48     276     602     574  
  bcaadcda     0     0     48     311     450     691  
  bcaacdda     0     0     49     394     408     649  
  bacdadca     0     0     49     432     703     316  
  bcaadcad     0     0     49     513     627     311  
  baadadcc     0     0     58     415     724     303  
  bcdcaada     0     0     61     379     717     343  
  bcacdaad     0     0     62     332     666     440  
  bacaaddc     0     0     75     475     441     509  
  bcaaddca     0     0     84     348     296     772  
  bacaacdd     0     0     93     577     286     544  
  bacaadcd     0     0     96     482     398     524  
  bdcaadac     0     0     99     358     646     397  
  bddaccaa     0     0     101     362     605     432  
  bcdacada     0     0     106     570     602     222  
  bdcacada     0     0     129     690     497     184  
  bcddacaa     0     0     172     304     298     726  
  baacacdd     0     0     177     229     237     857  
  bacacadd     0     0     196     302     688     314  
  bcaadadc     0     0     215     447     532     306  
  bcdadaca     0     0     216     507     469     308  
  bdcdacaa     0     0     222     224     322     732  
  bccaadad     0     0     274     414     501     311  
  bcaacadd     0     0     326     250     360     564  
  bacadcad     0     1     43     441     596     419  
  bdccaada     0     1     89     502     621     287  
  bdaacdac     0     1     96     551     453     399  
  bcaadacd     0     1     101     414     517     467  
  baadcadc     0     2     46     225     928     299  
  bdcaacad     0     2     241     307     418     532  
  bcacadad     0     3     234     622     468     173  
  bcacaadd     0     4     133     363     599     401  
  bdcadaca     0     4     148     534     480     334  
  bdadacca     0     4     169     682     475     170  
  baccaadd     0     4     208     510     629     149  
  badcacad     0     5     37     514     754     190  
  bcdaadac     0     6     106     364     675     349  
  bdacacad     0     7     92     422     674     305  
  bcacdada     0     9     133     510     596     252  
  bacdacad     0     10     49     671     508     262  
  bdaccada     0     12     143     627     525     193  
  bcadadca     0     13     215     514     567     191  
  bcadcada     0     14     198     534     581     173  
  bdaaccad     0     16     135     552     517     280  
  bdaacacd     0     19     245     303     257     676  
  bdaadacc     0     22     156     372     499     451  
  bcdaacad     0     25     297     325     413     440  
  badcadac     0     33     235     521     532     179  
  bcadacad     0     37     206     629     449     179  
  bcdacaad     0     37     315     240     389     519  
  bcadadac     1     77     567     525     266     64  
  badadacc     2     38     442     562     350     106  

Key
Condition Name Symbol Codimension
 1324   W   a   1 
 1523   W   b   3 
 1235   Y   c   1 
 1245   Y   d   2 
Point Selection

Total time of computation: 1 915 425.24 GHz-seconds or 22.16 GHz-days on Pieri
162 000 Polynomial systems solved
The coefficients of a typical eliminant had 198 digits.
The typical eliminant had size 2234 bytes.
This table automatically generated from the data in This File using This Maple Script
Created: Fri Jul 15 15:55:44 CDT 2005