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

Experimental data
Number of Real Solutions
  Necklaces     0     2     4     6  
  dcccaabb     0     0     0     25000  
  dcbbaacc     0     0     0     25000  
  dccbbaac     0     0     0     25000  
  dcccbaab     0     0     0     25000  
  dcccbbaa     0     0     0     25000  
  dccbaabc     0     0     0     25000  
  daacccbb     0     0     3901     21099  
  dbcccbaa     0     0     5248     19752  
  dbaacccb     0     0     6152     18848  
  dacccbba     0     0     6658     18342  
  dbaaccbc     0     0     12307     12693  
  dcbccbaa     0     0     14863     10137  
  dcaccbba     0     3     10218     14779  
  dcaaccbb     0     58     14953     9989  
  dcbaaccb     0     129     13375     11496  
  dacabbcc     0     210     8733     16057  
  dabbcacc     0     217     7080     17703  
  daaccbbc     0     237     10774     13989  
  daccacbb     0     241     12898     11861  
  dcacabbc     0     279     4939     19782  
  dacaccbb     0     292     13373     11335  
  dacacbbc     0     399     14327     10274  
  dccacabb     0     451     5530     19019  
  dbccbaac     0     509     12808     11683  
  dcacacbb     0     544     16314     8142  
  dabaccbc     0     826     11771     12403  
  daccbbac     0     975     11623     12402  
  dacbaccb     0     1594     14821     8585  
  dbccacab     0     1657     9684     13659  
  dccbaacb     0     1666     13412     9922  
  dcabaccb     0     1702     12110     11188  
  dbcacacb     0     1758     11394     11848  
  dbaccbca     0     1842     16611     6547  
  dbcacbca     0     2002     15744     7254  
  dcbcaabc     0     2070     9617     13313  
  dcbcacba     0     2093     15055     7852  
  dbacccab     0     2116     7744     15140  
  dcabcacb     0     2258     16432     6310  
  dbcaccab     0     2467     10665     11868  
  dacabccb     0     2553     12013     10434  
  dcbacabc     0     2647     11617     10736  
  daaccbcb     0     2669     12134     10197  
  dcbcbaac     0     2862     11328     10810  
  dacccabb     0     2949     7991     14060  
  dcbacacb     0     3024     13432     8544  
  dcbcacab     0     3074     15476     6450  
  dccbcaab     0     3214     11257     10529  
  dacbbcac     0     3242     13301     8457  
  dbacccba     0     3289     13166     8545  
  dbcbaacc     0     3370     13457     8173  
  dbccbcaa     0     3487     11962     9551  
  daccabbc     0     3852     12488     8660  
  dabccbac     0     3906     11932     9162  
  dccbcbaa     0     3926     11138     9936  
  dcbbcaac     0     3976     12064     8960  
  dbcaaccb     0     4008     12797     8195  
  dbacabcc     0     4067     13040     7893  
  dbaccbac     0     4067     13773     7160  
  dcaccabb     0     4459     10540     10001  
  dccbbcaa     0     4519     13639     6842  
  dcbaccba     0     4866     14016     6118  
  dbbcaacc     0     5720     12793     6487  
  dbcaccba     0     5762     13256     5982  
  dacabcbc     0     5857     11448     7695  
  dcacabcb     0     5969     13109     5922  
  dacacbcb     0     6214     12119     6667  
  daccbbca     0     6907     13100     4993  
  dbaccabc     0     8809     11707     4484  
  dcbcbcaa     0     8950     11103     4947  
  dbcbcaac     0     9289     11828     3883  
  dcbcaacb     0     9706     10892     4402  
  dcabbcac     1     1353     8598     15048  
  daccbacb     1     2345     16256     6398  
  dabccbca     1     2900     14323     7776  
  dacbbacc     4     2030     12025     10941  
  daccbcab     16     1035     16610     7339  
  dabcccba     20     1226     14896     8858  
  dcaccbab     22     5614     12158     7206  
  dcacbacb     24     1478     14241     9257  
  daccbabc     28     5645     10866     8461  
  daccabcb     30     7691     13570     3709  
  dbacbcac     37     1710     16941     6312  
  dcbcabca     52     1806     13368     9774  
  dcbacbca     56     1746     14010     9188  
  dccabacb     76     741     9357     14826  
  dccbcaba     80     2460     6706     15754  
  dccbacba     81     3317     10655     10947  
  dcbacbac     96     1646     9635     13623  
  dabcaccb     100     2950     11808     10142  
  dbacbacc     101     1680     11955     11264  
  dcbcabac     102     2041     6297     16560  
  dacccbab     103     2115     11424     11358  
  daccbcba     497     4536     14403     5564  
  dbcccaba     531     1842     7505     15122  
  dbabcacc     895     6592     7300     10213  
  dcbabcac     932     5188     7896     10984  
  dccbabca     1024     5344     9212     9420  
  dabcbcac     1053     5274     12183     6490  
  dabbaccc     1222     7166     7157     9455  
  dacbcbca     1442     8110     11823     3625  
  dacbcbac     1781     5962     11386     5871  
  dcabbacc     1987     8223     7932     6858  
  dbabaccc     3080     4409     4447     13064  
  dcccbaba     3118     1781     7265     12836  
  dcbabacc     3427     2065     6194     13314  
  dabcbacc     3591     6292     9134     5983  
  dccbabac     3769     1778     5616     13837  
  dcabcbac     3985     4314     9550     7151  
Key
Condition Name Symbol Codimension
 213   W   a   1 
 132   X   b   1 
 124   Y   c   1 
 134   Y   d   2 
Point Selection
Total time of computation: 293 541.39 GHz-seconds or 3.39 GHz-days on MSRI 1.2G
2 700 000 Polynomial systems solved
The coefficients of a typical eliminant had 31 digits.
The typical eliminant had size 250 bytes.
This table automatically generated from the data in This File using This Maple Script
Created: Fri Jul 15 15:42:46 CDT 2005