a
    kh                     @   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 s6J d S )N   T)r   listZgenerate_diminocopyr   r   )SZelsother r   U/var/www/auris/lib/python3.9/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| ||sDJ 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 s0J t| |d d |du sLJ t| || jdu sbJ 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s4J t| ||dsFJ 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sLJ 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   
	