예제 #1
0
 def _simplify_applied(self, lhs, rhs, **kwargs):
     eq = Q.eq(lhs, rhs).simplify(**kwargs)
     return self(*eq.arguments)
예제 #2
0
 def as_Predicate(self):
     from sympy.assumptions import Q
     return Q.eq(*self.args)