cotangentSheaf(ZZ,ProjectiveVariety) -- make an exterior power of the cotangent sheaf

cotangentSheaf(ZZ,ProjectiveVariety) -- make an exterior power of the cotangent sheaf

Synopsis:

Function: cotangentSheaf -- cotangent sheaf of a variety

Input:

an instance of class ZZ.

an instance of class ProjectiveVariety.

Output:

an instance of class CoherentSheaf.

cotangentSheaf(p,X) -- calculate the p-th exterior power of the cotangent sheaf of a variety X.

Code:

     -- ../../../Macaulay2/m2/varieties.m2:242-245
     cotangentSheaf(ZZ,ProjectiveVariety) := CoherentSheaf => (i,X) -> (
          if X#?(cotangentSheaf,i)
          then X#(cotangentSheaf,i) 
          else X#(cotangentSheaf,i) = prune exteriorPower(i,cotangentSheaf X))