Top
Back: deRhamCohomology
Forward: convex geometry
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.2 MVComplex

Procedure from library derham.lib (see derham_lib).

Usage:
MVComplex(L); L a list of polynomials

Assume:
-Basering is a polynomial ring with n vwariables and rational coefficients -L is a list of non-constant polynomials

Return:
ring W: the nth Weyl algebra
W contains a list MV, which represents the Mayer-Vietrois complex (C^i,d^i) of the polynomials contained in L as follows:
the C^i are given by D_n^ncols(C[2*i-1])/im(C[2*i-1]) and the differentials d^i are given by C[2*i]

Example:
 
LIB "derham.lib";
ring r = 0,(x,y,z),dp;
list L=xy,xz;
def C=MVComplex(L);
setring C;
MV;


Top Back: deRhamCohomology Forward: convex geometry 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.