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



Experimental data
Number of Real Solutions
  Necklaces     1     3     5     7     9     11     13     15  
  badccccaa     0     0     0     0     0     0     0     50  
  baaaccccd     0     0     0     0     0     0     0     50  
  bccdccaaa     0     0     0     0     0     0     0     50  
  bcccdcaaa     0     0     0     0     0     0     0     50  
  bccccdaaa     0     0     0     0     0     0     0     50  
  bacdcccaa     0     0     0     0     0     0     0     50  
  baccdccaa     0     0     0     0     0     0     0     50  
  bacccdcaa     0     0     0     0     0     0     0     50  
  baccccdaa     0     0     0     0     0     0     0     50  
  baaacccdc     0     0     0     0     0     0     0     50  
  bcccaaacd     0     0     0     0     0     2     15     33  
  bcccaaadc     0     0     0     0     0     10     17     23  
  bcaccdaca     0     0     0     0     0     17     25     8  
  bcaaacccd     0     0     0     0     1     3     8     38  
  bccaaaccd     0     0     0     0     1     3     12     34  
  bccaaacdc     0     0     0     0     1     3     16     30  
  bcaaacdcc     0     0     0     0     1     4     6     39  
  bcacdcaca     0     0     0     0     1     12     25     12  
  bcaccdcaa     0     0     0     0     1     13     13     23  
  bdaccccaa     0     0     0     0     1     14     21     14  
  baacccacd     0     0     0     0     1     16     23     10  
  bcacccdaa     0     0     0     0     1     18     8     23  
  baacdcacc     0     0     0     0     1     21     22     6  
  bccaaadcc     0     0     0     0     2     2     17     29  
  bcccdaaac     0     0     0     0     2     5     9     34  
  bccccaaad     0     0     0     0     2     7     10     31  
  bacccacda     0     0     0     0     2     8     31     9  
  bcadccaca     0     0     0     0     2     8     31     9  
  bcdccaaac     0     0     0     0     3     3     10     34  
  bcacdccaa     0     0     0     0     3     8     15     24  
  badccacca     0     0     0     0     3     22     20     5  
  bacdcacca     0     0     0     0     4     17     21     8  
  bccadcaca     0     0     0     0     4     18     23     5  
  bdcacacca     0     0     0     0     4     23     14     9  
  bcccacdaa     0     0     0     0     4     26     17     3  
  bcdaaccca     0     0     0     0     4     27     17     2  
  bccaadcca     0     0     0     0     5     17     19     9  
  bdaacccca     0     0     0     0     7     12     11     20  
  bcaadcacc     0     0     0     0     8     15     14     13  
  bcacadcca     0     0     0     0     9     9     18     14  
  bcdacccaa     0     0     0     0     10     14     18     8  
  bcccaacda     0     0     0     0     10     22     13     5  
  bcacdacca     0     0     0     0     11     13     18     8  
  baccacadc     0     0     0     0     11     23     11     5  
  bacccacad     0     0     0     0     15     19     12     4  
  bccaccdaa     0     0     0     1     0     20     24     5  
  baacccdac     0     0     0     1     2     6     23     18  
  bcccaadca     0     0     0     1     3     11     24     11  
  bccadccaa     0     0     0     1     5     14     24     6  
  badacccca     0     0     0     1     5     15     11     18  
  baccdacca     0     0     0     1     5     23     16     5  
  bcaadccac     0     0     0     1     6     16     22     5  
  bccccadaa     0     0     0     1     6     22     12     9  
  bacdaccca     0     0     0     1     6     23     16     4  
  badcccaca     0     0     0     1     7     7     5     30  
  bacccdaca     0     0     0     1     7     10     11     21  
  bccaacdca     0     0     0     1     7     16     17     9  
  bcdacacac     0     0     0     1     7     16     23     3  
  bdcaaccca     0     0     0     1     8     24     13     4  
  bdacccaca     0     0     0     1     10     19     12     8  
  bcaccacda     0     0     0     1     13     11     20     5  
  bccccaada     0     0     0     1     14     17     15     3  
  bccacacda     0     0     0     1     16     20     8     5  
  bcaacdcac     0     0     0     2     6     11     22     9  
  baccdcaca     0     0     0     2     7     13     2     26  
  bcacaccda     0     0     0     2     7     16     12     13  
  bccacdaca     0     0     0     2     8     13     20     7  
  bcaacdacc     0     0     0     2     8     20     10     10  
  bccaccaad     0     0     0     2     8     20     14     6  
  bdaccacca     0     0     0     2     8     22     15     3  
  bacdccaca     0     0     0     2     10     9     1     28  
  bccaadcac     0     0     0     2     10     14     12     12  
  bdcaccaca     0     0     0     2     10     15     20     3  
  bccdcaaca     0     0     0     2     12     13     8     15  
  bcacaccad     0     0     0     2     12     19     9     8  
  bccdaacca     0     0     0     2     14     16     13     5  
  bccaacdac     0     0     0     2     21     15     10     2  
  bccdcacaa     0     0     0     3     2     6     7     32  
  bcaadaccc     0     0     0     3     8     15     12     12  
  bcacccaad     0     0     0     3     9     19     14     5  
  bcccdaaca     0     0     0     3     11     11     14     11  
  bccaaccda     0     0     0     3     11     22     8     6  
  bcccadaca     0     0     0     3     20     15     8     4  
  bcdccacaa     0     0     0     4     4     4     2     36  
  bacccdaac     0     0     0     4     8     9     6     23  
  bcccadcaa     0     0     0     4     8     15     15     8  
  bcacadcac     0     0     0     4     13     16     9     8  
  bdacacacc     0     0     0     5     6     18     14     7  
  bcaacccad     0     0     0     5     7     18     18     2  
  bcaccadca     0     0     0     5     8     14     15     8  
  bdaccaacc     0     0     0     5     11     19     11     4  
  bccacadca     0     0     0     5     13     13     9     10  
  bcdaccaac     0     0     0     5     15     15     12     3  
  bacccadac     0     0     0     6     17     18     5     4  
  bccadacca     0     0     0     6     18     15     9     2  
  bcccdacaa     0     0     0     7     5     9     4     25  
  bcdaccaca     0     0     0     7     6     18     13     6  
  bcacacdac     0     0     0     8     14     14     13     1  
  bccaacacd     0     0     0     9     2     8     16     15  
  bcacacacd     0     0     0     9     3     14     17     7  
  bcaacdcca     0     0     1     1     9     9     8     22  
  bcaccacad     0     0     1     1     11     26     9     2  
  bcacccada     0     0     1     1     14     12     17     5  
  bcaacccda     0     0     1     2     7     10     8     22  
  bacdcacac     0     0     1     2     10     8     14     15  
  bcaaccdca     0     0     1     2     10     10     6     21  
  baaccaccd     0     0     1     3     9     10     20     7  
  bcccaacad     0     0     1     4     4     14     15     12  
  bcacaaccd     0     0     1     4     8     8     12     17  
  bcdccaaca     0     0     1     4     11     12     8     14  
  bcaccaacd     0     0     1     4     11     17     14     3  
  baccacdac     0     0     1     4     12     15     10     8  
  bcdcaacca     0     0     1     4     12     18     10     5  
  bcccacada     0     0     1     5     21     15     8     0  
  bccacaacd     0     0     1     6     9     5     17     12  
  bccdacaca     0     0     1     6     11     17     11     4  
  bccaadacc     0     0     1     6     14     9     14     6  
  bcaccaadc     0     0     1     6     14     16     12     1  
  bcdcacaca     0     0     1     8     11     16     10     4  
  bccaccada     0     0     1     8     16     13     10     2  
  bccacaadc     0     0     1     9     8     18     6     8  
  bcaaccdac     0     0     2     1     2     16     21     8  
  bcacaadcc     0     0     2     2     9     9     17     11  
  baccaaccd     0     0     2     2     14     18     8     6  
  bcacaacdc     0     0     2     3     5     11     14     15  
  bcccaadac     0     0     2     3     7     16     11     11  
  bcaaccacd     0     0     2     4     15     10     9     10  
  bcdcaccaa     0     0     2     6     6     12     15     9  
  bcaccadac     0     0     2     14     19     9     4     2  
  bacaacccd     0     0     3     3     14     10     11     9  
  bccdaccaa     0     0     3     4     5     14     17     7  
  bcacadacc     0     0     3     7     20     6     10     4  
  baacacccd     0     0     4     5     6     2     7     26  
  bdccacaca     0     0     4     6     12     10     14     4  
  bcaacadcc     0     0     4     8     5     6     9     18  
  bccaacadc     0     0     4     8     7     8     14     9  
  bcaacacdc     0     0     5     11     5     4     4     21  
  bcccacaad     0     0     6     6     7     4     9     18  
  bcaacaccd     0     0     8     7     3     8     4     20  
  bccacadac     0     1     3     9     19     9     3     6  

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

Total time of computation: 1 732 846.38 GHz-seconds or 20.05 GHz-days on Calypso
7 000 Polynomial systems solved
The coefficients of a typical eliminant had 318 digits.
The typical eliminant had size 5176 bytes.
This table automatically generated from the data in This File using This Maple Script
Created: Fri Jul 15 15:55:47 CDT 2005