Top
Back: kontrahom
Forward: tensorMod
FastBack: grwalk_lib
FastForward: integralbasis_lib
Up: homolog_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

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:
 


Top Back: kontrahom Forward: tensorMod FastBack: grwalk_lib FastForward: integralbasis_lib Up: homolog_lib Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 3-1-6, Dec 2012, generated by texi2html.