next | previous | forward | backward | up | top | index | toc | home

pdim -- calculate the projective dimension

Synopsis

Usage:
pdim M
Outputs:
- an integer

Caveat

For now, the method is to measure the length of a projective resolution.

Ways to use `pdim` :

pdim(CoherentSheaf) -- calculate the projective dimension
pdim(Module) -- calculate the projective dimension of a module