o
    jg                     @   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|  }|d d  }t| t||du sJ d S )N   T)r   listgenerate_diminor   r   )Selsother r   _/var/www/html/zoom/venv/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   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   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   )centr)r   r   r   r
   r   )r   r   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) sympy.combinatorics.named_groupsr   r   r   sympy.combinatorics.testutilr   r   r   r   r	    sympy.combinatorics.permutationsr
   sympy.combinatorics.perm_groupsr   sympy.core.randomr   r   r   r#   r&   r)   r   r   r   r   <module>   s    
	