ó
¡¼™\c           @   sÍ   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 l
 m Z d  d l m Z e d ƒ e d ƒ Z Z d „  Z d	 „  Z d
 „  Z d „  Z d „  Z d „  Z d „  Z d „  Z d S(   iÿÿÿÿ(   t   rewriterule(   t   sint   Basict   Symbolt   S(   t   xt   y(   t   rebuild(   t   Qt   pt   qc          C   s¼   t  t t d ƒ t t d ƒ d t f ƒ}  t |  t d d ƒ ƒ ƒ t d d ƒ g k s] t ‚ t d } t d } t  | | d t f ƒ}  t d } t |  | ƒ ƒ t d g k s¸ t ‚ d  S(   Ni   i   t	   variablesi   (   R    R   R	   t   listt   AssertionErrorR   (   t   rlt   p1t   p2t   expr(    (    s=   lib/python2.7/site-packages/sympy/unify/tests/test_rewrite.pyt   test_simple	   s    *3


c          C   sª   t  t t d ƒ t t d ƒ d t f ƒ}  t |  t d d ƒ ƒ ƒ t d d ƒ g k s] t ‚ t  t d t d d t f ƒ}  t |  t d ƒ ƒ t d g k s¦ t ‚ d  S(   Ni   i   R   i   (   R    R   R   R   R   R   (   R   (    (    s=   lib/python2.7/site-packages/sympy/unify/tests/test_rewrite.pyt   test_simple_variables   s    *3 c          C   sw   t  d t d }  t  t d } t |  | t  t f ƒ } t d t d } t | | ƒ ƒ t t d g k ss t ‚ d  S(   Ni   i   i   (   R	   R
   R    R   R   R   R   (   R   R   R   R   (    (    s=   lib/python2.7/site-packages/sympy/unify/tests/test_rewrite.pyt   test_moderate   s
    c          C   s²   t  t ƒ d t  t ƒ d }  d } t |  | t t f ƒ } t | t  t ƒ d t  t ƒ d ƒ ƒ d g k su t ‚ t | t  t ƒ d t  t ƒ d ƒ ƒ d g k s® t ‚ d  S(   Ni   i   (   R   R	   R    R
   R   R   R   R   (   R   R   R   (    (    s=   lib/python2.7/site-packages/sympy/unify/tests/test_rewrite.pyt   test_sincos#   s
    9c          C   sU   t  t t t t t t f ƒ }  t |  t t ƒ ƒ j t t |  t t ƒ ƒ ƒ d  S(   N(   R    R	   R
   t   nextR   R   t   is_commutativet   str(   R   (    (    s=   lib/python2.7/site-packages/sympy/unify/tests/test_rewrite.pyt   test_Exprs_ok+   s     c          C   sl   t  t t d t g d „  ƒ }  t |  t d ƒ ƒ ƒ s> t ‚ t t |  t d ƒ ƒ ƒ ƒ d k sh t ‚ d  S(   Ni   c         S   s
   |  d k  S(   Ni
   (    (   R   (    (    s=   lib/python2.7/site-packages/sympy/unify/tests/test_rewrite.pyt   <lambda>1   t    i   i   i   (   R    R   R   R   R   R   R   (   R   (    (    s=   lib/python2.7/site-packages/sympy/unify/tests/test_rewrite.pyt   test_condition_simple0   s    c          C   sË   t  t t t t t t g d „  ƒ }  t d ƒ } t d d t ƒ} | | } t |  | ƒ ƒ | | g k ss t ‚ t d d t ƒ} t d d t ƒ} t |  | | ƒ ƒ | | | | h k sÇ t ‚ d  S(   Nc         S   s   |  j  S(   N(   t
   is_integer(   R   R   (    (    s=   lib/python2.7/site-packages/sympy/unify/tests/test_rewrite.pyR   7   R   t   at   bt   integert   ct   d(   R    R   R   R   t   TrueR   R   t   set(   R   R   R   R   R!   R"   (    (    s=   lib/python2.7/site-packages/sympy/unify/tests/test_rewrite.pyt   test_condition_multiple6   s    &
%c          C   sƒ   t  t t t t t t g d t j t ƒ ƒ}  t t d ƒ \ } } | | } t |  | t j | ƒ ƒ ƒ | | g k s t ‚ d  S(   Nt   assumet   ab(	   R    R   R   R   R    t   mapR   R   R   (   R   R   R   R   (    (    s=   lib/python2.7/site-packages/sympy/unify/tests/test_rewrite.pyt   test_assumptionsB   s    /
N(   t   sympy.unify.rewriteR    t   sympyR   R   R   R   t	   sympy.abcR   R   t   sympy.strategies.rlR   t   sympy.assumptionsR   R	   R
   R   R   R   R   R   R   R%   R)   (    (    (    s=   lib/python2.7/site-packages/sympy/unify/tests/test_rewrite.pyt   <module>   s   "							