interval.lib
LIB "interval.lib"; ring R = 0,x,lp; ivmat E = unitMatrix2(4); E; ==> [1, 1],[0, 0],[0, 0],[0, 0] ==> [0, 0],[1, 1],[0, 0],[0, 0] ==> [0, 0],[0, 0],[1, 1],[0, 0] ==> [0, 0],[0, 0],[0, 0],[1, 1] ==>