Enumerative problem A13254W(W)2(Y)2(Z)2 = 4 on Fl(2,4,5;6)



Experimental data Related Problems
Number of Real Solutions
  Necklaces     0     2     4  
  bbAacddc     0     0     5000  
  bcbddcAa     0     0     5000  
  bbAcdadc     0     0     5000  
  bbAcaddc     0     0     5000  
  bAbcdadc     0     0     5000  
  bbAaddcc     0     0     5000  
  bbacddAc     0     0     5000  
  bbAddacc     0     0     5000  
  bbacAddc     0     0     5000  
  bbaAddcc     0     0     5000  
  bbaAcddc     0     0     5000  
  bbAddcac     0     0     5000  
  bbAdadcc     0     0     5000  
  bbAcddac     0     0     5000  
  babddcAc     0     0     5000  
  babcdAdc     0     0     5000  
  bbaddcAc     0     0     5000  
  bbaddAcc     0     0     5000  
  bbaddccA     0     0     5000  
  bbAaccdd     0     0     5000  
  bbAccdad     0     0     5000  
  bAbaddcc     0     0     5000  
  bAabddcc     0     0     5000  
  bAabcddc     0     0     5000  
  babccddA     0     0     5000  
  bAbddcac     0     0     5000  
  bAbddacc     0     0     5000  
  bcabAddc     0     0     5000  
  bAbdadcc     0     0     5000  
  bdbdccAa     0     0     5000  
  bAbcddac     0     0     5000  
  baddcbcA     0     0     5000  
  bAbacddc     0     0     5000  
  bbadccAd     0     0     5000  
  babdccAd     0     0     5000  
  bbdccAda     0     0     5000  
  bbAddcca     0     0     5000  
  bAccbdda     0     0     5000  
  bAccdbda     0     0     5000  
  baAddcbc     0     0     5000  
  baAddbcc     0     0     5000  
  bbacddcA     0     0     5000  
  baAcbddc     0     0     5000  
  baAbddcc     0     0     5000  
  bbaccAdd     0     0     5000  
  bbacAcdd     0     0     5000  
  babddAcc     0     0     5000  
  bbaAccdd     0     0     5000  
  babcddAc     0     0     5000  
  babAcddc     0     0     5000  
  bbAccadd     0     0     5000  
  bbAcacdd     0     0     5000  
  bccabAdd     0     0     5000  
  bAccddba     0     0     5000  
  bAccdbad     0     0     5000  
  bAbddcca     0     0     5000  
  bAcbddca     0     0     5000  
  bcddbaAc     0     0     5000  
  bddcAbac     0     0     5000  
  bbdccAad     0     0     5000  
  bddbccAa     0     0     5000  
  bbdadAcc     0     3     4997  
  bdcbcAda     0     4     4996  
  baccAdbd     0     4     4996  
  badbdAcc     0     6     4994  
  bAdabdcc     0     6     4994  
  bbdaccAd     0     8     4992  
  bbacdAdc     0     10     4990  
  bAccadbd     0     10     4990  
  bdbAccda     0     13     4987  
  bbddaAcc     0     14     4986  
  bbcaAddc     0     15     4985  
  bdbccAda     0     15     4985  
  bAadbdcc     0     21     4979  
  bcabddAc     0     22     4978  
  bbddcAac     0     26     4974  
  badbccAd     0     26     4974  
  bbdadcAc     0     28     4972  
  bAdbdacc     0     28     4972  
  bdbcAcda     0     35     4965  
  bAdbadcc     0     40     4960  
  bdAcbcda     0     41     4959  
  bcadbdAc     0     42     4958  
  bbdAcacd     0     49     4951  
  bcaAddbc     0     53     4947  
  bAccbdad     0     54     4946  
  bbdcaAcd     0     62     4938  
  bdbdaAcc     0     70     4930  
  bAcaddbc     0     75     4925  
  baAdbdcc     0     78     4922  
  bcAaddbc     0     78     4922  
  bAacbddc     0     80     4920  
  bacbddAc     0     82     4918  
  bcAcbadd     0     83     4917  
  bcaAcbdd     0     88     4912  
  bcAdadbc     0     89     4911  
  bcdbdaAc     0     90     4910  
  bdadbcAc     0     90     4910  
  bdbdccaA     0     94     4906  
  bAcacbdd     0     96     4904  
  bdbdAcac     0     102     4898  
  bAdadcbc     0     112     4888  
  bdbdcacA     0     113     4887  
  bAcbcdad     0     123     4877  
  bacbdAdc     0     126     4874  
  bccbdAda     0     127     4873  
  bacdbdAc     0     128     4872  
  bdbdcAac     0     129     4871  
  bAaddbcc     0     131     4869  
  bccbdadA     0     136     4864  
  bdbdcaAc     0     139     4861  
  bacbAddc     0     142     4858  
  bAcddbac     0     143     4857  
  bAdbdcac     0     147     4853  
  bbdAdacc     0     148     4852  
  bAacbcdd     0     161     4839  
  bacAbddc     0     167     4833  
  bcbAddca     0     170     4830  
  bacAdbdc     0     187     4813  
  bAccabdd     0     187     4813  
  bbdccaAd     0     189     4811  
  bAcdadbc     0     191     4809  
  bAddacbc     0     193     4807  
  bAdbdcca     0     193     4807  
  bacdAdbc     0     196     4804  
  bAacddbc     0     200     4800  
  bAcbaddc     0     201     4799  
  bdbdacAc     0     204     4796  
  bacAcdbd     0     214     4786  
  bbcddaAc     0     215     4785  
  badbdcAc     0     217     4783  
  bAcadbdc     0     217     4783  
  bAcddabc     0     223     4777  
  bcdAdbac     0     230     4770  
  badbcAcd     0     232     4768  
  bAddbacc     0     234     4766  
  bAcabddc     0     234     4766  
  bacddbAc     0     237     4763  
  bcdabdcA     0     247     4753  
  bccbaddA     0     252     4748  
  bcAddabc     0     252     4748  
  bAccbadd     0     264     4736  
  bbdcAcad     0     264     4736  
  bcbcdAda     0     265     4735  
  bAaddcbc     0     287     4713  
  bAcbddac     0     289     4711  
  bacAcbdd     0     294     4706  
  bbcaddAc     0     296     4704  
  bAcdabdc     0     297     4703  
  bacAddbc     0     302     4698  
  bbddAacc     0     306     4694  
  bccaAbdd     0     311     4689  
  bAddbcac     0     344     4656  
  bAcdbdac     0     351     4649  
  bAcbdadc     0     355     4645  
  bdbccadA     0     374     4626  
  babdcAcd     0     380     4620  
  bAcbcadd     0     465     4535  
  bdcbcdAa     0     473     4527  
  bbddcaAc     0     477     4523  
  bbddacAc     0     505     4495  
  bbcdadAc     0     531     4469  
  bbddAcac     0     533     4467  
  bdbcAdca     0     542     4458  
  bcdabAdc     0     642     4358  
  bbadAdcc     1     49     4950  
  bcdbdAac     1     148     4851  
  bdbdAacc     1     186     4813  
  bAcdbdca     1     269     4730  
  babdAdcc     1     328     4671  
  bbdAdcac     2     320     4678  
  bcdbcAad     2     480     4518  
  bdAdbacc     3     239     4758  
  bcdbdcAa     3     300     4697  
  bdaccbdA     3     593     4404  
  bdcbadAc     4     368     4628  
  bbadcAcd     4     507     4489  
  bdbcAadc     4     544     4452  
  bbaccdAd     5     249     4746  
  bdbcdAca     5     256     4739  
  bAbdcadc     6     455     4539  
  bcbcadAd     6     516     4478  
  bbcdAdac     7     291     4702  
  bdcbdAca     8     189     4803  
  bAadcbcd     8     660     4332  
  bcdbAcda     8     782     4210  
  bAacdbdc     9     357     4634  
  bdAcbadc     9     513     4478  
  bcdAadbc     10     672     4318  
  bdcbdAac     11     370     4619  
  bdAcbdac     11     444     4545  
  bdAadbcc     12     427     4561  
  bAcadcbd     12     560     4428  
  bdAbdcac     13     716     4271  
  bAcdacdb     15     351     4634  
  bAbdcacd     15     608     4377  
  bccdbAda     16     714     4270  
  bdacAbdc     17     467     4516  
  bdAcbdca     17     482     4501  
  bdbcdAac     21     735     4244  
  bdcbcadA     24     907     4069  
  badbcAdc     26     704     4270  
  bbdcAadc     27     1230     3743  
  bAdbcadc     28     1210     3762  
  bdacbcdA     29     1258     3713  
  badbcdAc     30     631     4339  
  bdAbadcc     36     437     4527  
  bcbdcAad     36     1020     3944  
  bdAdbcac     37     676     4287  
  bAdacdbc     38     594     4368  
  bbAdcacd     39     449     4512  
  bAcdbacd     39     930     4031  
  bbdacdAc     42     615     4343  
  bdAbdcca     42     888     4070  
  bbdAcadc     43     351     4606  
  bAacdcbd     43     427     4530  
  bdAadcbc     43     710     4247  
  bacdbAdc     43     1712     3245  
  bdbcadAc     44     646     4310  
  bbAdcadc     48     952     4000  
  bAcbdcad     51     423     4526  
  bdcdbAca     56     642     4302  
  bdccbdAa     58     197     4745  
  bbdcaAdc     58     1443     3499  
  bccdAbda     60     1411     3529  
  bdAacdbc     63     922     4015  
  bAcbdacd     63     1006     3931  
  bAadccbd     65     466     4469  
  bbdAacdc     69     798     4133  
  bbdacAdc     73     827     4100  
  baAdbcdc     75     588     4337  
  bacdbcdA     77     1071     3852  
  bbAcadcd     78     356     4566  
  bdcbaAdc     82     959     3959  
  bAacdbcd     84     601     4315  
  bdcAdbac     85     794     4121  
  bbdAadcc     93     903     4004  
  bcadcbdA     93     1258     3649  
  bAdbacdc     94     1513     3393  
  bdAcadbc     95     521     4384  
  bdcbacdA     100     1654     3246  
  bbdcdaAc     102     1065     3833  
  babdcdAc     103     672     4225  
  bAdcbadc     104     1651     3245  
  bbdAcdac     106     586     4308  
  bbacAdcd     108     461     4431  
  bbcdaAdc     109     1616     3275  
  bAdcabdc     110     1522     3368  
  bdAbacdc     112     698     4190  
  bcabdcAd     117     822     4061  
  bdbcdcAa     122     944     3934  
  bbacdcAd     127     366     4507  
  bdcdbAac     128     626     4246  
  bAcdcbda     129     1100     3771  
  bdcbAadc     131     1077     3792  
  bAadbcdc     136     1378     3486  
  bdaAbdcc     141     816     4043  
  bcdcAdba     143     503     4354  
  bcdcbAda     145     1497     3358  
  bcbdcAda     146     721     4133  
  bdbcacdA     147     972     3881  
  bbAdacdc     148     975     3877  
  bbdcadAc     150     600     4250  
  bdbccdAa     154     892     3954  
  bdcdbcAa     167     166     4667  
  bAdacbdc     167     1222     3611  
  bcbdacdA     170     1116     3714  
  bbdaAcdc     177     920     3903  
  bdcAbadc     178     628     4194  
  bdAcdabc     182     770     4048  
  bdbcadcA     188     1126     3686  
  bAcdbcad     192     985     3823  
  bcAbadcd     201     243     4556  
  bbadAcdc     205     269     4526  
  bAdcbdac     205     1569     3226  
  bcdcAbda     216     1274     3510  
  bdabAdcc     219     1094     3687  
  babdcAdc     228     1206     3566  
  bbdcdAac     236     1246     3518  
  bAcbadcd     244     905     3851  
  bdcbdcAa     263     628     4109  
  bbacdAcd     269     1087     3644  
  bbAdaccd     278     1545     3177  
  bcbAadcd     283     890     3827  
  bbdaAdcc     288     784     3928  
  bbadcdAc     320     532     4148  
  bbAacdcd     329     951     3720  
  bbdcAdac     337     1365     3298  
  bAbdcdac     363     770     3867  
  bAbdacdc     441     897     3662  
  bbAadccd     484     1450     3066  
  bdbAdcca     505     1207     3288  
  bbAcdcad     508     451     4041  
  bbaAcdcd     514     235     4251  
  babdcdcA     523     268     4209  
  bdbacdcA     529     1225     3246  
  bAdcdbac     563     1389     3048  
  bdcdAbac     567     877     3556  
  bbadcAdc     579     1072     3349  
  bAbdccad     588     1411     3001  
  bbAcdcda     624     148     4228  
  bbAadcdc     626     1204     3170  
  bcbadcdA     633     1052     3315  
  bAbadcdc     656     770     3574  
  bAbdccda     705     1530     2765  
  baAdcdbc     769     570     3661  
  bbAdccad     831     593     3576  
  bcdcdbAa     838     1124     3038  
  bbAdcdac     854     831     3315  
  bAabdcdc     861     588     3551  
  bAbacdcd     926     1154     2920  
  bdccdbAa     1021     1266     2713  
  bdccdAba     1024     254     3722  
  bbaAdccd     1060     131     3809  
  bbAdccda     1080     193     3727  
  babAdcdc     1793     271     2936  
  bbacdcdA     1799     251     2950  
  bbaAdcdc     1834     134     3032  
Projections
VarietyProblem#
Fl(2;6) (W)2(W)2 2

Key
Condition Name Symbol Codimension
 13254   A13254   A   2 
 13245   W   a   1 
 15234   W   b   3 
 12354   Y   c   1 
 12346   Z   d   1 
Point Selection

Total time of computation: 383 162.25 GHz-seconds or 4.43 GHz-days on rcf1537-9
1 590 000 Polynomial systems solved
The coefficients of a typical eliminant had 174 digits.
The typical eliminant had size 889 bytes.
This table automatically generated from the data in This File using This Maple Script
Created: Fri Jul 15 15:52:58 CDT 2005