Computing Homomorphisms Between Holonomi
β
Harrison Tsai; Uli Walther
π
Article
π
2001
π
Elsevier Science
π
English
β 390 KB
Let K β C be a subfield of the complex numbers, and let D be the ring of K-linear differential operators on R = K[x 1 , . . . , xn]. If M and N are holonomic left D-modules we present an algorithm that computes explicit generators for the finite dimensional vector space Hom D (M, N ). This enables u