pdim M -- calculate the projective dimension of a module M.
For now, the method is to measure the length of a projective resolution.
Class of returned value: ZZ -- the class of all integersWays to use pdim :
![[top]](top.gif)
![[index]](index.gif)