ó
¡¼™\c           @   s°   d  Z  d d l m Z m Z d d l m Z m Z d d l 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	 „  Z d
 „  Z d „  Z d „  Z d S(   sO   
rename this to test_assumptions.py when the old assumptions system is deleted
iÿÿÿÿ(   t   xt   y(   t   global_assumptionst	   Predicate(   t   _extract_factst   Q(   t   symbols(   t   Or(   t   pretty(   t   XFAILc           C   ss   t  j t ƒ t  j t ƒ k s$ t ‚ t  j t ƒ t  j t ƒ k sI t ‚ t  j t ƒ t  j t ƒ k so t ‚ d S(   s   Test for equalityN(   R   t   positiveR    t   AssertionError(    (    (    sI   lib/python2.7/site-packages/sympy/assumptions/tests/test_assumptions_2.pyt
   test_equal   s    $%c           C   sO   t  t j t ƒ ƒ d k s! t ‚ t  t t j t j g ƒ ƒ d k sK t ‚ d  S(   Ns   Q.positive(x)s   {Q.integer, Q.positive}(   R   R   R
   R    R   t   sett   integer(    (    (    sI   lib/python2.7/site-packages/sympy/assumptions/tests/test_assumptions_2.pyt   test_pretty   s    !c          C   s±  t  d d t ƒ\ }  } t |  t ƒ t ƒ |  k s9 t ‚ t |  t ƒ t ƒ d  k sZ t ‚ t |  t ƒ t ƒ |  k s} t ‚ t |  t ƒ t ƒ d  k sŸ t ‚ t |  t ƒ | t ƒ Bt ƒ |  | Bk sÎ t ‚ t |  t ƒ | t ƒ Bt ƒ |  | Bk sÿ t ‚ t |  t ƒ | t ƒ @t ƒ |  k s*t ‚ t |  t ƒ | t ƒ @t ƒ | k sUt ‚ t |  t ƒ | t ƒ Bt ƒ d  k s€t ‚ t |  t ƒ | t ƒ Bt ƒ |  k s­t ‚ d  S(   Ns   a bt   cls(   R   R   R   R    R   R   t   None(   t   at   b(    (    sI   lib/python2.7/site-packages/sympy/assumptions/tests/test_assumptions_2.pyt   test_extract_facts   s    !!#"/1+++c           C   s:  t  j t j t d k ƒ ƒ t j t d k ƒ t  k s= t ‚ t  j t j t d k ƒ ƒ t j t d k ƒ t  k sz t ‚ t  j t j t d k ƒ t j t d k ƒ ƒ t j t d k ƒ t  k sÉ t ‚ t j t d k ƒ t  k sê t ‚ t  j ƒ  t j t d k ƒ t  k st ‚ t j t d k ƒ t  k s6t ‚ d S(   s   Test for global assumptionsi    N(	   R   t   addR   t   is_trueR    R   t   removeR   t   clear(    (    (    sI   lib/python2.7/site-packages/sympy/assumptions/tests/test_assumptions_2.pyt   test_global(   s    !!.!!
!N(   t   __doc__t	   sympy.abcR    R   t   sympy.assumptions.assumeR   R   t   sympy.assumptions.askR   R   t
   sympy.coreR   t   sympy.logic.boolalgR   t   sympy.printingR   t   sympy.utilities.pytestR	   R   R   R   R   (    (    (    sI   lib/python2.7/site-packages/sympy/assumptions/tests/test_assumptions_2.pyt   <module>   s   			