-- -*- M2-comint -*- {* hash: -426625292 *}

i1 : I = AppellF1({1,0,-3,2})

               3  2    2           2  2                 2             
o1 = ideal (- x Dx  - x y*Dx*Dy + x Dx  + x*y*Dx*Dy - 2x Dx + 2x*Dx, -
     ------------------------------------------------------------------------
        2         3  2                2  2              2
     x*y Dx*Dy - y Dy  + x*y*Dx*Dy + y Dy  + 3x*y*Dx + y Dy + 2y*Dy + 3y,
     ------------------------------------------------------------------------
     x*Dx*Dy - y*Dx*Dy + 3Dx)

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

i2 : Ddual I

o2 = cokernel | 0  xDy-yDy-4 x2Dx+y2Dy-xDx-yDy+x+4y y2DxDy+y2Dy^2-yDxDy-yDy^2+4xDx+4yDx+5yDy-4Dx+4 0                           |
              | Dx -yDy-1    0                      0                                              y3Dy^2-y2Dy^2+7y2Dy-2yDy+5y |

                                                            2
o2 : QQ[x, y, Dx, Dy]-module, quotient of (QQ[x, y, Dx, Dy])

i3 :