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

Experimental data
Number of Real Solutions
  Necklaces     0     2     4     6     8     10     12  
  baaccdccaa     0     0     0     0     0     0     100  
  baaaadcccc     0     0     0     0     0     0     100  
  baadccccaa     0     0     0     0     0     0     100  
  baaadcccca     0     0     0     0     0     0     100  
  baacdcccaa     0     0     0     0     0     0     100  
  baaacdccca     0     0     0     0     0     0     100  
  baaaacdccc     0     0     0     0     0     0     100  
  baaaacccdc     0     0     0     0     0     0     100  
  baaaaccdcc     0     0     0     0     0     0     100  
  baaaccccda     0     0     0     0     0     0     100  
  baaaaccccd     0     0     0     0     0     0     100  
  baaacccdca     0     0     0     0     0     0     100  
  baaaccdcca     0     0     0     0     0     0     100  
  badaccccaa     0     0     0     0     9     9     82  
  baadacccca     0     0     0     0     10     8     82  
  bccdcaaaac     0     0     0     0     11     13     76  
  baaaccccad     0     0     0     0     12     10     78  
  bcdccaaaac     0     0     0     0     14     8     78  
  bdaaaccacc     0     0     0     0     34     45     21  
  bdaacacacc     0     0     0     0     47     38     15  
  bcaaaadccc     0     0     0     1     6     3     90  
  bdcccaaaac     0     0     0     1     11     6     82  
  bcccaaaacd     0     0     0     1     23     33     43  
  bdaacaaccc     0     0     0     2     32     45     21  
  baaadacccc     0     0     0     3     12     8     77  
  bdacccaaac     0     0     0     3     24     13     60  
  baacaacccd     0     0     0     4     32     45     19  
  baaaccaccd     0     0     0     4     32     51     13  
  baaaccadcc     0     0     0     4     43     26     27  
  badacccaac     0     0     0     5     21     18     56  
  baacccaadc     0     0     0     5     33     32     30  
  bcccadaaac     0     0     0     6     11     6     77  
  baadcccaac     0     0     0     7     39     19     35  
  bdaacaccac     0     0     0     7     61     26     6  
  bdccacaaac     0     0     0     8     28     12     52  
  baacacccad     0     0     0     8     29     11     52  
  bccacaacad     0     0     0     9     46     39     6  
  baacaaccdc     0     0     0     10     30     42     18  
  baaccacdca     0     0     0     12     34     35     19  
  baacadaccc     0     0     0     14     27     39     20  
  baaccaccda     0     0     0     14     29     34     23  
  badcccaaca     0     0     0     14     40     29     17  
  bacaadccca     0     0     0     14     41     15     30  
  baaccadcca     0     0     0     14     44     23     19  
  baacdccaac     0     0     0     15     34     24     27  
  bcaaadccac     0     0     0     15     36     28     21  
  bcadccaaac     0     0     0     17     41     22     20  
  baaacdcacc     0     0     0     18     40     19     23  
  baaadccacc     0     0     0     19     31     27     23  
  baacccdaac     0     0     0     20     30     23     27  
  baaaccdacc     0     0     0     23     34     16     27  
  bcacdcaaac     0     0     0     23     39     30     8  
  baccccaaad     0     0     1     1     20     35     43  
  bcdaccaaac     0     0     1     4     18     23     54  
  baaaccacdc     0     0     1     6     44     27     22  
  bccaaaccad     0     0     1     8     18     30     43  
  bdaacaccca     0     0     1     8     39     33     19  
  bcdcacaaac     0     0     1     9     28     21     41  
  bdcaacaacc     0     0     1     9     45     35     10  
  bccaaaccda     0     0     1     11     19     31     38  
  badaccacac     0     0     1     12     36     22     29  
  bacadaccca     0     0     1     12     40     30     17  
  bccaaaadcc     0     0     1     13     22     26     38  
  bcaacaaccd     0     0     1     13     33     41     12  
  bcccaadaac     0     0     1     14     19     18     48  
  bcadacccaa     0     0     1     14     30     42     13  
  baacaadccc     0     0     1     15     35     27     22  
  bdaaccacca     0     0     1     15     36     42     6  
  bccadcaaac     0     0     1     15     39     30     15  
  bccadaaacc     0     0     1     17     25     21     36  
  bacdccaaca     0     0     1     17     37     32     13  
  bcdcacaaca     0     0     1     19     42     32     6  
  baadccacac     0     0     1     19     43     22     15  
  baaccdacca     0     0     1     21     38     18     22  
  bcccadaaca     0     0     1     28     34     24     13  
  baacacacdc     0     0     1     30     33     26     10  
  bcccaacada     0     0     1     37     38     20     4  
  bdaaacaccc     0     0     2     2     17     15     64  
  baacacaccd     0     0     2     5     42     41     10  
  bcccaaacad     0     0     2     6     41     33     18  
  bdaaccacac     0     0     2     6     42     33     17  
  bccacaaacd     0     0     2     6     44     37     11  
  bdaacccaac     0     0     2     9     18     38     33  
  badacccaca     0     0     2     9     27     22     40  
  bcacccaaad     0     0     2     9     27     41     21  
  bcccaaaadc     0     0     2     9     36     23     30  
  bcdaaccaac     0     0     2     11     23     34     30  
  bccaacacad     0     0     2     11     37     35     15  
  baaccaaccd     0     0     2     11     37     39     11  
  bdaaccaacc     0     0     2     12     22     42     22  
  bccaadaacc     0     0     2     13     20     12     53  
  baaacaccdc     0     0     2     15     20     11     52  
  baacdcacca     0     0     2     16     36     32     14  
  bdacccaaca     0     0     2     18     36     26     18  
  baadacccac     0     0     2     19     26     10     43  
  bdccacaaca     0     0     2     21     49     22     6  
  bcaaacadcc     0     0     2     22     22     5     49  
  baaccdcaac     0     0     2     22     33     19     24  
  baaccadacc     0     0     2     24     46     18     10  
  bccaaadcca     0     0     2     28     35     18     17  
  bccaaaacdc     0     0     3     7     19     32     39  
  bdcaccaaac     0     0     3     12     31     31     23  
  bcdacacaac     0     0     3     15     27     25     30  
  baadaacccc     0     0     3     15     31     26     25  
  bcacacaacd     0     0     3     15     44     29     9  
  baacadccac     0     0     3     18     25     23     31  
  baccdcaaca     0     0     3     26     30     23     18  
  bacccaadca     0     0     3     29     34     22     12  
  bdcaaccaac     0     0     4     13     30     29     24  
  badacacacc     0     0     4     13     31     41     11  
  badacaccac     0     0     4     13     37     43     3  
  bccaaccada     0     0     4     15     31     33     17  
  baccdcaaac     0     0     4     15     41     36     4  
  badaaacccc     0     0     4     17     23     20     36  
  baaacdaccc     0     0     4     19     34     39     4  
  bcdaaccaca     0     0     4     23     39     24     10  
  baacacccda     0     0     4     25     15     6     50  
  bcaacadcca     0     0     4     25     39     27     5  
  baccacacad     0     0     4     27     32     29     8  
  bdcacacaac     0     0     4     29     30     29     8  
  bcaadcacca     0     0     4     29     48     13     6  
  bcccaadcaa     0     0     4     34     23     23     16  
  bcaaadcacc     0     0     4     35     32     21     8  
  baaccaacdc     0     0     4     37     33     17     9  
  bcdaacacac     0     0     5     6     32     38     19  
  baaacacccd     0     0     5     14     15     13     53  
  bcdaaaccac     0     0     5     17     50     22     6  
  baaadcaccc     0     0     5     20     30     41     4  
  baadcaccac     0     0     5     22     48     21     4  
  baacaacdcc     0     0     5     24     32     30     9  
  bcaacaadcc     0     0     5     24     47     18     6  
  bccadaacac     0     0     5     26     51     15     3  
  baacacadcc     0     0     5     29     30     27     9  
  bcdaccaaca     0     0     5     30     35     23     7  
  bccaaacdca     0     0     5     31     33     18     13  
  bcaccaacad     0     0     5     31     40     21     3  
  bccadcaaca     0     0     5     31     41     18     5  
  bcdccaaaca     0     0     6     7     43     31     13  
  baaccaccad     0     0     6     11     30     40     13  
  bcadaccaac     0     0     6     19     41     29     5  
  baadccacca     0     0     6     22     46     19     7  
  baaacccacd     0     0     6     24     46     22     2  
  baadcccaca     0     0     6     25     19     5     45  
  bcaadccaac     0     0     6     25     46     16     7  
  bacccaacad     0     0     6     30     31     21     12  
  bacaacadcc     0     0     6     30     40     22     2  
  baacadcacc     0     0     6     35     35     15     9  
  baacccacda     0     0     7     15     43     20     15  
  baacaccacd     0     0     7     17     43     31     2  
  bcacaacacd     0     0     7     18     39     23     13  
  bcaacadacc     0     0     7     18     54     20     1  
  badaccacca     0     0     7     19     38     23     13  
  bcacacacad     0     0     7     19     44     21     9  
  baacaccdca     0     0     7     25     15     9     44  
  baacdccaca     0     0     7     26     16     6     45  
  bcaadacacc     0     0     7     29     43     21     0  
  baccadcaac     0     0     7     32     33     20     8  
  badaacccca     0     0     8     3     29     25     35  
  badcccaaac     0     0     8     8     29     12     43  
  bcacaacadc     0     0     8     8     38     40     6  
  bcaaadccca     0     0     8     19     32     28     13  
  baadaccacc     0     0     8     24     35     27     6  
  bacacaccad     0     0     8     35     28     20     9  
  baacacdacc     0     0     8     38     31     10     13  
  bacadacacc     0     0     8     39     42     11     0  
  bccaaaaccd     0     0     9     10     21     24     36  
  baaacccadc     0     0     9     16     27     17     31  
  bcacaaacdc     0     0     9     18     41     26     6  
  baccadacca     0     0     9     20     47     19     5  
  bdcccaaaca     0     0     9     21     40     22     8  
  baaacacdcc     0     0     9     24     17     2     48  
  baadcaaccc     0     0     9     29     30     22     10  
  bcadaaccca     0     0     9     36     32     18     5  
  badaacccac     0     0     10     9     43     18     20  
  bdaccaacac     0     0     10     15     37     24     14  
  bccdcaaaca     0     0     10     15     44     29     2  
  bcaccaaacd     0     0     10     27     34     22     7  
  bacaadccac     0     0     10     31     30     17     12  
  bcccaaacda     0     0     10     35     33     16     6  
  bccaaadcac     0     0     10     39     34     11     6  
  bdccaaacac     0     0     11     16     36     26     11  
  bdccaacaca     0     0     11     17     39     31     2  
  bacdcacaca     0     0     11     21     39     22     7  
  bcaacdcaac     0     0     11     21     46     14     8  
  badaaccacc     0     0     11     23     29     29     8  
  bcadacacca     0     0     11     32     40     16     1  
  bcacaacdac     0     0     11     32     41     12     4  
  bccaaacacd     0     0     12     16     32     20     20  
  badccacaac     0     0     12     21     26     26     15  
  baccadaacc     0     0     12     21     36     23     8  
  bcacaaadcc     0     0     12     21     39     25     3  
  bacaadcacc     0     0     12     35     30     20     3  
  bccacaacda     0     0     12     35     31     16     6  
  bcacadaacc     0     0     12     38     31     13     6  
  bcacadacac     0     0     12     38     37     11     2  
  baadcaccca     0     0     13     17     37     29     4  
  baacacdcac     0     0     13     20     25     19     23  
  bacaccacad     0     0     13     21     40     20     6  
  baacacdcca     0     0     13     22     14     8     43  
  bcdaacaacc     0     0     13     22     27     32     6  
  baacdcacac     0     0     13     22     31     24     10  
  bcaacaacdc     0     0     13     22     39     18     8  
  bcdaaaccca     0     0     13     31     36     14     6  
  bccaacadac     0     0     13     37     34     14     2  
  baaccccaad     0     0     14     14     25     28     19  
  baacccacad     0     0     14     19     30     24     13  
  bccaadcaac     0     0     14     23     26     26     11  
  bcadacacac     0     0     14     25     39     21     1  
  bcacaadcac     0     0     14     37     36     9     4  
  bcccdaaaca     0     0     16     15     29     36     4  
  baadacaccc     0     0     16     19     39     23     3  
  baaccdcaca     0     0     17     19     16     4     44  
  baaacadccc     0     0     17     20     11     4     48  
  bacacadcca     0     0     17     27     23     24     9  
  bacadaccac     0     0     17     30     33     17     3  
  baacccaacd     0     0     19     22     37     13     9  
  bacacdcaca     0     0     20     30     20     10     20  
  bacacccaad     0     0     21     16     41     18     4  
  bacacdcaac     0     0     21     33     29     12     5  
  bacccaaacd     0     0     27     23     32     15     3  
  baccadcaca     0     0     30     27     26     12     5  
  badcaccaca     0     1     1     21     42     29     6  
  badccacaca     0     1     1     26     31     31     10  
  bccccaaaad     0     1     2     4     5     8     80  
  bcaccadaac     0     1     3     26     39     24     7  
  bdacaccaac     0     1     4     18     34     30     13  
  baacdaccca     0     1     5     18     38     25     13  
  baccaaccad     0     1     5     22     28     32     12  
  bacccadaac     0     1     5     26     33     24     11  
  baacccadca     0     1     6     22     35     27     9  
  baacdaccac     0     1     6     23     33     30     7  
  badcaccaac     0     1     7     23     37     23     9  
  bccaaacadc     0     1     8     18     24     26     23  
  bcadaaaccc     0     1     8     19     34     26     12  
  bacaccadca     0     1     8     24     37     27     3  
  bccaaacdac     0     1     8     33     42     10     6  
  bcdaacacca     0     1     8     35     36     15     5  
  baacdacacc     0     1     9     35     38     13     4  
  badacaccca     0     1     10     16     48     20     5  
  baaccacdac     0     1     10     29     34     19     7  
  bcaadccaca     0     1     10     37     22     17     13  
  baccaaadcc     0     1     11     31     28     23     6  
  baacaccadc     0     1     12     18     28     28     13  
  baccadacac     0     1     12     35     37     14     1  
  baadcacacc     0     1     13     27     34     19     6  
  baccaaccda     0     1     13     27     35     18     6  
  bcadaccaca     0     1     13     37     19     25     5  
  bcadcacaac     0     1     14     30     28     23     4  
  bcaadcaacc     0     1     14     32     34     12     7  
  bccadaacca     0     1     15     36     22     20     6  
  bcacaacdca     0     1     16     35     41     4     3  
  baccacaacd     0     1     16     45     28     9     1  
  bcacaadcca     0     1     17     40     29     8     5  
  bcadaaccac     0     1     19     38     27     13     2  
  baaadcccac     0     1     20     18     14     2     45  
  bacadccaca     0     1     20     24     18     12     25  
  baaccadcac     0     1     20     27     30     15     7  
  bcacadcaac     0     1     20     32     33     14     0  
  bacdacacca     0     1     22     34     32     9     2  
  bcadaacacc     0     1     23     20     38     18     0  
  bacadaaccc     0     2     4     54     18     15     7  
  bacdccaaac     0     2     6     29     29     26     8  
  baacaccdac     0     2     7     18     31     19     23  
  baaccaadcc     0     2     8     24     36     18     12  
  baccaaaccd     0     2     10     24     28     28     8  
  bcadccaaca     0     2     12     29     30     23     4  
  bacdcacaac     0     2     12     34     30     19     3  
  bcaacadcac     0     2     12     37     35     12     2  
  bacadcacca     0     2     13     31     31     17     6  
  baaccacacd     0     2     15     20     32     27     4  
  baadccaacc     0     2     15     21     22     31     9  
  bcacdcaaca     0     2     15     24     36     18     5  
  bcaadcacac     0     2     15     30     41     9     3  
  bacccaacda     0     2     17     27     37     14     3  
  bcacadccaa     0     2     18     22     30     18     10  
  bacdaccaac     0     2     19     19     40     14     6  
  baaacdccac     0     3     8     19     17     9     44  
  bccaacacda     0     3     10     34     25     16     12  
  baaccacadc     0     3     11     36     30     17     3  
  baacadccca     0     3     13     17     14     9     44  
  badcacacca     0     3     13     23     30     26     5  
  baaacccdac     0     3     14     17     19     7     40  
  badccaacac     0     3     14     27     39     14     3  
  bacacadacc     0     3     15     32     35     12     3  
  bacacaacdc     0     3     20     35     23     15     4  
  baacdcaacc     0     3     24     31     24     12     6  
  bacdacacac     0     3     26     32     27     9     3  
  bcccaaadca     0     3     28     29     24     14     2  
  bccaadccaa     0     4     6     31     25     16     18  
  bdaccacaac     0     4     8     18     18     16     36  
  baccaadcca     0     4     16     34     25     14     7  
  bcdaaacacc     0     4     17     18     21     12     28  
  bccacaadca     0     4     23     27     31     11     4  
  bacacacdac     0     4     30     37     19     8     2  
  bacacaadcc     0     5     13     29     31     14     8  
  bacadccaac     0     5     16     30     27     13     9  
  bacacacadc     0     5     17     37     30     9     2  
  baccaaacdc     0     5     19     34     29     10     3  
  baaaccdcac     0     6     15     13     17     9     40  
  bdcaccaaca     0     6     23     33     25     11     2  
  badcacacac     0     7     11     37     32     12     1  
  baacccdaca     0     7     16     12     13     8     44  
  bacadcacac     0     7     26     27     29     8     3  
  baccaacdca     0     7     30     29     26     4     4  
  badaacaccc     0     8     14     20     21     15     22  
  bdcacacaca     0     9     20     34     27     6     4  
  bcaccaacda     0     9     23     35     20     10     3  
  bccaacadca     0     9     25     34     16     15     1  
  bacacadcac     0     9     30     31     20     10     0  
  baccaacdac     0     12     28     42     12     5     1  
  bccaadcaca     0     13     26     24     20     10     7  
  bccaacdaca     0     14     25     22     21     12     6  
  baccaacadc     0     15     26     30     23     3     3  
  bcaccaadca     1     3     23     40     19     9     5  
  bacacdacac     1     5     33     19     33     9     0  
  bacaccaacd     1     6     31     27     22     9     4  
  baccaacacd     1     12     17     26     27     11     6  
  baccaadcac     1     13     33     31     17     5     0  
Key
Condition Name Symbol Codimension
 1324   W   a   1 
 2314   W   b   2 
 1235   Y   c   1 
 1236   Y   d   2 
Point Selection
Total time of computation: 1 129 925.63 GHz-seconds or 13.07 GHz-days on rcf1422-5
31 800 Polynomial systems solved
The coefficients of a typical eliminant had 282 digits.
The typical eliminant had size 3726 bytes.
This table automatically generated from the data in This File using This Maple Script
Created: Fri Jul 15 15:55:51 CDT 2005