AHH -- n-th map in the Aramova-Herzog-Hibi resolution

• Usage:

  AHH(n, I)

• Inputs:
  • n, an integer,
  • I, a monomial ideal,
• Outputs:
  • a matrix, representing the n-th differential of the Aramova-Herzog-Hibi resolution

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 : AHH(0, I)

o3 = | xy xz yz |

             1      3
o3 : Matrix R  <-- R

i4 : AHH(2, I)

o4 = 0

             2
o4 : Matrix R  <-- 0