|
 |
 |
 |
 |
 |
 |
 |
 |
 |
7.10.1.2 lpKDim
Procedure from libraryfpadim.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)