Coherent Sheaves
- Introduction
- Creation Functions
- Accessor Functions
- Basic Constructions
TensorProduct(S, T): ShfCoh, ShfCoh → ShfCohTensorPower(S, n): ShfCoh, RngIntElt → ShfCohDual(S): ShfCoh → ShfCohSheafHoms(S, T): ShfCoh, ShfCoh → ShfCoh, MapDirectSum(S, T): ShfCoh, ShfCoh → ShfCohRestriction(S, Y): ShfCoh, Sch → ShfCohExample: Cons Exs
- Sheaf Homomorphisms
- Divisor Maps and Riemann-Roch Spaces
DivisorMap(S): ShfCoh → Map, SchDivisorToSheaf(X, I): Sch, RngMPol → ShfCohRiemannRochBasis(X, I): Sch, RngMPol → SeqEnum, RngMPolElt, ShfCohIneffectiveDivisorToSheaf(X, I, J): Sch, RngMPol, RngMPol → ShfCohIneffectiveRiemannRochBasis(X, I, J): Sch, RngMPol, RngMPol → SeqEnum, RngMPolElt, ShfCohExample: Shf:rr ScrollExample: shf:dp3to6
- Predicates
- Miscellaneous
- Examples
