a
    kº”hû  ã                   @   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sHJ ‚| ˆd ˆ ¡ˆˆd  ksjJ ‚| ˆd ˆd  ˆd  ˆ ¡ˆd ˆ ksœJ ‚| ˆd ˆd  ˆ ˆd ˆd  ˆd  ¡sÐJ ‚ˆ  ˆˆ ˆd  ˆd  ¡ˆd ksúJ ‚ˆ  ˆd ˆd  ˆd  ˆ ¡ˆd ˆ ks.J ‚ˆ  ˆd ˆ ¡ˆˆd  ksRJ ‚t| ˆd ˆd ˆˆ d gƒ}|j‰ ˆ  ¡  ˆ jsŒJ ‚ˆ  	¡ sšJ ‚| ˆˆd  ˆd  ˆd  ˆd  ˆd  ˆd  ¡ˆd ˆd  ksêJ ‚ˆ  ˆˆd  ˆd  ˆd  ˆd  ˆd  ˆd  ¡ˆd ˆd  ks:J ‚t| ˆd ˆd ˆˆ d gƒ}|j‰ | ˆd ˆd  ˆd  ˆ ¡ˆd ksJ ‚ˆ  ˆd ˆd  ˆd  ˆ ¡ˆd ksÀJ ‚| ˆd ˆd  ˆd  ˆ ¡ˆd ˆd  ksøJ ‚ˆ  ˆd ˆd  ˆd  ˆ ¡ˆd ˆd  ks0J ‚ˆ  
ˆd ˆ¡ ˆ  ˆd ˆd  ˆd  ˆ ¡ˆd kspJ ‚ˆ  ˆd ˆd  ˆd  ˆd  ¡ˆks J ‚ˆ  d	¡ tt‡ ‡‡fd
d„ƒ ˆ  d¡ ˆ  
ˆd ˆ¡ ˆ  
ˆˆ¡tƒ ksòJ ‚d S )Nza, béÿÿÿÿé   é   éþÿÿÿé   é   iñÿÿÿé   c                      s   ˆ   ˆd ˆ¡S )Néýÿÿÿ)Úadd_rule© ©ÚRÚaÚbr   úV/var/www/auris/lib/python3.9/site-packages/sympy/combinatorics/tests/test_rewriting.pyÚ<lambda>-   ó    z test_rewriting.<locals>.<lambda>é   r   )r   r   Ú
generatorsZ_rewriting_systemZis_confluentÚ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   