Top
Back: sheafCoh
Forward: dimGradedPart
FastBack: reszeta_lib
FastForward: Singularities
Up: sheafcoh_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.5.7.7 dimH

Procedure from library sheafcoh.lib (see sheafcoh_lib).

Usage:
dimH(i,M,d); M module, i,d int

Assume:
M is graded, and it comes assigned with an admissible degree vector as an attribute, h>=l, and the basering S has n+1 variables.

Return:
int, vector space dimension of for F the coherent sheaf on P^n associated to coker(M).

Note:
The procedure is based on local duality as described in [Eisenbud: Computing cohomology. In Vasconcelos: Computational methods in commutative algebra and algebraic geometry. Springer (1998)].

Example:
 
See also: sheafCoh; sheafCohBGG.


Top Back: sheafCoh Forward: dimGradedPart FastBack: reszeta_lib FastForward: Singularities Up: sheafcoh_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.