本文整理汇总了Python中sympy.assumptions.ask.Q.positive方法的典型用法代码示例。如果您正苦于以下问题:Python Q.positive方法的具体用法?Python Q.positive怎么用?Python Q.positive使用的例子?那么恭喜您, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类sympy.assumptions.ask.Q
的用法示例。
在下文中一共展示了Q.positive方法的9个代码示例,这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞,您的评价将有助于系统推荐出更棒的Python代码示例。
示例1: register_fact
# 需要导入模块: from sympy.assumptions.ask import Q [as 别名]
# 或者: from sympy.assumptions.ask.Q import positive [as 别名]
def register_fact(klass, fact, registry=fact_registry):
registry[klass] |= set([fact])
for klass, fact in [
(Mul, Equivalent(Q.zero, AnyArgs(Q.zero))),
(MatMul, Implies(AllArgs(Q.square), Equivalent(Q.invertible, AllArgs(Q.invertible)))),
(Add, Implies(AllArgs(Q.positive), Q.positive)),
(Add, Implies(AllArgs(Q.negative), Q.negative)),
(Mul, Implies(AllArgs(Q.positive), Q.positive)),
(Mul, Implies(AllArgs(Q.commutative), Q.commutative)),
(Mul, Implies(AllArgs(Q.real), Q.commutative)),
# This one can still be made easier to read. I think we need basic pattern
# matching, so that we can just write Equivalent(Q.zero(x**y), Q.zero(x) & Q.positive(y))
(Pow, CustomLambda(lambda power: Equivalent(Q.zero(power), Q.zero(power.base) & Q.positive(power.exp)))),
(Integer, CheckIsPrime(Q.prime)),
# Implicitly assumes Mul has more than one arg
# Would be AllArgs(Q.prime | Q.composite) except 1 is composite
(Mul, Implies(AllArgs(Q.prime), ~Q.prime)),
# More advanced prime assumptions will require inequalities, as 1 provides
# a corner case.
(Mul, Implies(AllArgs(Q.imaginary | Q.real), Implies(ExactlyOneArg(Q.imaginary), Q.imaginary))),
(Mul, Implies(AllArgs(Q.real), Q.real)),
(Add, Implies(AllArgs(Q.real), Q.real)),
#General Case: Odd number of imaginary args implies mul is imaginary(To be implemented)
(Mul, Implies(AllArgs(Q.real), Implies(ExactlyOneArg(Q.irrational),
Q.irrational))),
(Add, Implies(AllArgs(Q.real), Implies(ExactlyOneArg(Q.irrational),
Q.irrational))),
(Mul, Implies(AllArgs(Q.rational), Q.rational)),
示例2: _contains
# 需要导入模块: from sympy.assumptions.ask import Q [as 别名]
# 或者: from sympy.assumptions.ask.Q import positive [as 别名]
def _contains(self, other):
from sympy.assumptions.ask import ask, Q
if ask(Q.positive(other)) and ask(Q.integer(other)):
return True
return False
示例3: test_composite_predicates
# 需要导入模块: from sympy.assumptions.ask import Q [as 别名]
# 或者: from sympy.assumptions.ask.Q import positive [as 别名]
def test_composite_predicates():
pred = Q.integer | ~Q.positive
assert type(pred(x)) is Or
assert pred(x) == Q.integer(x) | ~Q.positive(x)
示例4: test_equal
# 需要导入模块: from sympy.assumptions.ask import Q [as 别名]
# 或者: from sympy.assumptions.ask.Q import positive [as 别名]
def test_equal():
"""Test for equality"""
assert Q.positive(x) == Q.positive(x)
assert Q.positive(x) != ~Q.positive(x)
assert ~Q.positive(x) == ~Q.positive(x)
示例5: test_pretty
# 需要导入模块: from sympy.assumptions.ask import Q [as 别名]
# 或者: from sympy.assumptions.ask.Q import positive [as 别名]
def test_pretty():
assert pretty(Q.positive(x)) == "Q.positive(x)"
assert pretty(set([Q.positive, Q.integer])) == "set([Q.integer, Q.positive])"
示例6: test_equal
# 需要导入模块: from sympy.assumptions.ask import Q [as 别名]
# 或者: from sympy.assumptions.ask.Q import positive [as 别名]
def test_equal():
"""Test for equality"""
x = symbols('x')
assert Q.positive(x) == Q.positive(x)
assert Q.positive(x) != ~Q.positive(x)
assert ~Q.positive(x) == ~Q.positive(x)
示例7: test_pretty
# 需要导入模块: from sympy.assumptions.ask import Q [as 别名]
# 或者: from sympy.assumptions.ask.Q import positive [as 别名]
def test_pretty():
x = symbols('x')
assert pretty(Q.positive(x)) == "Q.positive(x)"
示例8: test_pretty
# 需要导入模块: from sympy.assumptions.ask import Q [as 别名]
# 或者: from sympy.assumptions.ask.Q import positive [as 别名]
def test_pretty():
assert pretty(Q.positive(x)) == "Q.positive(x)"
示例9: _contains
# 需要导入模块: from sympy.assumptions.ask import Q [as 别名]
# 或者: from sympy.assumptions.ask.Q import positive [as 别名]
def _contains(self, other):
if ask(Q.positive(other)) and ask(Q.integer(other)):
return True
return False