hdepth.lib
constant
myinverse
type
type
int
→
(
poly
→
returntype
)
constant
hilbconstruct
type
type
intvec
→
returntype
constant
positiv
type
type
poly
→
returntype
constant
sumcoef
type
type
poly
→
returntype
constant
hdepth_p
type
type
int
→
(
int
→
(
poly
→
returntype
)
)
constant
hdepth
type
type
list
→
(
module
→
returntype
)