Home Online Manual
Top
Back: isFsat
Forward: appelF2
FastBack:
FastForward:
Up: dmodapp_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document
7.5.5.0. appelF1
Procedure from library dmodapp.lib (see dmodapp_lib).

Usage:
appelF1();

Return:
ring (a parametric Weyl algebra) containing an ideal 'IAppel1'

Purpose:
defines the ideal in a parametric Weyl algebra,
which annihilates Appel F1 hypergeometric function

Note:
The output ring is a parametric Weyl algebra. It contains an ideal
'IAappel1' annihilating Appel F1 hypergeometric function.
See (SST) p. 48.

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