|
7.7.3.0. isHolonomic
Procedure from library dmod.lib (see dmod_lib).
- Usage:
- isHolonomic(M); M an ideal/module/matrix
- Return:
- int, 1 if M is holonomic over the base ring, and 0 otherwise
- Assume:
- basering is a Weyl algebra in characteristic 0
- Purpose:
- check whether M is holonomic over the base ring
- Note:
- M is holonomic if 2*dim(M) = dim(R), where R is the
base ring; dim stands for Gelfand-Kirillov dimension
Example:
|