ó ¡¼™\c@ sôdZddlmZmZddlmZddlmZmZddl m Z m Z ddl m Z mZddlmZddlmZdd lmZdd lmZd „Zd e fd „ƒYZde fd„ƒYZde fd„ƒYZde fd„ƒYZde fd„ƒYZde fd„ƒYZde fd„ƒYZde fd„ƒYZde fd„ƒYZ de fd„ƒYZ!d „Z"d!„Z#d"„Z$d#e fd$„ƒYZ%d%e fd&„ƒYZ&d'e fd(„ƒYZ'd)S(*sd This module contains query handlers responsible for calculus queries: infinitesimal, bounded, etc. iÿÿÿÿ(tprint_functiontdivision(t conjuncts(tQtask(t CommonHandlerttest_closed_group(tMatMult MatrixExpr(t fuzzy_and(tsift(tBasic(tpartialcC s||jkrtSdS(N(t predicatestTrue(t predicatetexprt assumptions((sBlib/python2.7/site-packages/sympy/assumptions/handlers/matrices.pyt_FactorizationstAskSquareHandlercB seZdZed„ƒZRS(s" Handler for key 'square' cC s|jd|jdkS(Nii(tshape(RR((sBlib/python2.7/site-packages/sympy/assumptions/handlers/matrices.pyRs(t__name__t __module__t__doc__t staticmethodR(((sBlib/python2.7/site-packages/sympy/assumptions/handlers/matrices.pyRstAskSymmetricHandlercB sŒeZdZed„ƒZed„ƒZed„ƒZed„ƒZed„ƒZed„ƒZ e Z ed„ƒZ ee j ƒZRS(s% Handler for key 'symmetric' c sÆ|jƒ\}}t‡fd†|jDƒƒr5tSttj|ƒˆƒrQtSt|jƒdkrÂ|jd|jdjkrÂt|jƒdkrœtSttj t |jdd!ŒƒˆƒSdS(Nc3 s'|]}ttj|ƒˆƒVqdS(N(RRt symmetric(t.0targ(R(sBlib/python2.7/site-packages/sympy/assumptions/handlers/matrices.pys 'siiiÿÿÿÿi( t as_coeff_mmultalltargsRRRtdiagonaltlentTRR(RRtfactortmmul((RsBlib/python2.7/site-packages/sympy/assumptions/handlers/matrices.pyR$s2cC sŽ|j\}}ttj|ƒ|ƒ}|s1dSttj|ƒ|ƒ}|st|tkrŠttj|ƒ|ƒrŠttj|ƒ|ƒSdS(N( RRRtintegertNonetnegativetFalset invertibleR(RRtbasetexptint_expt non_negative((sBlib/python2.7/site-packages/sympy/assumptions/handlers/matrices.pytMatPow2sc st‡fd†|jDƒƒS(Nc3 s'|]}ttj|ƒˆƒVqdS(N(RRR(RR(R(sBlib/python2.7/site-packages/sympy/assumptions/handlers/matrices.pys As(RR(RR((RsBlib/python2.7/site-packages/sympy/assumptions/handlers/matrices.pytMatAdd?scC sL|js tSttj|ƒ|ƒr)tStj|ƒt|ƒkrHtSdS(N(t is_squareR(RRR RRR(RR((sBlib/python2.7/site-packages/sympy/assumptions/handlers/matrices.pyt MatrixSymbolCs  cC sttj|ƒ|ƒS(N(RRtsquare(RR((sBlib/python2.7/site-packages/sympy/assumptions/handlers/matrices.pyt ZeroMatrixNscC sttj|jƒ|ƒS(N(RRRR(RR((sBlib/python2.7/site-packages/sympy/assumptions/handlers/matrices.pyt TransposeRscC sFttj|ƒ|ƒrtS|js)dSttj|jƒ|ƒSdS(N(RRR Rton_diagR&Rtparent(RR((sBlib/python2.7/site-packages/sympy/assumptions/handlers/matrices.pyt MatrixSliceXs  (RRRRRR.R/R1R3R4tInverseR7Rt AlwaysTruetIdentity(((sBlib/python2.7/site-packages/sympy/assumptions/handlers/matrices.pyRs   tAskInvertibleHandlercB s“eZdZed„ƒZed„ƒZed„ƒZed„ƒZeej ƒgd\Z Z eej ƒZ ed„ƒZed„ƒZRS(s& Handler for key 'invertible' c s\|jƒ\}}t‡fd†|jDƒƒr5tSt‡fd†|jDƒƒrXtSdS(Nc3 s'|]}ttj|ƒˆƒVqdS(N(RRR)(RR(R(sBlib/python2.7/site-packages/sympy/assumptions/handlers/matrices.pys nsc3 s-|]#}ttj|ƒˆƒtkVqdS(N(RRR)R((RR(R(sBlib/python2.7/site-packages/sympy/assumptions/handlers/matrices.pys ps(RRRRtanyR((RRR#R$((RsBlib/python2.7/site-packages/sympy/assumptions/handlers/matrices.pyRks cC sZ|j\}}ttj|ƒ|ƒ}|s1dS|jtkrVttj|ƒ|ƒSdS(N(RRRR%R&t is_negativeR(R)(RRR*R+R,((sBlib/python2.7/site-packages/sympy/assumptions/handlers/matrices.pyR.tscC sdS(N(R&(RR((sBlib/python2.7/site-packages/sympy/assumptions/handlers/matrices.pyR/scC s0|js tStj|ƒt|ƒkr,tSdS(N(R0R(RR)RR(RR((sBlib/python2.7/site-packages/sympy/assumptions/handlers/matrices.pyR1ƒs icC sttj|jƒ|ƒS(N(RRR)R(RR((sBlib/python2.7/site-packages/sympy/assumptions/handlers/matrices.pyR4ŽscC s*|js dSttj|jƒ|ƒSdS(N(R5R&RRR)R6(RR((sBlib/python2.7/site-packages/sympy/assumptions/handlers/matrices.pyR7’s (RRRRRR.R/R1RR9R:R8t AlwaysFalseR3R4R7(((sBlib/python2.7/site-packages/sympy/assumptions/handlers/matrices.pyR;fs  tAskOrthogonalHandlercB s­eZdZejZed„ƒZed„ƒZed„ƒZ ed„ƒZ ee j ƒZ ee jƒZed„ƒZeZed„ƒZeeeejƒƒZRS(s& Handler for key 'orthogonal' c sh|jƒ\}}t‡fd†|jDƒƒrA|dkrAtSt‡fd†|jDƒƒrdtSdS(Nc3 s'|]}ttj|ƒˆƒVqdS(N(RRt orthogonal(RR(R(sBlib/python2.7/site-packages/sympy/assumptions/handlers/matrices.pys ¢sic3 s-|]#}ttj|ƒˆƒtkVqdS(N(RRR)R((RR(R(sBlib/python2.7/site-packages/sympy/assumptions/handlers/matrices.pys ¥s(RRRRR<R((RRR#R$((RsBlib/python2.7/site-packages/sympy/assumptions/handlers/matrices.pyRŸs cC sG|j\}}ttj|ƒ|ƒ}|rCttj|ƒ|ƒSdS(N(RRRR%R@R&(RRR*R+R,((sBlib/python2.7/site-packages/sympy/assumptions/handlers/matrices.pyR.©s cC s<t|jƒdkr8ttj|jdƒ|ƒr8tSdS(Nii(R!RRRR@R(RR((sBlib/python2.7/site-packages/sympy/assumptions/handlers/matrices.pyR/²scC sO|j s(ttj|ƒ|ƒtkr,tStj|ƒt|ƒkrKtSdS(N(R0RRR)R(R@RR(RR((sBlib/python2.7/site-packages/sympy/assumptions/handlers/matrices.pyR1¸s  cC sttj|jƒ|ƒS(N(RRR@R(RR((sBlib/python2.7/site-packages/sympy/assumptions/handlers/matrices.pyR4ÄscC s*|js dSttj|jƒ|ƒSdS(N(R5R&RRR@R6(RR((sBlib/python2.7/site-packages/sympy/assumptions/handlers/matrices.pyR7Ês (RRRRR@RRRR.R/R1RR9R:R>R3R4R8R7R Rt Factorization(((sBlib/python2.7/site-packages/sympy/assumptions/handlers/matrices.pyR?™s   tAskUnitaryHandlercB s­eZdZejZed„ƒZed„ƒZed„ƒZ ed„ƒZ e Z ed„ƒZ ed„ƒZ eeeejƒƒZeejƒZeejƒZRS(s# Handler for key 'unitary' c sn|jƒ\}}t‡fd†|jDƒƒrGt|ƒdkrGtSt‡fd†|jDƒƒrjtSdS(Nc3 s'|]}ttj|ƒˆƒVqdS(N(RRtunitary(RR(R(sBlib/python2.7/site-packages/sympy/assumptions/handlers/matrices.pys Üsic3 s-|]#}ttj|ƒˆƒtkVqdS(N(RRR)R((RR(R(sBlib/python2.7/site-packages/sympy/assumptions/handlers/matrices.pys ßs(RRRtabsRR<R((RRR#R$((RsBlib/python2.7/site-packages/sympy/assumptions/handlers/matrices.pyRÙscC sG|j\}}ttj|ƒ|ƒ}|rCttj|ƒ|ƒSdS(N(RRRR%RCR&(RRR*R+R,((sBlib/python2.7/site-packages/sympy/assumptions/handlers/matrices.pyR.ãs cC sO|j s(ttj|ƒ|ƒtkr,tStj|ƒt|ƒkrKtSdS(N(R0RRR)R(RCRR(RR((sBlib/python2.7/site-packages/sympy/assumptions/handlers/matrices.pyR1ìs  cC sttj|jƒ|ƒS(N(RRRCR(RR((sBlib/python2.7/site-packages/sympy/assumptions/handlers/matrices.pyR4ôscC s*|js dSttj|jƒ|ƒSdS(N(R5R&RRRCR6(RR((sBlib/python2.7/site-packages/sympy/assumptions/handlers/matrices.pyR7ús cC stS(N(R(RR((sBlib/python2.7/site-packages/sympy/assumptions/handlers/matrices.pytDFTs(RRRRRCRRRR.R1R4R8R7RER RRARR9R:R>R3(((sBlib/python2.7/site-packages/sympy/assumptions/handlers/matrices.pyRBÓs   tAskFullRankHandlercB sneZdZed„ƒZed„ƒZeejƒZeej ƒZ ed„ƒZ e Z ed„ƒZ RS(s$ Handler for key 'fullrank' c s't‡fd†|jDƒƒr#tSdS(Nc3 s'|]}ttj|ƒˆƒVqdS(N(RRtfullrank(RR(R(sBlib/python2.7/site-packages/sympy/assumptions/handlers/matrices.pys s(RRR(RR((RsBlib/python2.7/site-packages/sympy/assumptions/handlers/matrices.pyRscC s`|j\}}ttj|ƒ|ƒ}|r\ttj|ƒ|ƒr\ttj|ƒ|ƒSdS(N(RRRR%R'RGR&(RRR*R+R,((sBlib/python2.7/site-packages/sympy/assumptions/handlers/matrices.pyR.s cC sttj|jƒ|ƒS(N(RRRGR(RR((sBlib/python2.7/site-packages/sympy/assumptions/handlers/matrices.pyR4"scC s#ttj|jƒ|ƒrtSdS(N(RRR@R6R(RR((sBlib/python2.7/site-packages/sympy/assumptions/handlers/matrices.pyR7(s(RRRRRR.RR9R:R>R3R4R8R7(((sBlib/python2.7/site-packages/sympy/assumptions/handlers/matrices.pyRF s tAskPositiveDefiniteHandlercB sŒeZdZed„ƒZed„ƒZed„ƒZed„ƒZeej ƒZ eej ƒZ ed„ƒZ e Zed„ƒZRS(s- Handler for key 'positive_definite' c s¼|jƒ\}}t‡fd†|jDƒƒrA|dkrAtSt|jƒdkr¸|jd|jdjkr¸ttj|jdƒˆƒr¸ttj t |jdd!ŒƒˆƒSdS(Nc3 s'|]}ttj|ƒˆƒVqdS(N(RRtpositive_definite(RR(R(sBlib/python2.7/site-packages/sympy/assumptions/handlers/matrices.pys 5siiiÿÿÿÿi( RRRRR!R"RRRGRIR(RRR#R$((RsBlib/python2.7/site-packages/sympy/assumptions/handlers/matrices.pyR2s cC s'ttj|jdƒ|ƒr#tSdS(Ni(RRRIRR(RR((sBlib/python2.7/site-packages/sympy/assumptions/handlers/matrices.pyR.>sc s't‡fd†|jDƒƒr#tSdS(Nc3 s'|]}ttj|ƒˆƒVqdS(N(RRRI(RR(R(sBlib/python2.7/site-packages/sympy/assumptions/handlers/matrices.pys Fs(RRR(RR((RsBlib/python2.7/site-packages/sympy/assumptions/handlers/matrices.pyR/DscC s0|js tStj|ƒt|ƒkr,tSdS(N(R0R(RRIRR(RR((sBlib/python2.7/site-packages/sympy/assumptions/handlers/matrices.pyR1Js cC sttj|jƒ|ƒS(N(RRRIR(RR((sBlib/python2.7/site-packages/sympy/assumptions/handlers/matrices.pyR4UscC s*|js dSttj|jƒ|ƒSdS(N(R5R&RRRIR6(RR((sBlib/python2.7/site-packages/sympy/assumptions/handlers/matrices.pyR7[s (RRRRRR.R/R1RR9R:R>R3R4R8R7(((sBlib/python2.7/site-packages/sympy/assumptions/handlers/matrices.pyRH-s tAskUpperTriangularHandlercB s«eZdZed„ƒZed„ƒZed„ƒZed„ƒZeej ƒgd\Z Z ed„ƒZ ed„ƒZ ed„ƒZeeeejƒƒZRS( s, Handler for key 'upper_triangular' c s6|jƒ\}}t‡fd†|Dƒƒr2tSdS(Nc3 s'|]}ttj|ƒˆƒVqdS(N(RRtupper_triangular(Rtm(R(sBlib/python2.7/site-packages/sympy/assumptions/handlers/matrices.pys js(tas_coeff_matricesRR(RRR#tmatrices((RsBlib/python2.7/site-packages/sympy/assumptions/handlers/matrices.pyRgsc s't‡fd†|jDƒƒr#tSdS(Nc3 s'|]}ttj|ƒˆƒVqdS(N(RRRK(RR(R(sBlib/python2.7/site-packages/sympy/assumptions/handlers/matrices.pys os(RRR(RR((RsBlib/python2.7/site-packages/sympy/assumptions/handlers/matrices.pyR/mscC sŽ|j\}}ttj|ƒ|ƒ}|s1dSttj|ƒ|ƒ}|st|tkrŠttj|ƒ|ƒrŠttj|ƒ|ƒSdS(N( RRRR%R&R'R(R)RK(RRR*R+R,R-((sBlib/python2.7/site-packages/sympy/assumptions/handlers/matrices.pyR.rscC s#tj|ƒt|ƒkrtSdS(N(RRKRR(RR((sBlib/python2.7/site-packages/sympy/assumptions/handlers/matrices.pyR1sicC sttj|jƒ|ƒS(N(RRtlower_triangularR(RR((sBlib/python2.7/site-packages/sympy/assumptions/handlers/matrices.pyR4†scC sttj|jƒ|ƒS(N(RRRKR(RR((sBlib/python2.7/site-packages/sympy/assumptions/handlers/matrices.pyR8ŠscC s*|js dSttj|jƒ|ƒSdS(N(R5R&RRRKR6(RR((sBlib/python2.7/site-packages/sympy/assumptions/handlers/matrices.pyR7Žs (RRRRRR/R.R1RR9R:R3R4R8R7R RRRKRA(((sBlib/python2.7/site-packages/sympy/assumptions/handlers/matrices.pyRJbs tAskLowerTriangularHandlercB s«eZdZed„ƒZed„ƒZed„ƒZed„ƒZeej ƒgd\Z Z ed„ƒZ ed„ƒZ ed„ƒZeeeejƒƒZRS( s, Handler for key 'lower_triangular' c s6|jƒ\}}t‡fd†|Dƒƒr2tSdS(Nc3 s'|]}ttj|ƒˆƒVqdS(N(RRRO(RRL(R(sBlib/python2.7/site-packages/sympy/assumptions/handlers/matrices.pys Ÿs(RMRR(RRR#RN((RsBlib/python2.7/site-packages/sympy/assumptions/handlers/matrices.pyRœsc s't‡fd†|jDƒƒr#tSdS(Nc3 s'|]}ttj|ƒˆƒVqdS(N(RRRO(RR(R(sBlib/python2.7/site-packages/sympy/assumptions/handlers/matrices.pys ¤s(RRR(RR((RsBlib/python2.7/site-packages/sympy/assumptions/handlers/matrices.pyR/¢scC sŽ|j\}}ttj|ƒ|ƒ}|s1dSttj|ƒ|ƒ}|st|tkrŠttj|ƒ|ƒrŠttj|ƒ|ƒSdS(N( RRRR%R&R'R(R)RO(RRR*R+R,R-((sBlib/python2.7/site-packages/sympy/assumptions/handlers/matrices.pyR.§scC s#tj|ƒt|ƒkrtSdS(N(RRORR(RR((sBlib/python2.7/site-packages/sympy/assumptions/handlers/matrices.pyR1´sicC sttj|jƒ|ƒS(N(RRRKR(RR((sBlib/python2.7/site-packages/sympy/assumptions/handlers/matrices.pyR4»scC sttj|jƒ|ƒS(N(RRROR(RR((sBlib/python2.7/site-packages/sympy/assumptions/handlers/matrices.pyR8¿scC s*|js dSttj|jƒ|ƒSdS(N(R5R&RRROR6(RR((sBlib/python2.7/site-packages/sympy/assumptions/handlers/matrices.pyR7Ãs (RRRRRR/R.R1RR9R:R3R4R8R7R RRRORA(((sBlib/python2.7/site-packages/sympy/assumptions/handlers/matrices.pyRP—s tAskDiagonalHandlercB sÉeZdZed„ƒZed„ƒZed„ƒZed„ƒZed„ƒZee j ƒgd\Z Z ed„ƒZ ed„ƒZed „ƒZed „ƒZeeeejƒƒZRS( s$ Handler for key 'diagonal' cC s|jdkp|jdkS(Nii(ii(ii(R(R((sBlib/python2.7/site-packages/sympy/assumptions/handlers/matrices.pyt_is_empty_or_1x1Ñsc sItj|ƒrtS|jƒ\}}t‡fd†|DƒƒrEtSdS(Nc3 s'|]}ttj|ƒˆƒVqdS(N(RRR (RRL(R(sBlib/python2.7/site-packages/sympy/assumptions/handlers/matrices.pys Ús(RQRRRRMR(RRR#RN((RsBlib/python2.7/site-packages/sympy/assumptions/handlers/matrices.pyRÕs cC sŽ|j\}}ttj|ƒ|ƒ}|s1dSttj|ƒ|ƒ}|st|tkrŠttj|ƒ|ƒrŠttj|ƒ|ƒSdS(N( RRRR%R&R'R(R)R (RRR*R+R,R-((sBlib/python2.7/site-packages/sympy/assumptions/handlers/matrices.pyR.Ýsc s't‡fd†|jDƒƒr#tSdS(Nc3 s'|]}ttj|ƒˆƒVqdS(N(RRR (RR(R(sBlib/python2.7/site-packages/sympy/assumptions/handlers/matrices.pys ìs(RRR(RR((RsBlib/python2.7/site-packages/sympy/assumptions/handlers/matrices.pyR/êscC s6tj|ƒrtStj|ƒt|ƒkr2tSdS(N(RQRRRRR R(RR((sBlib/python2.7/site-packages/sympy/assumptions/handlers/matrices.pyR1ïsicC sttj|jƒ|ƒS(N(RRR R(RR((sBlib/python2.7/site-packages/sympy/assumptions/handlers/matrices.pyR4øscC sttj|jƒ|ƒS(N(RRR R(RR((sBlib/python2.7/site-packages/sympy/assumptions/handlers/matrices.pyR8üscC s=tj|ƒrtS|js dSttj|jƒ|ƒSdS(N( RQRRRR5R&RRR R6(RR((sBlib/python2.7/site-packages/sympy/assumptions/handlers/matrices.pyR7s  cC stS(N(R(RR((sBlib/python2.7/site-packages/sympy/assumptions/handlers/matrices.pytDiagonalMatrix s(RRRRRRRR.R/R1RR9R:R3R4R8R7RSR RRR RA(((sBlib/python2.7/site-packages/sympy/assumptions/handlers/matrices.pyRQÌs  c s t‡‡fd†|jDƒƒS(s Block Matrix elements c3 s$|]}tˆ|ƒˆƒVqdS(N(R(Rtb(RR(sBlib/python2.7/site-packages/sympy/assumptions/handlers/matrices.pys s(Rtblocks(RRR((RRsBlib/python2.7/site-packages/sympy/assumptions/handlers/matrices.pyt BM_elementsscC st||jƒ|ƒS(s Matrix Slice elements (RR6(RRR((sBlib/python2.7/site-packages/sympy/assumptions/handlers/matrices.pyt MS_elementsscC s^t|jd„ƒ}|t|t}}ttt|Œ||ƒtt|Œ||ƒgƒS(NcS s t|tƒS(N(t isinstanceR(tx((sBlib/python2.7/site-packages/sympy/assumptions/handlers/matrices.pytt(R RR(RR RR (tmatrix_predicatetscalar_predicateRRtdtfactorsRN((sBlib/python2.7/site-packages/sympy/assumptions/handlers/matrices.pytMatMul_elementss tAskIntegerElementsHandlercB s©eZed„ƒZed„ƒZegd\ZZZZee j ƒgd\Z Z ee eejejƒƒZee eejƒƒZee eejƒƒZRS(cC st||tjƒS(N(RRtinteger_elements(RR((sBlib/python2.7/site-packages/sympy/assumptions/handlers/matrices.pyR/ scC sZ|j\}}ttj|ƒ|ƒ}|s1dS|jtkrVttj|ƒ|ƒSdS(N(RRRR%R&R=R(Rb(RRR*R+R,((sBlib/python2.7/site-packages/sympy/assumptions/handlers/matrices.pyR.$sii(RRRR/R.tHadamardProductt DeterminanttTraceR4RR9R3R:R R`RRbR%RRWR7RVt BlockMatrix(((sBlib/python2.7/site-packages/sympy/assumptions/handlers/matrices.pyRas tAskRealElementsHandlercB seZed„ƒZed„ƒZegd\ZZZZZ ee e e j e jƒƒZee ee j ƒƒZee ee j ƒƒZRS(cC st||tjƒS(N(RRt real_elements(RR((sBlib/python2.7/site-packages/sympy/assumptions/handlers/matrices.pyR/9scC sŽ|j\}}ttj|ƒ|ƒ}|s1dSttj|ƒ|ƒ}|st|tkrŠttj|ƒ|ƒrŠttj|ƒ|ƒSdS(N( RRRR%R&R'R(R)Rh(RRR*R+R,R-((sBlib/python2.7/site-packages/sympy/assumptions/handlers/matrices.pyR.=si(RRRR/R.RcRdReR4RAR R`RRhtrealRRWR7RVRf(((sBlib/python2.7/site-packages/sympy/assumptions/handlers/matrices.pyRg8s tAskComplexElementsHandlercB s¢eZed„ƒZed„ƒZegd\ZZZZZ Z ee e e je jƒƒZee ee jƒƒZee ee jƒƒZeejƒZRS(cC st||tjƒS(N(RRtcomplex_elements(RR((sBlib/python2.7/site-packages/sympy/assumptions/handlers/matrices.pyR/SscC sŽ|j\}}ttj|ƒ|ƒ}|s1dSttj|ƒ|ƒ}|st|tkrŠttj|ƒ|ƒrŠttj|ƒ|ƒSdS(N( RRRR%R&R'R(R)Rk(RRR*R+R,R-((sBlib/python2.7/site-packages/sympy/assumptions/handlers/matrices.pyR.Wsi(RRRR/R.RcRdReR4R8RAR R`RRktcomplexRRWR7RVRfRR9RE(((sBlib/python2.7/site-packages/sympy/assumptions/handlers/matrices.pyRjRsN((Rt __future__RRtsympy.logic.boolalgRtsympy.assumptionsRRtsympy.assumptions.handlersRRtsympy.matrices.expressionsRRtsympy.core.logicR tsympy.utilities.iterablesR t sympy.coreR t functoolsR RRRR;R?RBRFRHRJRPRQRVRWR`RaRgRj(((sBlib/python2.7/site-packages/sympy/assumptions/handlers/matrices.pyts4  G3:8"555D