-- -*- M2-comint -*- {* hash: 2080773075 *} 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 i5 :