}
@Test
public void leqTest01() {
// 1 dimension
IntegerBoxes first = IntegerBoxesHelper.join(
getSingleBoxAndVerify(
new IntervalValue(1, Double.POSITIVE_INFINITY),
new IntervalValue(Double.NEGATIVE_INFINITY, 0),
new IntervalValue(0, 0), new IntervalValue(0, 0)),
getSingleBoxAndVerify(
new IntervalValue(1, Double.POSITIVE_INFINITY),
new IntervalValue(1, Double.POSITIVE_INFINITY),
new IntervalValue(1, Double.POSITIVE_INFINITY),
new IntervalValue(0, 0)),
getSingleBoxAndVerify(
new IntervalValue(2, Double.POSITIVE_INFINITY),
new IntervalValue(Double.NEGATIVE_INFINITY, 0),
new IntervalValue(1,1),
new IntervalValue(1, Double.POSITIVE_INFINITY)));
IntegerBoxes second = IntegerBoxesHelper.join(
getSingleBoxAndVerify(
new IntervalValue(1, Double.POSITIVE_INFINITY),
new IntervalValue(Double.NEGATIVE_INFINITY, 0),
new IntervalValue(0, 0), new IntervalValue(0, 0)),
getSingleBoxAndVerify(
new IntervalValue(1, Double.POSITIVE_INFINITY),
new IntervalValue(1, Double.POSITIVE_INFINITY),
new IntervalValue(1, Double.POSITIVE_INFINITY),
new IntervalValue(0, 0)),
getSingleBoxAndVerify(
new IntervalValue(2, Double.POSITIVE_INFINITY),
new IntervalValue(Double.NEGATIVE_INFINITY, 0),
new IntervalValue(1,1),
new IntervalValue(1, Double.POSITIVE_INFINITY)));
System.out.println(first.leq(second));
System.out.println(second.leq(first));
}