Ejemplo n.º 1
0
 def acos(expr, assumptions):
     x = expr.args[0]
     if ask(Q.nonpositive(x - 1) & Q.nonnegative(x + 1), assumptions):
         return True
Ejemplo n.º 2
0
 def acos(expr, assumptions):
     x = expr.args[0]
     if ask(Q.nonpositive(x - 1) & Q.nonnegative(x + 1), assumptions):
         return True
Ejemplo n.º 3
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
Ejemplo n.º 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