|
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.
|