maple - 無効な入力: qMulZeil は欠落している 6 番目の引数 N を使用します

Question

解決方法がわからない

RE1 := sumtoolshyperrecursion; rsolve(RE1);
次に、qMulZeil get エラーを使用するように変更します。既に N があり、エラーが発生しました

Hahn := hyperterm([-n,n+a+b-1,-x],[a,-N],1,k); qMulZeil(Hahn,[a,b],n,N,{});

Hahn := hyperterm([-n, n+a+b-1, -x], [a, -N], 1, k); qMulZeil(Hahn, [i, j], n, N, {});

pochhammer(-n, k) pochhammer(n + a + b - 1, k) pochhammer(-x, k)
```
    pochhammer(a, k) pochhammer(-N, k) factorial(k)         
```
エラー、無効な入力: qMulZeil は欠落している 6 番目の引数 N を使用します
デモhttp://www.math.rutgers.edu/~zeilberg/multiZ/qmZ/inqmZ1を試した後、エラーも発生します

qMulZeil(qfac(n)/qfac(i)/qfac(j)/qfac(nij),q^i+q^j,binomial(i,2)+binomial(j,2),[i,j], n、N、{});

qMulZeil(qfac(n)/(qfac(i)*qfac(j)*qfac(nij)), q^i+q^j, 二項(i, 2)+二項(j, 2), [i, j ]、n、N、{}); 不正な入力 FAIL[1]、[FAIL[2][1]、FAIL[2][2]]

score 0 · Accepted Answer

おそらく、サードパーティのパッケージ qMultiZeilberger を使用していると思われます。qMulZeil の手順は here のように定義されています。

しかし、そのプロシージャは 7 つの引数を指定し、コード呼び出しは 5 つしか渡しません。したがって、エラーメッセージは、最初 (6 番目) の欠落している引数について不平を言っています。

これは純正メープルの一部ではありません。そのサードパーティの手順がどのように機能するかを理解している場合は、さらに 2 つの (適切な) 引数を渡してみてください。

pochhammer(-n, k) pochhammer(n + a + b - 1, k) pochhammer(-x, k)