rootisolation.lib
boxSet(B, i, I)
B box, i int, I interval
C
C[i]==I
LIB "rootisolation.lib"; ring R = 0,(x,y,z),dp; box B; B; ==> [0, 0] x [0, 0] x [0, 0] B = boxSet(B, 2, bounds(-1,1)); B; ==> [0, 0] x [-1, 1] x [0, 0] B = boxSet(B, 1, B[2]); B; ==> [-1, 1] x [-1, 1] x [0, 0]