Enumerative problem (W)2(X)2X(Y)3 = 6 on Fl(1,2,3;5)

Experimental data
Number of Real Solutions
  Necklaces     0     2     4     6  
  caabbddd     0     0     0     25000  
  cdddaabb     0     0     0     25000  
  caadddbb     0     0     0     25000  
  cbaadddb     0     0     0     25000  
  cdddbaab     0     0     0     25000  
  cbdddbaa     0     0     0     25000  
  cddbbaad     0     0     3835     21165  
  cadaddbb     0     0     3919     21081  
  cdbbaadd     0     0     5141     19859  
  cddbaabd     0     0     5874     19126  
  cadabbdd     0     0     10597     14403  
  cbdbaadd     0     0     12493     12507  
  cddbbdaa     0     0     13078     11922  
  cddbaadb     0     0     15609     9391  
  caddbbda     0     41     14209     10750  
  cdbaaddb     0     174     13229     11597  
  cadddbba     0     180     1082     23738  
  cadbbdad     0     188     14199     10613  
  cbddbaad     0     264     10774     13962  
  cbddadab     0     358     3282     21360  
  caaddbbd     0     400     12848     11752  
  cadbbadd     0     420     8098     16482  
  caddbbad     0     454     9315     15231  
  cadabddb     0     478     10726     13796  
  caddadbb     0     489     11735     12776  
  cdadabbd     0     668     9098     15234  
  cddadabb     0     942     3066     20992  
  cdaddbba     0     987     5771     18242  
  cbadabdd     0     1243     15149     8608  
  cadadbbd     0     1526     12186     11288  
  cdbddbaa     0     1554     13393     10053  
  cdaaddbb     0     1673     13934     9393  
  cadddbab     0     1784     5037     18179  
  caddbabd     0     1936     14904     8160  
  caaddbdb     0     2037     10285     12678  
  cadbaddb     0     2040     9595     13365  
  cabbdadd     0     2157     4889     17954  
  cdbdbaad     0     2164     11416     11420  
  cdabaddb     0     2169     10261     12570  
  cabdddba     0     2275     1273     21452  
  cbddaadb     0     2358     11235     11407  
  cdabbdad     0     2471     9046     13483  
  cbaaddbd     0     2479     12256     10265  
  cddbdbaa     0     2846     12361     9793  
  cdadabdb     0     2848     14741     7411  
  cdbadabd     0     2853     11360     10787  
  cabddadb     0     2864     8735     13401  
  cadadbdb     0     2890     11340     10770  
  cdbbdaad     0     3008     10845     11147  
  cabdaddb     0     3107     10003     11890  
  cddbabda     0     3107     13210     8683  
  cbddbdaa     0     3161     9267     12572  
  cbaddadb     0     3277     10505     11218  
  cbbdaadd     0     3337     12743     8920  
  cdbdadab     0     3409     13686     7905  
  cdaddbab     0     3486     12280     9234  
  cdbadadb     0     3513     13041     8446  
  cadddabb     0     3796     8705     12499  
  cddabadb     0     3919     12159     8922  
  cabbaddd     0     3951     1771     19278  
  caddabbd     0     3981     11180     9839  
  cdbaadbd     0     4468     12331     8201  
  cadabdbd     0     4474     12901     7625  
  cabdbadd     0     4527     12244     8229  
  cbdadadb     0     4561     12743     7696  
  caddabdb     0     4622     11940     8438  
  cddbdaab     0     4698     9765     10537  
  cbabaddd     0     5011     5026     14963  
  cdbabdad     0     5035     12311     7654  
  cbadddab     0     5285     12796     6919  
  cbabdadd     0     5316     10937     8747  
  cdbabadd     0     5368     9077     10555  
  cdaddabb     0     5564     10213     9223  
  cdabadbd     0     5582     12678     6740  
  cabadddb     0     5857     4798     14345  
  cbadddba     0     6029     5512     13459  
  cdabbadd     0     6252     5719     13029  
  cdadadbb     0     6469     13194     5337  
  cdabdbad     0     6963     12054     5983  
  cddbabad     0     7217     5349     12434  
  cdddbaba     0     7258     3088     14654  
  cdbdbdaa     0     7452     11936     5612  
  cadbdbda     0     8249     11157     5594  
  cbdbdaad     0     8703     10823     5474  
  cdbdaadb     0     8990     12156     3854  
  cbaddabd     0     9488     11300     4212  
  cadbdadb     1     2302     13001     9696  
  cdbaddba     1     4048     13044     7907  
  cbadbadd     2     2027     12091     10880  
  cadbdbad     2     6736     12833     5429  
  caddbadb     3     4550     12158     8289  
  cdbdadba     5     4122     15040     5833  
  cdbadbad     5     4499     13467     7029  
  cdabdadb     7     2926     15757     6310  
  cddbadba     8     7392     11674     5926  
  cdbdabda     9     2973     15460     6558  
  cabddbda     13     2653     11881     10453  
  cddbdaba     14     8011     10623     6352  
  caddbdab     18     3819     11623     9540  
  cabaddbd     20     6735     10601     7644  
  cbadbdad     21     4456     15075     5448  
  cabdbdad     38     7200     11547     6215  
  cdabddba     41     3525     11946     9488  
  cdbadbda     42     3930     15157     5871  
  caddbdba     54     3529     10816     10601  
  cdadbadb     63     5628     13093     6216  
  cbaddbda     128     2079     12355     10438  
  cbaddbad     368     5716     12611     6305  
Key
Condition Name Symbol Codimension
 213   W   a   1 
 132   X   b   1 
 142   X   c   2 
 124   Y   d   1 
Point Selection
Total time of computation: 390 297.23 GHz-seconds or 4.51 GHz-days on rcf1537-3
2 700 000 Polynomial systems solved
The coefficients of a typical eliminant had 98 digits.
The typical eliminant had size 715 bytes.
This table automatically generated from the data in This File using This Maple Script
Created: Fri Jul 15 15:42:42 CDT 2005