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

Experimental data
Number of Real Solutions
  Necklaces     0     2     4  
  dccaaabb     0     0     25000  
  dccbbaaa     0     0     25000  
  dcbbaaac     0     0     25000  
  dbaaabcc     0     0     25000  
  dcbaaabc     0     0     25000  
  daaaccbb     0     148     24852  
  dbbacaac     0     3003     21997  
  dcbaabac     0     3310     21690  
  dcbbacaa     0     3359     21641  
  dbabaacc     0     3902     21098  
  dcbabaac     0     4232     20768  
  dbccbaaa     0     4580     20420  
  dbaabacc     0     4631     20369  
  daccbbaa     0     4651     20349  
  dccbabaa     0     4861     20139  
  dbbaacac     0     4932     20068  
  dbaaaccb     0     5267     19733  
  dccbaaba     0     5492     19508  
  daacacbb     0     6112     18888  
  daaccbba     0     6427     18573  
  dacacabb     0     6790     18210  
  dbacaacb     0     7382     17618  
  dbaacacb     0     8061     16939  
  dcbbaaca     0     8310     16690  
  dcbbcaaa     0     8346     16654  
  dbabacac     0     8798     16202  
  dbbcaaac     0     9051     15949  
  dbacacab     0     9406     15594  
  dcacbbaa     0     9682     15318  
  daacbbac     0     9820     15180  
  dbaabcac     0     9835     15165  
  daaccabb     0     11192     13808  
  dcabbaac     0     12190     12810  
  dbcbaaac     0     12218     12782  
  dccabbaa     0     12709     12291  
  dbaccbaa     0     12960     12040  
  daacbbca     0     14103     10897  
  dccaabba     0     14513     10487  
  dbbcaaca     0     14514     10486  
  dcacabba     0     14849     10151  
  dcbcaaab     0     15655     9345  
  dcabbaca     0     16765     8235  
  dbaaccab     0     16865     8135  
  daccaabb     4     10754     14242  
  dbaacbac     4     13615     11381  
  dabaaccb     9     7046     17945  
  daccabba     23     17898     7079  
  dcbaabca     24     8183     16793  
  dbaaccba     25     17034     7941  
  daccbaba     38     14431     10531  
  dbaacbca     43     18808     6149  
  daabaccb     64     7719     17217  
  dbcaaacb     71     5446     19483  
  dcacbaba     72     17027     7901  
  dbcabcaa     78     12833     12089  
  dcbabaca     83     11020     13897  
  dccababa     84     15735     9181  
  dcababac     86     13520     11394  
  dcaabcba     87     17636     7277  
  dacbbaca     91     14160     10749  
  dbacbcaa     96     16298     8606  
  dcabcaba     112     9944     14944  
  dcaabbca     157     13380     11463  
  dbacabac     168     13456     11376  
  dcbacaab     235     13762     11003  
  dbcabaca     240     10474     14286  
  dbcacbaa     244     9405     15351  
  dbacaabc     267     3977     20756  
  dabacbca     322     10840     13838  
  dabccbaa     368     13422     11210  
  dbcaaabc     403     5280     19317  
  dbacabca     403     18430     6167  
  dbcbaaca     404     12463     12133  
  dcbabcaa     409     16294     8297  
  dbacbaac     414     10962     13624  
  daccbaab     422     12087     12491  
  dbcabaac     424     6107     18469  
  dcababca     432     15447     9121  
  daccabab     438     18101     6461  
  dcbacaba     479     13653     10868  
  dbacbaca     485     14068     10447  
  dcabcbaa     523     11260     13217  
  dcaacbba     608     16693     7699  
  dcabacba     613     11528     12859  
  dcbcaaba     675     9227     15098  
  dbcaabac     802     8213     15985  
  dabacacb     813     8483     15704  
  dabcbaca     844     16588     7568  
  dacacbba     960     13964     10076  
  dcbaacba     972     15455     8573  
  dcbcbaaa     1184     6262     17554  
  dcbacbaa     1233     10856     12911  
  dbcaabca     1289     12988     10723  
  daaccbab     1325     13643     10032  
  dbaccaba     1369     17286     6345  
  dabaccba     1509     15966     7525  
  dbabcaac     1549     16857     6594  
  dcbcabaa     1627     5910     17463  
  daabcbca     1640     10837     12523  
  dbacacba     1747     16483     6770  
  dbcbacaa     1902     10963     12135  
  dacbabca     2064     17716     5220  
  dabcabca     2527     13065     9408  
  dabcbcaa     2566     12847     9587  
  dacacbab     3706     14868     6426  
  dbcaacba     4302     12958     7740  
  dabcacba     5408     13422     6170  
  dbcbcaaa     5890     9011     10099  
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: 94 059.98 GHz-seconds or 1.08 GHz-days on Praxis
2 700 000 Polynomial systems solved
The coefficients of a typical eliminant had 30 digits.
The typical eliminant had size 172 bytes.
This table automatically generated from the data in This File using This Maple Script
Created: Fri Jul 15 15:43:10 CDT 2005