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_()