AHHResolution -- Aramova-Herzog-Hibi minimal free resolution of a squarefree-stable ideal

• Usage:

  AHHResolution I

• Inputs:
  • I, a monomial ideal, that is squarefree stable
• Outputs:
  • a chain complex, the Aramova-Herzog-Hibi resolution of S/I

i1 : R = QQ[x,y,z]

o1 = R

o1 : PolynomialRing

i2 : I = monomialIdeal(x*y, x*z, y*z)

o2 = monomialIdeal (x*y, x*z, y*z)

o2 : MonomialIdeal of R

i3 : AHHR = AHHResolution I

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

o3 : Complex

i4 : betti AHHR == betti res I

o4 = true

i5 : isResolution(AHHR, I)

o5 = true