ó ¡¼™\c@s›ddlmZddlmZddlmZmZdefd„ƒYZdefd„ƒYZ de fd „ƒYZ d efd „ƒYZ d „Z d S(iÿÿÿÿ(t _fuzzy_group(t conjuncts(tQtaskt AskHandlercBseZdZRS(s-Base class that all Ask Handlers must inherit(t__name__t __module__t__doc__(((s@lib/python2.7/site-packages/sympy/assumptions/handlers/common.pyRst CommonHandlercBsAeZdZed„ƒZed„ƒZed„ƒZeZRS(s4Defines some useful methods common to most Handlers cCstS(N(tTrue(texprt assumptions((s@lib/python2.7/site-packages/sympy/assumptions/handlers/common.pyt AlwaysTruescCstS(N(tFalse(R R ((s@lib/python2.7/site-packages/sympy/assumptions/handlers/common.pyt AlwaysFalsescCsdS(N(tNone(R R ((s@lib/python2.7/site-packages/sympy/assumptions/handlers/common.pyt AlwaysNones(RRRt staticmethodR RRtNaN(((s@lib/python2.7/site-packages/sympy/assumptions/handlers/common.pyR s tAskCommutativeHandlercBsHeZdZed„ƒZed„ƒZeejƒgd\ZZ RS(s' Handler for key 'commutative' cCsot|ƒ}|jdk r8|jo7tj|ƒ|kStj|ƒ|krQtStj|ƒ|krktStS(s>Objects are expected to be commutative unless otherwise statedN(Rtis_commutativeRRt commutativeR R (R R tassumps((s@lib/python2.7/site-packages/sympy/assumptions/handlers/common.pytSymbol"s cCs4x-|jD]"}ttj|ƒ|ƒs tSq WtS(N(targsRRRR R (R R targ((s@lib/python2.7/site-packages/sympy/assumptions/handlers/common.pytBasic.si( RRRRRRRR tNumberR(((s@lib/python2.7/site-packages/sympy/assumptions/handlers/common.pyRs tTautologicalHandlercBs•eZdZed„ƒZeejƒZeejƒZ ed„ƒZ ed„ƒZ ed„ƒZ ed„ƒZ ed„ƒZed„ƒZRS(sBWrapper allowing to query the truth value of a boolean expression.cCs|S(N((R R ((s@lib/python2.7/site-packages/sympy/assumptions/handlers/common.pytbool;scCs t||ƒS(N(R(R R ((s@lib/python2.7/site-packages/sympy/assumptions/handlers/common.pytAppliedPredicateBscCs8t|jdd|ƒ}|ttfkr0| SdSdS(NiR (RRR R R(R R tvalue((s@lib/python2.7/site-packages/sympy/assumptions/handlers/common.pytNotFscCsUt}xH|jD]=}t|d|ƒ}|tkr8tS|dkrd}qqW|S(NR (R RRR R(R R tresultRtp((s@lib/python2.7/site-packages/sympy/assumptions/handlers/common.pytOrNs   cCsUt}xH|jD]=}t|d|ƒ}|tkr8tS|dkrd}qqW|S(NR (R RRR R(R R R!RR"((s@lib/python2.7/site-packages/sympy/assumptions/handlers/common.pytAndYs   cCs$|j\}}t||Bd|ƒS(NR (RR(R R R"tq((s@lib/python2.7/site-packages/sympy/assumptions/handlers/common.pytImpliesdscCs]|j\}}t|d|ƒ}|dkr1dSt|d|ƒ}|dkrSdS||kS(NR (RRR(R R R"R%tpttqt((s@lib/python2.7/site-packages/sympy/assumptions/handlers/common.pyt Equivalentis  (RRRRRRR t BooleanTrueRt BooleanFalseRR R#R$R&R)(((s@lib/python2.7/site-packages/sympy/assumptions/handlers/common.pyR8s  cs&t‡‡fd†|jDƒdtƒS(sR Test for membership in a group with respect to the current operation c3s$|]}tˆ|ƒˆƒVqdS(N(R(t.0ta(R tkey(s@lib/python2.7/site-packages/sympy/assumptions/handlers/common.pys |st quick_exit(RRR (R R R.((R R.s@lib/python2.7/site-packages/sympy/assumptions/handlers/common.pyttest_closed_groupvsN( tsympy.core.logicRtsympy.logic.boolalgRtsympy.assumptionsRRtobjectRRRRR0(((s@lib/python2.7/site-packages/sympy/assumptions/handlers/common.pyts>