# eagonResolution -- computes a resolution of the residue field

## Synopsis

• 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, , possibly non-minimal R-free resolution of R/(ideal vars R)

## Description

computes the Eagon resolution

 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 : ChainComplex