reszeta.lib
constant
spectral1
type
type
intvec
→
(
intvec
→
(
list
→
(
list
→
(
poly
→
returntype
)
)
)
)
constant
spectralNeg
type
type
list
→
(
list
→
returntype
)
constant
ordE
type
type
ideal
→
(
ideal
→
(
ideal
→
returntype
)
)
constant
computeV
type
type
list
→
(
list
→
returntype
)
constant
jacobDet
type
type
ideal
→
(
ideal
→
returntype
)
constant
computeH
type
type
list
→
(
list
→
(
ideal
→
returntype
)
)
constant
computeN
type
type
list
→
(
list
→
returntype
)
constant
countEijk
type
type
list
→
(
intvec
→
(
list
→
(
list
→
returntype
)
)
)
constant
chiEij
type
type
intvec
→
(
list
→
(
list
→
returntype
)
)
constant
chiEij_local
type
type
intvec
→
(
list
→
(
list
→
returntype
)
)
constant
computeChiE
type
type
list
→
(
list
→
returntype
)
constant
computeChiE_local
type
type
list
→
(
list
→
returntype
)
constant
chi_ast
type
type
list
→
(
list
→
(
list
→
returntype
)
)
constant
chi_ast_local
type
type
list
→
(
list
→
(
list
→
returntype
)
)
constant
discrepancy
type
type
list
→
returntype
constant
zetaDL
type
type
list
→
(
int
→
(
list
→
returntype
)
)
constant
abstractR
type
type
list
→
returntype
constant
decompE
type
type
list
→
returntype
constant
prepEmbDiv
type
type
list
→
(
list
→
returntype
)
constant
decompEinX
type
type
list
→
returntype
constant
getMinpoly
type
type
poly
→
returntype
constant
getNumZeros
type
type
poly
→
returntype
constant
simplifyMinpoly
type
type
poly
→
returntype
constant
grad
type
type
ideal
→
returntype
constant
Kontakt
type
type
ideal
→
(
ideal
→
returntype
)
constant
abstractNC
type
type
list
→
returntype
constant
nodes
type
type
ideal
→
returntype
constant
intersectionDiv
type
type
list
→
returntype
constant
intersComp
type
type
list
→
(
string
→
(
string
→
(
list
→
(
string
→
(
string
→
returntype
)
)
)
)
)
constant
addSelfInter
type
type
intvec
→
(
list
→
(
list
→
(
intmat
→
(
list
→
returntype
)
)
)
)
constant
invSort
type
type
list
→
(
list
→
returntype
)
constant
addToRE
type
type
list
→
(
int
→
(
intvec
→
returntype
)
)
constant
collectDiv
type
type
list
→
(
list
→
returntype
)
constant
cleanUpDiv
type
type
list
→
(
intmat
→
(
list
→
returntype
)
)
constant
findTrans
type
type
list
→
(
list
→
(
ideal
→
(
ideal
→
returntype
)
)
)
constant
compareE
type
type
list
→
(
int
→
(
int
→
(
list
→
returntype
)
)
)
constant
fetchInTree
type
type
list
→
(
list
→
(
string
→
(
int
→
(
int
→
(
int
→
(
list
→
returntype
)
)
)
)
)
)
constant
findInIVList
type
type
list
→
(
int
→
(
int
→
returntype
)
)
constant
inIVList
type
type
list
→
(
intvec
→
returntype
)
constant
Vielfachheit
type
type
ideal
→
(
ideal
→
returntype
)
constant
genus_E
type
type
intvec
→
(
list
→
(
list
→
returntype
)
)