コード例 #1
0
ファイル: equality.py プロジェクト: variable-jain/sympy 
 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)