def test_zero():
 assert (satask((Q.zero(x) | Q.zero(y)), Q.zero((x * y))) is True)
 assert (satask(Q.zero((x * y)), (Q.zero(x) | Q.zero(y))) is True)
 assert (satask(Implies(Q.zero(x), Q.zero((x * y)))) is True)
 assert (satask((Q.zero(x) | Q.zero(y)), Q.nonzero((x * y))) is False)
 assert (satask(Q.zero(x), Q.zero((x ** 2))) is True)

def test_zero ( ) : assert ( satask ( ( Q . zero ( x ) | Q . zero ( y ) ) , Q . zero ( ( x * y ) ) ) is True ) assert ( satask ( Q . zero ( ( x * y ) ) , ( Q . zero ( x ) | Q . zero ( y ) ) ) is True ) assert ( satask ( Implies ( Q . zero ( x ) , Q . zero ( ( x * y ) ) ) ) is True ) assert ( satask ( ( Q . zero ( x ) | Q . zero ( y ) ) , Q . nonzero ( ( x * y ) ) ) is False ) assert ( satask ( Q . zero ( x ) , Q . zero ( ( x ** 2 ) ) ) is True )
everything in this test doesnt work with the ask handlers .