def test_not_in_str(self) -> None:
self.assertEqual(str(NotIn(Variable("X"), Variable("Y"))), "X not in Y")
def test_not_in_simplified(self) -> None:
self.assertEqual(
NotIn(Variable("X"), Add(Number(21), Number(21))).simplified(),
NotIn(Variable("X"), Number(42)),
)
def test_not_in_str() -> None:
assert str(NotIn(Variable("X"), Variable("Y"))) == "X not in Y"
def test_not_in_neg(self) -> None:
self.assertEqual(-NotIn(Variable("X"), Number(1)), In(Variable("X"), Number(1)))
def test_not_in_neg() -> None:
assert -NotIn(Variable("X"), Number(1)) == In(Variable("X"), Number(1))