
    g                     .    d dl mZ d dlmZ d dlmZ d Zy)    )FpGroup)
free_group)raisesc                     t        d      \  } t        | z  dz  z  dz  z  g      }|j                  \  |j                  j                  sJ |j                  dz  z        dz  z  k(  sJ |j                  dz  dz  z  dz  z  z        dz  z  k(  sJ |j                  dz  dz  z  z  dz  dz  z  dz  z        sJ j                  z  dz  z  dz  z        dz  k(  sJ j                  dz  dz  z  dz  z  z        dz  z  k(  sJ j                  dz  z        dz  z  k(  sJ t        | dz  dz  z  dz  g      }|j                  j                          j                  sJ j                         sJ |j                  dz  z  dz  z  dz  z  dz  z  dz  z  dz  z        dz  dz  z  k(  sJ j                  dz  z  dz  z  dz  z  dz  z  dz  z  dz  z        dz  dz  z  k(  sJ t        | dz  dz  z  dz  g      }|j                  |j                  dz  dz  z  dz  z  z        dz  k(  sJ j                  dz  dz  z  dz  z  z        dz  k(  sJ |j                  dz  dz  z  dz  z  z        dz  dz  z  k(  sJ j                  dz  dz  z  dz  z  z        dz  dz  z  k(  sJ j                  dz         j                  dz  dz  z  dz  z  z        dz  k(  sJ j                  dz  dz  z  dz  z  dz  z        k(  sJ j                  d	       t        t        fd
       j                  d       j                  dz         j                        t               k(  sJ y )Nza, b            i   c                  .     j                  dz        S )N)add_rule)Rabs   ]/var/www/openai/venv/lib/python3.12/site-packages/sympy/combinatorics/tests/test_rewriting.py<lambda>z test_rewriting.<locals>.<lambda>-   s    !**QUA"6       r   )r   r   
generators_rewriting_systemis_confluentreduceequalsreduce_using_automatonmake_confluent_check_confluencer   set_maxr   RuntimeErrorset)FGr   r   r   s     @@@r   test_rewritingr%      sr    GAq!AaC2IaeO$%A<<DAq	A>>>88ArE!G!R%'''88AqDAIaeOA%&!Q$q&00088AqDBJqL!Q$q"u*QU"2333##AaC1HQUN3q!t;;;##AqDAIaeOA$56!Q$q&@@@##ArE!G,!R%777AqD!Q$1q)*A	A >>>   88AaeGArEM!Q$&q!t+ArE1!S&89QU1b5[HHH##AaeGArEM!Q$$6q!t$;ArE$A!S&$HIQPRUSTVXSX[XXXAqD!Q$1q)*A	A88AqDBJq!tOA%&!R%///##AqDBJq!tOA$56!R%???88AqDBJq!tOA%&!R%2+555##AqDBJq!tOA$56!R%2+EEEJJq!tQ##AqDBJq!tOA$56!R%???##AqDBJq!tOAqD$89Q>>>IIbM
<67IIbMJJq"ua::asu$$$r   N)sympy.combinatorics.fp_groupsr   sympy.combinatorics.free_groupsr   sympy.testing.pytestr   r%    r   r   <module>r*      s    1 6 '+%r   