|
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)
|