rootisolation.lib
constant
mod_init
type
type
returntype
constant
bounds
type
type
list
→
(
number
→
returntype
)
constant
lengthBox
type
type
box
→
returntype
constant
boxCenter
type
type
box
→
returntype
constant
splitBox
type
type
ideal
→
(
box
→
returntype
)
constant
boxIsInterior
type
type
box
→
(
box
→
returntype
)
constant
ivmatNrows
type
type
ivmat
→
returntype
constant
ivmatNcols
type
type
ivmat
→
returntype
constant
ivmatPrint
type
type
ivmat
→
returntype
constant
ivmatGet
type
type
int
→
(
ivmat
→
returntype
)
constant
ivmatSet
type
type
interval
→
(
int
→
(
int
→
(
ivmat
→
returntype
)
)
)
constant
diagMatrix
type
type
interval
→
(
int
→
returntype
)
constant
unitMatrix
type
type
int
→
returntype
constant
ivmatMultiply
type
type
ivmat
→
(
ivmat
→
returntype
)
constant
ivmatGaussian
type
type
ivmat
→
returntype
constant
applyMatrix
type
type
box
→
(
ivmat
→
returntype
)
constant
evalJacobianAtBox
type
type
box
→
(
ideal
→
returntype
)
constant
testPolyBox
type
type
box
→
(
ideal
→
returntype
)
constant
evalIdealAtBox
type
type
box
→
(
ideal
→
returntype
)
constant
rootIsolationNoPreprocessing
type
type
number
→
(
def
→
(
ideal
→
returntype
)
)
constant
noRootsOnBoundary
type
type
box
→
(
ideal
→
returntype
)
constant
rootIsolation
type
type
number
→
(
box
→
(
ideal
→
returntype
)
)