next | previous | forward | backward | up | top | index | toc | home

AppellF1(List) -- Appell F1 system of PDE's

Synopsis

Usage:
AppellF1 {a0,a1,a2,a3}
Function: AppellF1
Inputs:
- a list, {a0,a1,a2,a3}
Outputs:
- an ideal, which represents Appell F1 system of PDE's associated to the parameters a0, a1, a2, and a3.
Optional inputs:
- Vars => ...,

Description

i1 : w = {1,4/5,-2,3/2}

         4      3
o1 = {1, -, -2, -}
         5      2

o1 : List

i2 : I = AppellF1 w

               3  2    2           2  2               14  2     4         
o2 = ideal (- x Dx  - x y*Dx*Dy + x Dx  + x*y*Dx*Dy - --*x Dx - -*x*y*Dy +
                                                       5        5         
     ------------------------------------------------------------------------
     3        4         2         3  2                2  2             3     
     -*x*Dx - -*x, - x*y Dx*Dy - y Dy  + x*y*Dx*Dy + y Dy  + 2x*y*Dx + -*y*Dy
     2        5                                                        2     
     ------------------------------------------------------------------------
                                     4
     + 2y, x*Dx*Dy - y*Dx*Dy + 2Dx + -*Dy)
                                     5

o2 : Ideal of QQ [x, y, Dx, Dy]

Caveat

AppellF1 always returns a different ring and will use variables x and y. Input should be a List of 4 numbers.

See also

gkz -- GKZ A-hypergeometric ideal