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 HashTable.

More general types (whose methods may also apply) :

HashTable -- the class of all hash tables

Functions and methods returning a a coherent sheaf :

ambient CoherentSheaf

CoherentSheaf ** CoherentSheaf -- tensor product of coherent sheaves

CoherentSheaf ++ CoherentSheaf -- direct sum of coherent sheaves

CoherentSheaf / CoherentSheaf -- quotient of coherent sheaves

CoherentSheaf / Ideal

CoherentSheaf ^ ZZ

CoherentSheaf ZZ -- canonical twist of a coherent sheaf

cotangentSheaf ProjectiveVariety -- cotangent sheaf of a variety

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

cover CoherentSheaf

exteriorPower(ZZ,CoherentSheaf) -- exterior power

Module ~ -- make a coherent sheaf

sheaf Module -- make a coherent sheaf

sheaf(Variety,Module) -- make a coherent sheaf

sheafExt^ZZ(CoherentSheaf,CoherentSheaf) -- sheaf Ext of coherent sheaves

sheafHom

SheafOfRings ZZ

super CoherentSheaf

tensor(CoherentSheaf,CoherentSheaf)

Methods for using a coherent sheaf :

(*) CoherentSheaf

annihilator CoherentSheaf

betti CoherentSheaf

codim CoherentSheaf -- codimension of support

CoherentSheaf ^** ZZ -- tensor power

CoherentSheaf LowerBound

degree CoherentSheaf

degreeLength CoherentSheaf

degrees CoherentSheaf -- degrees of generators

degreesRing CoherentSheaf

dual CoherentSheaf

expression CoherentSheaf

Ext^ZZ(CoherentSheaf,CoherentSheaf)

Ext^ZZ(CoherentSheaf,SheafOfRings)

Ext^ZZ(CoherentSheaf,SumOfTwists)

Ext^ZZ(SheafOfRings,CoherentSheaf)

HH^ZZ CoherentSheaf -- coherent sheaf cohomology

hilbertFunction(List,CoherentSheaf)

hilbertFunction(ZZ,CoherentSheaf)

hilbertPolynomial CoherentSheaf

hilbertSeries CoherentSheaf

Hom(CoherentSheaf,CoherentSheaf)

Ideal * CoherentSheaf

module CoherentSheaf -- get the module defining a coherent sheaf

net CoherentSheaf

numgens CoherentSheaf

pdim CoherentSheaf

prune CoherentSheaf

rank CoherentSheaf -- the rank of a coherent sheaf

ring CoherentSheaf -- get the coordinate ring under a sheaf

sheafHom(CoherentSheaf,CoherentSheaf)

variety CoherentSheaf -- get the variety under a sheaf