-- Week of Jan 14, 2013
-- Math 615, Daniel Erman
-- Computations related to the Koszul complex

S = ZZ[x_1..x_4]
koszul(x_1)
viewHelp koszul


matrix{{x_1}}
K = koszul(matrix{{x_1}})
-- the free modules
K_0
K_1
K_(-1)
-- the differentials
K.dd_1
viewHelp ChainComplex


matrix{{x_1,x_2,x_3}}
K = koszul(matrix{{x_1,x_2,x_3}})
K.dd_1
K.dd_2
K.dd_3

matrix{{x_1,x_2,x_3,x_4}}
K = koszul(matrix{{x_1,x_2,x_3,x_4}})
K.dd_1
K.dd_2
K.dd_3
K.dd_4