U
    9%e                     @   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/Darija-Ai-API/env/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   TF)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   
	