def test_intervals_intersection(self): nullx = NullInterval(x) # All nulls assert nullx.intersection(nullx) == nullx nully = NullInterval(y) ix = Interval(x, -2, 2) iy = Interval(y, -2, 2) # Mixed nulls and defined assert nullx.intersection(ix) == nullx assert nullx.intersection(iy) == nullx assert nullx.intersection(iy) != nully assert nully.intersection(iy) == nully ix2 = Interval(x, -8, -3) ix3 = Interval(x, 3, 4) # All defined disjoint assert ix.intersection(ix2) == nullx assert ix.intersection(ix3) == nullx assert ix2.intersection(ix3) == nullx assert ix.intersection(iy) == nullx assert iy.intersection(ix) == nully ix4 = Interval(x, 1, 4) ix5 = Interval(x, -3, 0) # All defined overlapping assert ix.intersection(ix4) == Interval(x, 1, 2) assert ix.intersection(ix5) == Interval(x, -2, 0)
def test_intervals_intersection(self, x, y): nullx = NullInterval(x) # All nulls assert nullx.intersection(nullx) == nullx nully = NullInterval(y) ix = Interval(x, -2, 2) iy = Interval(y, -2, 2) # Mixed nulls and defined assert nullx.intersection(ix) == nullx assert nullx.intersection(iy) == nullx assert nullx.intersection(iy) != nully assert nully.intersection(iy) == nully ix2 = Interval(x, -8, -3) ix3 = Interval(x, 3, 4) assert ix.intersection(ix2) == Interval(x, -2, -3) assert ix.intersection(ix3) == Interval(x, 3, 2) assert ix2.intersection(ix3) == Interval(x, 3, -3) assert ix.intersection(iy) == nullx assert iy.intersection(ix) == nully ix4 = Interval(x, 1, 4) ix5 = Interval(x, -3, 0) assert ix.intersection(ix4) == Interval(x, 1, 2) assert ix.intersection(ix5) == Interval(x, -2, 0) # Mixed symbolic and non-symbolic c = Constant(name='c') ix6 = Interval(x, c, c + 4) ix7 = Interval(x, c - 1, c + 5) assert ix6.intersection(ix7) == Interval(x, c, c + 4) assert ix7.intersection(ix6) == Interval(x, c, c + 4) # Symbolic with properties s = Scalar(name='s', nonnegative=True) ix8 = Interval(x, s - 2, s + 2) ix9 = Interval(x, s - 1, s + 1) assert ix.intersection(ix8) == Interval(x, s - 2, 2) assert ix8.intersection(ix) == Interval(x, s - 2, 2) assert ix8.intersection(ix9) == Interval(x, s - 1, s + 1) assert ix9.intersection(ix8) == Interval(x, s - 1, s + 1)