TILDE SciMax Toolbox _

SciMax Toolbox >> Zeilberger

Zeilberger

Maxima Function

Calling Sequence

Zeilberger (F_{n,k}, k, n)

Description

Attempts to compute the indefinite hypergeometric summation of F_{n,k}.

Zeilberger first invokes Gosper, and if that fails to find a solution, then invokes parGosper with order 1, 2, 3, ..., up to MAX_ORD. If Zeilberger finds a solution before reaching MAX_ORD, it stops and returns the solution.

The algorithms yields a sequence [s_1, s_2, ..., s_m] of solutions. Each solution has the form

[R(n,k), [a_0, a_1, ..., a_d]]

Zeilberger returns [] if it fails to find a solution.

Zeilberger invokes Gosper only if gosper_in_zeilberger is true.

TILDE SciMax Toolbox _