Top
Back: ivDHilbertSickle
Forward: ivHilbert
FastBack: dmodvar_lib
FastForward: freegb_lib
Up: fpadim_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document
7.7.6.0. ivDimCheck
Procedure from library fpadim.lib (see fpadim_lib).

Usage:
ivDimCheck(L,n); L a list of intmats, n an integer

Return:
int, 0 if the dimension is finite, or 1 otherwise

Purpose:
Decides, whether the K-dimension is finite or not

Assume:
- basering is a Letterplace ring
- All rows of each intmat correspond to a Letterplace monomial
For the encoding of the variables see the overview.

Note:
- n is the number of variables

Example:
 


Top Back: ivDHilbertSickle Forward: ivHilbert FastBack: dmodvar_lib FastForward: freegb_lib Up: fpadim_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.