next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
Dmodules :: isHolonomic

isHolonomic -- determines whether a D-module (or ideal in Weyl algebra) is holonomic

Synopsis

Description

A module is holonomic if it has dimension n, the number of variables in the Weyl algebra D = C<x1,...,xn,d1,...,dn>
i1 : A = matrix{{1,1,1},{0,1,2}}

o1 = | 1 1 1 |
     | 0 1 2 |

              2        3
o1 : Matrix ZZ  <--- ZZ
i2 : b = {3,4}

o2 = {3, 4}

o2 : List
i3 : I = gkz(A,b)

             2
o3 = ideal (D  - D D , x D  + x D  + x D  - 3, x D  + 2x D  - 4)
             2    1 3   1 1    2 2    3 3       2 2     3 3

o3 : Ideal of QQ[x , x , x , D , D , D ]
                  1   2   3   1   2   3
i4 : isHolonomic I                   

o4 = true

See also

Ways to use isHolonomic :