Top
Back: integralModule
Forward: deRhamCohomIdeal
FastBack: dmod_lib
FastForward: dmodvar_lib
Up: dmodapp_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document
7.7.4.0. deRhamCohom
Procedure from library dmodapp.lib (see dmodapp_lib).

Usage:
deRhamCohom(f[,eng,m]); f poly, eng and m optional ints

Return:
ring (a Weyl Algebra) containing an ideal 'DR'

Assume:
Basering is a commutative and over a field of characteristic 0.

Purpose:
computes a basis of the n-th de Rham cohomology group of the complement
of the hypersurface defined by f, where n denotes the number of
variables of the basering

Note:
The output ring is the n-th Weyl algebra. It contains an ideal 'DR'
being a basis of the n-th de Rham cohomology group of the complement of
the hypersurface defined by f.
If eng<>0, std is used for Groebner basis computations,
otherwise, and by default, slimgb is used.
If m is given, it is assumed to be less than or equal to the minimal
integer root of the Bernstein-Sato polynomial of f. This assumption is
not checked. If not specified, m is set to the minimal integer root of
the Bernstein-Sato polynomial of f.

Theory:
(SST) pp. 232-235

Display:
If printlevel=1, progress debug messages will be printed,
if printlevel>=2, all the debug messages will be printed.

Example:
 
LIB "dmodapp.lib";
ring r = 0,(x,y,z),dp;
poly f = x^3+y^3+z^3;
def A = deRhamCohom(f); // we see that the K-dim is 2
setring A;
DR;
==> DR[1]=-x^3*Dx*Dy*Dz
==> DR[2]=-x*y*z*Dx*Dy*Dz
See also: deRhamCohomIdeal.


Top Back: integralModule Forward: deRhamCohomIdeal FastBack: dmod_lib FastForward: dmodvar_lib Up: dmodapp_lib Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 3-1-2, Oct 2010, generated by texi2html.