ó
¡¼™\c           @   sU   d  d l  m Z m Z d  d l m Z d  d l m Z d „  Z d „  Z d „  Z	 d S(   iÿÿÿÿ(   t   subst   typed(   t   rm_id(   t   Basicc    
      C   sË   d d l  m }  |  d ƒ \ } } } } } } i | | 6| | 6t | ƒ t | ƒ 6} t | t | | ƒ t | t | ƒ ƒ ƒ } t | t | | ƒ t | t | ƒ ƒ ƒ }	 t | ƒ | ƒ |	 k sÇ t ‚ d  S(   Niÿÿÿÿ(   t   symbolss   a,b,c,d,e,f(   t   sympyR   R   R    t   AssertionError(
   R   t   at   bt   ct   dt   et   ft   mappingt   exprt   result(    (    s@   lib/python2.7/site-packages/sympy/strategies/tests/test_tools.pyt	   test_subs   s    '**c           C   s4   t  i  ƒ t d d ƒ ƒ t d d ƒ k s0 t ‚ d  S(   Ni   i   (   R    R   R   (    (    (    s@   lib/python2.7/site-packages/sympy/strategies/tests/test_tools.pyt   test_subs_empty   s    c          C   s¶   d t  f d „  ƒ  Y}  d t  f d „  ƒ  Y} t d „  ƒ } t d „  ƒ } t i | |  6| | 6ƒ } | |  d d ƒ ƒ |  d ƒ k s‹ t ‚ | | d d ƒ ƒ | d ƒ k s² t ‚ d  S(	   Nt   Ac           B   s   e  Z RS(    (   t   __name__t
   __module__(    (    (    s@   lib/python2.7/site-packages/sympy/strategies/tests/test_tools.pyR      s   t   Bc           B   s   e  Z RS(    (   R   R   (    (    (    s@   lib/python2.7/site-packages/sympy/strategies/tests/test_tools.pyR      s   c         S   s
   |  d k S(   Ni    (    (   t   x(    (    s@   lib/python2.7/site-packages/sympy/strategies/tests/test_tools.pyt   <lambda>   t    c         S   s
   |  d k S(   Ni   (    (   R   (    (    s@   lib/python2.7/site-packages/sympy/strategies/tests/test_tools.pyR      R   i    i   (   R   R   R   R   (   R   R   t   rmzerost   rmonest   remove_something(    (    s@   lib/python2.7/site-packages/sympy/strategies/tests/test_tools.pyt
   test_typed   s    'N(
   t   sympy.strategies.toolsR    R   t   sympy.strategies.rlR   R   R   R   R   R   (    (    (    s@   lib/python2.7/site-packages/sympy/strategies/tests/test_tools.pyt   <module>   s
   		