|
D.4.7.18 KoszulHomology
Procedure from library homolog.lib (see homolog_lib).
- Compute:
- A presentation of the p-th Koszul homology module H_p(f_1,...,f_k;M'),
where M'=coker(M) and f_1,...,f_k are the given (ordered list
of non-zero) generators of the ideal I.
The computed presentation is minimized via prune.
In particular, if H_p(f_1,...,f_k;M')=0 then the return value is 0.
- Return:
- module H, s.th. coker(H) = H_p(f_1,...,f_k;M').
- Note:
- size of input ideal has to be <= 20.
Example:
|