Ddim -- dimension of a D-module

Synopsis

• Usage:

  Ddim M, Ddim I

• Inputs:

  • M, a module, over the Weyl algebra D
  • I, an ideal, which represents the module M = D/I
• Outputs:

  • an integer, the dimension of M

Description

i1 : W = QQ[x,y,Dx,Dy, WeylAlgebra => {x=>Dx,y=>Dy}]

o1 = W

o1 : PolynomialRing

i2 : I = ideal (x*Dx+2*y*Dy-3, Dx^2-Dy) 

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

o2 : Ideal of W

i3 : Ddim I

o3 = 2

See also

• charIdeal -- characteristic ideal of a D-module
• holonomicRank -- rank of a D-module
• singLocus -- singular locus of a D-module