koszul(ZZ,Matrix) -- a differential in a Koszul complex

koszul(ZZ,Matrix) -- a differential in a Koszul complex

Synopsis:

Usage: g = koszul(i,f)

Function: koszul -- a differential in a Koszul complex

Input:

i, an instance of class ZZ.

f, an instance of class Matrix.

Output:

g, an instance of class Matrix: the i-th differential in the Koszul complex of the map f.

Here f should be a 1 by n matrix.

Code:

     -- ../../../Macaulay2/m2/multilin.m2:3-5
     koszul(ZZ, Matrix) := Matrix => (i,m) -> (
          sendgg(ggPush m, ggINT, gg i, ggkoszul);
          getMatrix ring m)