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

Experimental data Related Problems
Number of Real Solutions
  Necklaces     0     2     4     6     8     10     12  
  acccbbdbbc     0     0     0     0     0     0     650  
  acdccbbbbc     0     0     0     0     0     0     650  
  accdcbbbbc     0     0     0     0     0     0     650  
  acccdbbbbc     0     0     0     0     0     0     650  
  acccbdbbbc     0     0     0     0     0     0     650  
  adcccbbbbc     0     0     0     0     0     0     650  
  abbbbccccd     0     0     0     0     0     0     650  
  acdcbbbbcc     0     0     0     0     0     0     650  
  accdbbbbcc     0     0     0     0     0     0     650  
  accbdbbbcc     0     0     0     0     0     0     650  
  accbbdbbcc     0     0     0     0     0     0     650  
  abbcccdcbb     0     0     0     0     0     0     650  
  abbbcccdcb     0     0     0     0     0     0     650  
  abbbbcccdc     0     0     0     0     0     0     650  
  abbccccdbb     0     0     0     0     0     0     650  
  abbbccccdb     0     0     0     0     0     0     650  
  abbccccbdb     0     0     0     0     0     0     650  
  abbbccccbd     0     0     0     0     0     0     650  
  abbccccbbd     0     0     0     0     0     0     650  
  adbbbccccb     0     0     0     0     0     0     650  
  abdbbccccb     0     0     0     0     0     0     650  
  adbbbbcccc     0     0     0     0     0     0     650  
  abdbbbcccc     0     0     0     0     0     0     650  
  abbdbbcccc     0     0     0     0     0     0     650  
  adcbbbbccc     0     0     0     0     0     0     650  
  acdbbbbccc     0     0     0     0     0     0     650  
  acbdbbbccc     0     0     0     0     0     0     650  
  adccbbbbcc     0     0     0     0     0     0     650  
  abbbdbcccc     0     0     0     0     0     0     650  
  abbbcdcccb     0     0     0     0     0     0     650  
  abbbbcdccc     0     0     0     0     0     0     650  
  abbccdccbb     0     0     0     0     0     0     650  
  abbbccdccb     0     0     0     0     0     0     650  
  abbbbccdcc     0     0     0     0     0     0     650  
  abbbdccccb     0     0     0     0     0     0     650  
  abbbbdcccc     0     0     0     0     0     0     650  
  abbdbccccb     0     0     0     0     0     0     650  
  abbbccdbcc     0     0     0     47     145     237     221  
  abbcdbbccc     0     0     0     55     151     230     214  
  abccdbbbcc     0     0     0     61     121     242     226  
  abccbdbbcc     0     0     0     68     234     230     118  
  abccbbccbd     0     0     0     70     403     136     41  
  adbbcccbbc     0     0     0     73     229     226     122  
  adccbbbccb     0     0     0     73     229     226     122  
  adbccbbbcc     0     0     0     74     201     237     138  
  abbbdccbcc     0     0     0     74     234     190     152  
  adcbbccbbc     0     0     0     74     376     149     51  
  abbcccbbdc     0     0     0     75     198     231     146  
  accbbdcbbc     0     0     0     75     260     212     103  
  abbccdbccb     0     0     0     75     260     212     103  
  abdccbbbcc     0     0     0     76     181     233     160  
  abbccdcbbc     0     0     0     77     247     237     89  
  abbcccbbcd     0     0     0     81     231     220     118  
  abbcccdbbc     0     0     0     83     137     228     202  
  adbbbccbcc     0     0     0     90     200     192     168  
  acbbccbdbc     0     0     0     90     370     160     30  
  acbbccdbbc     0     0     0     94     345     141     70  
  acccbbcbbd     0     0     0     101     214     182     153  
  abbbccbccd     0     0     0     101     214     182     153  
  accbbcdbbc     0     0     0     104     255     196     95  
  abbccbdccb     0     0     0     104     255     196     95  
  abbdcbbccc     0     0     0     105     186     218     141  
  accbbcbbdc     0     0     0     111     192     219     128  
  abbccbccdb     0     0     0     111     192     219     128  
  abbcdccbbc     0     0     0     115     259     180     96  
  accbdbbccb     0     0     0     115     259     180     96  
  abdbbccbcc     0     0     0     118     198     218     116  
  accbbcbbcd     0     0     0     118     271     174     87  
  abbccbccbd     0     0     0     118     271     174     87  
  abbdcccbbc     0     0     0     119     194     215     122  
  accdbbbccb     0     0     0     119     194     215     122  
  abbcbbdccc     0     0     0     120     229     165     136  
  abbcbbcccd     0     0     0     122     186     172     170  
  acdcbbbccb     0     0     0     123     245     199     83  
  acdcbbcbbc     0     0     0     125     272     172     81  
  abdbccbccb     0     0     0     125     272     172     81  
  accdbbcbbc     0     0     0     127     212     195     116  
  abbdccbccb     0     0     0     127     212     195     116  
  abbdbccbcc     0     0     0     130     202     221     97  
  abbbccbdcc     0     0     0     134     179     194     143  
  adccbbcbbc     0     0     0     134     257     177     82  
  adbbccbccb     0     0     0     134     257     177     82  
  acbbcccbdb     0     0     0     140     225     191     94  
  abbbcdcbcc     0     0     0     148     232     165     105  
  acdbccbbbc     0     0     0     155     246     174     75  
  abdcbbcccb     0     0     0     155     246     174     75  
  abcdcbbbcc     0     0     0     156     250     184     60  
  abbcbbccdc     0     0     0     160     191     186     113  
  abbcbbcdcc     0     0     0     172     198     177     103  
  abbccbcdcb     0     0     0     172     298     114     66  
  acbbbdccbc     0     0     0     174     224     151     101  
  abcccdbbcb     0     0     0     174     224     151     101  
  abbcccbdbc     0     0     0     179     265     154     52  
  acbdccbbbc     0     0     0     181     259     151     59  
  abcdbbcccb     0     0     0     181     259     151     59  
  acbdbcbbcc     0     0     0     181     263     116     90  
  acccbbcbdb     0     0     0     184     237     146     83  
  abbbccbcdc     0     0     0     184     237     146     83  
  accbdbcbbc     0     0     0     186     238     174     52  
  abbcdcbccb     0     0     0     186     238     174     52  
  abccdcbbcb     0     0     0     205     264     131     50  
  acbbdbccbc     0     0     0     205     264     131     50  
  adcbccbbbc     0     0     0     206     267     140     37  
  abcdccbbcb     0     0     0     211     282     116     41  
  acbdbbccbc     0     0     0     211     282     116     41  
  acdbbbccbc     0     0     0     213     232     147     58  
  abdcccbbcb     0     0     0     213     232     147     58  
  adcbbbccbc     0     0     0     220     259     127     44  
  adbcccbbcb     0     0     0     220     259     127     44  
  acbbbcdcbc     0     0     0     243     273     93     41  
  abcccbdbcb     0     0     0     243     273     93     41  
  acbbcdcbbc     0     0     1     50     401     138     60  
  abccbdbccb     0     0     1     50     401     138     60  
  abcdcbbccb     0     0     1     102     357     157     33  
  adbbccbbcc     0     0     1     141     295     118     95  
  abbdccbbcc     0     0     1     160     314     98     77  
  abbcbdbccc     0     0     1     171     236     141     101  
  abbccbbdcc     0     0     1     175     265     118     91  
  abcccbbcbd     0     0     1     203     258     128     60  
  abbccbdbcc     0     0     2     116     335     135     62  
  abccdbbccb     0     0     2     124     332     133     59  
  acdbbccbbc     0     0     2     152     291     139     66  
  abdccbbccb     0     0     2     152     291     139     66  
  abbcdcbbcc     0     0     3     101     360     138     48  
  abbccbbcdc     0     0     3     141     308     119     79  
  abbccbbccd     0     0     4     139     252     134     121  
  abdbccbbcc     0     0     5     126     347     117     55  
  adbcccbbbc     0     0     7     13     154     180     296  
  adcbbbcccb     0     0     7     13     154     180     296  
  abbccdbbcc     0     0     11     106     206     145     182  
  acbbdcbccb     0     0     14     110     257     223     46  
  abdccbcbbc     0     0     17     115     276     198     44  
  acdbccbcbb     0     0     18     117     278     195     42  
  accbcbbcdb     0     0     20     115     296     166     53  
  acbbcbdccb     0     0     21     117     256     209     47  
  abccbcbbdc     0     0     24     126     274     175     51  
  accbdcbbcb     0     0     31     117     251     211     40  
  abbcdbccbc     0     0     31     117     251     211     40  
  accbcbbcbd     0     0     31     156     231     183     49  
  acbbcdbccb     0     0     34     158     257     166     35  
  abccbcbbcd     0     0     36     147     280     153     34  
  adbccbcbbc     0     0     40     139     268     167     36  
  adccbcbbcb     0     0     40     141     241     187     41  
  adbbcbccbc     0     0     40     141     241     187     41  
  abbcbccdbc     0     0     41     119     242     190     58  
  abcdcbcbbc     0     0     44     189     254     144     19  
  acbdbcbccb     0     0     44     189     254     144     19  
  adcbccbcbb     0     0     45     148     228     171     58  
  abcdbbcbcc     0     0     48     111     214     217     60  
  accdbcbbcb     0     0     51     162     218     172     47  
  abbdcbccbc     0     0     51     162     218     172     47  
  acbdcbbcbc     0     0     51     199     254     126     20  
  abcdbccbcb     0     0     51     199     254     126     20  
  accbcdbbcb     0     0     52     178     237     150     33  
  abbcbdccbc     0     0     52     178     237     150     33  
  abcbdbcbcc     0     0     67     208     233     123     19  
  abdcbccbcb     0     0     68     179     250     118     35  
  acdbcbbcbc     0     0     68     179     250     118     35  
  abdbcbccbc     0     0     69     165     266     131     19  
  acdcbcbbcb     0     0     69     165     266     131     19  
  abbcbcdcbc     0     0     79     218     236     102     15  
  adcbcbbcbc     0     0     87     217     226     104     16  
  adbcbccbcb     0     0     87     217     226     104     16  
  acbcdbbcbc     0     0     88     191     225     119     27  
  abcbdccbcb     0     0     88     191     225     119     27  
  abcbbdccbc     0     0     100     241     191     83     35  
  abcbdbccbc     0     0     106     262     204     56     22  
  adbcbccbbc     0     0     111     198     229     88     24  
  adcbcbbccb     0     0     111     198     229     88     24  
  acbcbdbcbc     0     0     135     217     225     60     13  
  abcbcdcbcb     0     0     135     217     225     60     13  
  abccbbcbdc     0     0     190     247     144     47     22  
  acbbccbcdb     0     0     190     247     144     47     22  
  accbdcbbbc     0     1     5     23     162     199     260  
  abbcdbcccb     0     1     5     23     162     199     260  
  acbbdbcccb     0     1     9     25     164     221     230  
  adbcbbccbc     0     1     73     250     207     90     29  
  adcbccbbcb     0     1     73     250     207     90     29  
  abcbdcbccb     0     1     106     236     186     82     39  
  abbcbdcbcc     0     1     108     227     203     80     31  
  acbbcbdcbc     0     1     121     231     191     72     34  
  abcdcbbcbc     0     1     144     225     191     80     9  
  acbdbccbcb     0     1     144     225     191     80     9  
  abcbcdcbbc     0     1     166     206     187     80     10  
  adcbcbcbbc     0     1     181     219     169     64     16  
  acdbbcbcbc     0     1     190     252     153     40     14  
  abdccbcbcb     0     1     190     252     153     40     14  
  abbcccbdcb     0     2     15     36     284     206     107  
  abbccbcdbc     0     2     99     185     197     93     74  
  accbcbcbbd     0     2     146     258     146     75     23  
  acbbdcbcbc     0     2     199     205     154     57     33  
  abccdbcbcb     0     2     199     205     154     57     33  
  acbbcdbcbc     0     2     206     180     180     71     11  
  abccbdcbcb     0     2     206     180     180     71     11  
  abccbcbcbd     0     2     214     224     136     65     9  
  acbdbbcccb     0     3     15     52     286     167     127  
  abbbcdbccc     0     3     26     44     162     188     227  
  abcbbcdcbc     0     3     118     244     203     61     21  
  abcdbcbbcc     0     3     124     200     167     99     57  
  abbcbcdbcc     0     3     128     243     187     74     15  
  acbdcbcbbc     0     3     144     250     172     71     10  
  abcdbcbccb     0     3     144     250     172     71     10  
  abccdbbcbc     0     3     167     196     197     70     17  
  acbbdccbcb     0     3     167     196     197     70     17  
  acbcbcdcbb     0     3     184     186     190     69     18  
  abccbdbcbc     0     3     201     192     169     76     9  
  acbbbcdccb     0     4     10     30     172     191     243  
  abcdbbccbc     0     4     103     189     218     87     49  
  acbdccbbcb     0     4     103     189     218     87     49  
  adbccbbcbc     0     4     142     197     205     90     12  
  adcbbccbcb     0     4     142     197     205     90     12  
  adccbcbcbb     0     4     184     219     156     72     15  
  acbdbcbcbc     0     4     217     246     133     40     10  
  abcdcbcbcb     0     4     217     246     133     40     10  
  acdbcbcbbc     0     4     218     173     170     55     30  
  abdbccbcbc     0     4     224     210     140     45     27  
  adccbcbbbc     0     5     38     102     187     198     120  
  acbbccbdcb     0     5     99     187     209     139     11  
  acbdcbbccb     0     5     103     197     225     105     15  
  abdcbbccbc     0     5     169     237     157     54     28  
  acdbccbbcb     0     5     169     237     157     54     28  
  adcbbcbcbc     0     5     193     225     155     64     8  
  adbccbcbcb     0     5     193     225     155     64     8  
  acbbbdcccb     0     6     11     38     156     186     253  
  abcccbcbbd     0     6     60     128     207     160     89  
  accbcbbdbc     0     6     63     99     200     137     145  
  abbcbccdcb     0     6     63     99     200     137     145  
  abcbdcbbcc     0     6     101     188     247     85     23  
  abbcdbcbcc     0     6     158     236     173     66     11  
  accbdbcbcb     0     6     178     226     164     55     21  
  acdcbcbcbb     0     6     187     259     148     36     14  
  abdbcbcbcc     0     6     187     259     148     36     14  
  abcbcbbcdc     0     6     193     196     165     65     25  
  acbdcbbbcc     0     7     22     68     271     157     125  
  abbccbdcbc     0     7     130     205     219     67     22  
  abccbbdcbc     0     7     138     205     200     77     23  
  acbbccdbcb     0     7     138     205     200     77     23  
  acbbbccdcb     0     8     12     57     269     182     122  
  accbcbcdbb     0     8     156     218     163     69     36  
  adbcccbcbb     0     9     42     105     195     194     105  
  accbcbbbcd     0     9     54     108     181     168     130  
  accbdbbcbc     0     10     77     121     221     129     92  
  abbcdccbcb     0     10     77     121     221     129     92  
  abccbcbcdb     0     10     247     184     134     50     25  
  acdbbbcccb     0     11     30     74     226     186     123  
  abbdccbcbc     0     11     189     225     137     54     34  
  accdbbcbcb     0     11     189     225     137     54     34  
  acdcbcbbbc     0     12     50     112     268     116     92  
  acccbdbbcb     0     12     86     128     157     106     161  
  abbbcdccbc     0     12     86     128     157     106     161  
  acccbbbcbd     0     12     101     128     139     66     204  
  abbbcccbcd     0     12     101     128     139     66     204  
  abdcbcbbcc     0     12     197     186     161     73     21  
  abdccbbcbc     0     12     212     182     171     64     9  
  acdbbccbcb     0     12     212     182     171     64     9  
  accbcdbbbc     0     13     70     131     150     128     158  
  abbcbdcccb     0     13     70     131     150     128     158  
  abcbcbbccd     0     13     178     157     191     65     46  
  abbccbcbdc     0     13     251     177     139     59     11  
  acbbbcccdb     0     14     33     88     214     185     116  
  abcccbcbdb     0     14     73     153     204     118     88  
  adbcbcbbcc     0     14     152     173     192     80     39  
  abbbcccbdc     0     15     41     94     196     203     101  
  accbcbdbbc     0     15     58     139     210     133     95  
  abbcbcdccb     0     15     58     139     210     133     95  
  accdbcbbbc     0     15     78     125     185     110     137  
  adbbccbcbc     0     15     168     230     154     54     29  
  abbccbcbcd     0     15     191     176     169     59     40  
  abcdbbbccc     0     16     105     85     114     37     293  
  abdcbbbccc     0     18     44     88     215     186     99  
  adcbcbbbcc     0     18     63     163     204     94     108  
  acccbcbbdb     0     18     64     99     180     150     139  
  accbbbdcbc     0     18     67     190     149     65     161  
  abbcccdbcb     0     18     67     190     149     65     161  
  adcccbbbcb     0     18     97     173     121     50     191  
  adbbbcccbc     0     18     97     173     121     50     191  
  abbcccbcbd     0     19     76     139     246     108     62  
  abcccbcdbb     0     20     91     131     146     100     162  
  abbbcccdbc     0     20     117     76     80     49     308  
  accdbcbcbb     0     20     218     202     126     56     28  
  abcbdbbccc     0     21     92     177     139     69     152  
  acccbcbbbd     0     21     102     84     176     135     132  
  abcbcdbbcc     0     21     181     138     191     72     47  
  acbcbdccbb     0     21     181     138     191     72     47  
  accbcbbbdc     0     23     82     93     183     129     140  
  abbcbcccdb     0     23     82     93     183     129     140  
  abdbcccbcb     0     24     77     135     220     99     95  
  acdcbbbcbc     0     24     77     135     220     99     95  
  acdccbcbbb     0     24     84     122     188     124     108  
  accbbdbcbc     0     25     88     130     252     81     74  
  abbccdcbcb     0     25     88     130     252     81     74  
  accdcbbbcb     0     25     91     133     139     101     161  
  abbdbcccbc     0     25     91     133     139     101     161  
  abbbccdcbc     0     25     91     178     136     58     162  
  adccbbbcbc     0     27     75     156     220     93     79  
  adbbcccbcb     0     27     75     156     220     93     79  
  abbbcbcdcc     0     28     69     109     226     101     117  
  abbcccbcdb     0     33     105     120     188     86     118  
  acdbcbbbcc     0     34     93     96     175     81     171  
  adcccbcbbb     0     36     130     104     167     110     103  
  acccdbbbcb     0     36     139     124     118     75     158  
  abbbdcccbc     0     36     139     124     118     75     158  
  abdbbcccbc     0     37     92     139     154     66     162  
  acdccbbbcb     0     37     92     139     154     66     162  
  abbbcbdccc     0     37     107     129     138     91     148  
  acccbcdbbb     0     37     107     129     138     91     148  
  abbdbcbccc     0     40     86     133     199     100     92  
  accdbbbcbc     0     45     80     124     199     105     97  
  abbdcccbcb     0     45     80     124     199     105     97  
  abcbcbdcbc     28     92     204     170     118     30     8  
  adbcbcbcbc     29     93     210     162     124     25     7  
  adcbcbcbcb     29     93     210     162     124     25     7  
  abcbcdbcbc     32     72     264     142     99     31     10  
  abcbdcbcbc     33     75     222     168     116     25     11  
  abcdbcbcbc     51     118     212     141     97     22     9  
  acbdcbcbcb     51     118     212     141     97     22     9  
  abdcbcbcbc     68     130     242     108     75     17     10  
  acdbcbcbcb     68     130     242     108     75     17     10  
Projections
VarietyProblem#
Fl(2,3;5) (X)4(Y)4 12
Fl(1,2,3;5) W(X)4(Y)4 12
Fl(2,3,4;5) (X)4(Y)4Z
Key
Condition Name Symbol Codimension
 2134   W   a   1 
 1324   X   b   1 
 1243   Y   c   1 
 1235   Z   d   1 
Point Selection
Total time of computation: 2 231 723.83 GHz-seconds or 25.83 GHz-days on rcf1422-4
206 700 Polynomial systems solved
The coefficients of a typical eliminant had 89 digits.
The typical eliminant had size 1223 bytes.
This table automatically generated from the data in This File using This Maple Script
Created: Fri Jul 15 15:38:17 CDT 2005