Top
Back: reiffen
Forward: convloc
FastBack: central_lib
FastForward: dmodapp_lib
Up: dmod_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document
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:
 


Top Back: reiffen Forward: convloc FastBack: central_lib FastForward: dmodapp_lib Up: dmod_lib Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 3-1-6, Dec 2012, generated by texi2html.