ó
¡¼™\c           @   s=   d  d l  m Z d  d l m Z d  d l m Z d „  Z d S(   iÿÿÿÿ(   t   FpGroup(   t
   free_group(   t   raisesc             sµ  t  d ƒ \ }  ‰ ‰ t |  ˆ ˆ ˆ d ˆ d g ƒ } | j \ ‰ ‰ | j ‰  ˆ  j sb t ‚ | j ˆ d ˆ ƒ ˆ ˆ d k s t ‚ | j ˆ d ˆ d ˆ d ˆ ƒ ˆ d ˆ k sÈ t ‚ | j ˆ d ˆ d ˆ ˆ d ˆ d ˆ d ƒ st ‚ ˆ  j ˆ ˆ ˆ d ˆ d ƒ ˆ d k s7t ‚ ˆ  j ˆ d ˆ d ˆ d ˆ ƒ ˆ d ˆ k srt ‚ ˆ  j ˆ d ˆ ƒ ˆ ˆ d k st ‚ t |  ˆ d ˆ d ˆ ˆ d g ƒ } | j ‰  ˆ  j	 ƒ  ˆ  j sçt ‚ ˆ  j
 ƒ  sùt ‚ | j ˆ ˆ d ˆ d ˆ d ˆ d ˆ d ˆ d ƒ ˆ d ˆ d k sPt ‚ ˆ  j ˆ ˆ d ˆ d ˆ d ˆ d ˆ d ˆ d ƒ ˆ d ˆ d k s§t ‚ t |  ˆ d ˆ d ˆ ˆ d g ƒ } | j ‰  | j ˆ d ˆ d ˆ d ˆ ƒ ˆ d k st ‚ ˆ  j ˆ d ˆ d ˆ d ˆ ƒ ˆ d k sFt ‚ | j ˆ d ˆ d ˆ d ˆ ƒ ˆ d ˆ d k s…t ‚ ˆ  j ˆ d ˆ d ˆ d ˆ ƒ ˆ d ˆ d k sÄt ‚ ˆ  j ˆ d ˆ ƒ ˆ  j ˆ d ˆ d ˆ d ˆ ƒ ˆ d k st ‚ ˆ  j ˆ d ˆ d ˆ d ˆ d ƒ ˆ k sFt ‚ ˆ  j d	 ƒ t t ‡  ‡ ‡ f d
 †  ƒ ˆ  j d ƒ ˆ  j ˆ d ˆ ƒ ˆ  j ˆ ˆ ƒ t ƒ  k s±t ‚ d  S(   Ns   a, biÿÿÿÿi   i   iþÿÿÿi   i   iñÿÿÿi   c              s   ˆ  j  ˆ d ˆ ƒ S(   Niýÿÿÿ(   t   add_rule(    (   t   Rt   at   b(    sG   lib/python2.7/site-packages/sympy/combinatorics/tests/test_rewriting.pyt   <lambda>-   t    i   iýÿÿÿ(   R   R    t
   generatorst   _rewriting_systemt   is_confluentt   AssertionErrort   reducet   equalst   reduce_using_automatont   make_confluentt   _check_confluenceR   t   set_maxR   t   RuntimeErrort   set(   t   Ft   G(    (   R   R   R   sG   lib/python2.7/site-packages/sympy/combinatorics/tests/test_rewriting.pyt   test_rewriting   s@    &	+;<3;+(	
WW(	77??77N(   t   sympy.combinatorics.fp_groupsR    t   sympy.combinatorics.free_groupsR   t   sympy.utilities.pytestR   R   (    (    (    sG   lib/python2.7/site-packages/sympy/combinatorics/tests/test_rewriting.pyt   <module>   s   