Home Online Manual
Top
Back: teach_lpKDimCheck
Forward: teach_lpKDim
FastBack:
FastForward:
Up: fpadim_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

7.10.1.2 lpKDim

Procedure from library fpadim.lib (see fpadim_lib).

Usage:
lpKDim(G); G an ideal in a letterplace ring

Return:
int

Purpose:
Computes the K-dimension of A/<G>
-1 means infinity

Assume:
- basering is a Letterplace ring
- G is a Groebner basis

Note:
- Alias for vdim(G)