rootisolation.lib
constant mod_init
typereturntype
constant bounds
typelist(numberreturntype)
constant lengthBox
typeboxreturntype
constant boxCenter
typeboxreturntype
constant splitBox
typeideal(boxreturntype)
constant boxIsInterior
typebox(boxreturntype)
constant ivmatNrows
typeivmatreturntype
constant ivmatNcols
typeivmatreturntype
constant ivmatPrint
typeivmatreturntype
constant ivmatGet
typeint(ivmatreturntype)
constant ivmatSet
typeinterval(int(int(ivmatreturntype)))
constant diagMatrix
typeinterval(intreturntype)
constant unitMatrix
typeintreturntype
constant ivmatMultiply
typeivmat(ivmatreturntype)
constant ivmatGaussian
typeivmatreturntype
constant applyMatrix
typebox(ivmatreturntype)
constant evalJacobianAtBox
typebox(idealreturntype)
constant testPolyBox
typebox(idealreturntype)
constant evalIdealAtBox
typebox(idealreturntype)
constant rootIsolationNoPreprocessing
typenumber(def(idealreturntype))
constant noRootsOnBoundary
typebox(idealreturntype)
constant rootIsolation
typenumber(box(idealreturntype))