pdim
pdim M
-- calculate the projective dimension of a module M.
For now, the method is to measure the length of a projective resolution.
