D.5.18 sheafcoh_lib

Library:

sheafcoh.lib

Purpose:

Procedures for Computing Sheaf Cohomology

Authors:

Wolfram Decker, decker@mathematik.uni-kl.de
Christoph Lossen, lossen@mathematik.uni-kl.de
Gerhard Pfister, pfister@mathematik.uni-kl.de
Oleksandr Motsak, U@D, where U={motsak}, D={mathematik.uni-kl.de}

Procedures:

D.5.18.1 truncate		truncation of coker(phi) at d
D.5.18.2 truncateFast		truncation of coker(phi) at d (fast+ experimental)
D.5.18.3 CM_regularity		Castelnuovo-Mumford regularity of coker(M)
D.5.18.4 sheafCohBGG		cohomology of sheaf associated to coker(M)
D.5.18.5 sheafCohBGG2		cohomology of sheaf associated to coker(M), experimental version
D.5.18.6 sheafCoh		cohomology of sheaf associated to coker(M)
D.5.18.7 dimH		compute h^i(F(d)), F sheaf associated to coker(M)
D.5.18.8 dimGradedPart
D.5.18.9 displayCohom		display intmat as Betti diagram (with zero rows)