def test_asserts_symbolic(self):
x = Variable("x")
y = Variable("y")
e = x + y
numpy_compare.assert_equal(x, x)
numpy_compare.assert_equal(x, "x")
numpy_compare.assert_not_equal(x, y)
numpy_compare.assert_equal(e, x + y)
numpy_compare.assert_equal(e, "(x + y)")
numpy_compare.assert_not_equal(e, x - y)
numpy_compare.assert_not_equal(e, "(x - y)")
numpy_compare.assert_equal(Formula.True_(), True)
numpy_compare.assert_equal(Formula.False_(), False)
numpy_compare.assert_not_equal(Formula.True_(), False)
def test_asserts_symbolic(self):
x = Variable("x")
y = Variable("y")
e = x + y
numpy_compare.assert_equal(x, x)
numpy_compare.assert_equal(x, "x")
numpy_compare.assert_not_equal(x, y)
numpy_compare.assert_equal(e, x + y)
numpy_compare.assert_equal(e, "(x + y)")
numpy_compare.assert_not_equal(e, x - y)
numpy_compare.assert_not_equal(e, "(x - y)")
numpy_compare.assert_equal(Formula.True_(), True)
numpy_compare.assert_equal(Formula.False_(), False)
numpy_compare.assert_not_equal(Formula.True_(), False)
with self.assertRaises(AssertionError):
numpy_compare.assert_allclose(x, x)
def from_bool(x):
assert isinstance(x, (bool, np.bool_)), type(x)
if x:
return Formula.True_()
else:
return Formula.False_()