|
D.4.7.4 depth
Procedure from library homolog.lib (see homolog_lib).
- Usage:
- depth(M,[I]); M module, I ideal
- Return:
- int,
- if called with 1 argument: the depth of M'=coker(M) w.r.t. the
maxideal in the basering (which is then assumed to be local)
- if called with 2 arguments: the depth of M'=coker(M) w.r.t. the
ideal I.
- Note:
- procedure makes use of KoszulHomology.
Example:
|