ó ¡¼™\c@ sædZddlmZmZddlmZmZddlmZddl m Z m Z m Z defd„ƒYZ defd „ƒYZd efd „ƒYZd efd „ƒYZdefd„ƒYZdefd„ƒYZdS(sB AskHandlers related to order relations: positive, negative, etc. iÿÿÿÿ(tprint_functiontdivision(tQtask(t CommonHandler(t fuzzy_nott fuzzy_andtfuzzy_ortAskNegativeHandlercB s“eZdZed„ƒZed„ƒZed„ƒZed„ƒZed„ƒZed„ƒZ ee j ƒgd\Z Z ed„ƒZRS( sI This is called by ask() when key='negative' Test that an expression is less (strict) than zero. Examples ======== >>> from sympy import ask, Q, pi >>> ask(Q.negative(pi+1)) # this calls AskNegativeHandler.Add False >>> ask(Q.negative(pi**2)) # this calls AskNegativeHandler.Pow False cC s|jS(N(t is_negative(texprt assumptions((s?lib/python2.7/site-packages/sympy/assumptions/handlers/order.pytExprscC s |jƒ\}}|sC|jdƒ}|jdkrœ|dkSnY|jdƒ}|jdkrœ|dkrqtS|jdƒ}|jdkrœ|dkSndS(Niii(t as_real_imagtevalft_prectFalse(R R trti((s?lib/python2.7/site-packages/sympy/assumptions/handlers/order.pyt_number s  cC s|jrtj||ƒSdS(N(t is_numberRR(R R ((s?lib/python2.7/site-packages/sympy/assumptions/handlers/order.pytBasic4s cC sÅ|jrtj||ƒSttj|ƒ|ƒ}|tk rA|Sd}xw|jD]S}ttj|ƒ|ƒtk rQttj |ƒ|ƒt kr |d7}q¤PqQqQW|t |jƒkrÁtSdS(sZ Positive + Positive -> Positive, Negative + Negative -> Negative iiN( RRRRRtrealtTruetargstnegativetpositiveRtlen(R R Rtnonpostarg((s?lib/python2.7/site-packages/sympy/assumptions/handlers/order.pytAdd9s   cC s|jrtj||ƒSd}xg|jD]\}|dkrDt}nttj|ƒ|ƒrf| }q)ttj |ƒ|ƒrq)dSq)W|S(N( RRRtNoneRRRRRR(R R tresultR((s?lib/python2.7/site-packages/sympy/assumptions/handlers/order.pytMulQs    cC sË|jrtj||ƒSttj|jƒ|ƒrÇttj|jƒ|ƒrqttj|jƒ|ƒrqt Snttj |jƒ|ƒrt Sttj |jƒ|ƒrÇttj |jƒ|ƒSndS(s Real ** Even -> NonNegative Real ** Odd -> same_as_base NonNegative ** Positive -> NonNegative N( RRRRRRtbaseRtexpRteventoddR(R R ((s?lib/python2.7/site-packages/sympy/assumptions/handlers/order.pytPowas icC s'ttj|jdƒ|ƒr#tSdS(Ni(RRRRR(R R ((s?lib/python2.7/site-packages/sympy/assumptions/handlers/order.pyR#us(t__name__t __module__t__doc__t staticmethodR RRRR!R&Rt AlwaysFalset ImaginaryUnittAbsR#(((s?lib/python2.7/site-packages/sympy/assumptions/handlers/order.pyR stAskNonNegativeHandlercB s&eZed„ƒZed„ƒZRS(cC s|jS(N(tis_nonnegative(R R ((s?lib/python2.7/site-packages/sympy/assumptions/handlers/order.pyR }scC sH|jrDttj||ƒƒ}|r=ttj|ƒ|ƒS|SndS(N(RRRRRRR(R R t notnegative((s?lib/python2.7/site-packages/sympy/assumptions/handlers/order.pyRs  (R'R(R*R R(((s?lib/python2.7/site-packages/sympy/assumptions/handlers/order.pyR.{stAskNonZeroHandlercB sweZdZed„ƒZed„ƒZed„ƒZed„ƒZed„ƒZee j ƒZ ed„ƒZ RS(sT Handler for key 'zero' Test that an expression is not identically zero cC s|jS(N(t is_nonzero(R R ((s?lib/python2.7/site-packages/sympy/assumptions/handlers/order.pyR ‘sc sdttj|ƒƒtkrtS|jr`|jdƒ}d„‰t‡fd†|jƒDƒƒSdS(NicS s|jdkr|dkSdS(Nii(R(R((s?lib/python2.7/site-packages/sympy/assumptions/handlers/order.pytnonzœsc3 s|]}ˆ|ƒVqdS(N((t.0R(R3(s?lib/python2.7/site-packages/sympy/assumptions/handlers/order.pys Ÿs(RRRRRRRR (R R R((R3s?lib/python2.7/site-packages/sympy/assumptions/handlers/order.pyR•s   c sFt‡fd†|jDƒƒs>t‡fd†|jDƒƒrBtSdS(Nc3 s'|]}ttj|ƒˆƒVqdS(N(RRR(R4tx(R (s?lib/python2.7/site-packages/sympy/assumptions/handlers/order.pys £sc3 s'|]}ttj|ƒˆƒVqdS(N(RRR(R4R5(R (s?lib/python2.7/site-packages/sympy/assumptions/handlers/order.pys ¤s(tallRR(R R ((R s?lib/python2.7/site-packages/sympy/assumptions/handlers/order.pyR¡scC s=x6|jD]+}ttj|ƒ|ƒ}|r4q n|SWtS(N(RRRtnonzeroR(R R RR ((s?lib/python2.7/site-packages/sympy/assumptions/handlers/order.pyR!§s cC sttj|jƒ|ƒS(N(RRR7R"(R R ((s?lib/python2.7/site-packages/sympy/assumptions/handlers/order.pyR&°scC sttj|jdƒ|ƒS(Ni(RRR7R(R R ((s?lib/python2.7/site-packages/sympy/assumptions/handlers/order.pyR-¶s( R'R(R)R*R RRR!R&Rt AlwaysTruetNaNR-(((s?lib/python2.7/site-packages/sympy/assumptions/handlers/order.pyR1‹s  tAskZeroHandlercB s5eZed„ƒZed„ƒZed„ƒZRS(cC s|jS(N(tis_zero(R R ((s?lib/python2.7/site-packages/sympy/assumptions/handlers/order.pyR ¼scC s:ttttj|ƒ|ƒƒttj|ƒ|ƒgƒS(N(RRRRR7R(R R ((s?lib/python2.7/site-packages/sympy/assumptions/handlers/order.pyRÀsc st‡fd†|jDƒƒS(Nc3 s'|]}ttj|ƒˆƒVqdS(N(RRtzero(R4R(R (s?lib/python2.7/site-packages/sympy/assumptions/handlers/order.pys Ès(RR(R R ((R s?lib/python2.7/site-packages/sympy/assumptions/handlers/order.pyR!Ås(R'R(R*R RR!(((s?lib/python2.7/site-packages/sympy/assumptions/handlers/order.pyR:ºstAskNonPositiveHandlercB s&eZed„ƒZed„ƒZRS(cC s|jS(N(tis_nonpositive(R R ((s?lib/python2.7/site-packages/sympy/assumptions/handlers/order.pyR ÌscC sH|jrDttj||ƒƒ}|r=ttj|ƒ|ƒS|SndS(N(RRtAskPositiveHandlerRRRR(R R t notpositive((s?lib/python2.7/site-packages/sympy/assumptions/handlers/order.pyRÐs  (R'R(R*R R(((s?lib/python2.7/site-packages/sympy/assumptions/handlers/order.pyR=ÊsR?cB seZdZed„ƒZed„ƒZed„ƒZed„ƒZed„ƒZed„ƒZ ed„ƒZ ed„ƒZ ed „ƒZ ee jƒZed „ƒZed „ƒZed „ƒZed „ƒZed„ƒZed„ƒZed„ƒZed„ƒZRS(s^ Handler for key 'positive' Test that an expression is greater (strict) than zero cC s|jS(N(t is_positive(R R ((s?lib/python2.7/site-packages/sympy/assumptions/handlers/order.pyR ßscC s |jƒ\}}|sC|jdƒ}|jdkrœ|dkSnY|jdƒ}|jdkrœ|dkrqtS|jdƒ}|jdkrœ|dkSndS(Niii(R RRR(R R RR((s?lib/python2.7/site-packages/sympy/assumptions/handlers/order.pyRãs  cC s|jrtj||ƒSdS(N(RR?R(R R ((s?lib/python2.7/site-packages/sympy/assumptions/handlers/order.pyR÷s cC s~|jrtj||ƒSt}xX|jD]M}ttj|ƒ|ƒrMq)q)ttj|ƒ|ƒrr|tA}q)dSq)W|S(N( RR?RRRRRRR(R R R R((s?lib/python2.7/site-packages/sympy/assumptions/handlers/order.pyR!üs  cC sÅ|jrtj||ƒSttj|ƒ|ƒ}|tk rA|Sd}xw|jD]S}ttj|ƒ|ƒtk rQttj |ƒ|ƒt kr |d7}q¤PqQqQW|t |jƒkrÁtSdS(Nii( RR?RRRRRRRRRR(R R RtnonnegR((s?lib/python2.7/site-packages/sympy/assumptions/handlers/order.pyR s   cC s¶|jrtj||ƒSttj|jƒ|ƒrVttj|jƒ|ƒrVt Snttj |jƒ|ƒr²ttj |jƒ|ƒrt Sttj |jƒ|ƒr²t SndS(N(RR?RRRRR"RR#RRR$R%R(R R ((s?lib/python2.7/site-packages/sympy/assumptions/handlers/order.pyR&s cC sttj|jdƒ|ƒr#tSttj|jdƒ|ƒr}ddlm}m}ttj |jd||ƒ|ƒSdS(Niiÿÿÿÿ(tpitI( RRRRRt imaginarytsympyRCRDR$(R R RCRD((s?lib/python2.7/site-packages/sympy/assumptions/handlers/order.pyR#+s cC sttj|jdƒ|ƒ}|tk r/|Sttj|jddƒ|ƒrVtSttj|jddƒ|ƒr}tSdS(Nii(RRRRRRRR(R R R((s?lib/python2.7/site-packages/sympy/assumptions/handlers/order.pytlog3s ##cC s:|jd}ttj|ƒtj|ƒ@|ƒr6tSdS(Ni(RRRtintegerRR(R R R5((s?lib/python2.7/site-packages/sympy/assumptions/handlers/order.pyt factorial=s %cC sttj|ƒ|ƒS(N(RRR7(R R ((s?lib/python2.7/site-packages/sympy/assumptions/handlers/order.pyR-EscC s#ttj|jƒ|ƒrtSdS(N(RRtpositive_definiteRR(R R ((s?lib/python2.7/site-packages/sympy/assumptions/handlers/order.pytTraceIscC s#ttj|jƒ|ƒrtSdS(N(RRRJRR(R R ((s?lib/python2.7/site-packages/sympy/assumptions/handlers/order.pyt DeterminantNscC s5|j|jkr1ttj|jƒ|ƒr1tSdS(N(RtjRRRJtparentR(R R ((s?lib/python2.7/site-packages/sympy/assumptions/handlers/order.pyt MatrixElementSscC sttj|jdƒ|ƒS(Ni(RRRR(R R ((s?lib/python2.7/site-packages/sympy/assumptions/handlers/order.pytatanYscC sk|jd}ttj|ƒtj|dƒ@|ƒr:tSttj|ƒtj|dƒ@|ƒrgtSdS(Nii( RRRRt nonpositiveRRt nonnegativeR(R R R5((s?lib/python2.7/site-packages/sympy/assumptions/handlers/order.pytasin]s  ))cC sB|jd}ttj|dƒtj|dƒ@|ƒr>tSdS(Nii(RRRRQRRR(R R R5((s?lib/python2.7/site-packages/sympy/assumptions/handlers/order.pytacoses -cC sttj|jdƒ|ƒS(Ni(RRRR(R R ((s?lib/python2.7/site-packages/sympy/assumptions/handlers/order.pytacotks(R'R(R)R*R RRR!RR&R#RGRIRR+R,R-RKRLRORPRSRTRU(((s?lib/python2.7/site-packages/sympy/assumptions/handlers/order.pyR?Ùs&  N(R)t __future__RRtsympy.assumptionsRRtsympy.assumptions.handlersRtsympy.core.logicRRRRR.R1R:R=R?(((s?lib/python2.7/site-packages/sympy/assumptions/handlers/order.pytsp/