o
    jgû  ã                   @   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s$J ‚| ˆd ˆ ¡ˆˆd  ks5J ‚| ˆd ˆd  ˆd  ˆ ¡ˆd ˆ ksNJ ‚| ˆd ˆd  ˆ ˆd ˆd  ˆd  ¡shJ ‚ˆ  ˆˆ ˆd  ˆd  ¡ˆd ks}J ‚ˆ  ˆd ˆd  ˆd  ˆ ¡ˆd ˆ ks–J ‚ˆ  ˆd ˆ ¡ˆˆd  ks§J ‚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sCJ ‚ˆ  ˆd ˆd  ˆd  ˆ ¡ˆd ks[J ‚| ˆd ˆd  ˆd  ˆ ¡ˆd ˆd  kswJ ‚ˆ  ˆd ˆd  ˆd  ˆ ¡ˆd ˆd  ks“J ‚ˆ  
ˆd ˆ¡ ˆ  ˆd ˆd  ˆd  ˆ ¡ˆd ks³J ‚ˆ  ˆ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   ú`/var/www/html/zoom/venv/lib/python3.10/site-packages/sympy/combinatorics/tests/test_rewriting.pyÚ<lambda>-   s    z test_rewriting.<locals>.<lambda>é   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   Útest_rewriting   s@    

"24*2" 
NP 008800

r#   N)Úsympy.combinatorics.fp_groupsr   Úsympy.combinatorics.free_groupsr   Úsympy.testing.pytestr   r#   r   r   r   r   Ú<module>   s    