|
7.7.9.0. GKdim
Procedure from library gkdim.lib (see gkdim_lib).
- Usage:
- GKdim(L); L is a left ideal/module/matrix
- Return:
- int
- Purpose:
- compute the Gelfand-Kirillov dimension of the factor-module, whose presentation is given by L, e.g. R^r/L
- Note:
- if the factor-module is zero, -1 is returned
Example:
|