koszulComplex -- Gives the Koszul complex on the generators of I.

Synopsis

• Usage:

  koszulComplex(I)

• Inputs:
  • I,
• Optional inputs:
  • LengthLimit => ..., default value 0, How many steps to compute
• Outputs:
  • ChainComplex

Description

i1 : R = ZZ/101[a,b,c]

o1 = R

o1 : PolynomialRing

i2 : K = koszulComplex(ideal vars R)

      1      3      3      1
o2 = R  <-- R  <-- R  <-- R
                           
     0      1      2      3

o2 : ChainComplex