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

Experimental data
Number of Real Solutions
  Necklaces     0     2     4     6     8     10     12  
  cbaaadddb     0     0     0     0     0     0     500  
  cbbaaaddd     0     0     0     0     0     0     500  
  caaabbddd     0     0     0     0     0     0     500  
  caaadddbb     0     0     0     0     0     0     500  
  cbaaabddd     0     0     0     0     0     0     500  
  cbdddbaaa     0     0     0     0     0     0     500  
  caadaddbb     0     0     0     0     0     76     424  
  cadddaabb     0     0     0     0     11     126     363  
  cbaadaddb     0     0     0     0     16     66     418  
  cddbbaaad     0     0     0     0     30     145     325  
  cddadaabb     0     0     0     0     34     82     384  
  cdbbaaadd     0     0     0     0     65     26     409  
  cabaadddb     0     0     0     0     71     10     419  
  cadddbaab     0     0     0     0     77     130     293  
  cddbbaada     0     0     0     0     82     264     154  
  cddbaaabd     0     0     0     0     102     108     290  
  cdddbaaba     0     0     0     0     111     11     378  
  cbaadddab     0     0     0     0     116     252     132  
  cddbbadaa     0     0     0     0     151     227     122  
  cabbaaddd     0     0     0     0     153     6     341  
  cbabaaddd     0     0     0     0     157     54     289  
  cdddabaab     0     0     0     0     193     97     210  
  cbbadddaa     0     0     0     0     209     198     93  
  cddbbdaaa     0     0     0     0     215     82     203  
  cbdbaaadd     0     0     0     0     215     183     102  
  cbdddabaa     0     0     0     0     224     95     181  
  cddbaaadb     0     0     0     0     253     172     75  
  caababddd     0     0     0     0     254     69     177  
  cbaadddba     0     0     0     2     273     80     145  
  cbddbaaad     0     0     0     3     176     166     155  
  caabdaddb     0     0     0     5     181     232     82  
  caddadabb     0     0     0     6     77     170     247  
  cdaabbdda     0     0     0     7     135     196     162  
  cdbbddaaa     0     0     0     7     139     191     163  
  cdbbaadad     0     0     0     8     101     133     258  
  cddbaadab     0     0     0     8     202     229     61  
  cadaabddb     0     0     0     9     117     245     129  
  cddadbaab     0     0     0     9     182     187     122  
  caddaadbb     0     0     0     11     92     250     147  
  caaddadbb     0     0     0     12     38     313     137  
  cadaaddbb     0     0     0     13     72     283     132  
  cbabddada     0     0     0     13     232     202     53  
  cabddadab     0     0     0     14     175     98     213  
  cadbbaadd     0     0     0     17     106     185     192  
  cbbaddada     0     0     0     21     203     213     63  
  cbadaaddb     0     0     0     22     111     228     139  
  cdbbaadda     0     0     0     22     117     183     178  
  cadbaaddb     0     0     0     24     160     216     100  
  cbadddbaa     0     0     0     24     230     158     88  
  caadbbadd     0     0     0     29     118     166     187  
  cbbadaadd     0     0     0     29     149     210     112  
  cdaddbaab     0     0     0     30     192     200     78  
  cbdbaadda     0     0     0     31     164     176     129  
  cbaaddadb     0     0     0     34     108     224     134  
  cdbbadada     0     0     0     34     171     178     117  
  cadabaddb     0     0     0     35     181     210     74  
  cdaadabbd     0     0     0     36     107     246     111  
  cdaabbdad     0     0     0     39     154     172     135  
  cdbbdadaa     0     0     0     41     166     176     117  
  cbadbaadd     0     0     0     42     181     208     69  
  cdabbaadd     0     0     0     47     259     44     150  
  cbdaddbaa     0     0     0     48     183     213     56  
  cdaabbadd     0     0     0     52     248     84     116  
  cbdbaadad     0     0     0     54     238     153     55  
  cabddbaad     0     0     0     58     187     169     86  
  cadadadbb     0     0     0     63     167     206     64  
  cbbaaddad     0     0     0     64     130     185     121  
  cbadabadd     0     0     0     70     264     126     40  
  cddbaadba     0     0     0     73     201     185     41  
  cbaddaabd     0     0     0     81     199     168     52  
  cdbbaddaa     0     0     0     93     178     158     71  
  caadbabdd     0     0     0     94     234     132     40  
  cbdadadab     0     0     0     122     210     118     50  
  cadbaabdd     0     0     1     4     126     303     66  
  cbabdddaa     0     0     1     6     166     187     140  
  caabbaddd     0     0     1     6     173     51     269  
  cabadaddb     0     0     1     15     88     91     305  
  cabadddab     0     0     1     23     240     184     52  
  cbaddadab     0     0     1     25     193     189     92  
  cdbaabdad     0     0     1     26     136     190     147  
  cdabaaddb     0     0     1     27     179     180     113  
  cddbaabad     0     0     1     32     153     101     213  
  cdbbdaada     0     0     1     83     130     187     99  
  cddabbada     0     0     1     113     163     134     89  
  cdadadabb     0     0     1     125     200     136     38  
  cddababda     0     0     1     127     216     123     33  
  cadddabab     0     0     2     12     233     116     137  
  cadddbbaa     0     0     2     27     73     108     290  
  cbdadaabd     0     0     2     27     228     175     68  
  cdbaabdda     0     0     2     36     168     182     112  
  cbdadbaad     0     0     2     89     225     158     26  
  cddbabada     0     0     2     109     192     161     36  
  cdbaaaddb     0     0     3     2     201     150     144  
  caabbdadd     0     0     3     16     132     139     210  
  caabbddad     0     0     3     21     101     185     190  
  cbdaaaddb     0     0     3     25     122     220     130  
  cbaddadba     0     0     3     25     255     181     36  
  cabaddadb     0     0     3     40     172     184     101  
  cdbabddaa     0     0     3     48     195     178     76  
  caddabdab     0     0     3     76     147     207     67  
  cabdaaddb     0     0     4     26     115     215     140  
  cbdaaddab     0     0     4     29     155     210     102  
  caadbaddb     0     0     4     30     147     225     94  
  cbabadadd     0     0     4     33     171     144     148  
  cdaabaddb     0     0     4     36     239     156     65  
  cbddbadaa     0     0     4     42     176     184     94  
  cddbabaad     0     0     4     42     250     96     108  
  cbbddaaad     0     0     4     43     186     195     72  
  cdbaadabd     0     0     4     58     175     174     89  
  cadabbdda     0     0     4     64     157     173     102  
  cdababdad     0     0     4     79     274     95     48  
  cbaddbaad     0     0     4     112     199     140     45  
  cbaadabdd     0     0     5     57     195     198     45  
  cabddaabd     0     0     5     60     168     207     60  
  cdabdaabd     0     0     5     72     176     192     55  
  cbbdaaadd     0     0     6     38     197     181     78  
  caddbaadb     0     0     6     57     214     159     64  
  cbaadbadd     0     0     6     61     148     208     77  
  cbdabddaa     0     0     6     78     235     129     52  
  caadddbba     0     0     7     9     105     101     278  
  cabddaadb     0     0     7     51     120     159     163  
  cdaaddabb     0     0     7     99     199     148     47  
  cababaddd     0     0     8     13     213     92     174  
  cadaddbba     0     0     8     49     123     130     190  
  cdababadd     0     0     8     56     269     83     84  
  cabdadadb     0     0     8     57     142     182     111  
  cdadabbda     0     0     8     69     176     185     62  
  cdabddaab     0     0     8     90     213     153     36  
  cdadbbdaa     0     0     8     93     220     122     57  
  caaddbbad     0     0     9     50     153     149     139  
  cbdaabdad     0     0     9     98     195     168     30  
  cbdaadabd     0     0     9     121     223     115     32  
  cdabadadb     0     0     10     65     214     152     59  
  cddadabba     0     0     11     34     194     89     172  
  cbdadaadb     0     0     11     85     171     178     55  
  cbadabdda     0     0     11     116     220     128     25  
  cdaadbbad     0     0     12     67     162     163     96  
  cabddabad     0     0     12     132     174     143     39  
  cabdddbaa     0     0     13     18     138     61     270  
  cddadbaba     0     0     13     59     252     101     75  
  cdadbbada     0     0     13     103     207     119     58  
  cdbadadab     0     0     13     106     208     138     35  
  cababddda     0     0     14     70     146     92     178  
  cbaaddbda     0     0     14     91     166     176     53  
  cddaabdba     0     0     14     106     175     129     76  
  cdabdaadb     0     0     14     123     193     148     22  
  caddadbba     0     0     15     78     127     127     153  
  cbaddabad     0     0     15     98     217     138     32  
  cbdabaadd     0     0     16     78     194     170     42  
  cadadabdb     0     0     16     81     183     160     60  
  cdabbadad     0     0     16     83     211     89     101  
  cadadbabd     0     0     16     113     194     127     50  
  cdaadabdb     0     0     16     160     213     91     20  
  cadbabdad     0     0     16     174     187     108     15  
  cdbdbaaad     0     0     17     40     165     92     186  
  cadbadadb     0     0     18     87     176     162     57  
  caaddabdb     0     0     18     95     162     165     60  
  cbaddabda     0     0     18     104     232     123     23  
  cdaddbaba     0     0     18     119     194     114     55  
  cadadbbad     0     0     19     100     147     125     109  
  cabdaddba     0     0     19     115     161     108     97  
  cdadababd     0     0     19     125     185     124     47  
  cadadbadb     0     0     19     152     177     112     40  
  cabadabdd     0     0     20     88     218     138     36  
  cddabaadb     0     0     20     102     197     108     73  
  cdbddbaaa     0     0     21     18     205     113     143  
  cdbabaadd     0     0     21     28     205     89     157  
  cbbdadaad     0     0     22     127     221     101     29  
  cdbbdaaad     0     0     23     51     153     112     161  
  cdbadadba     0     0     23     106     185     163     23  
  caddabadb     0     0     23     108     198     106     65  
  cadbdaabd     0     0     23     147     161     126     43  
  cdbabdaad     0     0     24     96     158     155     67  
  cdbdabdaa     0     0     24     150     175     130     21  
  cbadbddaa     0     0     25     93     167     179     36  
  caddbabad     0     0     25     111     197     117     50  
  cbbdaadad     0     0     26     134     198     113     29  
  cbadadbda     0     0     27     80     205     145     43  
  cdbadbaad     0     0     27     98     170     144     61  
  cbdbdadaa     0     0     28     59     158     146     109  
  cddabaabd     0     0     29     51     172     120     128  
  cbaaddabd     0     0     30     168     159     109     34  
  cabbaddda     0     0     31     51     146     143     129  
  caddababd     0     0     32     121     189     112     46  
  cbaadadbd     0     0     33     91     178     128     70  
  caaaddbdb     0     0     35     22     156     112     175  
  cbaaaddbd     0     0     36     27     167     107     163  
  cbadbdada     0     0     36     107     177     148     32  
  cbdabadad     0     0     37     123     182     131     27  
  caaadbddb     0     0     38     58     136     74     194  
  caabdabdd     0     0     40     176     174     82     28  
  cabaaddbd     0     0     41     62     164     141     92  
  cadaabdbd     0     0     42     104     136     124     94  
  cbaadbdda     0     0     43     107     157     137     56  
  cbdabdaad     0     0     43     134     194     100     29  
  cdbdadbaa     0     0     44     120     191     133     12  
  cdbddabaa     0     0     46     95     183     128     48  
  cdbadbdaa     0     0     48     167     145     110     30  
  cabaddabd     0     0     48     181     157     86     28  
  cddbdbaaa     0     0     50     32     224     48     146  
  cabdabadd     0     0     52     137     181     96     34  
  cbaaadbdd     0     0     54     87     152     56     151  
  cabadadbd     0     0     54     112     176     110     48  
  cdbdbadaa     0     0     59     103     184     104     50  
  cadbdaadb     0     0     60     124     153     127     36  
  cdbaaadbd     0     0     64     80     176     80     100  
  cabdaadbd     0     0     64     178     160     76     22  
  cdaabdbad     0     0     65     117     157     115     46  
  cabaadbdd     0     0     69     100     150     68     113  
  cabdddaba     0     0     72     51     189     77     111  
  cbadbdaad     0     0     73     150     155     87     35  
  cadaadbdb     0     0     76     129     121     120     54  
  cdabaadbd     0     0     82     86     163     115     54  
  cdbdaaadb     0     0     84     133     180     87     16  
  cdaabadbd     0     0     86     123     159     75     57  
  caabadbdd     0     0     88     108     159     92     53  
  cbadaadbd     0     0     89     134     163     97     17  
  cdaaadbdb     0     0     98     118     151     79     54  
  cadabdbda     0     0     108     144     145     87     16  
  caaadbdbd     0     0     147     53     183     68     49  
  cbabdadda     0     1     2     12     276     150     59  
  cbadadbad     0     1     10     114     201     149     25  
  caabddbad     0     1     11     147     176     121     44  
  cabddbada     0     1     13     105     189     131     61  
  cdaaddbba     0     1     17     90     154     177     61  
  cbabdaadd     0     1     18     68     177     188     48  
  caadbdadb     0     1     19     106     178     151     45  
  cbaddbada     0     1     20     111     242     103     23  
  cdbadabda     0     1     22     137     222     100     18  
  cbadbadad     0     1     25     116     194     131     33  
  cadabdadb     0     1     26     90     222     140     21  
  cdabadabd     0     1     29     104     165     169     32  
  cabdadbad     0     1     29     185     176     91     18  
  cadabdabd     0     1     30     179     164     100     26  
  cabaddbad     0     1     37     153     175     98     36  
  cdaabdbda     0     1     60     125     175     111     28  
  cadbdabad     0     1     93     173     145     73     15  
  cdaaddbab     0     2     11     89     187     155     56  
  cbabaddad     0     2     12     127     208     111     40  
  caaddbbda     0     2     22     85     207     108     76  
  cdaadbbda     0     2     23     81     199     150     45  
  cddaadbba     0     2     26     113     126     142     91  
  caabddabd     0     2     33     124     156     150     35  
  cddabdaba     0     2     35     125     171     125     42  
  cabddbdaa     0     2     38     97     143     117     103  
  cadbddbaa     0     2     42     90     179     111     76  
  cadbdadba     0     2     46     164     147     108     33  
  cabdbadad     0     2     51     153     156     104     34  
  cabdabdda     0     2     57     125     177     94     45  
  caabdbadd     0     2     59     128     177     85     49  
  cadbdabda     0     2     59     164     165     98     12  
  cdabdabda     0     2     92     195     142     63     6  
  cadbbdada     0     3     14     88     192     143     60  
  caddbbdaa     0     3     15     61     216     105     100  
  caadbddab     0     3     18     83     149     163     84  
  cadbbadda     0     3     24     113     158     138     64  
  cabddabda     0     3     24     113     160     139     61  
  cadbabdda     0     3     28     113     211     119     26  
  cbabdadad     0     3     38     130     182     118     29  
  cbadabdad     0     3     42     155     183     94     23  
  cadabadbd     0     3     71     194     127     86     19  
  cadbaadbd     0     4     43     133     195     101     24  
  cadabdbad     0     4     128     164     121     62     21  
  cabadbdad     0     5     100     170     123     82     20  
  caddabbad     0     6     34     111     128     132     89  
  cbaadbdad     0     6     44     122     169     119     40  
  caddbdbaa     0     6     52     82     181     109     70  
  cdabadbad     0     6     68     129     175     103     19  
  cabdbdada     0     6     87     121     135     110     41  
  cadbddaba     0     7     45     135     174     100     39  
  cabdbddaa     0     7     53     74     156     125     85  
  cabadbdda     0     7     82     141     110     94     66  
  cdadbdbaa     0     7     107     137     157     76     16  
  cabdbdaad     0     7     117     165     108     82     21  
  cdabdbdaa     0     7     133     138     138     71     13  
  cabbaddad     0     8     38     64     154     154     82  
  cabdabdad     0     8     88     169     154     62     19  
  cadbdbdaa     0     10     118     120     145     77     30  
  caddabdba     0     13     64     132     172     67     52  
  cdadadbba     0     17     56     127     151     123     26  
Key
Condition Name Symbol Codimension
 1324   W   a   1 
 1243   X   b   1 
 1462   X   c   5 
 1235   Y   d   1 
Point Selection
Total time of computation: 2 328 873.19 GHz-seconds or 26.95 GHz-days on Cataldi
140 000 Polynomial systems solved
The coefficients of a typical eliminant had 119 digits.
The typical eliminant had size 1608 bytes.
This table automatically generated from the data in This File using This Maple Script
Created: Fri Jul 15 15:50:05 CDT 2005