
\c           @   sH   d  d l  m Z d  d l m Z d   Z d   Z d   Z d   Z d S(   i(   t   canon(   t   Basicc         c   s0   t  |  t  r' |  d k r' |  d Vn |  Vd  S(   Ni    i   (   t
   isinstancet   int(   t   x(    (    sG   lib/python2.7/site-packages/sympy/strategies/branch/tests/test_tools.pyt   posdec   s    c         c   s   t  |  t  r d |  k  o& d k  n r7 |  d Vq d |  k  oN d k  n r_ |  d Vq |  d k r |  d V|  d Vq |  Vn  d  S(   Ni    i   i   i
   (   R   R   (   R   (    (    sG   lib/python2.7/site-packages/sympy/strategies/branch/tests/test_tools.pyt   branch5   s    	c          C   sg   t  d t  d d  d  }  t  d t  d d  d  h } t t  } t | |    | k sc t  d  S(   Ni   i   i   i   i    (   R   R    R   t   sett   AssertionError(   t   exprt   expectedt   brl(    (    sG   lib/python2.7/site-packages/sympy/strategies/branch/tests/test_tools.pyt   test_zero_ints   s    c          C   s   t  d t  d d  d  }  t t  d t  d d  d  t  d t  d d  d  g  } t t  } t | |    | k s t  d  S(   Ni   i   i   i   i    i
   (   R   R   R    R   R   (   R	   R
   R   (    (    sG   lib/python2.7/site-packages/sympy/strategies/branch/tests/test_tools.pyt   test_split5   s
    !N(   t   sympy.strategies.branch.toolsR    t   sympyR   R   R   R   R   (    (    (    sG   lib/python2.7/site-packages/sympy/strategies/branch/tests/test_tools.pyt   <module>   s
   			