|
7.7.4.0. appelF1
Procedure from library dmodapp.lib (see dmodapp_lib).
- Usage:
- appelF1();
- Return:
- ring (and exports an ideal into it)
- Purpose:
- define the ideal in a parametric Weyl algebra,
which annihilates Appel F1 hypergeometric function
- Note:
- the ideal called IAppel1 is exported to the output ring
Example:
| LIB "dmodapp.lib";
def A = appelF1();
setring A;
IAppel1;
==> IAppel1[1]=-x^3*Dx^2+x^2*Dx^2-x^2*y*Dx*Dy+x*y*Dx*Dy+(-a-b-1)*x^2*Dx+(c)*x\
*Dx+(-b)*x*y*Dy+(-a*b)*x
==> IAppel1[2]=-x*y^2*Dx*Dy+x*y*Dx*Dy-y^3*Dy^2+y^2*Dy^2+(-d)*x*y*Dx+(-a-d-1)*\
y^2*Dy+(c)*y*Dy+(-a*d)*y
==> IAppel1[3]=x*Dx*Dy-y*Dx*Dy+(-d)*Dx+(b)*Dy
|
|