def not_equal(self, other, **defaults_config):
from proveit.numbers import Less
from proveit.numbers.ordering import less_is_not_eq
_a, _b = Less.sorted_items([self, other])
not_eq_stmt = less_is_not_eq.instantiate({a: _a, b: _b})
if not_eq_stmt.lhs != self:
# We need to reverse the statement.
return not_eq_stmt.derive_reversed()
return not_eq_stmt
def not_equal(self, other, assumptions=USE_DEFAULTS):
from proveit.numbers import Less
from proveit.numbers.ordering import less_is_not_eq
_a, _b = Less.sorted_items([self, other], assumptions=assumptions)
not_eq_stmt = less_is_not_eq.instantiate({
a: _a,
b: _b
},
assumptions=assumptions)
if not_eq_stmt.lhs != self:
# We need to reverse the statement.
return not_eq_stmt.derive_reversed(assumptions)
return not_eq_stmt
