//bottom
org.junit.Assert.assertEquals(Interval.BOTTOM, sem.times(Interval.BOTTOM, Interval.BOTTOM));
org.junit.Assert.assertEquals(Interval.BOTTOM, sem.times(Interval.BOTTOM, new Interval(-1,2)));
org.junit.Assert.assertEquals(Interval.BOTTOM, sem.times(Interval.BOTTOM, new Interval(1, Double.POSITIVE_INFINITY)));
org.junit.Assert.assertEquals(Interval.BOTTOM, sem.times(Interval.BOTTOM, new Interval(Double.NEGATIVE_INFINITY, 1)));
org.junit.Assert.assertEquals(Interval.BOTTOM, sem.times(Interval.BOTTOM, new Interval(Double.NEGATIVE_INFINITY, Double.POSITIVE_INFINITY)));
org.junit.Assert.assertEquals(Interval.BOTTOM, sem.times(new Interval(-1,2), Interval.BOTTOM));
org.junit.Assert.assertEquals(Interval.BOTTOM, sem.times(new Interval(1, Double.POSITIVE_INFINITY), Interval.BOTTOM));
org.junit.Assert.assertEquals(Interval.BOTTOM, sem.times(new Interval(Double.NEGATIVE_INFINITY, 1), Interval.BOTTOM));
org.junit.Assert.assertEquals(Interval.BOTTOM, sem.times(TOP, Interval.BOTTOM));
org.junit.Assert.assertEquals(Interval.BOTTOM, sem.times(Interval.BOTTOM, TOP));