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