eagonResolution -- computes a resolution of the residue field

• Usage:

  F = eagonResolution(R,n)

  F = eagonResolution E

• Inputs:
  • R, a ring, factor ring of a polynomial ring
  • n, an integer, number of maps to compute
  • E, an instance of the type EagonData, computed by eagon(R,n)
• Outputs:
  • F, a complex, possibly non-minimal R-free resolution of R/(ideal vars R)

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

o1 = S

o1 : PolynomialRing

i2 : I = ideal(a,b,c)*ideal(b,c)

                       2             2
o2 = ideal (a*b, a*c, b , b*c, b*c, c )

o2 : Ideal of S

i3 : R = S/I

o3 = R

o3 : QuotientRing

i4 : eagonResolution(R,5)

      1      3      8      22      60      164
o4 = R  <-- R  <-- R  <-- R   <-- R   <-- R
                                           
     0      1      2      3       4       5

o4 : Complex