o
    FZh                     @   s   d dl mZmZmZ d dlmZmZmZmZm	Z	 d dl
mZ d dlmZ d dlmZ dd Zdd	 Zd
d Zdd Zdd ZdS )    )SymmetricGroupAlternatingGroupCyclicGroup)_verify_bsgs_cmp_perm_lists_naive_list_centralizer_verify_centralizer_verify_normal_closure)Permutation)PermutationGroup)shufflec                  C   s:   t d} t|  }| }t| t||du sJ d S )N   T)r   listZgenerate_diminocopyr   r   )SZelsother r   V/var/www/auris/lib/python3.10/site-packages/sympy/combinatorics/tests/test_testutil.pytest_cmp_perm_lists   s
   r   c                  C   sH   t d} td}t| | tg dgksJ tt| ||s"J d S )N   r         )r   r   r   r
   r   Zis_subgroup)r   Ar   r   r   test_naive_list_centralizer   s   r   c                  C   sf   t d} |   | j}| j}t| ||du sJ t| |d d |du s&J t| || jdu s1J d S )N   TF)r   Zschreier_simsbasestrong_gensr   
generators)r   r   r   r   r   r   test_verify_bsgs   s   r    c                  C   sJ   t d} td}ttg dg}t| | |dsJ t| ||ds#J d S )Nr   r   )Zcentr)r   r   r   r
   r   )r   r   Ztrivr   r   r   test_verify_centralizer%   s
   r!   c                  C   sb   t d} td}t| ||dsJ t d} td}td}t| ||ds&J t| ||ds/J d S )Nr   )closurer   )r   r   r	   r   )r   r   Cr   r   r   test_verify_normal_closure.   s   r$   N)Z sympy.combinatorics.named_groupsr   r   r   Zsympy.combinatorics.testutilr   r   r   r   r	   Z sympy.combinatorics.permutationsr
   Zsympy.combinatorics.perm_groupsr   Zsympy.core.randomr   r   r   r    r!   r$   r   r   r   r   <module>   s    
	