(resolution,Ideal)
resolution I
-- produces a projective resolution of the module
R/I
if
I
is an ideal in the ring
R
.
See also
resolution
.