next | previous | forward | backward | up | top | index | toc | Macaulay2 website
Macaulay2Doc :: koszul(Matrix)

koszul(Matrix) -- the Koszul complex

Synopsis

Description

i1 : R = QQ[x_1..x_4];
i2 : f = matrix{{x_1..x_4}}

o2 = | x_1 x_2 x_3 x_4 |

             1       4
o2 : Matrix R  <--- R
i3 : C = koszul f

      1      4      6      4      1
o3 = R  <-- R  <-- R  <-- R  <-- R
                                  
     0      1      2      3      4

o3 : ChainComplex
i4 : C.dd^2

          1         6
o4 = 0 : R  <----- R  : 2
               0

          4         4
     1 : R  <----- R  : 3
               0

          6         1
     2 : R  <----- R  : 4
               0

o4 : ChainComplexMap

See also