U
    —9%eû  ã                   @   s0   d dl mZ d dlmZ d dlmZ dd„ ZdS )é    )ÚFpGroup)Ú
free_group)Úraisesc                     sö  t dƒ\} ‰‰t| ˆˆ ˆd  ˆd  gƒ}|j\‰‰|j‰ ˆ jsHt‚| ˆd ˆ ¡ˆˆd  ksjt‚| ˆd ˆd  ˆd  ˆ ¡ˆd ˆ ksœt‚| ˆd ˆd  ˆ ˆd ˆd  ˆd  ¡sÐt‚ˆ  ˆˆ ˆd  ˆd  ¡ˆd ksút‚ˆ  ˆd ˆd  ˆd  ˆ ¡ˆd ˆ ks.t‚ˆ  ˆd ˆ ¡ˆˆd  ksRt‚t| ˆd ˆd ˆˆ d gƒ}|j‰ ˆ  	¡  ˆ jsŒt‚ˆ  
¡ sšt‚| ˆˆd  ˆd  ˆd  ˆd  ˆd  ˆd  ¡ˆd ˆd  ksêt‚ˆ  ˆˆd  ˆd  ˆd  ˆd  ˆd  ˆd  ¡ˆd ˆd  ks:t‚t| ˆd ˆd ˆˆ d gƒ}|j‰ | ˆd ˆd  ˆd  ˆ ¡ˆd kst‚ˆ  ˆd ˆd  ˆd  ˆ ¡ˆd ksÀt‚| ˆd ˆd  ˆd  ˆ ¡ˆd ˆd  ksøt‚ˆ  ˆd ˆd  ˆd  ˆ ¡ˆd ˆd  ks0t‚ˆ  ˆd ˆ¡ ˆ  ˆd ˆd  ˆd  ˆ ¡ˆd kspt‚ˆ  ˆd ˆd  ˆd  ˆd  ¡ˆks t‚ˆ  d	¡ tt‡ ‡‡fd
d„ƒ ˆ  d¡ ˆ  ˆd ˆ¡ ˆ  ˆˆ¡tƒ ksòt‚d S )Nza, béÿÿÿÿé   é   éþÿÿÿé   é   iñÿÿÿé   c                      s   ˆ   ˆd ˆ¡S )Néýÿÿÿ)Úadd_rule© ©ÚRÚaÚbr   úg/var/www/html/Darija-Ai-API/env/lib/python3.8/site-packages/sympy/combinatorics/tests/test_rewriting.pyÚ<lambda>-   ó    z test_rewriting.<locals>.<lambda>é   r   )r   r   Ú
generatorsZ_rewriting_systemZis_confluentÚAssertionErrorÚreduceÚequalsZreduce_using_automatonZmake_confluentZ_check_confluencer   Zset_maxr   ÚRuntimeErrorÚset)ÚFÚGr   r   r   Útest_rewriting   s@     

"24*4$ PP 008800

r   N)Zsympy.combinatorics.fp_groupsr   Zsympy.combinatorics.free_groupsr   Zsympy.testing.pytestr   r   r   r   r   r   Ú<module>   s   