CoherentSheaf -- the class of all coherent sheaves

CoherentSheaf -- the class of all coherent sheaves

The type CoherentSheaf is a member of the class Type. Each object of class CoherentSheaf is called a coherent sheaf. Each coherent sheaf is also a member of class MutableHashTable.

Making a coherent sheaf :

CoherentSheaf ** CoherentSheaf -- tensor product of coherent sheaves

CoherentSheaf ++ CoherentSheaf -- direct sum of coherent sheaves

CoherentSheaf / CoherentSheaf -- quotient of coherent sheaves

CoherentSheaf ZZ -- canonical twist of a coherent sheaf

Module ~ -- make a coherent sheaf

Ring ~ -- make the structure sheaf

cotangentSheaf ProjectiveVariety -- make the cotangent sheaf

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

exteriorPower(ZZ,CoherentSheaf) -- exterior power

sheaf -- make a coherent sheaf

sheaf Module -- make a coherent sheaf

sheaf Ring -- make the structure sheaf

Methods for using a coherent sheaf :

HH^ZZ CoherentSheaf -- coherent sheaf cohomology

annihilator CoherentSheaf

codim CoherentSheaf -- codimension of support

degrees CoherentSheaf -- get degrees of basis elements

expression CoherentSheaf

module CoherentSheaf -- get the module defining a coherent sheaf

net CoherentSheaf

rank CoherentSheaf -- the rank of a coherent sheaf

ring CoherentSheaf -- get the coordinate ring under a sheaf

variety CoherentSheaf -- get the variety under a sheaf