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



Experimental data
Number of Real Solutions
  Necklaces     0     2     4  
  dcccaabb     0     0     25000  
  dcccbaab     0     0     25000  
  dcccbbaa     0     0     25000  
  dccaabbc     0     0     25000  
  dccbaabc     0     0     25000  
  dccbbaac     0     0     25000  
  daccbbca     0     1398     23602  
  dccacabb     0     1874     23126  
  dbaacccb     0     3792     21208  
  dbcccbaa     0     4179     20821  
  dbcbaacc     0     4436     20564  
  dacabbcc     0     4487     20513  
  dccbaacb     0     4978     20022  
  dcacabbc     0     6072     18928  
  dcabaccb     0     6597     18403  
  dbacabcc     0     7034     17966  
  dbccbaac     0     7403     17597  
  dccbbcaa     0     7720     17280  
  dcbaaccb     0     7948     17052  
  dbaacbcc     0     9036     15964  
  daaccbbc     0     9171     15829  
  dcaaccbb     0     10308     14692  
  dcaccabb     0     10390     14610  
  dbbcaacc     0     11001     13999  
  dabaccbc     0     11127     13873  
  dccbcbaa     0     11767     13233  
  dbaaccbc     0     12108     12892  
  daccabbc     0     12540     12460  
  dcaabcbc     0     12686     12314  
  dcbaacbc     0     12894     12106  
  dcbacabc     0     13282     11718  
  dcbccbaa     0     13369     11631  
  dcaacbbc     0     13962     11038  
  dcacacbb     0     14816     10184  
  dcbbcaca     0     16921     8079  
  dacbccab     1     8082     16917  
  dcacbbca     1     9144     15855  
  daccbbac     1     10862     14137  
  dacbcbca     1     13111     11888  
  dacbccba     3     8822     16175  
  dacaccbb     11     11726     13263  
  daacccbb     13     5813     19174  
  daccacbb     13     12620     12367  
  dacbbacc     14     7909     17077  
  dbccacba     17     2699     22284  
  dbacbcca     21     4350     20629  
  dabccacb     28     5038     19934  
  daacbcbc     30     17133     7837  
  dacccbba     33     816     24151  
  dbccacab     34     3387     21579  
  dcaacbcb     43     16727     8230  
  dacccabb     46     6414     18540  
  daccbabc     54     13722     11224  
  dacbcacb     55     8633     16312  
  dabcbcca     62     8228     16710  
  dbcabcac     65     9107     15828  
  dabcccba     72     6397     18531  
  dabacccb     87     2879     22034  
  dcacbbac     106     8740     16154  
  dbacbacc     110     5436     19454  
  dbaccacb     112     4952     19936  
  dcabacbc     113     8674     16213  
  dacbacbc     115     14373     10512  
  dabacbcc     122     7256     17622  
  dccabacb     136     4959     19905  
  daccbacb     154     8711     16135  
  dcacbcab     156     10341     14503  
  dbacacbc     167     13133     11700  
  dcaccbab     215     9475     15310  
  dcaccbba     246     8470     16284  
  dbccabca     259     6394     18347  
  dbcaacbc     330     14787     9883  
  dbacccab     335     3515     21150  
  dccbacba     339     7922     16739  
  dcacabcb     359     10321     14320  
  dacbcabc     377     18101     6522  
  dcbcacba     411     12035     12554  
  daacbccb     437     9446     15117  
  dcbacacb     498     12532     11970  
  dcabcabc     546     11041     13413  
  daaccbcb     565     8821     15614  
  dbcacacb     575     12907     11518  
  dbccaacb     635     7333     17032  
  dcabcacb     666     8397     15937  
  dbacccba     753     4765     19482  
  dacabccb     794     7825     16381  
  dccbabca     874     9409     14717  
  dbaccabc     890     10726     13384  
  dacabcbc     913     15717     8370  
  daccabcb     1241     7911     15848  
  dbaccbac     1251     10288     13461  
  dccacbba     1382     7188     16430  
  dcacbabc     1423     11420     12157  
  dacccbab     1465     6117     17418  
  dbabcacc     1546     6261     17193  
  dacacbcb     1612     11893     11495  
  dccabbac     2931     12685     9384  
  dbabaccc     3379     1223     20398  
  dacbcbac     3381     16247     5372  
  dcbaccba     3492     10721     10787  
  dccbabac     3629     7851     13520  
  dccababc     3951     6150     14899  
  dabcbacc     4352     8180     12468  
  dcccbaba     4387     6872     13741  
  dabccbac     4456     12229     8315  
  dcacbcba     4869     13890     6241  
  dabbaccc     5011     10500     9489  
  dcabcbac     6673     10010     8317  

Key
Condition Name Symbol Codimension
 213   W   a   1 
 132   X   b   1 
 124   Y   c   1 
 125   Y   d   2 
Point Selection

Total time of computation: 202 342.90 GHz-seconds or 2.34 GHz-days on Schur
2 700 000 Polynomial systems solved
The coefficients of a typical eliminant had 68 digits.
The typical eliminant had size 362 bytes.
This table automatically generated from the data in This File using This Maple Script
Created: Fri Jul 15 15:42:48 CDT 2005