\h SSKJrJrJr SSKJrJrJrJrJ r J r SSK J r "SS\5r \\R\\R\\R \\R"\ \R$\ \R&0r"SS\5rg) ) PredicateAppliedPredicateQ)EqNeGtLtGeLe) Dispatcherc*\rSrSrSrSr\"SSS9rSrg) CommutativePredicatez Commutative predicate. Explanation =========== ``ask(Q.commutative(x))`` is true iff ``x`` commutes with any other object with respect to multiplication operation. commutativeCommutativeHandlerzHandler for key 'commutative'.docN) __name__ __module__ __qualname____firstlineno____doc__namer handler__static_attributes__r[/var/www/auris/envauris/lib/python3.13/site-packages/sympy/assumptions/predicates/common.pyrrs  D-3STGrrc>^\rSrSrSrSr\"SSS9rU4SjrSr U=r $) IsTruePredicatea Generic predicate. Explanation =========== ``ask(Q.is_true(x))`` is true iff ``x`` is true. This only makes sense if ``x`` is a boolean object. Examples ======== >>> from sympy import ask, Q >>> from sympy.abc import x, y >>> ask(Q.is_true(True)) True Wrapping another applied predicate just returns the applied predicate. >>> Q.is_true(Q.even(x)) Q.even(x) Wrapping binary relation classes in SymPy core returns applied binary relational predicates. >>> from sympy import Eq, Gt >>> Q.is_true(Eq(x, y)) Q.eq(x, y) >>> Q.is_true(Gt(x, y)) Q.gt(x, y) Notes ===== This class is designed to wrap the boolean objects so that they can behave as if they are applied predicates. Consequently, wrapping another applied predicate is unnecessary and thus it just returns the argument. Also, binary relation classes in SymPy core have binary predicates to represent themselves and thus wrapping them with ``Q.is_true`` converts them to these applied predicates. is_true IsTrueHandlerzBWrapper allowing to query the truth value of a boolean expression.rc>[U[5(aU$[USS5(a![[ U5nU"UR 6$[ TU]U5$)N is_RelationalF) isinstancergetattr binrelpredstypeargssuper__call__)selfargpred __class__s rr,IsTruePredicate.__call__IsQ c+ , ,J 3 / /tCy)D? "w$$rr) rrrrrrr rr,r __classcell__)r0s@rr r s*)T D PG %%rr N)sympy.assumptionsrrrsympy.core.relationalrrrr r r sympy.multipledispatchr reqnegtltgeler(r rrrr<sf<<88- U9 U 144QTT2qttRr144QTTJ 9%i9%r