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