|
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);
|
|