NewZeil.m

Sharp upper bounds for the orders of the recurrences output by the Zeilberger and $q$-Zeilberger algorithms We do what the title promises, and as a bonus, we get much simplified versions of these algorithms, that do not make any explicit mention of Gosper’s algorithm.