sheafcoh.lib
constant
jacobM
type
type
matrix
→
returntype
constant
TensorModuleMult
type
type
module
→
(
int
→
returntype
)
constant
truncate
type
type
int
→
(
module
→
returntype
)
constant
truncateFast
type
type
int
→
(
module
→
returntype
)
constant
dimGradedPart
type
type
int
→
(
module
→
returntype
)
constant
CM_regularity
type
type
module
→
returntype
constant
sheafCohBGG
type
type
int
→
(
int
→
(
module
→
returntype
)
)
constant
showResult
type
type
int
→
(
int
→
(
def
→
returntype
)
)
constant
sheafCohBGG2
type
type
int
→
(
int
→
(
module
→
returntype
)
)
constant
dimH
type
type
int
→
(
module
→
(
int
→
returntype
)
)
constant
sheafCoh
type
type
list
→
(
int
→
(
int
→
(
module
→
returntype
)
)
)
constant
displayCohom
type
type
int
→
(
int
→
(
int
→
(
intmat
→
returntype
)
)
)
constant
getStructureSheaf
type
type
list
→
returntype
constant
getCotangentialBundle
type
type
returntype
constant
getIdealSheafPullback
type
type
ideal
→
(
ideal
→
returntype
)
constant
getIdealSheaf
type
type
ideal
→
returntype