Упростите SymPy Eq / Equality и Ge / GreaterThan целое выражение

Question

У меня есть этот код SymPy:

n = Symbol("n", integer=True)
expr = Eq(n, 0) | (n >= 1)

Я ожидаю, что expr.simplify() приведет к n >= 0, но это не так. Как я могу заставить это упрощение работать?

---

Я сообщил, что вверх по течению здесь .

Answer 1

Это прерывистый набор (точка 0 и все точки от 1 и выше), поэтому его нельзя упростить. Неравенство n >= 0 включает, например, n = 1/2, который не является частью данного expr.