pdim(CoherentSheaf) -- calculate the projective dimension

Synopsis

• Function: pdim

• Usage:

  pdim S

• Inputs:
  • S, a coherent sheaf
• Outputs:
  • an integer, the projective dimension

Description

i1 : V = Proj(ZZ/101[x_0..x_2]);

i2 : S = sheaf(image matrix {{x_0^3+x_1^3+x_2^3}})

o2 = image | x_0^3+x_1^3+x_2^3 |

                                         1
o2 : coherent sheaf on V, subsheaf of OO
                                        V

i3 : pdim S

o3 = 0