resolution -- projective resolution

Ways to use resolution:

• resolution(Ideal) -- compute a projective resolution of (the quotient ring corresponding to) an ideal
• resolution(Matrix) -- given a module map represented by a matrix, produce a comparison map between resolutions of its source and target
• resolution(Module) -- compute a free resolution of a module

For the programmer

The object resolution is a method function with options.