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