Resolution
Resolution -- the class of all resolution computations, as well
as the key used in a ChainComplex to store the resolution it
comes from.
These resolutions are internal engine objects not meant to be examined
by the user.
Functions dealing with resolutions:
