ó
¡¼™\c           @   sí  d  d l  m Z m Z m Z m Z m Z m Z m Z m Z m	 Z	 m
 Z
 d  d l m Z m Z m Z m Z m Z d  d l m Z d  d l m Z m Z d  d l m Z d  d l m Z d  d l m Z m Z m Z m Z m Z d  d l  m! Z! d  d	 l" m# Z# d  d
 l$ m% Z% d  d l& m' Z' d  d l( m) Z) m* Z* m+ Z+ m, Z, d  d l- m. Z. m/ Z/ d  d l0 m1 Z1 d  d l2 m3 Z3 m4 Z4 m5 Z5 m6 Z6 m7 Z7 m8 Z8 m9 Z9 m: Z: d  d l; m< Z< m= Z= m> Z> m? Z? m@ Z@ d  d lA mB ZB mC ZC mD ZD mE ZE d  d l mF ZF d  d lG ZG d „  ZH d „  ZI d „  ZJ d „  ZK d „  ZL d „  ZM d „  ZN d „  ZO d „  ZP d „  ZQ d „  ZR d „  ZS d  „  ZT d! „  ZU d" „  ZV d# „  ZW eC d$ „  ƒ ZX eC d% „  ƒ ZY eC d& „  ƒ ZZ eC d' „  ƒ Z[ eB d( „  ƒ Z\ d) „  Z] d* „  Z^ eC d+ „  ƒ Z_ eB d, „  ƒ Z` d- „  Za d. „  Zb d/ „  Zc eC d0 „  ƒ Zd eC d1 „  ƒ Ze d2 „  Zf eC d3 „  ƒ Zg d4 „  Zh eC d5 „  ƒ Zi eC d6 „  ƒ Zj eB d7 „  ƒ Zk d8 „  Zl d9 „  Zm eC d: „  ƒ Zn d; „  Zo d< „  Zp d= „  Zq eC d> „  ƒ Zr d? „  Zs d@ „  Zt dA „  Zu dB „  Zv dC „  Zw dD „  Zx dE „  Zy dF „  Zz dG „  Z{ dH „  Z| dI „  Z} dJ „  Z~ dK „  Z dL „  Z€ eC dM „  ƒ Z dN „  Z‚ dO „  Zƒ dP „  Z„ dQ „  Z… dR „  Z† dS „  Z‡ dT „  Zˆ eB dU „  ƒ Z‰ dV „  ZŠ dW „  Z‹ dX „  ZŒ dY „  Z dZ „  ZŽ d S([   iÿÿÿÿ(
   t   tt   wt   xt   yt   zt   nt   kt   mt   pt   i(   t   askt   AssumptionsContextt   Qt   register_handlert   remove_handler(   t   global_assumptions(   t   compute_known_factst   single_fact_lookup(   t
   AskHandler(   t   Add(   t   It   Integert   Rationalt   oot   pi(   t   S(   t   Pow(   t   symbols(   t	   factorial(   t   Abst   imt   ret   sign(   t   expt   log(   t   sqrt(   t   acost   acott   asint   atant   cost   cott   sint   tan(   t
   Equivalentt   Impliest   Xort   Andt   to_cnf(   t   XFAILt   slowt   raisest   warns_deprecated_sympy(   t   assumingNc          C   s  d }  t  t j |  ƒ ƒ t k s' t ‚ t  t j |  ƒ ƒ t k sH t ‚ t  t j |  ƒ ƒ t k si t ‚ t  t j |  ƒ ƒ t k sŠ t ‚ t  t j |  ƒ ƒ t k s« t ‚ t  t j	 |  ƒ ƒ t
 k sÌ t ‚ t  t j |  ƒ ƒ t
 k sí t ‚ t  t j |  ƒ ƒ t k st ‚ t  t j |  ƒ ƒ t
 k s/t ‚ t  t j |  ƒ ƒ t
 k sPt ‚ t  t j |  ƒ ƒ t k sqt ‚ t  t j |  ƒ ƒ t k s’t ‚ t  t j |  ƒ ƒ t
 k s³t ‚ t  t j |  ƒ ƒ t
 k sÔt ‚ t  t j |  ƒ ƒ t k sõt ‚ t  t j |  ƒ ƒ t
 k st ‚ d  S(   Ni   (   R
   R   t   commutativet   Truet   AssertionErrort   integert   rationalt   realt   complext
   irrationalt   Falset	   imaginaryt   positivet   negativet   event   oddt   finitet   primet	   compositet	   hermitiant   antihermitian(   R   (    (    sA   lib/python2.7/site-packages/sympy/assumptions/tests/test_query.pyt
   test_int_1   s"    !!!!!!!!!!!!!!!c          C   s  d }  t  t j |  ƒ ƒ t k s' t ‚ t  t j |  ƒ ƒ t k sH t ‚ t  t j |  ƒ ƒ t k si t ‚ t  t j |  ƒ ƒ t k sŠ t ‚ t  t j |  ƒ ƒ t k s« t ‚ t  t j	 |  ƒ ƒ t
 k sÌ t ‚ t  t j |  ƒ ƒ t
 k sí t ‚ t  t j |  ƒ ƒ t k st ‚ t  t j |  ƒ ƒ t
 k s/t ‚ t  t j |  ƒ ƒ t
 k sPt ‚ t  t j |  ƒ ƒ t k sqt ‚ t  t j |  ƒ ƒ t k s’t ‚ t  t j |  ƒ ƒ t k s³t ‚ t  t j |  ƒ ƒ t
 k sÔt ‚ t  t j |  ƒ ƒ t k sõt ‚ t  t j |  ƒ ƒ t
 k st ‚ d  S(   Ni   (   R
   R   R6   R7   R8   R9   R:   R;   R<   R=   R>   R?   R@   RA   RB   RC   RD   RE   RF   RG   RH   (   R   (    (    sA   lib/python2.7/site-packages/sympy/assumptions/tests/test_query.pyt   test_int_11+   s"    !!!!!!!!!!!!!!!c          C   s  d }  t  t j |  ƒ ƒ t k s' t ‚ t  t j |  ƒ ƒ t k sH t ‚ t  t j |  ƒ ƒ t k si t ‚ t  t j |  ƒ ƒ t k sŠ t ‚ t  t j |  ƒ ƒ t k s« t ‚ t  t j	 |  ƒ ƒ t
 k sÌ t ‚ t  t j |  ƒ ƒ t
 k sí t ‚ t  t j |  ƒ ƒ t k st ‚ t  t j |  ƒ ƒ t
 k s/t ‚ t  t j |  ƒ ƒ t k sPt ‚ t  t j |  ƒ ƒ t
 k sqt ‚ t  t j |  ƒ ƒ t k s’t ‚ t  t j |  ƒ ƒ t
 k s³t ‚ t  t j |  ƒ ƒ t k sÔt ‚ t  t j |  ƒ ƒ t k sõt ‚ t  t j |  ƒ ƒ t
 k st ‚ d  S(   Ni   (   R
   R   R6   R7   R8   R9   R:   R;   R<   R=   R>   R?   R@   RA   RB   RC   RD   RE   RF   RG   RH   (   R   (    (    sA   lib/python2.7/site-packages/sympy/assumptions/tests/test_query.pyt   test_int_12?   s"    !!!!!!!!!!!!!!!c          C   sT  d }  t  t j |  ƒ ƒ t k s' t ‚ t  t j |  ƒ ƒ t k sH t ‚ t  t j |  ƒ ƒ d  k si t ‚ t  t j	 |  ƒ ƒ t k sŠ t ‚ t  t j
 |  ƒ ƒ t k s« t ‚ t  t j |  ƒ ƒ d  k sÌ t ‚ t  t j |  ƒ ƒ t k sí t ‚ t  t j |  ƒ ƒ t k st ‚ t  t j |  ƒ ƒ t k s/t ‚ t  t j |  ƒ ƒ t k sPt ‚ t  t j |  ƒ ƒ t k sqt ‚ t  t j |  ƒ ƒ t k s’t ‚ t  t j |  ƒ ƒ t k s³t ‚ t  t j |  ƒ ƒ t k sÔt ‚ t  t j |  ƒ ƒ t k sõt ‚ t  t j |  ƒ ƒ t k st ‚ d }  t  t j |  ƒ ƒ t k s=t ‚ t  t j |  ƒ ƒ t k s^t ‚ t  t j |  ƒ ƒ d  k st ‚ t  t j	 |  ƒ ƒ t k s t ‚ t  t j
 |  ƒ ƒ t k sÁt ‚ t  t j |  ƒ ƒ d  k sât ‚ t  t j |  ƒ ƒ t k st ‚ t  t j |  ƒ ƒ t k s$t ‚ t  t j |  ƒ ƒ t k sEt ‚ t  t j |  ƒ ƒ t k sft ‚ t  t j |  ƒ ƒ t k s‡t ‚ t  t j |  ƒ ƒ t k s¨t ‚ t  t j |  ƒ ƒ t k sÉt ‚ t  t j |  ƒ ƒ t k sêt ‚ t  t j |  ƒ ƒ t k st ‚ t  t j |  ƒ ƒ t k s,t ‚ t  t j t j ƒ ƒ d  k sPt ‚ d  S(   Ng      ð?gaÃÓ+eÙ@(   R
   R   R6   R7   R8   R9   R>   R:   t   NoneR;   R<   R=   R?   R@   RA   RB   RC   RD   RE   RF   RG   RH   t   mathR   (   R   (    (    sA   lib/python2.7/site-packages/sympy/assumptions/tests/test_query.pyt   test_float_1S   sF    !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!c          C   sA  t  d ƒ }  t t j |  ƒ ƒ t k s- t ‚ t t j |  ƒ ƒ t k sN t ‚ t t j |  ƒ ƒ t k so t ‚ t t j	 |  ƒ ƒ t k s t ‚ t t j
 |  ƒ ƒ t k s± t ‚ t t j |  ƒ ƒ t k sÒ t ‚ t t j |  ƒ ƒ t k só t ‚ t t j |  ƒ ƒ t k st ‚ t t j |  ƒ ƒ t k s5t ‚ t t j |  ƒ ƒ t k sVt ‚ t t j |  ƒ ƒ t k swt ‚ t t j |  ƒ ƒ t k s˜t ‚ t t j |  ƒ ƒ t k s¹t ‚ t t j |  ƒ ƒ t k sÚt ‚ t t j |  ƒ ƒ t k sût ‚ t t j |  ƒ ƒ t k st ‚ t t j |  ƒ ƒ t k s=t ‚ d  S(   Ni    (   R   R
   R   t   nonzeroR>   R8   t   zeroR7   R6   R9   R:   R;   R<   R?   R@   RA   RB   RC   RD   RE   RF   RG   RH   (   R   (    (    sA   lib/python2.7/site-packages/sympy/assumptions/tests/test_query.pyt   test_zero_0|   s$    !!!!!!!!!!!!!!!!c          C   sb  t  d ƒ }  t t j |  ƒ ƒ t k s- t ‚ t t j |  ƒ ƒ t k sN t ‚ t t j |  ƒ ƒ t k so t ‚ t t j	 |  ƒ ƒ t k s t ‚ t t j
 |  ƒ ƒ t k s± t ‚ t t j |  ƒ ƒ t k sÒ t ‚ t t j |  ƒ ƒ t k só t ‚ t t j |  ƒ ƒ t k st ‚ t t j |  ƒ ƒ t k s5t ‚ t t j |  ƒ ƒ t k sVt ‚ t t j |  ƒ ƒ t k swt ‚ t t j |  ƒ ƒ t k s˜t ‚ t t j |  ƒ ƒ t k s¹t ‚ t t j |  ƒ ƒ t k sÚt ‚ t t j |  ƒ ƒ t k sût ‚ t t j |  ƒ ƒ t k st ‚ t t j |  ƒ ƒ t k s=t ‚ t t j |  ƒ ƒ t k s^t ‚ d  S(   Niÿÿÿÿ(   R   R
   R   RO   R7   R8   RP   R>   R6   R9   R:   R;   R<   R=   R?   R@   RA   RB   RC   RD   RE   RF   RG   RH   (   R   (    (    sA   lib/python2.7/site-packages/sympy/assumptions/tests/test_query.pyt   test_negativeone‘   s&    !!!!!!!!!!!!!!!!!c           C   sV  t  t j t ƒ ƒ t k s! t ‚ t  t j t ƒ ƒ t k sB t ‚ t  t j t ƒ ƒ t k sc t ‚ t  t j	 t ƒ ƒ t k s„ t ‚ t  t j
 t ƒ ƒ t k s¥ t ‚ t  t j t ƒ ƒ t k sÆ t ‚ t  t j t ƒ ƒ t k sç t ‚ t  t j t ƒ ƒ t k st ‚ t  t j t ƒ ƒ t k s)t ‚ t  t j t ƒ ƒ t k sJt ‚ t  t j t ƒ ƒ t k skt ‚ t  t j t ƒ ƒ t k sŒt ‚ t  t j t ƒ ƒ t k s­t ‚ t  t j t ƒ ƒ t k sÎt ‚ t  t j t ƒ ƒ t k sït ‚ t  t j t ƒ ƒ t k st ‚ t  t j t ƒ ƒ t k s1t ‚ t  t j t ƒ ƒ t k sRt ‚ d  S(   N(   R
   R   R6   R   R7   R8   R9   R>   R:   t	   algebraicR;   t   extended_realR<   R=   R?   R@   RA   RB   RC   RD   RE   RF   RG   RH   (    (    (    sA   lib/python2.7/site-packages/sympy/assumptions/tests/test_query.pyt   test_infinity§   s$    !!!!!!!!!!!!!!!!!c          C   s_  t  j }  t t j |  ƒ ƒ t k s* t ‚ t t j |  ƒ ƒ t k sK t ‚ t t j	 |  ƒ ƒ t k sl t ‚ t t j
 |  ƒ ƒ t k s t ‚ t t j |  ƒ ƒ t k s® t ‚ t t j |  ƒ ƒ t k sÏ t ‚ t t j |  ƒ ƒ t k sð t ‚ t t j |  ƒ ƒ t k st ‚ t t j |  ƒ ƒ t k s2t ‚ t t j |  ƒ ƒ t k sSt ‚ t t j |  ƒ ƒ t k stt ‚ t t j |  ƒ ƒ t k s•t ‚ t t j |  ƒ ƒ t k s¶t ‚ t t j |  ƒ ƒ t k s×t ‚ t t j |  ƒ ƒ t k søt ‚ t t j |  ƒ ƒ t k st ‚ t t j |  ƒ ƒ t k s:t ‚ t t j |  ƒ ƒ t k s[t ‚ d  S(   N(   R   t   NegativeInfinityR
   R   R6   R7   R8   R9   R>   R:   RS   R;   RT   R<   R=   R?   R@   RA   RB   RC   RD   RE   RF   RG   RH   (   t   mm(    (    sA   lib/python2.7/site-packages/sympy/assumptions/tests/test_query.pyt   test_neg_infinity¼   s&    	!!!!!!!!!!!!!!!!!c          C   s€  t  j }  t t j |  ƒ ƒ t k s* t ‚ t t j |  ƒ ƒ t k sK t ‚ t t j	 |  ƒ ƒ t k sl t ‚ t t j
 |  ƒ ƒ t k s t ‚ t t j |  ƒ ƒ t k s® t ‚ t t j |  ƒ ƒ t k sÏ t ‚ t t j |  ƒ ƒ t k sð t ‚ t t j |  ƒ ƒ t k st ‚ t t j |  ƒ ƒ t k s2t ‚ t t j |  ƒ ƒ t k sSt ‚ t t j |  ƒ ƒ t k stt ‚ t t j |  ƒ ƒ t k s•t ‚ t t j |  ƒ ƒ t k s¶t ‚ t t j |  ƒ ƒ t k s×t ‚ t t j |  ƒ ƒ t k søt ‚ t t j |  ƒ ƒ t k st ‚ t t j |  ƒ ƒ t k s:t ‚ t t j |  ƒ ƒ t k s[t ‚ t t j |  ƒ ƒ t k s|t ‚ d  S(   N(   R   t   NaNR
   R   R6   R7   R8   R9   R>   R:   RS   R;   RT   R<   R=   R?   R@   RO   RP   RB   RC   RD   RE   RF   RG   RH   (   t   nan(    (    sA   lib/python2.7/site-packages/sympy/assumptions/tests/test_query.pyt   test_nanÒ   s(    	!!!!!!!!!!!!!!!!!!c          C   sZ  t  d d ƒ }  t t j |  ƒ ƒ t k s0 t ‚ t t j |  ƒ ƒ t k sQ t ‚ t t j |  ƒ ƒ t k sr t ‚ t t j	 |  ƒ ƒ t k s“ t ‚ t t j
 |  ƒ ƒ t k s´ t ‚ t t j |  ƒ ƒ t k sÕ t ‚ t t j |  ƒ ƒ t k sö t ‚ t t j |  ƒ ƒ t k st ‚ t t j |  ƒ ƒ t k s8t ‚ t t j |  ƒ ƒ t k sYt ‚ t t j |  ƒ ƒ t k szt ‚ t t j |  ƒ ƒ t k s›t ‚ t t j |  ƒ ƒ t k s¼t ‚ t t j |  ƒ ƒ t k sÝt ‚ t t j |  ƒ ƒ t k sþt ‚ t t j |  ƒ ƒ t k st ‚ t  d d ƒ }  t t j |  ƒ ƒ t k sOt ‚ t t j |  ƒ ƒ t k spt ‚ t  d d ƒ }  t t j |  ƒ ƒ t k s t ‚ t t j |  ƒ ƒ t k sÁt ‚ t  d d ƒ }  t t j |  ƒ ƒ t k sñt ‚ t t j |  ƒ ƒ t k st ‚ t  d d ƒ }  t t j |  ƒ ƒ t k sBt ‚ t t j |  ƒ ƒ t k sct ‚ t  d d ƒ }  t t j |  ƒ ƒ t k s“t ‚ t t j |  ƒ ƒ t k s´t ‚ t  d d ƒ }  t t j |  ƒ ƒ t k sät ‚ t t j |  ƒ ƒ t k st ‚ t  d d ƒ }  t t j |  ƒ ƒ t k s5t ‚ t t j |  ƒ ƒ t k sVt ‚ d  S(   Ni   i   i   i   iýÿÿÿiÿÿÿÿiûÿÿÿ(   R   R
   R   R6   R7   R8   R9   R>   R:   R;   R<   R=   R?   R@   RA   RB   RC   RD   RE   RF   RG   RH   (   t   r(    (    sA   lib/python2.7/site-packages/sympy/assumptions/tests/test_query.pyt   test_Rational_numberé   sL    !!!!!!!!!!!!!!!!!!!!!!!!!!!!!c          C   s   t  d ƒ }  t t j |  ƒ ƒ t k s- t ‚ t t j |  ƒ ƒ t k sN t ‚ t t j |  ƒ ƒ t k so t ‚ t t j	 |  ƒ ƒ t k s t ‚ t t j
 |  ƒ ƒ t k s± t ‚ t t j |  ƒ ƒ t k sÒ t ‚ t t j |  ƒ ƒ t k só t ‚ t t j |  ƒ ƒ t k st ‚ t t j |  ƒ ƒ t k s5t ‚ t t j |  ƒ ƒ t k sVt ‚ t t j |  ƒ ƒ t k swt ‚ t t j |  ƒ ƒ t k s˜t ‚ t t j |  ƒ ƒ t k s¹t ‚ t t j |  ƒ ƒ t k sÚt ‚ t t j |  ƒ ƒ t k sût ‚ t t j |  ƒ ƒ t k st ‚ d  S(   Ni   (   R#   R
   R   R6   R7   R8   R9   R>   R:   R;   R<   R=   R?   R@   RA   RB   RC   RD   RE   RF   RG   RH   (   R   (    (    sA   lib/python2.7/site-packages/sympy/assumptions/tests/test_query.pyt   test_sqrt_2  s"    !!!!!!!!!!!!!!!c          C   s:  t  j }  t t j |  ƒ ƒ t k s* t ‚ t t j |  ƒ ƒ t k sK t ‚ t t j	 |  ƒ ƒ t k sl t ‚ t t j
 |  ƒ ƒ t k s t ‚ t t j |  ƒ ƒ t k s® t ‚ t t j |  ƒ ƒ t k sÏ t ‚ t t j |  ƒ ƒ t k sð t ‚ t t j |  ƒ ƒ t k st ‚ t t j |  ƒ ƒ t k s2t ‚ t t j |  ƒ ƒ t k sSt ‚ t t j |  ƒ ƒ t k stt ‚ t t j |  ƒ ƒ t k s•t ‚ t t j |  ƒ ƒ t k s¶t ‚ t t j |  ƒ ƒ t k s×t ‚ t t j |  ƒ ƒ t k søt ‚ t t j |  ƒ ƒ t k st ‚ t t j |  ƒ ƒ t k s:t ‚ t  j d }  t t j |  ƒ ƒ t k sht ‚ t t j |  ƒ ƒ t k s‰t ‚ t t j	 |  ƒ ƒ t k sªt ‚ t t j
 |  ƒ ƒ t k sËt ‚ t t j |  ƒ ƒ t k sìt ‚ t t j |  ƒ ƒ t k st ‚ t t j |  ƒ ƒ t k s.t ‚ t t j |  ƒ ƒ t k sOt ‚ t t j |  ƒ ƒ t k spt ‚ t t j |  ƒ ƒ t k s‘t ‚ t t j |  ƒ ƒ t k s²t ‚ t t j |  ƒ ƒ t k sÓt ‚ t t j |  ƒ ƒ t k sôt ‚ t t j |  ƒ ƒ t k st ‚ t t j |  ƒ ƒ t k s6t ‚ t t j |  ƒ ƒ t k sWt ‚ t t j |  ƒ ƒ t k sxt ‚ d t  j }  t t j |  ƒ ƒ t k s¦t ‚ t t j |  ƒ ƒ t k sÇt ‚ t t j	 |  ƒ ƒ t k sèt ‚ t t j
 |  ƒ ƒ t k s	t ‚ t t j |  ƒ ƒ t k s*t ‚ t t j |  ƒ ƒ t k sKt ‚ t t j |  ƒ ƒ t k slt ‚ t t j |  ƒ ƒ t k st ‚ t t j |  ƒ ƒ t k s®t ‚ t t j |  ƒ ƒ t k sÏt ‚ t t j |  ƒ ƒ t k sðt ‚ t t j |  ƒ ƒ t k st ‚ t t j |  ƒ ƒ t k s2t ‚ t t j |  ƒ ƒ t k sSt ‚ t t j |  ƒ ƒ t k stt ‚ t t j |  ƒ ƒ t k s•t ‚ t t j |  ƒ ƒ t k s¶t ‚ t  j d }  t t j |  ƒ ƒ t k sät ‚ t t j |  ƒ ƒ t k st ‚ t t j	 |  ƒ ƒ t k s&t ‚ t t j
 |  ƒ ƒ t k sGt ‚ t t j |  ƒ ƒ t k sht ‚ t t j |  ƒ ƒ t k s‰t ‚ t t j |  ƒ ƒ t k sªt ‚ t t j |  ƒ ƒ t k sËt ‚ t t j |  ƒ ƒ t k sìt ‚ t t j |  ƒ ƒ t k st ‚ t t j |  ƒ ƒ t k s.t ‚ t t j |  ƒ ƒ t k sOt ‚ t t j |  ƒ ƒ t k spt ‚ t t j |  ƒ ƒ t k s‘t ‚ t t j |  ƒ ƒ t k s²t ‚ t t j |  ƒ ƒ t k sÓt ‚ t t j |  ƒ ƒ t k sôt ‚ d t  j d }  t t j |  ƒ ƒ t k s&	t ‚ t t j |  ƒ ƒ t k sG	t ‚ t t j	 |  ƒ ƒ t k sh	t ‚ t t j
 |  ƒ ƒ t k s‰	t ‚ t t j |  ƒ ƒ t k sª	t ‚ t t j |  ƒ ƒ t k sË	t ‚ t t j |  ƒ ƒ t k sì	t ‚ t t j |  ƒ ƒ t k s
t ‚ t t j |  ƒ ƒ t k s.
t ‚ t t j |  ƒ ƒ t k sO
t ‚ t t j |  ƒ ƒ t k sp
t ‚ t t j |  ƒ ƒ t k s‘
t ‚ t t j |  ƒ ƒ t k s²
t ‚ t t j |  ƒ ƒ t k sÓ
t ‚ t t j |  ƒ ƒ t k sô
t ‚ t t j |  ƒ ƒ t k st ‚ t t j |  ƒ ƒ t k s6t ‚ d  S(   Ni   i   (   R   t   PiR
   R   R6   R7   R8   R9   R>   R:   RS   R;   R<   R=   R?   R@   RA   RB   RC   RD   RE   RF   RG   RH   (   R   (    (    sA   lib/python2.7/site-packages/sympy/assumptions/tests/test_query.pyt   test_pi-  s´    	!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!c          C   s>  t  j }  t t j |  ƒ ƒ t k s* t ‚ t t j |  ƒ ƒ t k sK t ‚ t t j	 |  ƒ ƒ t k sl t ‚ t t j
 |  ƒ ƒ t k s t ‚ t t j |  ƒ ƒ t k s® t ‚ t t j |  ƒ ƒ t k sÏ t ‚ t t j |  ƒ ƒ t k sð t ‚ t t j |  ƒ ƒ t k st ‚ t t j |  ƒ ƒ t k s2t ‚ t t j |  ƒ ƒ t k sSt ‚ t t j |  ƒ ƒ t k stt ‚ t t j |  ƒ ƒ t k s•t ‚ t t j |  ƒ ƒ t k s¶t ‚ t t j |  ƒ ƒ t k s×t ‚ t t j |  ƒ ƒ t k søt ‚ t t j |  ƒ ƒ t k st ‚ t t j |  ƒ ƒ t k s:t ‚ d  S(   N(   R   t   Exp1R
   R   R6   R7   R8   R9   R>   R:   RS   R;   R<   R=   R?   R@   RA   RB   RC   RD   RE   RF   RG   RH   (   R   (    (    sA   lib/python2.7/site-packages/sympy/assumptions/tests/test_query.pyt   test_EŽ  s$    	!!!!!!!!!!!!!!!!c          C   s>  t  j }  t t j |  ƒ ƒ t k s* t ‚ t t j |  ƒ ƒ t k sK t ‚ t t j	 |  ƒ ƒ t k sl t ‚ t t j
 |  ƒ ƒ t k s t ‚ t t j |  ƒ ƒ t k s® t ‚ t t j |  ƒ ƒ t k sÏ t ‚ t t j |  ƒ ƒ t k sð t ‚ t t j |  ƒ ƒ t k st ‚ t t j |  ƒ ƒ t k s2t ‚ t t j |  ƒ ƒ t k sSt ‚ t t j |  ƒ ƒ t k stt ‚ t t j |  ƒ ƒ t k s•t ‚ t t j |  ƒ ƒ t k s¶t ‚ t t j |  ƒ ƒ t k s×t ‚ t t j |  ƒ ƒ t k søt ‚ t t j |  ƒ ƒ t k st ‚ t t j |  ƒ ƒ t k s:t ‚ d  S(   N(   R   t   GoldenRatioR
   R   R6   R7   R8   R9   R>   R:   RS   R;   R<   R=   R?   R@   RA   RB   RC   RD   RE   RF   RG   RH   (   R   (    (    sA   lib/python2.7/site-packages/sympy/assumptions/tests/test_query.pyt   test_GoldenRatio£  s$    	!!!!!!!!!!!!!!!!c          C   s>  t  j }  t t j |  ƒ ƒ t k s* t ‚ t t j |  ƒ ƒ t k sK t ‚ t t j	 |  ƒ ƒ t k sl t ‚ t t j
 |  ƒ ƒ t k s t ‚ t t j |  ƒ ƒ t k s® t ‚ t t j |  ƒ ƒ t k sÏ t ‚ t t j |  ƒ ƒ t k sð t ‚ t t j |  ƒ ƒ t k st ‚ t t j |  ƒ ƒ t k s2t ‚ t t j |  ƒ ƒ t k sSt ‚ t t j |  ƒ ƒ t k stt ‚ t t j |  ƒ ƒ t k s•t ‚ t t j |  ƒ ƒ t k s¶t ‚ t t j |  ƒ ƒ t k s×t ‚ t t j |  ƒ ƒ t k søt ‚ t t j |  ƒ ƒ t k st ‚ t t j |  ƒ ƒ t k s:t ‚ d  S(   N(   R   t   TribonacciConstantR
   R   R6   R7   R8   R9   R>   R:   RS   R;   R<   R=   R?   R@   RA   RB   RC   RD   RE   RF   RG   RH   (   R   (    (    sA   lib/python2.7/site-packages/sympy/assumptions/tests/test_query.pyt   test_TribonacciConstant¸  s$    	!!!!!!!!!!!!!!!!c          C   sV
  t  }  t t j |  ƒ ƒ t k s' t ‚ t t j |  ƒ ƒ t k sH t ‚ t t j |  ƒ ƒ t k si t ‚ t t j	 |  ƒ ƒ t k sŠ t ‚ t t j
 |  ƒ ƒ t k s« t ‚ t t j |  ƒ ƒ t k sÌ t ‚ t t j |  ƒ ƒ t k sí t ‚ t t j |  ƒ ƒ t k st ‚ t t j |  ƒ ƒ t k s/t ‚ t t j |  ƒ ƒ t k sPt ‚ t t j |  ƒ ƒ t k sqt ‚ t t j |  ƒ ƒ t k s’t ‚ t t j |  ƒ ƒ t k s³t ‚ t t j |  ƒ ƒ t k sÔt ‚ t t j |  ƒ ƒ t k sõt ‚ t t j |  ƒ ƒ t k st ‚ t t j |  ƒ ƒ t k s7t ‚ d t  }  t t j |  ƒ ƒ t k sbt ‚ t t j |  ƒ ƒ t k sƒt ‚ t t j |  ƒ ƒ t k s¤t ‚ t t j	 |  ƒ ƒ t k sÅt ‚ t t j
 |  ƒ ƒ t k sæt ‚ t t j |  ƒ ƒ t k st ‚ t t j |  ƒ ƒ t k s(t ‚ t t j |  ƒ ƒ t k sIt ‚ t t j |  ƒ ƒ t k sjt ‚ t t j |  ƒ ƒ t k s‹t ‚ t t j |  ƒ ƒ t k s¬t ‚ t t j |  ƒ ƒ t k sÍt ‚ t t j |  ƒ ƒ t k sît ‚ t t j |  ƒ ƒ t k st ‚ t t j |  ƒ ƒ t k s0t ‚ t t j |  ƒ ƒ t k sQt ‚ t t j |  ƒ ƒ t k srt ‚ t  d t  }  t t j |  ƒ ƒ t k s¡t ‚ t t j |  ƒ ƒ t k sÂt ‚ t t j |  ƒ ƒ t k sãt ‚ t t j	 |  ƒ ƒ t k st ‚ t t j
 |  ƒ ƒ t k s%t ‚ t t j |  ƒ ƒ t k sFt ‚ t t j |  ƒ ƒ t k sgt ‚ t t j |  ƒ ƒ t k sˆt ‚ t t j |  ƒ ƒ t k s©t ‚ t t j |  ƒ ƒ t k sÊt ‚ t t j |  ƒ ƒ t k sët ‚ t t j |  ƒ ƒ t k st ‚ t t j |  ƒ ƒ t k s-t ‚ t t j |  ƒ ƒ t k sNt ‚ t t j |  ƒ ƒ t k sot ‚ t t j |  ƒ ƒ t k st ‚ t t j |  ƒ ƒ t k s±t ‚ t  t  }  t t j |  ƒ ƒ t k sÜt ‚ t t j
 |  ƒ ƒ t k sýt ‚ t  t  }  t t j |  ƒ ƒ t k s)t ‚ t t j
 |  ƒ ƒ t k sJt ‚ d t  t  }  t t j |  ƒ ƒ t k syt ‚ t t j
 |  ƒ ƒ t k sšt ‚ d t  }  t t j |  ƒ ƒ t k sÅt ‚ t t j
 |  ƒ ƒ t k sæt ‚ d t  }  t t j |  ƒ ƒ t k st ‚ t t j
 |  ƒ ƒ t k s2t ‚ d t  t  }  t t j |  ƒ ƒ t k sat ‚ t t j
 |  ƒ ƒ t k s‚t ‚ t  t  d }  t t j |  ƒ ƒ t k s±t ‚ t t j
 |  ƒ ƒ t k sÒt ‚ t  t  d }  t t j |  ƒ ƒ t k s	t ‚ t t j
 |  ƒ ƒ t k s"	t ‚ t  d }  t t j |  ƒ ƒ t k sM	t ‚ t t j
 |  ƒ ƒ t k sn	t ‚ t  d }  t t j |  ƒ ƒ t k s™	t ‚ t t j
 |  ƒ ƒ t k sº	t ‚ d t  }  t t j |  ƒ ƒ t k så	t ‚ t t j
 |  ƒ ƒ t k s
t ‚ t  d }  t t j |  ƒ ƒ t k s1
t ‚ t t j
 |  ƒ ƒ t k sR
t ‚ d  S(   Ni   i   iÿÿÿÿi   i    (   R   R
   R   R6   R7   R8   R9   R>   R:   RS   R;   R<   R=   R?   R@   RA   RB   RC   RD   RE   RF   RG   RH   (   R   (    (    sA   lib/python2.7/site-packages/sympy/assumptions/tests/test_query.pyt   test_IÍ  s´    !!!!!!!!!!!!!!!!!
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
!!!!!!
!!
!!!!!!!!
!!
!!
!!
!c          C   s‰  t  d ƒ \ }  } } t t j |  ƒ ƒ d  k s6 t ‚ t t j |  ƒ t j |  ƒ ƒ t k sc t ‚ t t j |  ƒ t j | ƒ ƒ d  k s t ‚ t t j |  ƒ t j |  ƒ ƒ d  k s½ t ‚ t t j |  d ƒ ƒ d  k sâ t ‚ t t j |  d ƒ t j |  ƒ ƒ t k st ‚ |  | } | j \ }  } t t j | ƒ t j |  ƒ t j | ƒ @ƒ t k sft ‚ t t j | ƒ t j |  ƒ t j | ƒ @t j	 |  ƒ @ƒ t k s­t ‚ t t j | ƒ t j |  ƒ t j | ƒ @t j	 | ƒ @ƒ t k sôt ‚ t t j | ƒ t j |  ƒ t j | ƒ @t j	 |  ƒ @t j	 | ƒ @ƒ t k sHt ‚ t t j | ƒ t j |  ƒ t j | ƒ @t j	 |  ƒ @t j	 | ƒ @ƒ t k st ‚ t t j | ƒ t j |  ƒ t j | ƒ @t j	 |  ƒ @t j	 | ƒ @ƒ t k sòt ‚ t t j | ƒ t j |  ƒ t j | ƒ @t j	 |  ƒ @t j	 | ƒ @ƒ t k sHt ‚ t t j | ƒ t j |  ƒ t j | ƒ @ƒ t
 k sƒt ‚ t t j | ƒ t j |  ƒ t j | ƒ @t j	 |  ƒ @ƒ t
 k sËt ‚ t t j | ƒ t j |  ƒ t j | ƒ @t j	 | ƒ @ƒ t
 k st ‚ t t j | ƒ t j |  ƒ t j | ƒ @t j	 |  ƒ @t j	 | ƒ @ƒ t
 k sht ‚ t t j | ƒ t j |  ƒ t j | ƒ @t j	 |  ƒ @t j	 | ƒ @ƒ t
 k s¾t ‚ t t j | ƒ t j |  ƒ t j | ƒ @t j	 |  ƒ @t j	 | ƒ @ƒ t
 k st ‚ t t j | ƒ t j |  ƒ t j | ƒ @t j	 |  ƒ @t j	 | ƒ @ƒ t
 k skt ‚ t t j | ƒ t j |  ƒ ƒ d  k s˜t ‚ t t j | ƒ t j |  ƒ t j	 |  ƒ @ƒ d  k sÒt ‚ t t j | ƒ t j |  ƒ t j	 | ƒ @ƒ d  k st ‚ t t j | ƒ t j |  ƒ t j	 |  ƒ @t j	 | ƒ @ƒ d  k sSt ‚ t t j | ƒ t j |  ƒ t j	 |  ƒ @t j	 | ƒ @ƒ d  k s›t ‚ t t j | ƒ t j |  ƒ t j	 |  ƒ @t j	 | ƒ @ƒ d  k sãt ‚ t t j | ƒ t j |  ƒ t j	 |  ƒ @t j	 | ƒ @ƒ d  k s,t ‚ t t j | ƒ t j |  ƒ t j | ƒ @ƒ d  k sht ‚ t t j | ƒ t j |  ƒ t j | ƒ @t j	 |  ƒ @ƒ d  k s±t ‚ t t j | ƒ t j |  ƒ t j | ƒ @t j	 | ƒ @ƒ d  k sút ‚ t t j | ƒ t j |  ƒ t j | ƒ @t j	 |  ƒ @t j	 | ƒ @ƒ t
 k sPt ‚ t t j | ƒ t j |  ƒ t j | ƒ @t j	 |  ƒ @t j	 | ƒ @ƒ d  k s§t ‚ t t j | ƒ t j |  ƒ t j | ƒ @t j	 |  ƒ @t j	 | ƒ @ƒ d  k sþt ‚ t t j | ƒ t j |  ƒ t j | ƒ @t j	 |  ƒ @t j	 | ƒ @ƒ t
 k sV	t ‚ t t j | ƒ t j | ƒ ƒ d  k s„	t ‚ t t j | ƒ t j | ƒ t j	 |  ƒ @ƒ d  k s¿	t ‚ t t j | ƒ t j | ƒ t j	 | ƒ @ƒ d  k sú	t ‚ t t j | ƒ t j | ƒ t j	 |  ƒ @t j	 | ƒ @ƒ t
 k sB
t ‚ t t j | ƒ t j | ƒ t j	 |  ƒ @t j	 | ƒ @ƒ d  k s‹
t ‚ t t j | ƒ t j | ƒ t j	 |  ƒ @t j	 | ƒ @ƒ d  k sÔ
t ‚ t t j | ƒ t j | ƒ t j	 |  ƒ @t j	 | ƒ @ƒ t
 k st ‚ t t j | ƒ ƒ d  k s?t ‚ t t j | ƒ t j	 |  ƒ ƒ d  k slt ‚ t t j | ƒ t j	 | ƒ ƒ d  k s™t ‚ t t j | ƒ t j	 |  ƒ t j	 | ƒ @ƒ d  k sÓt ‚ t t j | ƒ t j	 |  ƒ t j	 | ƒ @ƒ d  k st ‚ t t j | ƒ t j	 |  ƒ t j	 | ƒ @ƒ d  k sIt ‚ t t j | ƒ t j	 |  ƒ t j	 | ƒ @ƒ d  k s…t ‚ d  S(   Ns   x,y,zi   (   R   R
   R   RD   RL   R8   R7   R<   t   argsR@   R>   (   R   R   R   t   a(    (    sA   lib/python2.7/site-packages/sympy/assumptions/tests/test_query.pyt   test_bounded18  sš    !---%1
:DDEFFG;EE66 77 -::DEEF<FF77 88 .;;EFFG!--:;;c          C   s:  t  d ƒ \ }  } } |  | | } | j \ }  } } t t j | ƒ t j |  ƒ t j |  ƒ @t j | ƒ @t j | ƒ @t j | ƒ @t j | ƒ @ƒ t k s£ t ‚ t t j | ƒ t j |  ƒ t j |  ƒ @t j | ƒ @t j | ƒ @t j | ƒ @ƒ t k st ‚ t t j | ƒ t j |  ƒ t j |  ƒ @t j | ƒ @t j | ƒ @t j | ƒ @t j | ƒ @ƒ t k srt ‚ t t j | ƒ t j |  ƒ t j |  ƒ @t j | ƒ @t j | ƒ @t j | ƒ @t j | ƒ @ƒ t	 k sát ‚ t t j | ƒ t j |  ƒ t j |  ƒ @t j | ƒ @t j | ƒ @t j | ƒ @ƒ t	 k sCt ‚ t t j | ƒ t j |  ƒ t j |  ƒ @t j | ƒ @t j | ƒ @t j | ƒ @t j | ƒ @ƒ t	 k s²t ‚ t t j | ƒ t j |  ƒ t j |  ƒ @t j | ƒ @t j | ƒ @t j | ƒ @ƒ d  k st ‚ t t j | ƒ t j |  ƒ t j |  ƒ @t j | ƒ @t j | ƒ @ƒ d  k sgt ‚ t t j | ƒ t j |  ƒ t j |  ƒ @t j | ƒ @t j | ƒ @t j | ƒ @ƒ d  k sÈt ‚ t t j | ƒ t j |  ƒ t j |  ƒ @t j | ƒ @t j | ƒ @ƒ t k st ‚ t t j | ƒ t j |  ƒ t j |  ƒ @t j | ƒ @t j | ƒ @t j | ƒ @ƒ t k s}t ‚ t t j | ƒ t j |  ƒ t j |  ƒ @t j | ƒ @t j | ƒ @t j | ƒ @ƒ t	 k sßt ‚ t t j | ƒ t j |  ƒ t j |  ƒ @t j | ƒ @t j | ƒ @ƒ t	 k s4t ‚ t t j | ƒ t j |  ƒ t j |  ƒ @t j | ƒ @t j | ƒ @t j | ƒ @ƒ t	 k s–t ‚ t t j | ƒ t j |  ƒ t j |  ƒ @t j | ƒ @t j | ƒ @ƒ d  k sêt ‚ t t j | ƒ t j |  ƒ t j |  ƒ @t j | ƒ @ƒ d  k s1t ‚ t t j | ƒ t j |  ƒ t j |  ƒ @t j | ƒ @t j | ƒ @ƒ d  k s…t ‚ t t j | ƒ t j |  ƒ t j |  ƒ @t j | ƒ @t j | ƒ @t j | ƒ @t j | ƒ @ƒ t k sót ‚ t t j | ƒ t j |  ƒ t j |  ƒ @t j | ƒ @t j | ƒ @t j | ƒ @t j | ƒ @ƒ t	 k sbt ‚ t t j | ƒ t j |  ƒ t j |  ƒ @t j | ƒ @t j | ƒ @t j | ƒ @ƒ t	 k sÄt ‚ t t j | ƒ t j |  ƒ t j |  ƒ @t j | ƒ @t j | ƒ @t j | ƒ @t j | ƒ @ƒ t	 k s3t ‚ t t j | ƒ t j |  ƒ t j |  ƒ @t j | ƒ @t j | ƒ @t j | ƒ @ƒ d  k s”t ‚ t t j | ƒ t j |  ƒ t j |  ƒ @t j | ƒ @t j | ƒ @ƒ d  k sèt ‚ t t j | ƒ t j |  ƒ t j |  ƒ @t j | ƒ @t j | ƒ @t j | ƒ @ƒ d  k sI	t ‚ t t j | ƒ t j |  ƒ t j |  ƒ @t j | ƒ @t j | ƒ @t j | ƒ @t j | ƒ @ƒ t	 k s¹	t ‚ t t j | ƒ t j |  ƒ t j |  ƒ @t j | ƒ @t j | ƒ @t j | ƒ @ƒ d  k s
t ‚ t t j | ƒ t j |  ƒ t j |  ƒ @t j | ƒ @t j | ƒ @t j | ƒ @t j | ƒ @ƒ d  k sŒ
t ‚ t t j | ƒ t j |  ƒ t j |  ƒ @t j | ƒ @t j | ƒ @t j | ƒ @ƒ t	 k sî
t ‚ t t j | ƒ t j |  ƒ t j |  ƒ @t j | ƒ @t j | ƒ @ƒ d  k sCt ‚ t t j | ƒ t j |  ƒ t j |  ƒ @t j | ƒ @t j | ƒ @t j | ƒ @ƒ d  k s¥t ‚ t t j | ƒ t j |  ƒ t j |  ƒ @t j | ƒ @t j | ƒ @ƒ d  k sût ‚ t t j | ƒ t j |  ƒ t j |  ƒ @t j | ƒ @t j | ƒ @t j | ƒ @ƒ d  k s^t ‚ t t j | ƒ t j |  ƒ t j |  ƒ @t j | ƒ @t j | ƒ @ƒ d  k s³t ‚ t t j | ƒ t j |  ƒ t j |  ƒ @t j | ƒ @ƒ d  k sût ‚ t t j | ƒ t j |  ƒ t j |  ƒ @t j | ƒ @t j | ƒ @ƒ d  k sPt ‚ t t j | ƒ t j |  ƒ t j |  ƒ @t j | ƒ @t j | ƒ @t j | ƒ @t j | ƒ @ƒ t	 k sÀt ‚ t t j | ƒ t j |  ƒ t j |  ƒ @t j | ƒ @t j | ƒ @t j | ƒ @ƒ d  k s"t ‚ t t j | ƒ t j |  ƒ t j |  ƒ @t j | ƒ @t j | ƒ @ƒ d  k swt ‚ t t j | ƒ t j |  ƒ t j |  ƒ @t j | ƒ @t j | ƒ @t j | ƒ @ƒ t	 k sÙt ‚ t t j | ƒ t j |  ƒ t j |  ƒ @t j | ƒ @t j | ƒ @ƒ d  k s-t ‚ t t j | ƒ t j |  ƒ t j |  ƒ @t j | ƒ @ƒ d  k stt ‚ t t j | ƒ t j |  ƒ t j |  ƒ @t j | ƒ @t j | ƒ @ƒ d  k sÈt ‚ t t j | ƒ t j |  ƒ t j |  ƒ @ƒ d  k st ‚ t t j | ƒ t j |  ƒ t j |  ƒ @t j | ƒ @ƒ d  k sIt ‚ t t j | ƒ t j |  ƒ t j |  ƒ @t j | ƒ @t j | ƒ @ƒ d  k st ‚ t t j | ƒ t j |  ƒ t j | ƒ @t j | ƒ @ƒ t k sät ‚ t t j | ƒ t j |  ƒ t j | ƒ @t j | ƒ @t j | ƒ @ƒ t k s8t ‚ t t j | ƒ t j |  ƒ t j | ƒ @t j | ƒ @t j | ƒ @ƒ t	 k st ‚ t t j | ƒ t j |  ƒ t j | ƒ @t j | ƒ @ƒ t	 k sÕt ‚ t t j | ƒ t j |  ƒ t j | ƒ @t j | ƒ @t j | ƒ @ƒ t	 k s*t ‚ t t j | ƒ t j |  ƒ t j | ƒ @t j | ƒ @ƒ d  k sqt ‚ t t j | ƒ t j |  ƒ t j | ƒ @ƒ d  k s«t ‚ t t j | ƒ t j |  ƒ t j | ƒ @t j | ƒ @ƒ d  k sòt ‚ t t j | ƒ t j |  ƒ t j | ƒ @t j | ƒ @t j | ƒ @t j | ƒ @ƒ t k sSt ‚ t t j | ƒ t j |  ƒ t j | ƒ @t j | ƒ @t j | ƒ @t j | ƒ @ƒ t	 k sµt ‚ t t j | ƒ t j |  ƒ t j | ƒ @t j | ƒ @t j | ƒ @ƒ t	 k s
t ‚ t t j | ƒ t j |  ƒ t j | ƒ @t j | ƒ @t j | ƒ @t j | ƒ @ƒ t	 k slt ‚ t t j | ƒ t j |  ƒ t j | ƒ @t j | ƒ @t j | ƒ @ƒ d  k sÀt ‚ t t j | ƒ t j |  ƒ t j | ƒ @t j | ƒ @ƒ d  k st ‚ t t j | ƒ t j |  ƒ t j | ƒ @t j | ƒ @t j | ƒ @ƒ d  k s[t ‚ t t j | ƒ t j |  ƒ t j | ƒ @t j | ƒ @t j | ƒ @t j | ƒ @ƒ t	 k s¾t ‚ t t j | ƒ t j |  ƒ t j | ƒ @t j | ƒ @t j | ƒ @ƒ d  k st ‚ t t j | ƒ t j |  ƒ t j | ƒ @t j | ƒ @t j | ƒ @t j | ƒ @ƒ d  k swt ‚ t t j | ƒ t j |  ƒ t j | ƒ @t j | ƒ @t j | ƒ @ƒ t	 k sÌt ‚ t t j | ƒ t j |  ƒ t j | ƒ @t j | ƒ @ƒ d  k st ‚ t t j | ƒ t j |  ƒ t j | ƒ @t j | ƒ @t j | ƒ @ƒ d  k sit ‚ t t j | ƒ t j |  ƒ t j | ƒ @t j | ƒ @ƒ d  k s²t ‚ t t j | ƒ t j |  ƒ t j | ƒ @t j | ƒ @t j | ƒ @ƒ d  k st ‚ t t j | ƒ t j |  ƒ t j | ƒ @t j | ƒ @ƒ d  k sPt ‚ t t j | ƒ t j |  ƒ t j | ƒ @ƒ d  k s‹t ‚ t t j | ƒ t j |  ƒ t j | ƒ @t j | ƒ @ƒ d  k sÓt ‚ t t j | ƒ t j |  ƒ t j | ƒ @t j | ƒ @t j | ƒ @t j | ƒ @ƒ t	 k s6t ‚ d  S(   Ns   x,y,z(   R   Rh   R
   R   RD   RA   R7   R8   R@   R>   RL   (   R   R   R   Ri   (    (    sA   lib/python2.7/site-packages/sympy/assumptions/tests/test_query.pyt   test_bounded2a  s    _R_`S`RERERSFSEDE_`S`RERaTaSFSGTFEFaSFSEDE:DEDEFEFD:DRSFSEDETGTFEFFGE;Ec          C   sX  t  d ƒ \ }  } } |  | | } | j \ }  } } t t j | ƒ t j |  ƒ t j | ƒ @t j | ƒ @t j | ƒ @ƒ d  k sŠ t ‚ t t j | ƒ t j |  ƒ t j | ƒ @t j | ƒ @ƒ d  k sÒ t ‚ t t j | ƒ t j |  ƒ t j | ƒ @t j | ƒ @t j | ƒ @ƒ t	 k s't ‚ t t j | ƒ t j |  ƒ t j | ƒ @t j | ƒ @ƒ d  k snt ‚ t t j | ƒ t j |  ƒ t j | ƒ @ƒ d  k s¨t ‚ t t j | ƒ t j |  ƒ t j | ƒ @t j | ƒ @ƒ d  k sït ‚ t t j | ƒ t j |  ƒ ƒ d  k st ‚ t t j | ƒ t j |  ƒ t j | ƒ @ƒ d  k sVt ‚ t t j | ƒ t j |  ƒ t j | ƒ @t j | ƒ @ƒ d  k st ‚ t t j | ƒ t j |  ƒ t j |  ƒ @t j | ƒ @t j | ƒ @t j | ƒ @t j | ƒ @ƒ t
 k st ‚ t t j | ƒ t j |  ƒ t j |  ƒ @t j | ƒ @t j | ƒ @t j | ƒ @t j | ƒ @ƒ t	 k szt ‚ t t j | ƒ t j |  ƒ t j |  ƒ @t j | ƒ @t j | ƒ @t j | ƒ @ƒ t	 k sÜt ‚ t t j | ƒ t j |  ƒ t j |  ƒ @t j | ƒ @t j | ƒ @t j | ƒ @t j | ƒ @ƒ t	 k sKt ‚ t t j | ƒ t j |  ƒ t j |  ƒ @t j | ƒ @t j | ƒ @t j | ƒ @ƒ d  k s¬t ‚ t t j | ƒ t j |  ƒ t j |  ƒ @t j | ƒ @t j | ƒ @ƒ d  k s t ‚ t t j | ƒ t j |  ƒ t j |  ƒ @t j | ƒ @t j | ƒ @t j | ƒ @ƒ d  k sat ‚ t t j | ƒ t j |  ƒ t j |  ƒ @t j | ƒ @t j | ƒ @t j | ƒ @t j | ƒ @ƒ t	 k sÑt ‚ t t j | ƒ t j |  ƒ t j |  ƒ @t j | ƒ @t j | ƒ @t j | ƒ @ƒ d  k s4t ‚ t t j | ƒ t j |  ƒ t j |  ƒ @t j | ƒ @t j | ƒ @t j | ƒ @t j | ƒ @ƒ d  k s¤t ‚ t t j | ƒ t j |  ƒ t j |  ƒ @t j | ƒ @t j | ƒ @t j | ƒ @ƒ t	 k st ‚ t t j | ƒ t j |  ƒ t j |  ƒ @t j | ƒ @t j | ƒ @ƒ d  k s[t ‚ t t j | ƒ t j |  ƒ t j |  ƒ @t j | ƒ @t j | ƒ @t j | ƒ @ƒ d  k s½t ‚ t t j | ƒ t j |  ƒ t j |  ƒ @t j | ƒ @t j | ƒ @ƒ d  k st ‚ t t j | ƒ t j |  ƒ t j |  ƒ @t j | ƒ @t j | ƒ @t j | ƒ @ƒ d  k svt ‚ t t j | ƒ t j |  ƒ t j |  ƒ @t j | ƒ @t j | ƒ @ƒ d  k sËt ‚ t t j | ƒ t j |  ƒ t j |  ƒ @t j | ƒ @ƒ d  k s	t ‚ t t j | ƒ t j |  ƒ t j |  ƒ @t j | ƒ @t j | ƒ @ƒ d  k sh	t ‚ t t j | ƒ t j |  ƒ t j |  ƒ @t j | ƒ @t j | ƒ @t j | ƒ @t j | ƒ @ƒ t	 k sØ	t ‚ t t j | ƒ t j |  ƒ t j |  ƒ @t j | ƒ @t j | ƒ @t j | ƒ @ƒ d  k s:
t ‚ t t j | ƒ t j |  ƒ t j |  ƒ @t j | ƒ @t j | ƒ @ƒ d  k s
t ‚ t t j | ƒ t j |  ƒ t j |  ƒ @t j | ƒ @t j | ƒ @t j | ƒ @ƒ t	 k sñ
t ‚ t t j | ƒ t j |  ƒ t j |  ƒ @t j | ƒ @t j | ƒ @ƒ d  k sEt ‚ t t j | ƒ t j |  ƒ t j |  ƒ @t j | ƒ @ƒ d  k sŒt ‚ t t j | ƒ t j |  ƒ t j |  ƒ @t j | ƒ @t j | ƒ @ƒ d  k sàt ‚ t t j | ƒ t j |  ƒ t j |  ƒ @ƒ d  k st ‚ t t j | ƒ t j |  ƒ t j |  ƒ @t j | ƒ @ƒ d  k sat ‚ t t j | ƒ t j |  ƒ t j |  ƒ @t j | ƒ @t j | ƒ @ƒ d  k sµt ‚ t t j | ƒ t j |  ƒ t j |  ƒ @t j | ƒ @t j | ƒ @t j | ƒ @t j | ƒ @ƒ t	 k s&t ‚ t t j | ƒ t j |  ƒ t j |  ƒ @t j | ƒ @t j | ƒ @t j | ƒ @ƒ d  k sŠt ‚ t t j | ƒ t j |  ƒ t j |  ƒ @t j | ƒ @t j | ƒ @t j | ƒ @t j | ƒ @ƒ d  k sût ‚ t t j | ƒ t j |  ƒ t j |  ƒ @t j | ƒ @t j | ƒ @t j | ƒ @ƒ t	 k s^t ‚ t t j | ƒ t j |  ƒ t j |  ƒ @t j | ƒ @t j | ƒ @ƒ d  k s´t ‚ t t j | ƒ t j |  ƒ t j |  ƒ @t j | ƒ @t j | ƒ @t j | ƒ @ƒ d  k st ‚ t t j | ƒ t j |  ƒ t j |  ƒ @t j | ƒ @t j | ƒ @ƒ d  k snt ‚ t t j | ƒ t j |  ƒ t j |  ƒ @t j | ƒ @t j | ƒ @t j | ƒ @ƒ d  k sÒt ‚ t t j | ƒ t j |  ƒ t j |  ƒ @t j | ƒ @t j | ƒ @ƒ d  k s(t ‚ t t j | ƒ t j |  ƒ t j |  ƒ @t j | ƒ @ƒ d  k sqt ‚ t t j | ƒ t j |  ƒ t j |  ƒ @t j | ƒ @t j | ƒ @ƒ d  k sÇt ‚ t t j | ƒ t j |  ƒ t j |  ƒ @t j | ƒ @t j | ƒ @t j | ƒ @t j | ƒ @ƒ d  k s8t ‚ t t j | ƒ t j |  ƒ t j |  ƒ @t j | ƒ @t j | ƒ @t j | ƒ @ƒ d  k s›t ‚ t t j | ƒ t j |  ƒ t j |  ƒ @t j | ƒ @t j | ƒ @ƒ d  k sñt ‚ t t j | ƒ t j |  ƒ t j |  ƒ @t j | ƒ @t j | ƒ @t j | ƒ @ƒ d  k sTt ‚ t t j | ƒ t j |  ƒ t j |  ƒ @t j | ƒ @t j | ƒ @ƒ t	 k s©t ‚ t t j | ƒ t j |  ƒ t j |  ƒ @t j | ƒ @ƒ d  k sñt ‚ t t j | ƒ t j |  ƒ t j |  ƒ @t j | ƒ @t j | ƒ @ƒ d  k sFt ‚ t t j | ƒ t j |  ƒ t j |  ƒ @ƒ d  k st ‚ t t j | ƒ t j |  ƒ t j |  ƒ @t j | ƒ @ƒ d  k sÉt ‚ t t j | ƒ t j |  ƒ t j |  ƒ @t j | ƒ @t j | ƒ @ƒ d  k st ‚ t t j | ƒ t j |  ƒ t j | ƒ @t j | ƒ @ƒ d  k sht ‚ t t j | ƒ t j |  ƒ t j | ƒ @t j | ƒ @t j | ƒ @ƒ d  k s¿t ‚ t t j | ƒ t j |  ƒ t j | ƒ @t j | ƒ @ƒ d  k st ‚ t t j | ƒ t j |  ƒ t j | ƒ @ƒ d  k sDt ‚ t t j | ƒ t j |  ƒ t j | ƒ @t j | ƒ @ƒ d  k st ‚ t t j | ƒ t j |  ƒ t j | ƒ @t j | ƒ @t j | ƒ @t j | ƒ @ƒ d  k sñt ‚ t t j | ƒ t j |  ƒ t j | ƒ @t j | ƒ @t j | ƒ @ƒ d  k sGt ‚ t t j | ƒ t j |  ƒ t j | ƒ @t j | ƒ @ƒ d  k st ‚ t t j | ƒ t j |  ƒ t j | ƒ @t j | ƒ @t j | ƒ @ƒ d  k sæt ‚ t t j | ƒ t j |  ƒ t j | ƒ @t j | ƒ @ƒ d  k s.t ‚ t t j | ƒ t j |  ƒ t j | ƒ @ƒ d  k sit ‚ t t j | ƒ t j |  ƒ t j | ƒ @t j | ƒ @ƒ d  k s±t ‚ t t j | ƒ t j |  ƒ ƒ d  k sßt ‚ t t j | ƒ t j |  ƒ t j | ƒ @ƒ d  k st ‚ t t j | ƒ t j |  ƒ t j | ƒ @t j | ƒ @ƒ d  k sbt ‚ t t j | ƒ t j |  ƒ t j |  ƒ @t j | ƒ @t j | ƒ @t j | ƒ @t j | ƒ @ƒ t	 k sÓt ‚ t t j | ƒ t j |  ƒ t j |  ƒ @t j | ƒ @t j | ƒ @t j | ƒ @ƒ d  k s6t ‚ t t j | ƒ t j |  ƒ t j |  ƒ @t j | ƒ @t j | ƒ @ƒ d  k sŒt ‚ t t j | ƒ t j |  ƒ t j |  ƒ @t j | ƒ @t j | ƒ @t j | ƒ @ƒ t	 k sït ‚ t t j | ƒ t j |  ƒ t j |  ƒ @t j | ƒ @t j | ƒ @ƒ d  k sDt ‚ t t j | ƒ t j |  ƒ t j |  ƒ @t j | ƒ @ƒ d  k sŒt ‚ t t j | ƒ t j |  ƒ t j |  ƒ @t j | ƒ @t j | ƒ @ƒ d  k sát ‚ t t j | ƒ t j |  ƒ t j |  ƒ @ƒ d  k st ‚ t t j | ƒ t j |  ƒ t j |  ƒ @t j | ƒ @ƒ d  k sdt ‚ t t j | ƒ t j |  ƒ t j |  ƒ @t j | ƒ @t j | ƒ @ƒ t	 k s¹t ‚ t t j | ƒ t j |  ƒ t j | ƒ @t j | ƒ @ƒ d  k s t ‚ t t j | ƒ t j |  ƒ t j | ƒ @ƒ d  k s:t ‚ t t j | ƒ t j |  ƒ t j | ƒ @t j | ƒ @ƒ d  k st ‚ t t j | ƒ t j |  ƒ ƒ d  k s®t ‚ t t j | ƒ t j |  ƒ t j | ƒ @ƒ d  k sèt ‚ t t j | ƒ t j |  ƒ t j | ƒ @t j | ƒ @ƒ d  k s/t ‚ t t j | ƒ ƒ d  k sPt ‚ t t j | ƒ t j | ƒ ƒ d  k s}t ‚ t t j | ƒ t j | ƒ t j | ƒ @ƒ d  k s·t ‚ t t j | ƒ t j |  ƒ t j | ƒ @t j | ƒ @ƒ d  k sþt ‚ t t j d |  ƒ ƒ d  k s#t ‚ t t j d |  ƒ t j |  ƒ ƒ t
 k sTt ‚ d  S(   Ns   x,y,zi   (   R   Rh   R
   R   RD   R@   RA   RL   R8   R>   R7   (   R   R   R   Ri   (    (    sA   lib/python2.7/site-packages/sympy/assumptions/tests/test_query.pyt   test_bounded2b$  s^   FEFD:D-:D_`S`RERaTaSFSGTFEFaSFSEDE:DEbUbTGTHUGFGbTGTFEF;EFGHF<FUGFGE;E.;EbTGTFEF;EFD:D-:D!-:D%c          C   s—  t  d ƒ \ }  } } |  | } | j \ }  } t t j | ƒ t j |  ƒ t j | ƒ @ƒ t k sh t ‚ t t j | ƒ t j |  ƒ t j | ƒ @ƒ t k s£ t ‚ t t j | ƒ t j |  ƒ ƒ d  k sÐ t ‚ t t j | ƒ t j |  ƒ t j | ƒ @ƒ t k st ‚ t t j | ƒ t j |  ƒ t j | ƒ @ƒ t k sGt ‚ t t j | ƒ t j |  ƒ ƒ d  k sut ‚ t t j | ƒ t j | ƒ ƒ d  k s¢t ‚ t t j | ƒ t j | ƒ ƒ d  k sÐt ‚ t t j | ƒ ƒ d  k sñt ‚ |  | | } | j \ }  } } t t j | ƒ t j |  ƒ t j | ƒ @t j | ƒ @ƒ t k sXt ‚ t t j | ƒ t j |  ƒ t j | ƒ @t j | ƒ @ƒ t k s t ‚ t t j | ƒ t j |  ƒ t j | ƒ @ƒ d  k sÚt ‚ t t j | ƒ t j |  ƒ t j | ƒ @t j | ƒ @ƒ t k s"t ‚ t t j | ƒ t j |  ƒ t j | ƒ @t j | ƒ @ƒ t k skt ‚ t t j | ƒ t j |  ƒ t j | ƒ @ƒ d  k s¦t ‚ t t j | ƒ t j |  ƒ t j | ƒ @ƒ d  k sàt ‚ t t j | ƒ t j |  ƒ t j | ƒ @ƒ d  k st ‚ t t j | ƒ t j |  ƒ ƒ d  k sHt ‚ t t j | ƒ t j |  ƒ t j | ƒ @t j | ƒ @ƒ t k st ‚ t t j | ƒ t j |  ƒ t j | ƒ @t j | ƒ @ƒ t k sÙt ‚ t t j | ƒ t j |  ƒ t j | ƒ @ƒ d  k st ‚ t t j | ƒ t j |  ƒ t j | ƒ @t j | ƒ @ƒ t k s]t ‚ t t j | ƒ t j |  ƒ t j | ƒ @t j | ƒ @ƒ t k s§t ‚ t t j | ƒ t j |  ƒ t j | ƒ @ƒ d  k sãt ‚ t t j | ƒ t j |  ƒ t j | ƒ @ƒ d  k st ‚ t t j | ƒ t j |  ƒ t j | ƒ @ƒ d  k sZt ‚ t t j | ƒ t j |  ƒ ƒ d  k sˆt ‚ t t j | ƒ t j | ƒ t j | ƒ @ƒ d  k sÂt ‚ t t j | ƒ t j | ƒ t j | ƒ @ƒ d  k sýt ‚ t t j | ƒ t j | ƒ ƒ d  k s*t ‚ t t j | ƒ t j | ƒ t j | ƒ @ƒ d  k set ‚ t t j | ƒ t j | ƒ t j | ƒ @ƒ d  k s¡t ‚ t t j | ƒ t j | ƒ ƒ d  k sÏt ‚ t t j | ƒ t j | ƒ ƒ d  k süt ‚ t t j | ƒ t j | ƒ ƒ d  k s*t ‚ t t j | ƒ t j | ƒ t j	 |  ƒ @t j	 | ƒ @t j	 | ƒ @ƒ d  k st ‚ t t j | ƒ t j | ƒ t j | ƒ @t j	 |  ƒ @t j	 | ƒ @t j	 | ƒ @ƒ t k sât ‚ t  d ƒ \ }  } } t t j |  d ƒ ƒ d  k s	t ‚ t t j d |  ƒ ƒ d  k sA	t ‚ t t j d |  ƒ t j |  ƒ ƒ t k sr	t ‚ t t j |  |  ƒ ƒ d  k s—	t ‚ t t j t
 d d ƒ |  ƒ ƒ d  k sÅ	t ‚ t t j t
 d d ƒ |  ƒ t j |  ƒ ƒ t k sÿ	t ‚ t t j t
 d d ƒ |  ƒ t j |  ƒ ƒ d  k s9
t ‚ t t j d |  ƒ t j |  ƒ ƒ t k sj
t ‚ t t j t |  ƒ ƒ ƒ d  k s‘
t ‚ t t j d |  ƒ t j |  ƒ ƒ t k sÃ
t ‚ t t j |  d ƒ t j |  ƒ ƒ t k sõ
t ‚ t t j t |  ƒ ƒ ƒ t k st ‚ t t j t |  ƒ ƒ t j |  ƒ ƒ t k sPt ‚ t t j t |  ƒ ƒ ƒ d  k swt ‚ t t j t |  ƒ ƒ t j |  ƒ ƒ t k sªt ‚ t t j t |  ƒ ƒ ƒ d  k sÑt ‚ t t j t |  ƒ ƒ t j |  ƒ ƒ t k st ‚ t t j t d ƒ ƒ ƒ t k s+t ‚ t t j t |  ƒ ƒ ƒ t k sRt ‚ t t j t |  ƒ ƒ t j |  ƒ ƒ t k s†t ‚ t t j t |  ƒ ƒ ƒ t k s­t ‚ t t j t |  ƒ ƒ t j |  ƒ ƒ t k sát ‚ t t j d t |  ƒ ƒ ƒ t k st ‚ t t j t |  ƒ d ƒ ƒ t k s7t ‚ t t j t |  ƒ d ƒ ƒ t k sbt ‚ t t j t |  ƒ t |  ƒ ƒ ƒ t k s“t ‚ d  S(   Ns   x,y,zi   i   (   R   Rh   R
   R   RD   R7   R8   R>   RL   RO   R   R@   RA   R#   R    R"   R!   R*   R(   (   R   R   R   Ri   (    (    sA   lib/python2.7/site-packages/sympy/assumptions/tests/test_query.pyt   test_bounded3Ø  sž    
:;-;<.-.!DE:EF;:;-EF;FG<;<.:;-;<.-.FT%%1%.::1'22'4'3'3''4'4+++c           C   sZ   t  t j t t ƒ t ƒ ƒ t k s+ t ‚ t  t j t t ƒ t ƒ ƒ t k sV t ‚ d S(   s4   We need to support relations in ask for this to workN(   R
   R   RD   R*   R   R7   R8   R(   (    (    (    sA   lib/python2.7/site-packages/sympy/assumptions/tests/test_query.pyt   test_bounded_xfail2  s    +c           C   sa  t  t j t ƒ ƒ t k s! t ‚ t  t j t ƒ t j t ƒ ƒ t k sO t ‚ t  t j t ƒ t j t ƒ ƒ t k s| t ‚ t  t j t ƒ t j t ƒ ƒ t k s© t ‚ t  t j t ƒ t j	 t ƒ ƒ t k sÖ t ‚ t  t j t ƒ t j
 t ƒ ƒ t k st ‚ t  t j t ƒ t j t ƒ ƒ t k s1t ‚ t  t j d t ƒ ƒ t k sVt ‚ t  t j d t ƒ t j t ƒ ƒ t k sˆt ‚ t  t j t d ƒ ƒ t k s­t ‚ t  t j t d ƒ t j t ƒ ƒ t k sßt ‚ t  t j t d ƒ ƒ t k st ‚ t  t j t d ƒ t j t ƒ ƒ t k s6t ‚ t  t j t t ƒ ƒ ƒ t k s]t ‚ d S(   sd   By default objects are Q.commutative that is why it returns True
    for both key=True and key=Falsei   i   N(   R
   R   R6   R   R7   R8   R>   R<   R?   R;   R@   R   R"   (    (    (    sA   lib/python2.7/site-packages/sympy/assumptions/tests/test_query.pyt   test_commutative9  s    !.----.%2%2%2c           C   sé
  t  t j t ƒ ƒ d  k s! t ‚ t  t j t ƒ t j t ƒ ƒ t k sN t ‚ t  t j t ƒ t j t ƒ ƒ d  k s{ t ‚ t  t j t ƒ t j t ƒ ƒ t k s© t ‚ t  t j t ƒ t j	 t ƒ ƒ t k sÖ t ‚ t  t j t ƒ t j	 t ƒ ƒ d  k st ‚ t  t j t ƒ t j
 t ƒ ƒ t k s1t ‚ t  t j t ƒ t j t ƒ ƒ t k s^t ‚ t  t j t ƒ t j t ƒ ƒ t k s‹t ‚ t  t j t ƒ t j t ƒ ƒ t k s¸t ‚ t  t j t ƒ t j t ƒ ƒ t k såt ‚ t  t j t d ƒ t j t ƒ ƒ t k st ‚ t  t j t d ƒ t j	 t ƒ ƒ t k sGt ‚ t  t j t d ƒ t j
 t ƒ ƒ t k sxt ‚ t  t j t d ƒ t j t ƒ ƒ t k s©t ‚ t  t j t d ƒ t j t ƒ ƒ t k sÚt ‚ t  t j t d ƒ t j t ƒ ƒ t k st ‚ t  t j t d ƒ t j t ƒ ƒ t k s<t ‚ t  t j t d ƒ t j t ƒ ƒ t k smt ‚ t  t j t t ƒ t j t ƒ t j t ƒ @ƒ t k s«t ‚ t  t j t t ƒ t j	 t ƒ t j t ƒ @ƒ t k sét ‚ t  t j d t d ƒ t j t ƒ ƒ t k st ‚ t  t j d t d ƒ t j	 t ƒ ƒ t k sSt ‚ t  t j d t d ƒ t j t ƒ ƒ t k sˆt ‚ t  t j d t d ƒ t j
 t ƒ ƒ t k s½t ‚ t  t j d t d ƒ t j t ƒ ƒ t k sòt ‚ t  t j d t d ƒ t j t ƒ ƒ t k s't ‚ t  t j d t d ƒ t j t ƒ ƒ t k s\t ‚ t  t j d t d ƒ t j t ƒ ƒ t k s‘t ‚ t  t j d t d ƒ t j t ƒ ƒ t k sÆt ‚ t  t j t d ƒ t j t ƒ ƒ t k s÷t ‚ t  t j t d ƒ t j	 t ƒ ƒ t k s(t ‚ t  t j t d ƒ t j t ƒ ƒ t k sYt ‚ t  t j t d ƒ t j
 t ƒ ƒ t k sŠt ‚ t  t j t d ƒ t j t ƒ ƒ t k s»t ‚ t  t j t d ƒ t j t ƒ ƒ t k sìt ‚ t  t j t d ƒ t j t ƒ ƒ t k st ‚ t  t j t d ƒ t j t ƒ ƒ t k sNt ‚ t  t j t d ƒ t j t ƒ ƒ t k st ‚ t  t j d t ƒ t j t ƒ ƒ t k s°t ‚ t  t j d t ƒ t j	 t ƒ ƒ t k sát ‚ t  t j d t ƒ t j t ƒ ƒ t k st ‚ t  t j d t ƒ t j
 t ƒ ƒ t k sCt ‚ t  t j d t ƒ t j t ƒ ƒ t k stt ‚ t  t j d t ƒ t j t ƒ ƒ t k s¥t ‚ t  t j d t ƒ t j t ƒ ƒ t k sÖt ‚ t  t j d t ƒ t j t ƒ ƒ t k s	t ‚ t  t j d t ƒ t j t ƒ ƒ t k s8	t ‚ t  t j t t ƒ t j t ƒ t j t ƒ @ƒ t k sv	t ‚ t  t j t t ƒ ƒ ƒ t k s	t ‚ t  t j t d t d ƒ ƒ ƒ t k sÌ	t ‚ t  t j t t ƒ ƒ ƒ t k só	t ‚ t  t j t d t d ƒ ƒ ƒ t k s"
t ‚ t  t j t t ƒ ƒ ƒ t k sI
t ‚ t  t j t t ƒ ƒ ƒ t k sp
t ‚ t  t j t t ƒ ƒ ƒ t k s—
t ‚ t  t j t t ƒ ƒ ƒ t k s¾
t ‚ t  t j t t ƒ ƒ ƒ t k så
t ‚ d  S(   Ni   i   (   R
   R   R<   R   RL   R8   R7   R   R>   R;   R:   R=   R@   R?   RS   R9   RB   RC   R*   R(   R!   R   R   R   (    (    (    sA   lib/python2.7/site-packages/sympy/assumptions/tests/test_query.pyt   test_complexP  st    !--.-.-----11111111>>555555555111111111111111111>'/'/''''c           C   sž  t  t j t ƒ ƒ d  k s! t ‚ t  t j t ƒ t j t ƒ ƒ d  k sN t ‚ t  t j t ƒ t j t ƒ ƒ t k s| t ‚ t  t j t ƒ t j t ƒ ƒ d  k s© t ‚ t  t j t ƒ t j	 t ƒ ƒ d  k sÖ t ‚ t  t j d t ƒ ƒ d  k sû t ‚ t  t j d t ƒ t j t ƒ ƒ t
 k s,t ‚ t  t j d t ƒ t j t ƒ ƒ t
 k s]t ‚ t  t j d t ƒ t j t ƒ ƒ t k sŽt ‚ t  t j d t ƒ t j t ƒ ƒ t
 k s¿t ‚ t  t j d t ƒ t j t ƒ ƒ d  k sñt ‚ t  t j d t ƒ t j t ƒ ƒ d  k s"t ‚ t  t j d t ƒ t j t ƒ ƒ t
 k sSt ‚ t  t j d t ƒ t j t ƒ ƒ t k s„t ‚ t  t j t d ƒ t j t ƒ ƒ t
 k sµt ‚ t  t j t d ƒ t j t ƒ ƒ t k sæt ‚ t  t j t d ƒ t j t ƒ ƒ t k st ‚ t  t j t d ƒ t j t ƒ ƒ t
 k sHt ‚ t  t j d t ƒ t j t ƒ ƒ t
 k syt ‚ t  t j d t ƒ t j t ƒ ƒ t
 k sªt ‚ t  t j t t ƒ t j t ƒ t j t ƒ @ƒ t
 k sèt ‚ t  t j t t ƒ t j t ƒ t j t ƒ @ƒ t k s&t ‚ t  t j t t ƒ t j t ƒ t j t ƒ @ƒ t
 k sdt ‚ t  t j d t d ƒ t j t ƒ ƒ t k s™t ‚ t  t j d t t ƒ t j t ƒ t j t ƒ @ƒ d  k sÛt ‚ t  t j d t t ƒ t j t ƒ t j t ƒ @ƒ d  k st ‚ t  t j t t t ƒ t j t ƒ t j t ƒ @t j t ƒ @ƒ t
 k slt ‚ t  t j t t t t ƒ t j t ƒ t j t ƒ @t j t ƒ @t j t ƒ @ƒ d  k sÌt ‚ t  t j t t ƒ ƒ t j t ƒ ƒ t
 k sÿt ‚ t  t j t t ƒ ƒ t j t ƒ ƒ d  k s3t ‚ t  t j t t ƒ ƒ t j t ƒ ƒ t
 k sft ‚ t  t j t t ƒ ƒ t j t ƒ ƒ d  k sšt ‚ t  t j t t ƒ ƒ t j t ƒ ƒ t
 k sÍt ‚ t  t j t t ƒ ƒ t j t ƒ ƒ t
 k s t ‚ t  t j d t ƒ t j t ƒ ƒ t k s1t ‚ t  t j t d ƒ t j t ƒ ƒ t
 k sbt ‚ t  t j t d ƒ t j t ƒ ƒ t k s“t ‚ t  t j d t ƒ t j t ƒ ƒ d  k sÄt ‚ t  t j t d ƒ ƒ d  k sét ‚ t  t j t t ƒ t j t ƒ t j t ƒ @t j t ƒ @ƒ d  k s5t ‚ t  t j t t ƒ t j t ƒ t j t ƒ @t j t ƒ @ƒ t k st ‚ t  t j t t ƒ t j t ƒ t j t ƒ @t j	 t ƒ @ƒ t
 k sÌt ‚ t  t j t t ƒ t j t ƒ t j t ƒ @t j	 t ƒ @ƒ t k s	t ‚ t  t j t t ƒ t j t ƒ t j t ƒ @t j t ƒ @ƒ d  k sc	t ‚ t  t j t t ƒ t j t ƒ t j t ƒ @t j	 t ƒ @ƒ d  k s®	t ‚ t  t j t t ƒ t j t ƒ t j t ƒ @t j t ƒ @ƒ d  k sú	t ‚ t  t j t t ƒ t j t ƒ t j t ƒ @t j	 t ƒ @ƒ d  k sE
t ‚ t  t j t t ƒ t j t ƒ ƒ d  k sv
t ‚ t  t j t t ƒ t j t ƒ ƒ d  k s§
t ‚ t  t j t t ƒ t j t ƒ t j t ƒ @ƒ d  k så
t ‚ t  t j t t ƒ t j t ƒ ƒ d  k st ‚ t  t j t t t ƒ t j t ƒ t j t ƒ @ƒ t
 k sXt ‚ t  t j t t t ƒ t j t ƒ t j t ƒ @ƒ d  k sšt ‚ d  S(   Ni   i   i   i   iÿÿÿÿ(   R
   R   RB   R   RL   R8   R9   R>   R:   R@   R7   R=   RC   R   R   R    R   R   R   R;   R   R   R   RA   R   (    (    (    sA   lib/python2.7/site-packages/sympy/assumptions/tests/test_query.pyt   test_even_query›  sl    !-.--%11112111111111>>>5BBOE3434331111%LLKKLKLK11>1Bc           C   sª   t  t j t t t t ƒ t j t ƒ t j t ƒ @t j t ƒ @ƒ t k sS t	 ‚ t  t j t t t t ƒ t j t ƒ t j t ƒ @t j t ƒ @ƒ t k s¦ t	 ‚ d  S(   N(
   R
   R   RB   R   R   R   R9   RC   R7   R8   (    (    (    sA   lib/python2.7/site-packages/sympy/assumptions/tests/test_query.pyt1   test_evenness_in_ternary_integer_product_with_oddâ  s    Sc           C   sW   t  t j t t t t ƒ t j t ƒ t j t ƒ @t j t ƒ @ƒ d  k sS t ‚ d  S(   N(	   R
   R   RB   R   R   R   R9   RL   R8   (    (    (    sA   lib/python2.7/site-packages/sympy/assumptions/tests/test_query.pyt2   test_evenness_in_ternary_integer_product_with_evenë  s    c           C   sÁ   t  t j t ƒ t j t ƒ ƒ t k s- t ‚ t  t j t ƒ t j t ƒ ƒ t k s[ t ‚ t  t j t ƒ t j t ƒ ƒ t k s‰ t ‚ t  t j t t j	 ƒ t j
 t ƒ ƒ t k s½ t ‚ d  S(   N(   R
   R   RT   R   R@   R7   R8   RA   R   t   InfinityR;   (    (    (    sA   lib/python2.7/site-packages/sympy/assumptions/tests/test_query.pyt   test_extended_realï  s    -..c          C   sz	  t  t j t ƒ t j t ƒ ƒ t k s- t ‚ t  t j t ƒ t j t ƒ ƒ t k sZ t ‚ t  t j t ƒ t j	 t ƒ ƒ d  k s‡ t ‚ t  t j t ƒ t j t ƒ ƒ d  k s´ t ‚ t  t j t ƒ t j t ƒ ƒ d  k sá t ‚ t  t j t ƒ t j t ƒ ƒ d  k st ‚ t  t j t ƒ t j t ƒ ƒ t k s<t ‚ t  t j d t ƒ t j t ƒ ƒ t k smt ‚ t  t j d t ƒ t j t ƒ ƒ t k sžt ‚ t  t j d t ƒ t j t ƒ ƒ t k sÏt ‚ t  t j d t ƒ t j t ƒ ƒ t k s t ‚ t  t j d t ƒ t j t ƒ ƒ t k s1t ‚ t  t j t d ƒ t j t ƒ ƒ t k sbt ‚ t  t j t d ƒ t j t ƒ ƒ t k s“t ‚ t  t j t d ƒ t j t ƒ ƒ t k sÄt ‚ t  t j t d ƒ t j t ƒ ƒ t k sõt ‚ t  t j t d ƒ t j t ƒ ƒ t k s&t ‚ t  t j d t ƒ t j t ƒ ƒ t k sWt ‚ t  t j d t ƒ t j t ƒ ƒ t k sˆt ‚ t  t j d t ƒ t j t ƒ ƒ t k s¹t ‚ t  t j d t ƒ t j t ƒ ƒ t k sêt ‚ t  t j d t ƒ t j t ƒ ƒ t k st ‚ t  t j d t ƒ t j t ƒ ƒ t k sLt ‚ t  t j d t ƒ t j t ƒ ƒ t k s}t ‚ t  t j d t ƒ t j t ƒ ƒ t k s®t ‚ t  t j d t ƒ t j t ƒ ƒ t k sßt ‚ t  t j d t ƒ t j t ƒ ƒ t k st ‚ t  t j t ƒ t j t ƒ ƒ t k s>t ‚ t  t j t t ƒ t j t ƒ t j t ƒ @ƒ d  k s|t ‚ t  t j t t ƒ t j t ƒ t j t ƒ @ƒ t k sºt ‚ t  t j t t ƒ t j t ƒ t j t ƒ @ƒ t k søt ‚ t  t j t t ƒ t j t ƒ t j t ƒ @ƒ t k s6t ‚ t  t j t t ƒ t j t ƒ t j t ƒ @ƒ t k stt ‚ t  t j t t ƒ t j t ƒ t j t ƒ @ƒ t k s²t ‚ xt t t t t t g D]ú }  t  t j |  d ƒ ƒ ƒ t k søt ‚ t  t j |  d d t ƒƒ ƒ t k s%t ‚ t  t j |  d d t ƒƒ ƒ t k sRt ‚ t  t j |  t ƒ ƒ t j t ƒ ƒ d  k s…t ‚ t  t j |  t ƒ ƒ t j t ƒ t j t ƒ @ƒ t k sËt ‚ qËWxt t g D]þ } t  t j | d ƒ ƒ ƒ t k st ‚ t  t j | d d t ƒƒ ƒ t k s0t ‚ t  t j | d d t ƒƒ ƒ t k s]t ‚ t  t j | t ƒ ƒ t j t ƒ ƒ d  k st ‚ t  t j | t ƒ ƒ t j t ƒ t j t d ƒ @ƒ t k sÖt ‚ qÖWx› t t g D] } t  t j | d ƒ ƒ ƒ t k s	t ‚ t  t j | d d t ƒƒ ƒ t k s?	t ‚ t  t j | t ƒ ƒ t j t ƒ ƒ t k såt ‚ qåWd  S(   Ni   i   i   t   evaluatei    (   R
   R   R:   R   R9   R7   R8   R=   R>   R;   RL   R@   RA   RO   RS   RB   RC   R   R!   R*   R+   R&   R'   R(   R"   R$   R)   R%   (   t   ft   gt   h(    (    sA   lib/python2.7/site-packages/sympy/assumptions/tests/test_query.pyt   test_rational÷  sd    ------.11111111111111111111.>>>>>>'--3D'--3H'-c           C   sl  t  t j t ƒ ƒ d  k s! t ‚ t  t j t ƒ t j t ƒ ƒ t k sN t ‚ t  t j t ƒ t j t ƒ ƒ t k s{ t ‚ t  t j t ƒ t j	 t ƒ ƒ t
 k s¨ t ‚ t  t j t ƒ t j t ƒ ƒ t
 k sÕ t ‚ t  t j t d ƒ t j t ƒ ƒ t k st ‚ t  t j t d ƒ t j t ƒ ƒ d  k s7t ‚ t  t j t d ƒ t j t ƒ ƒ t
 k sht ‚ t  t j t d ƒ t j t ƒ ƒ t k s™t ‚ t  t j t d ƒ t j t ƒ ƒ t
 k sÊt ‚ t  t j t t ƒ t j t ƒ ƒ d  k sût ‚ t  t j t t ƒ t j t ƒ ƒ d  k s,t ‚ t  t j t t ƒ t j t ƒ ƒ t k s]t ‚ t  t j t t ƒ t j t ƒ ƒ d  k sŽt ‚ t  t j t t ƒ t j t ƒ ƒ t k s¿t ‚ t  t j t t ƒ t j t ƒ t j t ƒ @ƒ d  k sýt ‚ t  t j t t ƒ t j t ƒ t j t ƒ @ƒ d  k s;t ‚ t  t j t t ƒ t j t ƒ t j t ƒ @ƒ t k syt ‚ t  t j t t ƒ t j t ƒ t j t ƒ @ƒ d  k s·t ‚ t  t j t t ƒ t j t ƒ t j t ƒ @ƒ t k sõt ‚ t  t j t t ƒ t j t ƒ t j t ƒ @ƒ d  k s3t ‚ t  t j t t ƒ t j t ƒ t j t ƒ @ƒ t
 k sqt ‚ t  t j t t ƒ t j t ƒ t j t ƒ @ƒ t k s¯t ‚ t  t j t t ƒ t j t ƒ t j t ƒ @ƒ t
 k sít ‚ t  t j t t ƒ t j t ƒ t j t ƒ @ƒ d  k s+t ‚ t  t j t t ƒ t j t ƒ t j t ƒ @ƒ d  k sit ‚ t  t j t t ƒ t j t ƒ t j t ƒ @ƒ t k s§t ‚ t  t j t t ƒ t j t ƒ t j t ƒ @ƒ d  k såt ‚ t  t j t t ƒ t j t ƒ t j t ƒ @ƒ t
 k s#t ‚ t  t j t t ƒ t j t ƒ ƒ t
 k sTt ‚ t  t j t t ƒ t j t ƒ ƒ d  k s…t ‚ t  t j t t ƒ t j t ƒ ƒ t k s¶t ‚ t  t j t t ƒ t j t ƒ ƒ t
 k sçt ‚ t  t j t t ƒ t j t ƒ ƒ t k st ‚ t  t j t t ƒ t j t ƒ t j t ƒ @ƒ t
 k sVt ‚ t  t j t t t ƒ t j t ƒ t j t ƒ @t j t ƒ @ƒ t
 k s¥t ‚ t  t j t t t ƒ t j t ƒ t j t ƒ @t j t ƒ @ƒ t k sôt ‚ t  t j t t t ƒ t j t ƒ t j t ƒ @t j t ƒ @ƒ d  k sCt ‚ t  t j t t t ƒ t j t ƒ t j t ƒ @t j t ƒ @ƒ d  k s’t ‚ t  t j t ƒ ƒ d  k s³t ‚ t  t j t ƒ t j t ƒ ƒ t k sàt ‚ t  t j t ƒ t j	 t ƒ ƒ t k s	t ‚ t  t j t d ƒ t j t ƒ ƒ t k s>	t ‚ t  t j t d ƒ t j t ƒ ƒ d  k so	t ‚ t  t j t d ƒ t j t ƒ ƒ d  k s 	t ‚ t  t j t d ƒ t j t ƒ ƒ t k sÑ	t ‚ t  t j t d ƒ t j t ƒ ƒ t k s
t ‚ t  t j t t ƒ t j t ƒ ƒ t
 k s3
t ‚ t  t j t t ƒ t j t ƒ ƒ d  k sd
t ‚ t  t j t t ƒ t j t ƒ ƒ t k s•
t ‚ t  t j t t ƒ t j t ƒ ƒ t
 k sÆ
t ‚ t  t j t t ƒ t j t ƒ ƒ t k s÷
t ‚ t  t j t t ƒ t j t ƒ t j t ƒ @ƒ t
 k s5t ‚ t  t j t t ƒ t j t ƒ t j t ƒ @ƒ d  k sst ‚ t  t j t t ƒ t j t ƒ t j t ƒ @ƒ t k s±t ‚ t  t j t t ƒ t j t ƒ t j t ƒ @ƒ t
 k sït ‚ t  t j t t ƒ t j t ƒ t j t ƒ @ƒ t k s-t ‚ t  t j t t ƒ t j t ƒ t j t ƒ @ƒ d  k skt ‚ t  t j t t ƒ t j t ƒ t j t ƒ @ƒ d  k s©t ‚ t  t j t t ƒ t j t ƒ t j t ƒ @ƒ t k sçt ‚ t  t j t t ƒ t j t ƒ t j t ƒ @ƒ d  k s%t ‚ t  t j t t ƒ t j t ƒ t j t ƒ @ƒ d  k sct ‚ t  t j t t ƒ t j t ƒ t j t ƒ @ƒ t
 k s¡t ‚ t  t j t t ƒ t j t ƒ t j t ƒ @ƒ t k sßt ‚ t  t j t t ƒ t j t ƒ t j t ƒ @ƒ d  k st ‚ t  t j t t ƒ t j t ƒ t j t ƒ @ƒ t k s[t ‚ t  t j t t ƒ t j t ƒ ƒ t
 k sŒt ‚ t  t j t t ƒ t j t ƒ ƒ t k s½t ‚ t  t j t t ƒ t j t ƒ ƒ d  k sît ‚ t  t j t t ƒ t j t ƒ t j t ƒ @ƒ t
 k s,t ‚ t  t j t t t ƒ t j t ƒ t j t ƒ @t j t ƒ @ƒ t k s{t ‚ t  t j t t t ƒ t j t ƒ t j t ƒ @t j t ƒ @ƒ d  k sÊt ‚ t  t j t t t ƒ t j t ƒ t j t ƒ @t j t ƒ @ƒ t k st ‚ t  t j t t t ƒ t j t ƒ t j t ƒ @t j t ƒ @ƒ t
 k sht ‚ d  S(   Ni   (   R
   R   RG   R   RL   R8   RH   R>   R?   RE   R7   R;   R<   R   R   R   (    (    (    sA   lib/python2.7/site-packages/sympy/assumptions/tests/test_query.pyt   test_hermitian6  s¸    !----1111111111;>;>>>>>>>>>>>11111>L888!--1111111111,;;;/>/;>>>>>>111>888c          C   s  t  t j t ƒ ƒ d  k s! t ‚ t  t j t ƒ t j t ƒ ƒ t k sN t ‚ t  t j t ƒ t j t ƒ ƒ t k s{ t ‚ t  t j t d ƒ t j t ƒ ƒ t k s¬ t ‚ t  t j t d ƒ t j t ƒ ƒ t k sÝ t ‚ t  t j t t	 ƒ t j t ƒ ƒ t k st ‚ t  t j t t	 ƒ t j t ƒ ƒ t
 k s?t ‚ t  t j t t ƒ t j t ƒ t j t ƒ @ƒ t
 k s}t ‚ t  t j t t ƒ t j t ƒ t j t ƒ @ƒ t k s»t ‚ t  t j t t ƒ t j t ƒ t j t ƒ @ƒ t k sùt ‚ t  t j t t ƒ t j t ƒ t j t ƒ @ƒ d  k s7t ‚ t  t j t t t ƒ t j t ƒ t j t ƒ @t j t ƒ @ƒ t k s†t ‚ t  t j t t t ƒ t j t ƒ t j t ƒ @t j t ƒ @ƒ d  k sÕt ‚ t  t j t t t ƒ t j t ƒ t j t ƒ @t j t ƒ @ƒ t k s$t ‚ t  t j t	 t ƒ t j t ƒ ƒ t
 k sUt ‚ t  t j t	 t ƒ t j t ƒ ƒ t k s†t ‚ t  t j t	 t ƒ t j t ƒ ƒ d  k s·t ‚ t  t j t t ƒ t j t ƒ t j t ƒ @ƒ t
 k sõt ‚ t  t j t t ƒ t j t ƒ t j t ƒ @ƒ t k s3t ‚ t  t j t	 t ƒ t j t ƒ ƒ d  k sdt ‚ t  t j t	 t ƒ t j t ƒ ƒ d  k s•t ‚ t  t j t	 t ƒ t j t ƒ ƒ t k sÆt ‚ t  t j t	 t ƒ t j t ƒ ƒ t
 k s÷t ‚ t  t j t	 t ƒ t j t ƒ ƒ t k s(t ‚ t  t j d t	 t ƒ t j t ƒ ƒ t k s]t ‚ t  t j t d ƒ t j t ƒ ƒ t k sŽt ‚ t  t j t t ƒ t j t ƒ t j t ƒ @ƒ d  k sÌt ‚ t  t j t t ƒ t j t ƒ t j t ƒ @ƒ d  k s
t ‚ t  t j t t ƒ t j t ƒ t j t ƒ @ƒ d  k sHt ‚ t  t j t t ƒ t j t ƒ t j t ƒ @ƒ d  k s†t ‚ t  t j t t ƒ t j t ƒ t j t ƒ @ƒ d  k sÄt ‚ t  t j t t ƒ t j t ƒ t j t ƒ @ƒ d  k st ‚ t  t j t t ƒ t j t ƒ t j t ƒ @ƒ t
 k s@t ‚ t  t j t t ƒ t j t ƒ t j t ƒ @ƒ d  k s~t ‚ t  t j t t ƒ t j t ƒ t j t ƒ @ƒ t k s¼t ‚ t  t j t t ƒ t j t ƒ t j t ƒ @ƒ t k sút ‚ t  t j t t ƒ t j t ƒ t j t ƒ @ƒ t k s8t ‚ t  t j t t ƒ t j t ƒ t j t ƒ @ƒ d  k svt ‚ t  t j t t ƒ t j t ƒ t j t ƒ @t j t ƒ @ƒ t k sÂt ‚ t  t j t t ƒ t j t ƒ t j t ƒ @ƒ d  k s 	t ‚ t  t j t t ƒ t j t ƒ t j t ƒ @t j d t ƒ @ƒ t
 k sO	t ‚ t  t j t t ƒ t j t ƒ t j t ƒ @t j d t ƒ @ƒ t k sŸ	t ‚ t  t j t t ƒ t j t ƒ t j t ƒ @ƒ d  k sÝ	t ‚ t  t j t t ƒ t j t ƒ t j t ƒ @t j d t ƒ @ƒ t k s-
t ‚ t  t j t t ƒ t j t ƒ t j t ƒ @t j d t ƒ @ƒ d  k s|
t ‚ t  t j t t	 ƒ ƒ ƒ t
 k s£
t ‚ t  t j t d t	 ƒ ƒ ƒ t k sÎ
t ‚ t  t j t t	 d ƒ ƒ ƒ t k sù
t ‚ t  t j t t ƒ ƒ t j t ƒ ƒ d  k s,t ‚ t  t j t t ƒ ƒ t j t ƒ ƒ d  k s_t ‚ t  t j t t ƒ ƒ t j t ƒ ƒ t k s’t ‚ t  t j t t t ƒ ƒ ƒ t j t ƒ ƒ d  k sËt ‚ t  t j t t t ƒ ƒ ƒ t j t ƒ ƒ d  k st ‚ t  t j t t t	 ƒ ƒ ƒ ƒ t
 k s1t ‚ t  t j t t ƒ t ƒ t j t ƒ ƒ t k sht ‚ t t t t	 t d t ƒt d t ƒ}  t  t j |  ƒ t j t ƒ ƒ t k s¾t ‚ t t t t	 t d d t ƒt d t ƒ}  t  t j |  ƒ t j t ƒ ƒ t
 k st ‚ t  t j t d t	 t t ƒ t ƒ t j t ƒ ƒ t k s[t ‚ t  t j t d t t	 d t ƒƒ ƒ t k st ‚ t  t j t t t	 d d t ƒƒ ƒ t
 k sÅt ‚ t  t j t t t j d ƒ ƒ t j t ƒ t j t ƒ @ƒ t k st ‚ d  S(   Ni   i   i    Rv   i   i   (   R
   R   R?   R   RL   R8   R;   R>   RE   R   R7   R   R<   R   RA   R@   RB   RC   R9   R:   R"   R!   R   R   R   t   One(   t   eq(    (    sA   lib/python2.7/site-packages/sympy/assumptions/tests/test_query.pyt   test_imaginaryž  s„    !--1111>>>>L88111>>1111151>>>>>>>>>>>>L>OP>PO'++33399-7)---C55c           C   s=  t  t j t ƒ ƒ d  k s! t ‚ t  t j t ƒ t j t ƒ ƒ t k sN t ‚ t  t j t ƒ t j t ƒ ƒ t k s| t ‚ t  t j t ƒ t j t ƒ ƒ t k sª t ‚ t  t j t ƒ t j	 t ƒ ƒ d  k sØ t ‚ t  t j t ƒ t j
 t ƒ t j t ƒ Bƒ t k st ‚ t  t j d t ƒ t j t ƒ ƒ t k sCt ‚ t  t j d t ƒ t j
 t ƒ ƒ t k stt ‚ t  t j d t ƒ t j t ƒ ƒ t k s¥t ‚ t  t j d t ƒ t j t ƒ ƒ d  k sÖt ‚ t  t j d t ƒ t j t ƒ ƒ d  k st ‚ t  t j t d ƒ t ƒ t j t ƒ ƒ t k s>t ‚ t  t j t d ƒ t ƒ t j t ƒ ƒ d  k sut ‚ t  t j t d ƒ t j t ƒ ƒ t k s¦t ‚ t  t j t d ƒ t j
 t ƒ ƒ t k s×t ‚ t  t j t d ƒ t j t ƒ ƒ d  k st ‚ t  t j t d ƒ t j
 t ƒ ƒ d  k s9t ‚ d  S(   Ni   i   (   R
   R   R9   R   RL   R8   R7   R>   R;   R@   RB   RC   RE   R:   R#   R=   (    (    (    sA   lib/python2.7/site-packages/sympy/assumptions/tests/test_query.pyt   test_integerî  s"    !-...:1111177111c           C   sä  t  t j t ƒ t j t ƒ ƒ t k s- t ‚ t  t j t ƒ t j t ƒ ƒ t k sZ t ‚ t  t j t ƒ t j t ƒ ƒ t k sˆ t ‚ t  t j t ƒ t j	 t ƒ ƒ t k sµ t ‚ t  t j t ƒ t j	 t ƒ ƒ d  k sã t ‚ t  t j t ƒ t j t ƒ ƒ t k st ‚ t  t j t ƒ t j t ƒ ƒ d  k s@t ‚ t  t j t ƒ t j t ƒ ƒ t k snt ‚ t  t j t ƒ t j t ƒ ƒ t k sœt ‚ t  t j t d ƒ t j t ƒ ƒ t k sÍt ‚ t  t j t t ƒ ƒ d  k sòt ‚ t  t j t t ƒ t j t ƒ ƒ d  k s#t ‚ t  t j t t ƒ t j t ƒ t j t ƒ @ƒ t k sat ‚ t  t j t t ƒ t j t ƒ t j t ƒ @ƒ t k sŸt ‚ t  t j d t ƒ ƒ t k sÄt ‚ t  t j t t ƒ d t t ƒ d d ƒ ƒ d  k st ‚ t  t j t t t d ƒ d t d ƒ d ƒ ƒ d  k sCt ‚ t  t j t d ƒ ƒ d  k sht ‚ t  t j t d ƒ t j t ƒ ƒ t k s™t ‚ t  t j t d ƒ t j t ƒ ƒ d  k sÊt ‚ t  t j t t ƒ t j t ƒ ƒ d  k sût ‚ t  t j t t ƒ ƒ d  k s t ‚ t  t j t t ƒ t j t ƒ t j t ƒ @ƒ t k s^t ‚ t  t j t t ƒ t j t ƒ t j t ƒ @ƒ t k sœt ‚ t  t j t t ƒ t j t ƒ t j t ƒ @ƒ d  k sÚt ‚ t  t j t t ƒ ƒ d  k sÿt ‚ t  t j t t ƒ t j t ƒ t j t ƒ @ƒ t k s=t ‚ t  t j t t ƒ t j t ƒ t j t ƒ @ƒ t k s{t ‚ t  t j t t ƒ t j t ƒ t j t ƒ @ƒ t k s¹t ‚ t  t j t t ƒ ƒ ƒ t k sàt ‚ d  S(   Ni   i   gffffffö?(   R
   R   RA   R   R7   R8   R@   R>   R;   RE   RL   R   t   nonpositiveR   R(   R*   R<   RB   RC   R9   R   (    (    (    sA   lib/python2.7/site-packages/sympy/assumptions/tests/test_query.pyt   test_negative  s<    --.-../..1%1>>%=B%111%>>>%>>>c           C   s´  t  t j t ƒ ƒ d  k s! t ‚ t  t j t ƒ t j t ƒ ƒ d  k sN t ‚ t  t j t ƒ t j t ƒ ƒ t k s{ t ‚ t  t j t ƒ t j	 t ƒ ƒ t k s¨ t ‚ t  t j t ƒ t j	 t ƒ t j t ƒ Bƒ t k sâ t ‚ t  t j t t
 ƒ ƒ d  k st ‚ t  t j t t
 ƒ t j t ƒ t j t
 ƒ @ƒ t k sEt ‚ t  t j t t
 ƒ t j t ƒ t j	 t
 ƒ @ƒ d  k sƒt ‚ t  t j t t
 ƒ t j	 t ƒ t j	 t
 ƒ @ƒ t k sÁt ‚ t  t j d t ƒ ƒ d  k sæt ‚ t  t j d t ƒ t j t ƒ ƒ t k st ‚ t  t j d t ƒ t j	 t ƒ ƒ t k sHt ‚ t  t j t t
 ƒ t j t ƒ ƒ d  k syt ‚ t  t j t t
 ƒ t j t ƒ t j t
 ƒ @ƒ t k s·t ‚ t  t j t t
 ƒ t j t ƒ ƒ t k sèt ‚ t  t j t t ƒ ƒ ƒ d  k st ‚ t  t j t t ƒ ƒ t j t ƒ ƒ t k sBt ‚ t  t j t t d t ƒ ƒ ƒ ƒ t k sst ‚ t  t j t d ƒ d t d ƒ d d ƒ ƒ d  k s°t ‚ d  S(   Ni   i   (   R
   R   RO   R   RL   R8   R;   R@   R7   RA   R   R   R"   R!   R   R>   R(   R*   (    (    (    sA   lib/python2.7/site-packages/sympy/assumptions/tests/test_query.pyt   test_nonzero/  s&    !---:%>>>%111>1'31c           C   s0  t  t j t ƒ ƒ d  k s! t ‚ t  t j t ƒ t j t ƒ ƒ d  k sN t ‚ t  t j t ƒ t j t ƒ ƒ t k s{ t ‚ t  t j t ƒ t j	 t ƒ ƒ t k s¨ t ‚ t  t j t ƒ t j	 t ƒ t j t ƒ Bƒ t k sâ t ‚ t  t j t ƒ t j
 t ƒ t j t ƒ @ƒ t k st ‚ t  t j t t ƒ ƒ d  k sAt ‚ t  t j t t ƒ t j t ƒ t j t ƒ @ƒ t k st ‚ t  t j t t ƒ t j t ƒ t j	 t ƒ @ƒ d  k s½t ‚ t  t j t t ƒ t j	 t ƒ t j	 t ƒ @ƒ t k sût ‚ t  t j d t ƒ ƒ d  k s t ‚ t  t j d t ƒ t j t ƒ ƒ t k sQt ‚ t  t j d t ƒ t j	 t ƒ ƒ t k s‚t ‚ t  t j t t ƒ t j t ƒ ƒ d  k s³t ‚ t  t j t t ƒ ƒ ƒ d  k sÚt ‚ t  t j t t ƒ ƒ t j t ƒ ƒ t k st ‚ t  t j t ƒ t j t ƒ ƒ t k s:t ‚ t  t j t ƒ t j t ƒ ƒ t k sgt ‚ t  t j t ƒ t j t ƒ ƒ t k s”t ‚ t  t j t ƒ t j t ƒ ƒ d  k sÁt ‚ t  t j t ƒ t j t ƒ ƒ t k sît ‚ t  t j t ƒ t j t ƒ Bt j t t ƒ ƒ t k s,t ‚ d  S(   Ni   (   R
   R   RP   R   RL   R8   R;   R@   R>   RA   t   nonnegativeR€   R7   R   RO   R   R9   RB   RC   (    (    (    sA   lib/python2.7/site-packages/sympy/assumptions/tests/test_query.pyt	   test_zeroL  s,    !---::%>>>%111'3-----c           C   sS  t  t j t ƒ ƒ d  k s! t ‚ t  t j t ƒ t j t ƒ ƒ t k sN t ‚ t  t j t ƒ t j t ƒ ƒ d  k s{ t ‚ t  t j t ƒ t j t ƒ ƒ t k s© t ‚ t  t j t ƒ t j	 t ƒ ƒ d  k sÖ t ‚ t  t j t ƒ t j
 t ƒ ƒ d  k st ‚ t  t j t ƒ t j t ƒ ƒ t k s1t ‚ t  t j d t ƒ ƒ d  k sVt ‚ t  t j d t ƒ t j t ƒ ƒ t k s‡t ‚ t  t j d t ƒ t j t ƒ ƒ t k s¸t ‚ t  t j d t ƒ t j t ƒ ƒ t k sét ‚ t  t j d t ƒ t j t ƒ ƒ d  k st ‚ t  t j d t ƒ t j t ƒ ƒ d  k sLt ‚ t  t j t d ƒ t j t ƒ ƒ d  k s}t ‚ t  t j t d ƒ t j t ƒ ƒ d  k s®t ‚ t  t j t d ƒ t j t ƒ ƒ t k sßt ‚ t  t j t d ƒ t j t ƒ ƒ t k st ‚ t  t j t d ƒ t j t ƒ ƒ t k sAt ‚ t  t j d t ƒ t j t ƒ ƒ t k srt ‚ t  t j d t ƒ t j t ƒ ƒ t k s£t ‚ t  t j d t ƒ t j t ƒ ƒ t k sÔt ‚ t  t j d t ƒ t j t ƒ ƒ t k st ‚ t  t j t t ƒ t j t ƒ t j t ƒ @ƒ t k sCt ‚ t  t j t t ƒ t j t ƒ t j t ƒ @ƒ t k st ‚ t  t j t t ƒ t j t ƒ t j t ƒ @ƒ t k s¿t ‚ t  t j t t ƒ t j t ƒ t j t ƒ @ƒ t k sýt ‚ t  t j t t t ƒ t j t ƒ t j t ƒ @t j t ƒ @ƒ t k sLt ‚ t  t j t t t t ƒ t j t ƒ t j t ƒ @t j t ƒ @t j t ƒ @ƒ d  k s¬t ‚ t  t j d t d ƒ t j t ƒ ƒ t k sát ‚ t  t j d t t ƒ t j t ƒ t j t ƒ @ƒ t k s#t ‚ t  t j d t t ƒ t j t ƒ t j t ƒ @ƒ t k set ‚ t  t j d t t ƒ t j t ƒ t j t ƒ @ƒ d  k s§t ‚ t  t j t t ƒ t j t ƒ t j t ƒ @ƒ t k såt ‚ t  t j t t ƒ t j t ƒ t j t ƒ @ƒ t k s#t ‚ t  t j d t t ƒ t j	 t ƒ t j	 t ƒ @ƒ d  k set ‚ t  t j d t t ƒ t j t ƒ t j t ƒ @ƒ d  k s§t ‚ t  t j t t ƒ ƒ t j t ƒ ƒ t k sÚt ‚ t  t j d t ƒ t j t ƒ ƒ t k st ‚ t  t j t d ƒ t j t ƒ ƒ t k s<t ‚ t  t j t d ƒ t j t ƒ ƒ t k smt ‚ t  t j d t ƒ t j t ƒ ƒ d  k sžt ‚ t  t j t t ƒ t j t ƒ t j t ƒ @t j t ƒ @ƒ d  k sêt ‚ t  t j t t ƒ t j t ƒ t j t ƒ @t j t ƒ @ƒ t k s6	t ‚ t  t j t t ƒ t j t ƒ t j t ƒ @t j
 t ƒ @ƒ t k s	t ‚ t  t j t t ƒ t j t ƒ t j t ƒ @t j
 t ƒ @ƒ t k sÌ	t ‚ t  t j t t ƒ t j t ƒ t j t ƒ @t j t ƒ @ƒ d  k s
t ‚ t  t j t t ƒ t j t ƒ t j t ƒ @t j
 t ƒ @ƒ d  k sc
t ‚ t  t j t t ƒ t j t ƒ t j t ƒ @t j t ƒ @ƒ d  k s¯
t ‚ t  t j t t ƒ t j t ƒ t j t ƒ @t j
 t ƒ @ƒ d  k sú
t ‚ t  t j t t ƒ t j t ƒ ƒ d  k s+t ‚ t  t j t t ƒ t j t ƒ ƒ d  k s\t ‚ t  t j t t ƒ t j t ƒ t j t ƒ @ƒ d  k sšt ‚ t  t j t t ƒ t j t ƒ ƒ d  k sËt ‚ t  t j t t t ƒ t j t ƒ t j t ƒ @ƒ t k st ‚ t  t j t t t ƒ t j t ƒ t j t ƒ @ƒ d  k sOt ‚ d  S(   Ni   i   i   iÿÿÿÿ(   R
   R   RC   R   RL   R8   R7   R9   R>   R:   R@   R=   RB   R   R   R    R   R   R   R   RA   R   (    (    (    sA   lib/python2.7/site-packages/sympy/assumptions/tests/test_query.pyt   test_odd_queryk  sp    !--.--.%11121111111111>>>>OE5BBB>>BB31111LLKKLKLK11>1Bc           C   sª   t  t j t t t t ƒ t j t ƒ t j t ƒ @t j t ƒ @ƒ t k sS t ‚ t  t j t t t t ƒ t j t ƒ t j t ƒ @t j t ƒ @ƒ t k s¦ t ‚ d  S(   N(	   R
   R   RC   R   R   R   R9   R>   R8   (    (    (    sA   lib/python2.7/site-packages/sympy/assumptions/tests/test_query.pyt0   test_oddness_in_ternary_integer_product_with_odd¶  s    Sc           C   sW   t  t j t t t t ƒ t j t ƒ t j t ƒ @t j t ƒ @ƒ d  k sS t	 ‚ d  S(   N(
   R
   R   RC   R   R   R   R9   RB   RL   R8   (    (    (    sA   lib/python2.7/site-packages/sympy/assumptions/tests/test_query.pyt1   test_oddness_in_ternary_integer_product_with_even¿  s    c           C   su  t  t j t ƒ t j t ƒ ƒ t k s- t ‚ t  t j t ƒ t j t ƒ ƒ t k s[ t ‚ t  t j t ƒ t j t ƒ ƒ d  k sˆ t ‚ t  t j t ƒ t j t ƒ ƒ t k s¶ t ‚ t  t j d t ƒ t j t ƒ ƒ d  k sç t ‚ t  t j t t	 ƒ ƒ d  k st ‚ t  t j t t	 ƒ t j t ƒ ƒ d  k s=t ‚ t  t j t t	 ƒ t j t ƒ t j t	 ƒ @ƒ d  k s{t ‚ t  t j d t ƒ t j t ƒ ƒ t k s¬t ‚ t  t j d t ƒ ƒ d  k sÑt ‚ t  t j t d ƒ t j t ƒ ƒ t k st ‚ t  t j t d ƒ t j t ƒ ƒ t k s3t ‚ t  t j t t	 ƒ t j t ƒ t j t	 ƒ @ƒ t k sqt ‚ d  S(   Ni   i   (
   R
   R   RE   R   R7   R8   R>   R9   RL   R   (    (    (    sA   lib/python2.7/site-packages/sympy/assumptions/tests/test_query.pyt
   test_primeÃ  s    -.-.1%1>1%11c          C   s%  t  t j t ƒ t j t ƒ ƒ t k s- t ‚ t  t j t ƒ t j t ƒ ƒ t k sZ t ‚ t  t j t ƒ t j t ƒ ƒ d  k s‡ t ‚ t  t j t ƒ t j t ƒ ƒ t k sµ t ‚ t  t j t ƒ t j t ƒ ƒ t k sã t ‚ t  t j t t
 ƒ t j t ƒ t j t
 ƒ @ƒ t k s!t ‚ t  t j t t
 ƒ t j t ƒ t j t
 ƒ @ƒ t k s_t ‚ t  t j t t
 ƒ t j t ƒ t j t
 ƒ @ƒ d  k st ‚ t  t j t t
 ƒ t j t ƒ t j t
 ƒ @ƒ t k sÛt ‚ t  t j d t ƒ t j t ƒ ƒ t k st ‚ t j t ƒ t j t
 ƒ @t j t ƒ @t j t ƒ @}  t  t j t t
 t ƒ ƒ d  k skt ‚ t  t j t t
 t ƒ |  ƒ t k s—t ‚ t  t j t t
 t ƒ |  ƒ t k sÄt ‚ t  t j t t ƒ t j t ƒ ƒ d  k sõt ‚ t  t j t d ƒ t j t ƒ ƒ t k s&t ‚ t  t j t d ƒ t j t ƒ ƒ t k sWt ‚ t  t j t d ƒ t j t ƒ ƒ t k sˆt ‚ t  t j d d t d ƒ t j t ƒ ƒ t k sÁt ‚ t  t j d t ƒ ƒ t k sæt ‚ t  t j d t ƒ ƒ t k st ‚ t  t j t t ƒ d t t ƒ d d ƒ ƒ d  k sHt ‚ t  t j t t t d ƒ d t d ƒ d ƒ ƒ d  k sŠt ‚ t  t j t t ƒ ƒ t j t ƒ ƒ t k s½t ‚ t  t j t t ƒ ƒ t j t ƒ ƒ t k sñt ‚ t  t j t t t ƒ ƒ t j t ƒ ƒ d  k s(t ‚ t  t j t t ƒ ƒ t j t ƒ ƒ d  k s[t ‚ t  t j t d t t d t ƒƒ t j t ƒ ƒ t k sœt ‚ t  t j t t t d t ƒƒ t j t ƒ ƒ t k sÙt ‚ t  t j t t t t ƒ ƒ t j t ƒ ƒ t k st ‚ t  t j t t t t ƒ ƒ t j t ƒ ƒ t k sOt ‚ t  t j t t t t ƒ ƒ t j t ƒ ƒ d  k sŠt ‚ t  t j t t ƒ ƒ t j t ƒ ƒ t k s½t ‚ t  t j t t ƒ ƒ t j t ƒ ƒ t k sðt ‚ t  t j t t ƒ ƒ t j t ƒ ƒ d  k s#t ‚ t  t j t t d ƒ ƒ t j t ƒ ƒ t k sZt ‚ t  t j t t ƒ ƒ t j t ƒ t j t ƒ @ƒ s”t ‚ t  t j t t ƒ ƒ t j t ƒ ƒ d  k sÇt ‚ t  t j t t ƒ ƒ ƒ d  k sît ‚ t  t j t t ƒ ƒ t j t ƒ ƒ t k s!t ‚ d  S(   Ni   i   i   Rv   (   R
   R   R@   R   R7   R8   RA   R>   RO   RL   R   Rƒ   R?   R   R   R   R;   R(   R*   R!   R   RB   RC   R"   R   R9   R   (   t   assumptions(    (    sA   lib/python2.7/site-packages/sympy/assumptions/tests/test_query.pyt   test_positiveÕ  sP    ---..>>>>16),-11119%%=B3473A=;;;3337:3'c           C   s  t  t j d ƒ ƒ s t ‚ t  t j d ƒ ƒ s6 t ‚ t  t j d ƒ ƒ t k sW t ‚ t  t j t ƒ t j t ƒ ƒ s t ‚ t  t j t ƒ t j t ƒ ƒ t k s¬ t ‚ t  t j t d ƒ ƒ ƒ t k sÓ t ‚ t  t j t ƒ t j t ƒ ƒ t k s t ‚ d  S(   Niÿÿÿÿi    i   (	   R
   R   R€   R8   R>   R@   R   R#   R?   (    (    (    sA   lib/python2.7/site-packages/sympy/assumptions/tests/test_query.pyt   test_nonpositive  s    !(-'c           C   s  t  t j d ƒ ƒ t k s! t ‚ t  t j d ƒ ƒ s< t ‚ t  t j d ƒ ƒ sW t ‚ t  t j t ƒ t j t ƒ ƒ s t ‚ t  t j t ƒ t j t ƒ ƒ t k s¬ t ‚ t  t j t d ƒ ƒ ƒ t k sÓ t ‚ t  t j t ƒ t j t ƒ ƒ t k s t ‚ d  S(   Niÿÿÿÿi    i   (	   R
   R   Rƒ   R>   R8   RA   R   R#   R?   (    (    (    sA   lib/python2.7/site-packages/sympy/assumptions/tests/test_query.pyt   test_nonnegative  s    !(-'c           C   s%  t  t j t ƒ ƒ d  k s! t ‚ t  t j t ƒ t j t ƒ ƒ t k sN t ‚ t  t j t ƒ t j t ƒ ƒ t k s{ t ‚ t  t j t ƒ t j t ƒ ƒ t k s¨ t ‚ t  t j t ƒ t j	 t ƒ ƒ t k sÕ t ‚ t  t j t ƒ t j
 t ƒ ƒ t k st ‚ t  t j t ƒ t j t ƒ ƒ t k s/t ‚ t  t j t ƒ t j t ƒ ƒ t k s\t ‚ t  t j t t d ƒ ƒ t j t ƒ ƒ t k s“t ‚ t  t j t t d ƒ ƒ t j t ƒ ƒ t k sÊt ‚ t  t j t d ƒ t j t ƒ ƒ t k sût ‚ t  t j t t ƒ t j t ƒ ƒ t k s,t ‚ t  t j t t ƒ t j t ƒ ƒ d  k s]t ‚ t  t j d t ƒ t j t ƒ ƒ t k sŽt ‚ t  t j t t ƒ t j t ƒ ƒ t k s¿t ‚ t  t j t t ƒ t j t ƒ ƒ t k sðt ‚ t  t j t t ƒ t j t ƒ ƒ d  k s!t ‚ d  S(   Ni   iþÿÿÿi   (   R
   R   R;   R   RL   R8   R7   RO   R@   RA   R9   RB   RE   R#   R>   R   R<   R?   (    (    (    sA   lib/python2.7/site-packages/sympy/assumptions/tests/test_query.pyt   test_real_basic#  s"    !-------77111111c           C   sB  t  t j t d ƒ t j t ƒ ƒ t k s1 t ‚ t  t j t t ƒ ƒ t j t ƒ ƒ t k sd t ‚ t  t j t t	 ƒ t j t ƒ t j
 t	 ƒ @ƒ t k s¢ t ‚ t  t j t t	 ƒ t j t ƒ t j t	 ƒ @ƒ d  k sà t ‚ t  t j t t	 ƒ t j t ƒ t j t	 ƒ @ƒ t k st ‚ t  t j t t	 ƒ t j t ƒ t j t	 ƒ @ƒ d  k s\t ‚ t  t j t t	 ƒ t j t ƒ t j t	 ƒ @ƒ d  k sšt ‚ t  t j t t	 ƒ t j t ƒ t j t	 ƒ @ƒ d  k sØt ‚ t  t j t d ƒ t j t ƒ ƒ t k s	t ‚ t  t j t t	 ƒ t j t ƒ t j
 t	 ƒ @ƒ t k sGt ‚ t  t j t t	 ƒ t j t ƒ t j t	 ƒ @ƒ t k s…t ‚ t  t j t t	 ƒ t j t ƒ t j t	 ƒ @ƒ d  k sÃt ‚ t  t j t t	 ƒ t j t ƒ t j
 t	 ƒ @ƒ d  k st ‚ t  t j t t	 ƒ t j t ƒ t j t	 ƒ @ƒ t k s?t ‚ t  t j t t	 ƒ t j t ƒ t j t	 ƒ @ƒ t k s}t ‚ t  t j t t	 t ƒ t j t ƒ t j t	 t ƒ @t j t	 t ƒ @t j t ƒ @t j t ƒ @ƒ t k sît ‚ t  t j t t	 t ƒ t j t ƒ t j t	 t ƒ @t j t ƒ @t j t ƒ @ƒ t k sNt ‚ t  t j t t	 t ƒ t j t ƒ t j
 t	 t ƒ @ƒ t k s”t ‚ t  t j t t	 t ƒ t j t ƒ t j t	 t ƒ @t j t ƒ @ƒ t k sçt ‚ t  t j t t	 t ƒ t j t ƒ t j t	 t ƒ @t j t ƒ @ƒ t k s:t ‚ t  t j t t ƒ t j t ƒ ƒ t k slt ‚ t  t j t t ƒ t j t ƒ ƒ t k st ‚ t  t j t t ƒ t j t ƒ ƒ d  k sÎt ‚ t  t j t t ƒ t j t ƒ ƒ d  k sÿt ‚ t  t j t t t t t ƒ ƒ t j t ƒ ƒ t k s>t ‚ d  S(   Ni   i    (   R
   R   R;   R   R7   R8   R#   RA   R>   R   R9   RL   R@   R?   R:   RC   RB   R   R   R	   R   R"   (    (    (    sA   lib/python2.7/site-packages/sympy/assumptions/tests/test_query.pyt   test_real_pow9  s2    13>>>>>>1>>>>>>q`FSS2111c          C   sO  t  t j t t ƒ ƒ ƒ d  k s' t ‚ t  t j t t ƒ ƒ ƒ d  k sN t ‚ t  t j t t ƒ ƒ t j t ƒ ƒ t k s t ‚ t  t j t t ƒ ƒ t j t ƒ ƒ t k s´ t ‚ t  t j t	 t ƒ ƒ ƒ d  k sÛ t ‚ t  t j t	 t ƒ ƒ t j t ƒ ƒ t k st ‚ t  t j t t	 t ƒ ƒ t j t ƒ ƒ t k sEt ‚ t  t j t	 d t
 t d t ƒƒ ƒ t k szt ‚ t  t j t	 t
 t d t ƒƒ ƒ t k s«t ‚ t  t j t	 t
 t d d t ƒƒ ƒ t k sàt ‚ t  t j t t ƒ ƒ ƒ t k st ‚ t  t j t d t ƒ ƒ ƒ t k s2t ‚ t  t j t t d ƒ ƒ ƒ t k s]t ‚ t  t j t t ƒ ƒ t j t ƒ ƒ d  k st ‚ t  t j t t ƒ ƒ t j t ƒ ƒ t k sÃt ‚ t  t j t t	 t ƒ ƒ ƒ t j t ƒ ƒ d  k süt ‚ t  t j t t	 t ƒ ƒ ƒ t j t ƒ ƒ d  k s5t ‚ t t	 d t
 t t d t ƒt d t ƒ}  t  t j |  ƒ t j t ƒ ƒ t k st ‚ t  t j t	 t ƒ t ƒ t j t ƒ ƒ t k sÆt ‚ t  t j t	 t ƒ t ƒ t j t ƒ ƒ d  k sýt ‚ t  t j t t ƒ ƒ ƒ t k s$t ‚ t  t j t t ƒ ƒ ƒ t k sKt ‚ d  S(   Ni   Rv   i   (   R
   R   R;   R*   R   RL   R8   R(   R7   R!   R   R   R>   R"   R<   R?   R   R9   R   R   (   R}   (    (    sA   lib/python2.7/site-packages/sympy/assumptions/tests/test_query.pyt   test_real_functionsU  s.    ''33'37515'++3399--77'c          C   sˆ  t  t j t ƒ ƒ d  k s! t ‚ t  t j t ƒ ƒ t k sB t ‚ t  t j d t ƒ ƒ t k sg t ‚ t  t j t d ƒ ƒ t k sŒ t ‚ t  t j t d ƒ ƒ ƒ t k s³ t ‚ t  t j d t d ƒ ƒ ƒ t k sÞ t ‚ t  t j t d ƒ d ƒ ƒ t k s	t ‚ t  t j t t d ƒ ƒ ƒ t k s4t ‚ t  t j t d t t d ƒ ƒ ƒ ƒ t k sit ‚ t  t j d t t d ƒ t	 d ƒ d ƒ ƒ t k s¦t ‚ t  t j d t t d ƒ t	 d ƒ t
 ƒ ƒ t k sãt ‚ xt t t t t t g D]ú }  t  t j |  d ƒ ƒ ƒ t k s)t ‚ t  t j |  d d t ƒƒ ƒ t k sVt ‚ t  t j |  d d t ƒƒ ƒ t k sƒt ‚ t  t j |  t ƒ ƒ t j t ƒ ƒ d  k s¶t ‚ t  t j |  t ƒ ƒ t j t ƒ t j t ƒ @ƒ t k süt ‚ qüWxt t g D]þ } t  t j | d ƒ ƒ ƒ t k s4t ‚ t  t j | d d t ƒƒ ƒ t k sat ‚ t  t j | d d t ƒƒ ƒ t k sŽt ‚ t  t j | t ƒ ƒ t j t ƒ ƒ d  k sÁt ‚ t  t j | t ƒ ƒ t j t ƒ t j t d ƒ @ƒ t k st ‚ qWx› t t g D] } t  t j | d ƒ ƒ ƒ t k sCt ‚ t  t j | d d t ƒƒ ƒ t k spt ‚ t  t j | t ƒ ƒ t j t ƒ ƒ t k st ‚ qWt  t j t t d ƒ ƒ ƒ ƒ t k sÔt ‚ t  t j t t t t d ƒ ƒ ƒ ƒ d  k s	t ‚ t  t j d	 ƒ ƒ t k s*t ‚ t  t j t ƒ t j t ƒ ƒ t k sWt ‚ t  t j t ƒ t j t ƒ ƒ t k s„t ‚ d  S(
   Ni   i   i   i   i   i   Rv   i    gÃõ(\Â@(   R
   R   RS   R   RL   R8   R   R7   R#   R   R   R>   R!   R*   R+   R&   R'   R(   RO   R"   R$   R)   R%   R   t   transcendental(   Rw   Rx   Ry   (    (    sA   lib/python2.7/site-packages/sympy/assumptions/tests/test_query.pyt   test_algebraicv  s@    !!%%'+++5=='--3D'--3H'-7-5!-c           C   s‡   t  t j t ƒ ƒ d k s! t ‚ t j t j t ƒ ƒ t  t j t ƒ ƒ t k sX t ‚ t j	 ƒ  t  t j t ƒ ƒ d k sƒ t ‚ d S(   s    Test ask with global assumptionsN(
   R
   R   R9   R   RL   R8   R   t   addR7   t   clear(    (    (    sA   lib/python2.7/site-packages/sympy/assumptions/tests/test_query.pyt   test_global£  s
    !!
c          C   sŒ   t  t j t ƒ ƒ d k s! t ‚ t ƒ  }  |  j t j t ƒ ƒ t  t j t ƒ d |  ƒt k sg t ‚ t  t j t ƒ ƒ d k sˆ t ‚ d S(   s(   Test ask with custom assumptions contextt   contextN(	   R
   R   R9   R   RL   R8   R   R’   R7   (   t   local_context(    (    sA   lib/python2.7/site-packages/sympy/assumptions/tests/test_query.pyt   test_custom_context¬  s
    !	'c           C   s¼   t  t j t ƒ t j t ƒ t j t ƒ ?ƒ t k s: t ‚ t  t j t ƒ t t j t ƒ t j t ƒ ƒ ƒ t k sy t ‚ t  t j t ƒ t	 t j t ƒ t j t ƒ ƒ ƒ t k s¸ t ‚ d  S(   N(
   R
   R   RA   R   R;   R@   R>   R8   R,   R.   (    (    (    sA   lib/python2.7/site-packages/sympy/assumptions/tests/test_query.pyt   test_functions_in_assumptionsµ  s    :?c           C   sN   t  t j t ƒ t j t ƒ @d t j t ƒ t j t ƒ ?ƒt k sJ t ‚ d  S(   NR‰   (	   R
   R   RA   R   R9   R;   R@   R>   R8   (    (    (    sA   lib/python2.7/site-packages/sympy/assumptions/tests/test_query.pyt   test_composite_ask»  s    c           C   s  t  t ƒ t k s t ‚ t  t ƒ t k s0 t ‚ t  t j t ƒ t j t ƒ ƒ t k s^ t ‚ t  t j t ƒ t j	 t ƒ ƒ d  k sŒ t ‚ t  t j t ƒ t j t ƒ @t j t ƒ ƒ t k sÆ t ‚ t  t j t ƒ t j t ƒ @ƒ d  k sô t ‚ t  t j t ƒ t j t ƒ Bt j t ƒ ƒ t k s.t ‚ t  t j t ƒ t j t ƒ Bƒ d  k s\t ‚ t  t j t ƒ t j t ƒ ?t j t ƒ ƒ t k s–t ‚ t  t t j t ƒ t j t ƒ d t ƒt j t ƒ ƒ t k sÛt ‚ t  t t j t ƒ t j t ƒ d t ƒƒ d  k st ‚ t  t t j t ƒ t j t ƒ ƒ t j t ƒ ƒ t k sSt ‚ t  t t j t ƒ t j t ƒ ƒ ƒ d  k s†t ‚ t  t t j t ƒ t j t ƒ ƒ t j t ƒ ƒ d  k sÅt ‚ t  t j t ƒ t j t ƒ Bt j t ƒ t j t ƒ Bƒ t k st ‚ d  S(   NRv   (   R
   R7   R8   R>   R   RA   R   R@   R;   R6   RL   R9   R-   R,   RB   (    (    (    sA   lib/python2.7/site-packages/sympy/assumptions/tests/test_query.pyt   test_composite_propositionÀ  s     ..:.:.:?9?3?c           C   sb   t  t j t ƒ t j t ƒ Bƒ t k s/ t ‚ t  t j t ƒ t j t ƒ @ƒ t k s^ t ‚ d  S(   N(   R
   R   R;   R   R7   R8   R>   (    (    (    sA   lib/python2.7/site-packages/sympy/assumptions/tests/test_query.pyt   test_tautologyÒ  s    /c           C   sí   t  t j t ƒ t j t ƒ t j t ƒ @ƒ t k s: t ‚ t  t j t ƒ t j t ƒ t j t ƒ Bƒ d  k st t ‚ t  t j t ƒ t j t ƒ t j t ƒ ?ƒ d  k s® t ‚ t  t j t ƒ t j t ƒ t j t ƒ ?ƒ t k sé t ‚ d  S(   N(	   R
   R   R;   R   R   R7   R8   R@   RL   (    (    (    sA   lib/python2.7/site-packages/sympy/assumptions/tests/test_query.pyt   test_composite_assumptionsÖ  s    :::c          C   s•   d t  f d „  ƒ  Y}  t d |  ƒ t t d „  ƒ t d |  ƒ d t  f d „  ƒ  Y} t d | ƒ t t j d ƒ ƒ t k s„ t	 ‚ t d | ƒ d  S(   Nt   Prime2AskHandlerc           B   s   e  Z e d  „  ƒ Z RS(   c         S   s   t  S(   N(   R7   (   t   exprR‰   (    (    sA   lib/python2.7/site-packages/sympy/assumptions/tests/test_query.pyt   Numberß  s    (   t   __name__t
   __module__t   staticmethodRŸ   (    (    (    sA   lib/python2.7/site-packages/sympy/assumptions/tests/test_query.pyR   Þ  s   RE   c           S   s   t  t j d ƒ ƒ S(   Ni   (   R
   R   RE   (    (    (    sA   lib/python2.7/site-packages/sympy/assumptions/tests/test_query.pyt   <lambda>ã  t    t   InconclusiveHandlerc           B   s   e  Z e d  „  ƒ Z RS(   c         S   s   d  S(   N(   RL   (   Rž   R‰   (    (    sA   lib/python2.7/site-packages/sympy/assumptions/tests/test_query.pyRŸ   ç  s    (   R    R¡   R¢   RŸ   (    (    (    sA   lib/python2.7/site-packages/sympy/assumptions/tests/test_query.pyR¥   æ  s   i   (
   R   R   R3   t
   ValueErrorR   R
   R   RE   R7   R8   (   R   R¥   (    (    sA   lib/python2.7/site-packages/sympy/assumptions/tests/test_query.pyt   test_incompatible_resolutorsÝ  s    !c          C   s    t  t d „  ƒ d t f d „  ƒ  Y}  t d |  ƒ t t j t ƒ ƒ t k sT t	 ‚ t t j t d ƒ ƒ d k sy t	 ‚ t d |  ƒ t ` t  t d „  ƒ d S(   s7   test that you can add keys to the ask system at runtimec           S   s   t  t j t ƒ ƒ S(   N(   R
   R   t   my_keyR   (    (    (    sA   lib/python2.7/site-packages/sympy/assumptions/tests/test_query.pyR£   ñ  R¤   t   MyAskHandlerc           B   s   e  Z e d  „  ƒ Z RS(   c         S   s   t  S(   N(   R7   (   Rž   R‰   (    (    sA   lib/python2.7/site-packages/sympy/assumptions/tests/test_query.pyt   Symbolô  s    (   R    R¡   R¢   Rª   (    (    (    sA   lib/python2.7/site-packages/sympy/assumptions/tests/test_query.pyR©   ó  s   R¨   i   c           S   s   t  t j t ƒ ƒ S(   N(   R
   R   R¨   R   (    (    (    sA   lib/python2.7/site-packages/sympy/assumptions/tests/test_query.pyR£   ü  R¤   N(   R3   t   AttributeErrorR   R   R
   R   R¨   R   R7   R8   RL   R   (   R©   (    (    sA   lib/python2.7/site-packages/sympy/assumptions/tests/test_query.pyt   test_key_extensibilityî  s    !%c          C   sz   d d l  m }  d |  f d „  ƒ  Y} d t f d „  ƒ  Y} | ƒ  } t t j | ƒ t t j | ƒ ƒ t k sv t ‚ d S(   sØ   test that new types can be added to the ask system at runtime
    We create a custom type MyType, and override ask Q.prime=True with handler
    MyAskHandler for this type

    TODO: test incompatible resolutors
    iÿÿÿÿ(   t   Basict   MyTypec           B   s   e  Z RS(    (   R    R¡   (    (    (    sA   lib/python2.7/site-packages/sympy/assumptions/tests/test_query.pyR®     s   R©   c           B   s   e  Z e d  „  ƒ Z RS(   c         S   s   t  S(   N(   R7   (   Rž   R‰   (    (    sA   lib/python2.7/site-packages/sympy/assumptions/tests/test_query.pyR®     s    (   R    R¡   R¢   R®   (    (    (    sA   lib/python2.7/site-packages/sympy/assumptions/tests/test_query.pyR©     s   N(	   t
   sympy.coreR­   R   R   R   RE   R
   R7   R8   (   R­   R®   R©   Ri   (    (    sA   lib/python2.7/site-packages/sympy/assumptions/tests/test_query.pyt   test_type_extensibilityÿ  s    	c          C   s§   t  t t j t j ƒ t t j t j ƒ t t j t j ƒ ƒ }  t j t j t j t j h } t |  ƒ } t | | ƒ } | t j t j t j t j h k s£ t	 ‚ d  S(   N(
   R/   R-   R   R9   R:   R;   R<   R0   R   R8   (   t   known_factst   known_facts_keyst   known_facts_cnft   mapping(    (    sA   lib/python2.7/site-packages/sympy/assumptions/tests/test_query.pyt   test_single_fact_lookup  s    c          C   sp   t  t t j t j ƒ t t j t j ƒ t t j t j ƒ ƒ }  t j t j t j t j h } t |  | ƒ } d  S(   N(   R/   R-   R   R9   R:   R;   R<   R   (   R±   R²   t   s(    (    sA   lib/python2.7/site-packages/sympy/assumptions/tests/test_query.pyt   test_compute_known_facts!  s
    c          C   s–   d d l  m }  m } d d l m } m } m } | | | | t ƒ ƒ ƒ d ƒ } t | d ƒ . } | j	 ƒ  t
 |  ƒ  | ƒ  ƒ k sŒ t ‚ Wd QXd S(   s)   "Test that ask_generated.py is up-to-dateiÿÿÿÿ(   t   get_known_factst   get_known_facts_keys(   t   abspatht   dirnamet   joins   ask_generated.pyR\   N(   t   sympy.assumptions.askR¸   R¹   t   os.pathRº   R»   R¼   t   __file__t   opent   readR   R8   (   R¸   R¹   Rº   R»   R¼   t   filenameRw   (    (    sA   lib/python2.7/site-packages/sympy/assumptions/tests/test_query.pyt   test_known_facts_consistent*  s    !	c           C   sõ   t  t j d t d ƒ d t d ƒ d ƒ ƒ t k s= t ‚ t  t j t t	 d ƒ t	 d ƒ d d ƒƒ ƒ t k sy t ‚ t  t j t t	 d ƒ t	 d ƒ d d ƒƒ ƒ t
 k sµ t ‚ t  t j t t	 d ƒ t	 d ƒ d d ƒƒ ƒ t k sñ t ‚ d  S(   Nl   Ò
>V3&¥Z
 i   i   Rv   i    (   R
   R   RE   R(   R*   R7   R8   RB   R   R   R>   R9   (    (    (    sA   lib/python2.7/site-packages/sympy/assumptions/tests/test_query.pyt   test_Add_queries5  s    =<<c           C   s@   t  t j t d ƒ ƒ ! t t j t ƒ ƒ s6 t ‚ Wd  QXd  S(   Ni   (   R5   R   R@   R   R
   R8   (    (    (    sA   lib/python2.7/site-packages/sympy/assumptions/tests/test_query.pyt   test_positive_assuming<  s    c           C   s   t  t d „  ƒ d  S(   Nc           S   s   t  t t t ƒ t j ƒ S(   N(   R
   R   R"   R   R   R;   (    (    (    sA   lib/python2.7/site-packages/sympy/assumptions/tests/test_query.pyR£   B  R¤   (   R3   t	   TypeError(    (    (    sA   lib/python2.7/site-packages/sympy/assumptions/tests/test_query.pyt   test_issue_5421A  s    c           C   s   t  t d „  ƒ d  S(   Nc           S   s   t  t j ƒ S(   N(   R
   R   R@   (    (    (    sA   lib/python2.7/site-packages/sympy/assumptions/tests/test_query.pyR£   F  R¤   (   R3   RÆ   (    (    (    sA   lib/python2.7/site-packages/sympy/assumptions/tests/test_query.pyt   test_issue_3906E  s    c           C   ss   t  t j t t ƒ d ƒ t j t ƒ ƒ d  k s7 t ‚ t  t j t t ƒ d ƒ t j t ƒ ƒ t k so t ‚ d  S(   Ni   (	   R
   R   R@   R"   R   RL   R8   RA   R7   (    (    (    sA   lib/python2.7/site-packages/sympy/assumptions/tests/test_query.pyt   test_issue_5833I  s    7c           C   s$   t  t d „  ƒ t  t d „  ƒ d  S(   Nc           S   s,   t  t j t ƒ t j t ƒ t j t ƒ @ƒ S(   N(   R
   R   R@   R   RA   (    (    (    sA   lib/python2.7/site-packages/sympy/assumptions/tests/test_query.pyR£   O  R¤   c           S   s,   t  t j t ƒ t j t ƒ t j t ƒ @ƒ S(   N(   R
   R   RA   R   R@   (    (    (    sA   lib/python2.7/site-packages/sympy/assumptions/tests/test_query.pyR£   P  R¤   (   R3   R¦   (    (    (    sA   lib/python2.7/site-packages/sympy/assumptions/tests/test_query.pyt   test_issue_6732N  s    c           C   s„  t  t j t t ƒ ƒ t j t ƒ ƒ t k s3 t ‚ t  t j t t ƒ ƒ t j t ƒ ƒ t k sf t ‚ t  t j t t ƒ ƒ t j	 t ƒ ƒ t k s™ t ‚ t  t j t t
 ƒ ƒ ƒ d  k sÀ t ‚ t  t j t t ƒ ƒ t j t ƒ ƒ d  k só t ‚ t  t j t t ƒ ƒ t j	 t ƒ ƒ d  k s&t ‚ t  t j t t d d ƒ ƒ ƒ ƒ t k sVt ‚ t  t j t t
 ƒ ƒ t j t
 ƒ t j t
 d ƒ @ƒ t k sšt ‚ t  t j t t
 ƒ ƒ t j t
 ƒ t j t
 d ƒ @ƒ t k sÞt ‚ t  t j t t ƒ ƒ t j t ƒ ƒ d  k st ‚ t  t j t t d d ƒ ƒ ƒ ƒ t k sAt ‚ t  t j t t
 ƒ ƒ t j t
 d ƒ t j t
 d ƒ @ƒ t k s‰t ‚ t  t j t t
 ƒ ƒ t j t
 d ƒ ƒ d  k sÀt ‚ t  t j t t
 ƒ ƒ t j t
 ƒ ƒ t k sót ‚ t  t j t t
 ƒ ƒ t j t
 ƒ ƒ t k s&t ‚ t  t j t t
 ƒ ƒ t j t
 ƒ ƒ t k sYt ‚ t  t j t t
 ƒ ƒ ƒ d  k s€t ‚ d  S(   Ni   i   (   R
   R   R@   R'   R   R7   R8   RA   R>   RP   R   RL   R&   R   R€   Rƒ   R$   R%   R;   R?   (    (    (    sA   lib/python2.7/site-packages/sympy/assumptions/tests/test_query.pyt   test_issue_7246S  s"    333'330DD30H7333c           C   s7   t  t j t t ƒ ƒ t j t ƒ ƒ t k s3 t ‚ d  S(   N(   R
   R   R@   R$   R   RP   R7   R8   (    (    (    sA   lib/python2.7/site-packages/sympy/assumptions/tests/test_query.pyt   test_issue_7246_failingj  s    c           C   s   t  ƒ   t j Wd  QXd  S(   N(   R4   R   t   bounded(    (    (    sA   lib/python2.7/site-packages/sympy/assumptions/tests/test_query.pyt   test_deprecated_Q_boundedq  s    
c           C   s   t  ƒ   t j Wd  QXd  S(   N(   R4   R   t   infinity(    (    (    sA   lib/python2.7/site-packages/sympy/assumptions/tests/test_query.pyt   test_deprecated_Q_infinityu  s    
c          C   s˜  t  d d t ƒ}  t t j |  ƒ ƒ t k s3 t ‚ t t j |  ƒ ƒ t k sT t ‚ t t j |  ƒ ƒ t k su t ‚ t  d d t ƒ}  t t j |  ƒ ƒ t k s¨ t ‚ t t j |  ƒ ƒ t k sÉ t ‚ t t j |  ƒ ƒ t k sê t ‚ t  d d t ƒ}  t t j |  ƒ ƒ d  k st ‚ t t j |  ƒ ƒ t k s>t ‚ t  d d t ƒ}  t t j
 |  ƒ ƒ t k sqt ‚ t t j |  ƒ ƒ t k s’t ‚ t t j |  ƒ ƒ t k s³t ‚ t  d d t ƒ}  t t j |  ƒ ƒ t k sæt ‚ t  d d t ƒ}  t t j
 |  ƒ ƒ t k st ‚ t t j |  ƒ ƒ t k s:t ‚ t  d d t ƒ}  t t j |  ƒ ƒ t k smt ‚ t t j
 |  ƒ ƒ d  k sŽt ‚ t t j |  ƒ ƒ d  k s¯t ‚ t  d d	 t ƒ}  t t j |  ƒ ƒ t k sât ‚ t  d d
 t ƒ}  t t j |  ƒ ƒ t k st ‚ t t j |  ƒ ƒ t k s6t ‚ t  d d t ƒ}  t t j |  ƒ ƒ t k sit ‚ t t j |  ƒ ƒ t k sŠt ‚ t  d d t ƒ}  t t j |  ƒ ƒ t k s½t ‚ t t j |  ƒ ƒ t k sÞt ‚ t  d d t ƒ}  t t j |  ƒ ƒ t k st ‚ t t j |  ƒ ƒ t k s2t ‚ t  d d t ƒ}  t t j |  ƒ ƒ t k set ‚ t t j |  ƒ ƒ t k s†t ‚ t  d d t ƒ}  t t j |  ƒ ƒ t k s¹t ‚ t  d d t ƒ}  t t j |  ƒ ƒ t k sìt ‚ t  d d t ƒ}  t t j |  ƒ ƒ t k st ‚ t t j |  ƒ ƒ t k s@t ‚ t  d d t ƒ}  t t j |  ƒ ƒ t k sst ‚ t t j |  ƒ ƒ t k s”t ‚ d  S(   NR   R;   R?   R<   R@   R6   RA   Rƒ   RD   RE   RF   RB   RC   RO   RP   R9   R:   R=   (   R   R7   R
   R   R;   R8   R?   R>   R<   RL   R@   RA   R6   RP   RD   RE   RF   RB   RC   RO   R9   R:   R=   (   R   (    (    sA   lib/python2.7/site-packages/sympy/assumptions/tests/test_query.pyt   test_check_old_assumptionz  sf    !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!c           C   s©   t  t j d ƒ ƒ t k s! t ‚ t  t j d ƒ ƒ t k sB t ‚ t  t j d ƒ ƒ t k sc t ‚ t  t j d ƒ ƒ t k s„ t ‚ t  t j d ƒ ƒ t k s¥ t ‚ d  S(   Ng      ð?g      @g      @g       @(	   R
   R   R9   R>   R8   RE   RF   RB   RC   (    (    (    sA   lib/python2.7/site-packages/sympy/assumptions/tests/test_query.pyt   test_issue_9636À  s
    !!!!c           C   sš   t  t j d t ƒ ƒ t k s% t ‚ t  t j d t ƒ ƒ t k sK t ‚ t  t j d t ƒ ƒ t k sp t ‚ t  t j d t ƒ ƒ t k s– t ‚ d  S(   Ni    (   R
   R   R?   R   R>   R8   R;   (    (    (    sA   lib/python2.7/site-packages/sympy/assumptions/tests/test_query.pyt   test_autosimp_used_to_failÈ  s    %&%(   t	   sympy.abcR    R   R   R   R   R   R   R   R   R	   t   sympy.assumptionsR
   R   R   R   R   t   sympy.assumptions.assumeR   R½   R   R   t   sympy.assumptions.handlersR   t   sympy.core.addR   t   sympy.core.numbersR   R   R   R   R   t   sympy.core.singletonR   t   sympy.core.powerR   t   sympy.core.symbolR   t(   sympy.functions.combinatorial.factorialsR   t$   sympy.functions.elementary.complexesR   R   R   R    t&   sympy.functions.elementary.exponentialR!   R"   t(   sympy.functions.elementary.miscellaneousR#   t(   sympy.functions.elementary.trigonometricR$   R%   R&   R'   R(   R)   R*   R+   t   sympy.logic.boolalgR,   R-   R.   R/   R0   t   sympy.utilities.pytestR1   R2   R3   R4   R5   RM   RI   RJ   RK   RN   RQ   RR   RU   RX   R[   R]   R^   R`   Rb   Rd   Rf   Rg   Rj   Rk   Rl   Rm   Rn   Ro   Rp   Rq   Rr   Rs   Ru   Rz   R{   R~   R   R   R‚   R„   R…   R†   R‡   Rˆ   RŠ   R‹   RŒ   R   RŽ   R   R‘   R”   R—   R˜   R™   Rš   R›   Rœ   R§   R¬   R°   Rµ   R·   RÃ   RÄ   RÅ   RÇ   RÈ   RÉ   RÊ   RË   RÌ   RÎ   RÐ   RÑ   RÒ   RÓ   (    (    (    sA   lib/python2.7/site-packages/sympy/assumptions/tests/test_query.pyt   <module>   s²   F((":("				)						0		a				kX”´Z		KG				?hP	+	K			;	
				!	-																									F	