Top
Back: derham_lib
Forward: MVComplex
FastBack: symodstd_lib
FastForward: Release Notes
Up: derham_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.15.20.1 deRhamCohomology

Procedure from library derham.lib (see derham_lib).

Usage:
deRhamCohomology(L[,choices]); L a list consisting of polynomials, choices optional list consisting of one up to three strings
The optional strings may be one of the strings
-'Vdres': compute the Cartan-Eilenberg resolutions via V_d-homogenization and without using Schreyer's method
-'Sres': compute the Cartan-Eilenberg resolutions in the homogenized Weyl algebra using Schreyer's method
one of the strings
-'iterativeloc': compute localizations by factorizing the polynomials and sucessive localization of the factors
-'no iterativeloc': compute localizations by directly localizing the product
and one of the strings
-'onlybounds': computes bounds for the minimal and maximal interger roots of the global b-function
-'exactroots' computes the minimal and maximal integer root of the global b-function
The default is 'Sres', 'iterativeloc' and 'onlybounds'.

Assume:
-The basering must be a polynomial ring over the field of rational numbers

Return:
list, where the ith entry is the (i-1)st de Rham cohomology group of the complement of the complex affine variety given by the polynomials in L

Example:
 
LIB "derham.lib";
ring r = 0,(x,y,z),dp;
list L=(xy,xz);
deRhamCohomology(L);


Top Back: derham_lib Forward: MVComplex FastBack: symodstd_lib FastForward: Release Notes Up: derham_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.