The Laurent polynomials in the above two theorems are respectively called the Dyson product
and the q -Dyson product
and denoted by D n ( x , a )
and D n ( x , a , q ) respectively, where x := ( x 0 , . . . , x n )
and a := ( a 0 , . . . , a n ).
The Zeilberger-Bresso[r]