[Abstract] F.G. Garvan and G.H. Gonnet; A proof of the two parameter $q$-cases of the Macdonald-Morris constant term root system conjecture for $S(F_4)$ and $S(F_4)^{\vee}$ via Zeilberger's method, J. Symbolic Comput., 14 (1992), 141-177.


Abstract: Doron Zeilberger has described a method for settling the $q$-case of the Macdonald-Morris root system constant term conjecture for any {\it specific} root system provided there is sufficient computer time, memory space and some luck. He illustrated the method by proving the $S(G_2)^{\vee}$ case. His method involves finding and solving a linear system of equations. We remove the element of luck by showing that it is always possible to construct a triangular system. We apply the method to the so far open $S(F_4)$ and $S(F_4)^{\vee}$ cases. A consequence of our triangularity result is that, in the equal parameter case, the Macdonald-Morris constant terms (for a fixed root system) form a $q$-hypergeometric sequence.