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



Experimental data
Number of Real Solutions
  Necklaces     1     3     5     7     9     11     13     15  
  baadcccA     0     0     0     0     0     0     0     500  
  baaAccdc     0     0     0     0     0     0     0     500  
  baAcccda     0     0     0     0     0     0     0     500  
  baacdccA     0     0     0     0     0     0     0     500  
  bacccdAa     0     0     0     0     0     0     0     500  
  baacccdA     0     0     0     0     0     0     0     500  
  baAccdca     0     0     0     0     0     0     0     500  
  baAcdcca     0     0     0     0     0     0     0     500  
  bAcdccaa     0     0     0     0     0     0     0     500  
  bccdcAaa     0     0     0     0     0     0     0     500  
  bdcccAaa     0     0     0     0     0     0     0     500  
  bcccdAaa     0     0     0     0     0     0     0     500  
  baAccdac     0     0     0     0     0     8     209     283  
  bcaaAcdc     0     0     0     0     2     26     48     424  
  bcAccdaa     0     0     0     0     2     324     109     65  
  bccaaAdc     0     0     0     0     3     17     148     332  
  bccAaadc     0     0     0     0     3     76     160     261  
  bdcaaAcc     0     0     0     0     4     10     152     334  
  bcaaAdcc     0     0     0     0     4     11     49     436  
  bdcAaacc     0     0     0     0     4     24     173     299  
  bdccAaac     0     0     0     0     4     31     73     392  
  bcacdcAa     0     0     0     0     5     37     176     282  
  bcaccdAa     0     0     0     0     6     44     172     278  
  bdAaaccc     0     0     0     0     6     46     164     284  
  bdAcccaa     0     0     0     0     7     143     234     116  
  bcAcdcaa     0     0     0     0     7     261     172     60  
  baaccAcd     0     0     0     0     9     98     235     158  
  baaccdAc     0     0     0     0     11     216     125     148  
  baAccacd     0     0     0     0     16     109     249     126  
  bacccAda     0     0     0     0     16     174     187     123  
  bcccAaad     0     0     0     0     20     39     118     323  
  bccdaaAc     0     0     0     0     23     129     151     197  
  bacadccA     0     0     0     0     32     71     147     250  
  bdcccaaA     0     0     0     0     32     106     127     235  
  baaccAdc     0     0     0     0     36     96     268     100  
  bacacdcA     0     0     0     0     37     137     82     244  
  bacAcdac     0     0     0     0     37     197     176     90  
  bcacdAca     0     0     0     0     39     153     171     137  
  bcccAdaa     0     0     0     0     40     144     164     152  
  bcdccaaA     0     0     0     0     45     106     104     245  
  bdccaaAc     0     0     0     0     49     101     141     209  
  bacaccdA     0     0     0     0     49     160     58     233  
  bccdcaaA     0     0     0     0     69     73     116     242  
  bdaAccca     0     0     0     0     80     127     134     159  
  bccacdaA     0     0     0     0     82     165     177     76  
  bAaadccc     0     0     0     0     94     56     76     274  
  bAcccaad     0     0     0     0     150     150     96     104  
  bccAcdaa     0     0     0     1     22     168     216     93  
  bAcccada     0     0     0     1     29     127     207     136  
  bdacccAa     0     0     0     1     47     102     177     173  
  baAccadc     0     0     0     1     57     144     216     82  
  baccAadc     0     0     0     1     63     150     132     154  
  bacdaAcc     0     0     0     1     85     151     84     179  
  bcAcdaca     0     0     0     2     8     198     247     45  
  badcAcca     0     0     0     2     14     105     236     143  
  bcAdcaca     0     0     0     2     21     173     256     48  
  bAccacda     0     0     0     2     32     129     251     86  
  bccaadcA     0     0     0     2     34     166     202     96  
  bccacdAa     0     0     0     2     39     90     244     125  
  bAcacdca     0     0     0     2     41     137     199     121  
  bAdcacca     0     0     0     2     51     153     197     97  
  bccadcaA     0     0     0     2     78     204     129     87  
  bAcaccda     0     0     0     3     28     186     189     94  
  bAccadca     0     0     0     3     41     145     166     145  
  bAcadcca     0     0     0     3     48     115     177     157  
  bAcdacca     0     0     0     3     83     181     122     111  
  badccAca     0     0     0     4     41     145     117     193  
  bacAdcca     0     0     0     4     44     218     88     146  
  bcccaadA     0     0     0     4     58     132     189     117  
  bacccaAd     0     0     0     4     65     197     159     75  
  bcAdaacc     0     0     0     4     104     112     132     148  
  bcAaacdc     0     0     0     5     43     93     155     204  
  bccAdaac     0     0     0     5     58     80     176     181  
  bAccaadc     0     0     0     6     43     183     182     86  
  baccAdca     0     0     0     6     44     99     244     107  
  bccAacda     0     0     0     6     67     226     132     69  
  baAcdacc     0     0     0     7     26     94     250     123  
  bdcaAcca     0     0     0     8     48     126     136     182  
  bcaccdaA     0     0     0     8     50     169     147     126  
  bcaaccAd     0     0     0     9     71     161     149     110  
  bccAdaca     0     0     0     10     90     145     130     125  
  bccadAca     0     0     0     10     96     173     139     82  
  baccacAd     0     0     0     11     65     168     180     76  
  bdacAcca     0     0     0     11     82     174     144     89  
  bccaacdA     0     0     0     12     121     170     120     77  
  bAcaccad     0     0     0     12     139     189     123     37  
  bcaadcAc     0     0     0     13     47     194     180     66  
  bccAdcaa     0     0     0     14     21     126     207     132  
  bccaAdca     0     0     0     14     68     110     122     186  
  bAcacadc     0     0     0     14     79     174     138     95  
  bAadaccc     0     0     0     15     78     165     108     134  
  bcAacdca     0     0     0     15     84     202     116     83  
  bcacacAd     0     0     0     15     103     165     148     69  
  bacaccAd     0     0     0     16     50     184     180     70  
  bcccAada     0     0     0     16     98     108     169     109  
  bcacdcaA     0     0     0     17     61     165     118     139  
  bdacaAcc     0     0     0     17     73     108     176     126  
  bcAadcca     0     0     0     19     59     182     129     111  
  bdcaaccA     0     0     0     19     75     166     138     102  
  bacAccad     0     0     0     20     170     182     98     30  
  bcaadccA     0     0     0     21     44     124     151     160  
  bcccadAa     0     0     0     21     80     182     134     83  
  baccadAc     0     0     0     23     102     217     109     49  
  bcacacdA     0     0     0     25     120     164     107     84  
  bAcacacd     0     0     0     28     76     145     134     117  
  bcacadcA     0     0     0     28     104     160     117     91  
  bdcacAca     0     0     0     31     96     128     158     87  
  bAcdcaac     0     0     0     34     84     129     131     122  
  badccAac     0     0     0     41     28     71     123     237  
  bAaccadc     0     0     0     41     115     179     106     59  
  bccAadac     0     0     0     42     104     128     147     79  
  bAadccca     0     0     0     51     192     93     77     87  
  bcadcaAc     0     0     0     56     139     187     93     25  
  bcccdaAa     0     0     0     76     72     191     37     124  
  bacAcdca     0     0     1     4     50     229     100     116  
  bacdAcac     0     0     1     12     75     144     148     120  
  bccacAda     0     0     1     14     97     195     143     50  
  bdcAacca     0     0     1     19     102     165     119     94  
  bcaAdcca     0     0     1     29     36     99     77     258  
  bccacAad     0     0     1     33     103     152     120     91  
  bcaAcdca     0     0     1     35     38     91     78     257  
  bcadAacc     0     0     1     36     127     132     73     131  
  bacacAdc     0     0     1     47     87     166     109     90  
  bcAadcac     0     0     1     53     121     142     117     66  
  bAccacad     0     0     2     6     110     202     103     77  
  bcaccaAd     0     0     2     17     115     198     111     57  
  bdAacacc     0     0     2     20     45     72     197     164  
  bAdacacc     0     0     2     22     166     147     78     85  
  bAacdcca     0     0     2     30     219     105     53     91  
  bdacccaA     0     0     2     31     98     163     174     32  
  bdcaccaA     0     0     2     35     109     137     144     73  
  bacAcadc     0     0     2     42     110     175     115     56  
  badccaAc     0     0     2     47     115     163     84     89  
  bcacAdac     0     0     2     56     147     150     100     45  
  bAaccdca     0     0     2     60     209     90     31     108  
  bcaaccdA     0     0     2     63     91     118     97     129  
  bccaAcda     0     0     3     17     83     107     140     150  
  bcadccaA     0     0     3     18     58     145     161     115  
  baccaAdc     0     0     3     22     61     195     128     91  
  bcacaAdc     0     0     3     28     54     126     169     120  
  bdccacAa     0     0     3     29     56     122     203     87  
  bcacAadc     0     0     3     32     117     125     133     90  
  bcdacaAc     0     0     3     42     68     134     147     106  
  bdacAacc     0     0     3     44     103     108     105     137  
  bccAcada     0     0     3     60     129     164     107     37  
  bcacAacd     0     0     3     61     103     90     106     137  
  bccdAaca     0     0     4     6     52     117     106     215  
  bdccAaca     0     0     4     11     44     116     114     211  
  bcadAcca     0     0     4     15     58     143     163     117  
  bcacAcda     0     0     4     20     55     127     172     122  
  bAcaadcc     0     0     4     28     98     112     158     100  
  bacdacAc     0     0     4     31     91     183     135     56  
  bacccadA     0     0     4     34     90     166     162     44  
  bcacdacA     0     0     4     36     111     158     129     62  
  bcAcacda     0     0     4     58     147     163     100     28  
  bcaccAda     0     0     5     12     66     170     174     73  
  bdcacaAc     0     0     5     31     63     160     144     97  
  bccdacAa     0     0     5     41     72     156     145     81  
  bccaacAd     0     0     5     58     122     117     115     83  
  bcdacAac     0     0     6     39     120     105     122     108  
  baAcacdc     0     0     6     47     74     134     174     65  
  bcaccadA     0     0     6     69     165     176     65     19  
  bcccaAda     0     0     7     26     106     161     117     83  
  bdacacAc     0     0     7     33     83     170     155     52  
  bcAccaad     0     0     7     48     77     169     111     88  
  bdcAcaca     0     0     7     51     70     122     156     94  
  bcdaacAc     0     0     7     86     141     85     104     77  
  bacaAcdc     0     0     8     5     62     121     84     220  
  bcacaAcd     0     0     8     21     66     98     184     123  
  bcAccada     0     0     8     59     166     184     68     15  
  baacAcdc     0     0     9     25     60     103     92     211  
  bcaAcdac     0     0     9     50     109     135     109     88  
  bcAadacc     0     0     9     62     104     116     112     97  
  bcaAccad     0     0     10     40     92     178     98     82  
  baacAccd     0     0     11     20     63     78     87     241  
  bcadcacA     0     0     11     52     150     141     89     57  
  bccadAac     0     0     11     55     109     120     96     109  
  bccadacA     0     0     11     63     111     110     135     70  
  bdaccaAc     0     0     12     34     139     170     106     39  
  baacAdcc     0     0     13     10     63     132     98     184  
  bdccacaA     0     0     13     21     53     100     142     171  
  bdcaacAc     0     0     13     73     88     112     130     84  
  bcdaAacc     0     0     13     89     68     31     104     195  
  bccdacaA     0     0     15     13     38     158     123     153  
  bcacdAac     0     0     15     50     67     122     120     126  
  bcaacdAc     0     0     16     24     85     168     139     68  
  bccdaAca     0     0     16     33     81     132     95     143  
  bdcaAacc     0     0     16     72     64     35     95     218  
  badcccaA     0     0     17     36     109     65     61     212  
  bcacadAc     0     0     17     77     119     165     74     48  
  bAacacdc     0     0     18     33     52     124     77     196  
  bccdcaAa     0     0     18     33     126     143     28     152  
  bcadaccA     0     0     21     55     137     130     91     66  
  bacAacdc     0     0     22     98     83     101     58     138  
  bdccaAca     0     0     31     61     75     88     83     162  
  baAaccdc     0     0     31     68     116     132     45     108  
  bccdaAac     0     0     32     106     58     65     60     179  
  bcaacAdc     0     0     33     43     76     111     76     161  
  bcaacAcd     0     0     37     60     85     58     74     186  
  bdcccaAa     0     0     42     28     96     81     102     151  
  bdaAccac     0     1     1     14     38     187     162     97  
  bcacAcad     0     1     7     32     144     142     99     75  
  bcaAcacd     0     1     7     65     134     101     92     100  
  bAcaacdc     0     1     9     25     74     133     154     104  
  bAcaaccd     0     1     18     26     70     128     129     128  
  bccAcaad     0     1     41     107     70     60     87     134  
  bcadacAc     0     2     18     100     121     122     93     44  
  bdaAaccc     0     2     46     84     82     52     47     187  
  bdccaAac     0     2     60     64     41     39     76     218  
  bcaAacdc     0     7     53     94     66     53     51     176  

Key
Condition Name Symbol Codimension
 1325   A1325   A   2 
 1324   W   a   1 
 1523   W   b   3 
 1235   Y   c   1 
 1245   Y   d   2 
Point Selection

Total time of computation: 1 472 329.70 GHz-seconds or 17.04 GHz-days on Ananke
105 000 Polynomial systems solved
The coefficients of a typical eliminant had 79 digits.
The typical eliminant had size 1341 bytes.
This table automatically generated from the data in This File using This Maple Script
Created: Fri Jul 15 15:54:32 CDT 2005