Macaulay2
»
Documentation
Packages
»
ToricHigherDirectImages
::
Index
next | previous | forward | backward | up |
index
|
toc
ToricHigherDirectImages : Index
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
allNefContractions
-- produces all contractions corresponding to each face in the nef cone
allNefContractions(NormalToricVariety)
-- produces all contractions corresponding to each face in the nef cone
computeEigencharacters
-- compute the eigencharacters
computeEigencharacters(ToricMap,ZZ,List)
-- compute the eigencharacters
computeEigencharacters(ToricMap,ZZ,ToricDivisor)
-- compute the eigencharacters
frobeniusDirectImage
-- compute the pushforward of a module under the $p$th toric Frobenius map
frobeniusDirectImage(ZZ,Complex)
-- compute the pushforward of a complex of modules under the $p$th toric Frobenius map
frobeniusDirectImage(ZZ,Matrix)
-- compute the pushforward of map of modules under the $p$th toric Frobenius map
frobeniusDirectImage(ZZ,Module)
-- compute the pushforward of a module under the $p$th toric Frobenius map
HDI
-- compute the $i$th higher direct image
HDI(ToricMap,ZZ,CoherentSheaf)
-- compute the $i$th higher direct image
HDI(ToricMap,ZZ,List)
-- compute the $i$th higher direct image
HDI(ToricMap,ZZ,Module)
-- compute the $i$th higher direct image
HDI(ToricMap,ZZ,ToricDivisor)
-- compute the $i$th higher direct image
nefContraction
-- produce a contraction from a vector in the nef cone
nefContraction(NormalToricVariety,List)
-- produce a contraction from a vector in the nef cone
nefContraction(NormalToricVariety,Matrix)
-- produce a contraction from a vector in the nef cone
nefContraction(NormalToricVariety,Vector)
-- produce a contraction from a vector in the nef cone
nefRayContractions
-- produces all contractions corresponding to rays in the nef cone
nefRayContractions(NormalToricVariety)
-- produces all contractions corresponding to rays in the nef cone
ToricHigherDirectImages
-- computations involving pushforwards and higher direct images of toric maps
ToricMap _*
-- compute the $i$th higher direct image