U
    ZÊ¹jÁ  ã                   @   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ks:t‚d S )Né   T)r   ÚlistZgenerate_diminor   r   ÚAssertionError)ÚSZelsÚother© r   úf/var/www/html/bwave/python/venv/lib/python3.8/site-packages/sympy/combinatorics/tests/test_testutil.pyÚtest_cmp_perm_lists   s
    r   c                  C   sJ   t dƒ} tdƒ}t| | ƒtdddgƒgks.t‚tt| |ƒƒ |¡sFt‚d S )Né   r   é   é   )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ks0t‚t| |d d… |ƒdksLt‚t| || jƒdksbt‚d S )Né   TéÿÿÿÿF)r   Zschreier_simsÚbaseÚstrong_gensr   r   Ú
generators)r   r   r   r   r   r   Útest_verify_bsgs   s    r   c                  C   sL   t dƒ} tdƒ}ttdddgƒgƒ}t| | |d�s6t‚t| ||d�sHt‚d S )Nr   r   r   r   )Zcentr)r   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"t‚t dƒ} tdƒ}tdƒ}t| ||d�sLt‚t| ||d�s^t‚d S )Nr   )Úclosurer   )r   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   
	