def test_sanitize_assumptions(): # issue 6666 for cls in (Symbol, Dummy, Wild): x = cls("x", real=1, positive=0) assert x.is_real is True assert x.is_positive is False assert cls("", real=True, positive=None).is_positive is None raises(ValueError, lambda: cls("", commutative=None)) raises(ValueError, lambda: Symbol._sanitize(dict(commutative=None)))
def test_sanitize_assumptions(): # issue 6666 for cls in (Symbol, Dummy, Wild): x = cls('x', real=1, positive=0) assert x.is_real is True assert x.is_positive is False assert cls('', real=True, positive=None).is_positive is None raises(ValueError, lambda: cls('', commutative=None)) raises(ValueError, lambda: Symbol._sanitize(dict(commutative=None)))