def test_6(self, x: Variable, env: Environment) -> None:
try:
assert Xnor(GreaterEqual(Absolute(Invert(x)), Integer(1)),
LessEqual(Absolute(x), Integer(1))).evaluate(env)
except EvaluationError:
assert x.evaluate(env) == 0
def test_7(self, x: Variable, env: Environment) -> None:
try:
assert Xnor(GreaterEqual(Invert(x), Integer(0)),
GreaterEqual(x, Integer(0))).evaluate(env)
except EvaluationError:
assert x.evaluate(env) == 0
def test_1(self, x: Variable, env: Environment) -> None:
assert GreaterEqual(Absolute(x), Integer(0)).evaluate(env)
def test_3(self, x: Variable, env: Environment) -> None:
assert Xnor(GreaterEqual(Negate(x), Integer(0)),
LessEqual(x, Integer(0))).evaluate(env)
def test_20(self, x: Variable, env: Environment) -> None:
try:
assert IsEqual(Logarithm(x, x), Integer(1)).evaluate(env)
except EvaluationError:
pass
def test_18(self, x: Variable, env: Environment) -> None:
assert IsEqual(x**0, Integer(1)).evaluate(env)
def test_17(self, x: Variable, env: Environment) -> None:
assert (IsEqual(x**1, x) | IsEqual(x, Integer(0))).evaluate(env)
def test_13(self, x: Variable, env: Environment) -> None:
if x.evaluate(env) != 0:
assert IsEqual(x * Invert(x), Integer(1)).evaluate(env)
def test_4(self, x: Variable, env: Environment) -> None:
assert IsEqual(x + -x, Integer(0)).evaluate(env)