コード例 #1
0
ファイル: order.py プロジェクト: A-turing-machine/sympy 
 def acos(expr, assumptions):
     x = expr.args[0]
     if ask(Q.nonpositive(x - 1) & Q.nonnegative(x + 1), assumptions):
         return True
コード例 #2
0
 def acos(expr, assumptions):
     x = expr.args[0]
     if ask(Q.nonpositive(x - 1) & Q.nonnegative(x + 1), assumptions):
         return True
コード例 #3
0
ファイル: order.py プロジェクト: A-turing-machine/sympy 
 def asin(expr, assumptions):
     x = expr.args[0]
     if ask(Q.positive(x) & Q.nonpositive(x - 1), assumptions):
         return True
     if ask(Q.negative(x) & Q.nonnegative(x + 1), assumptions):
         return False
コード例 #4
0
 def asin(expr, assumptions):
     x = expr.args[0]
     if ask(Q.positive(x) & Q.nonpositive(x - 1), assumptions):
         return True
     if ask(Q.negative(x) & Q.nonnegative(x + 1), assumptions):
         return False