rootisolation.lib
evalJacobianAtBox(I, B)
I ideal, B box
I
B
LIB "rootisolation.lib"; ring R = 0,(x,y),dp; ideal I = 2x2-xy+2y2-2, 2x2-3xy+3y2-2; interval J = bounds(-1,1); evalJacobianAtBox(I, list(J,J)); ==> [-5, 5],[-5, 5] ==> [-7, 7],[-9, 9] ==>