homolog.lib
constant
cup
type
type
list
→
(
module
→
returntype
)
constant
cupproduct
type
type
list
→
(
int
→
(
int
→
(
module
→
(
module
→
(
module
→
returntype
)
)
)
)
)
constant
Ext_R
type
type
list
→
(
module
→
(
intvec
→
returntype
)
)
constant
Ext
type
type
list
→
(
module
→
(
module
→
(
intvec
→
returntype
)
)
)
constant
Hom
type
type
list
→
(
module
→
(
module
→
returntype
)
)
constant
homology
type
type
list
→
(
module
→
(
module
→
(
matrix
→
(
matrix
→
returntype
)
)
)
)
constant
hom_kernel
type
type
module
→
(
module
→
(
matrix
→
returntype
)
)
constant
kohom
type
type
int
→
(
matrix
→
returntype
)
constant
kontrahom
type
type
int
→
(
matrix
→
returntype
)
constant
tensorMod
type
type
module
→
(
module
→
returntype
)
constant
Tor
type
type
list
→
(
module
→
(
module
→
(
intvec
→
returntype
)
)
)
constant
fitting
type
type
int
→
(
module
→
returntype
)
constant
isLocallyFree
type
type
int
→
(
matrix
→
returntype
)
constant
flatteningStrat
type
type
module
→
returntype
constant
isFlat
type
type
module
→
returntype
constant
flatLocus
type
type
module
→
returntype
constant
isReg
type
type
module
→
(
ideal
→
returntype
)
constant
binom_int
type
type
int
→
(
int
→
returntype
)
constant
basisNumber
type
type
intvec
→
(
int
→
returntype
)
constant
basisElement
type
type
int
→
(
int
→
(
int
→
returntype
)
)
constant
KoszulMap
type
type
int
→
(
ideal
→
returntype
)
constant
KoszulHomology
type
type
int
→
(
module
→
(
ideal
→
returntype
)
)
constant
depth
type
type
ideal
→
(
module
→
returntype
)
constant
isCM
type
type
module
→
returntype
constant
canonMap
type
type
list
→
returntype
constant
Max
type
type
def
→
returntype