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

Synopsis

Usage:

isHolonomic M

isHolonomic I
Inputs:
- M, a module, over the Weyl algebra D
- I, an ideal, which represents the module M = D/I
Outputs:
- a Boolean value,

Description

Let $D$ be the Weyl algebra with generators $x_1,\dots,x_n$ and $\partial_1,\dots,\partial_n$. over a field. A $D$-module is holonomic if it has dimension $n$. For more details see [SST, Section 1.4].

i1 : D = makeWA(QQ[x_1..x_3])

o1 = D

o1 : PolynomialRing, 3 differential variable(s)

i2 : A = matrix{{1,1,1},{0,1,2}}

o2 = | 1 1 1 |
     | 0 1 2 |

              2       3
o2 : Matrix ZZ  <-- ZZ

i3 : b = {3,4}

o3 = {3, 4}

o3 : List

Ways to use isHolonomic :

isHolonomic(Ideal)
isHolonomic(Module)

For the programmer

The object isHolonomic is a method function.

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

Synopsis

Description

See also

Ways to use isHolonomic :

For the programmer