org.junit.Assert.assertEquals(new Interval(Double.NEGATIVE_INFINITY, 0), sem.times(new Interval(Double.NEGATIVE_INFINITY, 0), new Interval(0,1)));
org.junit.Assert.assertEquals(new Interval(Double.NEGATIVE_INFINITY, 0), sem.times(new Interval(0,1), new Interval(Double.NEGATIVE_INFINITY, 0)));
org.junit.Assert.assertEquals(new Interval(Double.NEGATIVE_INFINITY, 5), sem.times(new Interval(0,1), new Interval(Double.NEGATIVE_INFINITY, 5)));
org.junit.Assert.assertEquals(new Interval(Double.NEGATIVE_INFINITY, 35), sem.times(new Interval(0,7), new Interval(Double.NEGATIVE_INFINITY, 5)));
org.junit.Assert.assertEquals(TOP, sem.times(new Interval(-1,7), new Interval(Double.NEGATIVE_INFINITY, 5)));
org.junit.Assert.assertEquals(new Interval(-500, -3), sem.times(new Interval(-100, -1), new Interval(3,5)));
org.junit.Assert.assertEquals(new Interval(-500, -3), sem.times(new Interval(3,5), new Interval(-100, -1)));
org.junit.Assert.assertEquals(new Interval(-500, 5), sem.times(new Interval(3,5), new Interval(-100, 1)));
org.junit.Assert.assertEquals(new Interval(-500, 5), sem.times(new Interval(-100, 1), new Interval(3,5)));