Home Online Manual
Top
Back: getState
Forward: deRhamCohomology
FastBack: tasks_lib
FastForward: schreyer_lib
Up: Experimental libraries
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.15.21 derham_lib

Library:
derham.lib
Purpose:
Computation of deRham cohomology

Authors:
Cornelia Rottner, [email protected]

Overview:
A library for computing the de Rham cohomology of complements of complex affine varieties.

References:
[OT] Oaku, T.; Takayama, N.: Algorithms of D-modules - restriction, tensor product, localzation, and local cohomology groups}, J. Pure Appl. Algebra 156, 267-308 (2001)
[R] Rottner, C.: Computing de Rham Cohomology,diploma thesis (2012) [W1] Walther, U.: Algorithmic computation of local cohomology modules and the local cohomological dimension of algebraic varieties}, J. Pure Appl. Algebra 139, 303-321 (1999)
[W2] Walther, U.: Algorithmic computation of de Rham Cohomology of Complements of Complex Affine Varieties}, J. Symbolic Computation 29, 796-839 (2000) [W3] Walther, U.: Computing the cup product structure for complements of complex affine varieties, J. Pure Appl. Algebra 164, 247-273 (2001)

Procedures:

D.15.21.1 deRhamCohomology  computes the de Rham cohomology
D.15.21.2 MVComplex  computes the Mayer-Vietoris complex