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

Experimental data
Number of Real Solutions
  Necklaces     0     2     4  
  cdddaabb     0     0     25000  
  cadddbba     0     0     25000  
  caadddbb     0     0     25000  
  cbaadddb     0     0     25000  
  cdddbaab     0     0     25000  
  cdddbbaa     0     0     25000  
  cabdddba     0     0     25000  
  cbdddbaa     0     0     25000  
  cddadabb     0     1156     23844  
  cdaddbba     0     2055     22945  
  cddbbaad     0     3083     21917  
  cadaddbb     0     3344     21656  
  cbddadab     0     3487     21513  
  cdbddbaa     0     3557     21443  
  cdaaddbb     0     3599     21401  
  cdbbaadd     0     4248     20752  
  cbaaddbd     0     4400     20600  
  cddbaabd     0     4745     20255  
  cdbaaddb     0     5730     19270  
  caaddbbd     0     6819     18181  
  cbddbaad     0     7393     17607  
  caddbbad     0     7558     17442  
  cabddbda     0     7860     17140  
  cdaddabb     0     8229     16771  
  cddbdaab     0     8361     16639  
  cdadadbb     0     8886     16114  
  cadabbdd     0     9093     15907  
  cddbdbaa     0     9119     15881  
  cabddbad     0     9654     15346  
  cddbaadb     0     9787     15213  
  cbdbddaa     0     10307     14693  
  cbadabdd     0     10749     14251  
  caddbdba     0     10768     14232  
  cbbdaadd     0     11192     13808  
  cbddbdaa     0     11997     13003  
  cddbbdaa     0     12043     12957  
  cbdbaadd     0     13295     11705  
  cdadabdb     0     13735     11265  
  cbddaadb     0     14280     10720  
  caddbbda     0     14408     10592  
  cadbdbda     0     14457     10543  
  cadabddb     0     15514     9486  
  cbdadadb     2     16966     8032  
  cdadabbd     10     4475     20515  
  cdbdbdaa     13     13217     11770  
  cbdbdaad     48     14572     10380  
  cdbadadb     59     9129     15812  
  caddadbb     71     10088     14841  
  cbdaddab     101     13162     11737  
  cdbdadab     110     6319     18571  
  cddadbba     130     7047     17823  
  cdbdaadb     137     15247     9616  
  cdbadabd     213     9180     15607  
  cddabadb     225     9818     14957  
  cdbdbaad     273     7962     16765  
  cdabbdad     364     8263     16373  
  cdbbdaad     379     9865     14756  
  cdbdaabd     453     6819     17728  
  cdadbadb     517     13679     10804  
  cdbdabad     537     9279     15184  
  cddbdaba     597     11167     13236  
  cadadbdb     625     13010     11365  
  caddbdab     665     13076     11259  
  cdbdabda     670     12564     11766  
  cdadbdba     681     10506     13813  
  cadadbbd     708     6823     17469  
  cbadbdad     735     12274     11991  
  cadabdbd     780     12333     11887  
  cdbadbad     781     9324     14895  
  cddbadba     785     11622     12593  
  cdbadbda     938     11827     12235  
  cbadbadd     987     9390     14623  
  cadbbdad     1122     12715     11163  
  cdaddbab     1264     13079     10657  
  cbaddabd     1280     11556     12164  
  cadbdbad     1308     13966     9726  
  cabaddbd     1335     8363     15302  
  cadbaddb     1380     10176     13444  
  cdbaddba     1485     6226     17289  
  cadddabb     1920     10510     12570  
  cdabaddb     1964     9217     13819  
  caddabbd     1972     11262     11766  
  cabddadb     2054     11609     11337  
  caddbadb     2129     13271     9600  
  cbaddbda     2181     12072     10747  
  cadbbadd     2339     10619     12042  
  cdbdadba     2395     10908     11697  
  cadbdadb     2542     14608     7850  
  cdabdbad     2634     11880     10486  
  cbaddbad     2800     8253     13947  
  cbadddba     2822     6398     15780  
  cabdaddb     2849     10971     11180  
  cbabdadd     3096     12155     9749  
  caddabdb     3334     15316     6350  
  cabadddb     3515     4279     17206  
  cdbabdad     3839     10911     10250  
  cdbabadd     3938     7974     13088  
  cdabbadd     3964     10574     10462  
  caddbabd     4105     13606     7289  
  cdddbaba     4162     4833     16005  
  cbadddab     4295     11248     9457  
  cabdbadd     4350     10822     9828  
  cddbabad     4357     7378     13265  
  cabbaddd     4359     9260     11381  
  cdabdadb     4660     9850     10490  
  cddbabda     5227     12434     7339  
  cadddbab     5808     6407     12785  
  cbabaddd     5864     4709     14427  
Key
Condition Name Symbol Codimension
 213   W   a   1 
 132   X   b   1 
 231   X   c   2 
 124   Y   d   1 
Point Selection
Total time of computation: 123 989.69 GHz-seconds or 1.43 GHz-days on Schubert
2 700 000 Polynomial systems solved
The coefficients of a typical eliminant had 59 digits.
The typical eliminant had size 315 bytes.
This table automatically generated from the data in This File using This Maple Script
Created: Fri Jul 15 15:42:41 CDT 2005