g = koszul f
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