test_assumptions.py 文件源码

def test_Pow_is_prime():
    from sympy import Pow
    x = Symbol('x', positive=True, integer=True)
    y = Symbol('y', positive=True, integer=True)
    assert (x**y).is_prime is None

    x = Symbol('x', positive=True)
    assert (x**y).is_prime is None

    assert Pow(6, S.One, evaluate=False).is_prime is False
    assert Pow(9, S.Half, evaluate=False).is_prime is True
    assert Pow(5, S.One, evaluate=False).is_prime is True