Top
Back: D.4.3.16 kontrahom
Forward: D.4.3.18 tensorMod
FastBack: Appendix D SINGULAR libraries
FastForward: E Release Notes
Up: D.4.3 homolog_lib
Top: 1 Preface
Contents: Table of Contents
Index: F Index
About: About This Document

D.4.3.17 KoszulHomology

Procedure from library homolog.lib (see section 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 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:

LIB "homolog.lib";
ring R=0,x(1..3),dp;
ideal x=maxideal(1);
module M=0;
KoszulHomology(x,M,0);  // H_0(x,R), x=(x_1,x_2,x_3)
→ _[1]=x(3)*gen(1)
→ _[2]=x(2)*gen(1)
→ _[3]=x(1)*gen(1)
KoszulHomology(x,M,1);  // H_1(x,R), x=(x_1,x_2,x_3)
→ _[1]=0
qring S=std(x(1)*x(2));
module M=0;
ideal x=maxideal(1);
KoszulHomology(x,M,1);
→ _[1]=-x(3)*gen(1)
→ _[2]=-x(2)*gen(1)
→ _[3]=-x(1)*gen(1)
KoszulHomology(x,M,2);
→ _[1]=0

Top Back: D.4.3.16 kontrahom Forward: D.4.3.18 tensorMod FastBack: Appendix D SINGULAR libraries FastForward: E Release Notes Up: D.4.3 homolog_lib Top: 1 Preface Contents: Table of Contents Index: F Index About: About This Document
            User manual for Singular version 2-0-4, October 2002, generated by texinfo.