org.junit.Assert.assertEquals(Interval.BOTTOM, sem.divide(new Interval(1,1), new Interval(0,0)));
org.junit.Assert.assertEquals(new Interval(1, Double.POSITIVE_INFINITY), sem.divide(new Interval(1,1), new Interval(0,1)));
org.junit.Assert.assertEquals(new Interval(Double.NEGATIVE_INFINITY, -1), sem.divide(new Interval(1,1), new Interval(-1, 0)));
org.junit.Assert.assertEquals(new Interval(0, 0), sem.divide(new Interval(1,1), new Interval(4, 100)));
org.junit.Assert.assertEquals(new Interval(0, 0), sem.divide(new Interval(1,1), new Interval(-100, -4)));
org.junit.Assert.assertEquals(Interval.TOP, sem.divide(new Interval(1,1), new Interval(-100, 100)));
org.junit.Assert.assertEquals(new Interval(0, Double.POSITIVE_INFINITY), sem.divide(new Interval(4,Double.POSITIVE_INFINITY), new Interval(2,6)));
org.junit.Assert.assertEquals(new Interval(1, Double.POSITIVE_INFINITY), sem.divide(new Interval(4,Double.POSITIVE_INFINITY), new Interval(2,4)));
org.junit.Assert.assertEquals(new Interval(2, Double.POSITIVE_INFINITY), sem.divide(new Interval(4,Double.POSITIVE_INFINITY), new Interval(2,2)));
org.junit.Assert.assertEquals(new Interval(1, 10), sem.divide(new Interval(9,21), new Interval(2,5)));
org.junit.Assert.assertEquals(new Interval(-10, -1), sem.divide(new Interval(9,21), new Interval(-5,-2)));