Enumerative problem (W)3(W)2Y(Y)2 = 12 on Fl(2,4;6)



Experimental data
Number of Real Solutions
  Necklaces     0     2     4     6     8     10     12  
  bbacddaa     0     0     0     0     0     0     500  
  babacdda     0     0     0     0     0     0     500  
  bbaacdda     0     0     0     0     0     0     500  
  baabacdd     0     0     0     0     0     0     500  
  babaacdd     0     0     0     0     0     0     500  
  bbaaacdd     0     0     0     0     0     0     500  
  babaaddc     0     0     0     0     0     0     500  
  bbaaaddc     0     0     0     0     0     0     500  
  bbadcdaa     0     0     0     0     0     0     500  
  babadcda     0     0     0     0     0     0     500  
  baabadcd     0     0     0     0     0     0     500  
  babaadcd     0     0     0     0     0     0     500  
  bbaaadcd     0     0     0     0     0     0     500  
  baabaddc     0     0     0     0     0     0     500  
  baaabddc     0     0     0     0     0     0     500  
  baaabdcd     0     0     0     0     0     0     500  
  baacdbad     0     0     0     0     76     234     190  
  badbacda     0     0     0     0     95     183     222  
  bdcabada     0     0     0     0     113     261     126  
  bacdbaad     0     0     0     0     126     202     172  
  bbcdaaad     0     0     0     0     151     235     114  
  bcdbadaa     0     0     0     0     151     242     107  
  bdcbadaa     0     0     0     0     187     220     93  
  bdbaacda     0     0     0     1     7     281     211  
  bdbacdaa     0     0     0     1     28     244     227  
  bdabacda     0     0     0     1     75     198     226  
  babdcaad     0     0     0     1     117     250     132  
  baadbadc     0     0     0     1     120     213     166  
  babcdaad     0     0     0     1     143     235     121  
  badabadc     0     0     0     1     146     229     124  
  bbdaacda     0     0     0     2     133     236     129  
  bbdcaaad     0     0     0     2     137     247     114  
  bbacdaad     0     0     0     2     145     214     139  
  bdbdcaaa     0     0     0     3     16     173     308  
  bacabadd     0     0     0     3     146     246     105  
  bbadaadc     0     0     0     3     148     206     143  
  baabdcad     0     0     0     4     104     62     330  
  baadcbad     0     0     0     4     135     228     133  
  bdcaabad     0     0     0     7     68     116     309  
  bcabaadd     0     0     0     8     97     207     188  
  bcaabadd     0     0     0     9     84     213     194  
  bdcbaaad     0     0     0     9     117     109     265  
  bdbaaadc     0     0     0     10     60     174     256  
  babdacda     0     0     0     10     83     70     337  
  bbdacdaa     0     0     0     11     47     47     395  
  bdabaadc     0     0     0     11     68     131     290  
  bbadaacd     0     0     0     11     140     195     154  
  bdcabaad     0     0     0     12     98     112     278  
  bdaabadc     0     0     0     14     75     120     291  
  bacbaadd     0     0     0     15     146     250     89  
  bddbacaa     0     0     0     17     170     244     69  
  baacbadd     0     0     0     26     154     171     149  
  bddbcaaa     0     0     0     27     106     194     173  
  bcdbaaad     0     0     0     27     130     115     228  
  bcabadda     0     0     0     28     131     163     178  
  bcbaaadd     0     0     0     31     134     172     163  
  bbcaaadd     0     0     0     35     191     205     69  
  bcbaddaa     0     0     0     48     159     194     99  
  bbaadacd     0     0     1     8     57     81     353  
  babadacd     0     0     1     10     51     95     343  
  bdbaadac     0     0     1     82     120     160     137  
  bdbcaaad     0     0     1     86     177     164     72  
  bdbadaca     0     0     2     79     99     203     117  
  bdbacaad     0     0     3     56     185     199     57  
  bdbadaac     0     0     4     40     174     220     62  
  bdabadac     0     0     4     68     124     158     146  
  bbadacda     0     0     5     9     70     61     355  
  baabcdad     0     0     5     57     152     139     147  
  bbadacad     0     0     6     44     197     170     83  
  bdbaacad     0     0     6     68     160     140     126  
  bbacaadd     0     0     7     63     145     203     82  
  bacbdaad     0     0     8     80     178     166     68  
  bbaadadc     0     0     9     32     98     176     185  
  babadadc     0     0     10     26     101     169     194  
  bbaaddac     0     0     10     63     130     89     208  
  baadbcad     0     0     10     79     168     123     120  
  babaddac     0     0     10     86     107     90     207  
  baabcadd     0     0     10     93     116     94     187  
  bcbdaaad     0     0     10     107     144     146     93  
  babcaadd     0     0     11     55     168     208     58  
  bdaacbad     0     0     11     71     168     172     78  
  bbaacdad     0     0     13     39     122     130     196  
  babacdad     0     0     14     57     130     129     170  
  bbacdada     0     0     15     30     85     127     243  
  bcbadaad     0     0     15     70     173     196     46  
  bbaddaac     0     0     15     78     139     185     83  
  bdacabad     0     0     18     68     153     144     117  
  bbaddaca     0     0     18     71     89     75     247  
  babacadd     0     0     20     89     110     89     192  
  bbaacadd     0     0     21     84     101     82     212  
  bcabadad     0     0     23     96     162     148     71  
  baacbdad     0     0     25     121     170     108     76  
  bdacbaad     0     0     28     70     147     115     140  
  bacabdad     0     0     35     101     193     133     38  
  bdacbada     0     0     51     50     145     202     52  
  bcaadbad     0     1     12     55     171     199     62  
  babdacad     0     1     17     36     243     137     66  
  bbdacaad     0     1     19     92     175     150     63  
  bbcadaad     0     1     24     66     174     179     56  
  bcbaadad     0     1     36     124     155     125     59  
  badbadac     0     2     11     98     142     175     72  
  bacadbad     0     2     22     67     161     179     69  
  bacbadad     0     2     31     120     169     151     27  
  babcadad     0     2     84     111     164     102     37  
  bbadadac     0     4     71     110     163     96     56  
  bbacadad     0     5     77     89     161     119     49  
  bcbadada     0     6     40     92     176     148     38  
  bbcaadad     0     13     52     115     158     135     27  

Key
Condition Name Symbol Codimension
 1324   W   a   1 
 1423   W   b   2 
 1235   Y   c   1 
 1245   Y   d   2 
Point Selection

Total time of computation: 1 312 686.98 GHz-seconds or 15.19 GHz-days on Schur
54 000 Polynomial systems solved
The coefficients of a typical eliminant had 96 digits.
The typical eliminant had size 1310 bytes.
This table automatically generated from the data in This File using This Maple Script
Created: Fri Jul 15 15:55:39 CDT 2005