rootsur.lib
constant
isparametric
type
type
poly
→
returntype
constant
isparam
type
type
list
→
returntype
constant
isuni
type
type
poly
→
returntype
constant
whichvariable
type
type
poly
→
returntype
constant
varsigns
type
type
list
→
returntype
constant
boundBuFou
type
type
number
→
(
number
→
(
poly
→
returntype
)
)
constant
boundposDes
type
type
poly
→
returntype
constant
boundDes
type
type
poly
→
returntype
constant
allrealst
type
type
poly
→
returntype
constant
maxabs
type
type
poly
→
returntype
constant
sturm
type
type
number
→
(
number
→
(
poly
→
returntype
)
)
constant
sturmseq
type
type
poly
→
returntype
constant
allreal
type
type
poly
→
returntype
constant
sturmha
type
type
number
→
(
number
→
(
poly
→
returntype
)
)
constant
sturmhaseq
type
type
poly
→
returntype
constant
nrroots
type
type
poly
→
returntype
constant
abs
type
type
number
→
returntype
constant
sign
type
type
number
→
returntype
constant
reverse
type
type
list
→
returntype
constant
D
type
type
list
→
returntype
constant
search
type
type
number
→
(
int
→
(
int
→
(
list
→
returntype
)
)
)
constant
searchnot
type
type
number
→
(
int
→
(
int
→
(
list
→
returntype
)
)
)
constant
W
type
type
list
→
returntype