o
    h
                     @   sx   d Z ddlmZmZmZmZ ddlmZ ddlm	Z	m
Z
mZ dd Zdd Zd	Zi Zer2eee Zd
d Zdd ZdS )z*Test groups defined by the galois module.     )S4TransitiveSubgroupsS5TransitiveSubgroupsS6TransitiveSubgroupsfind_transitive_subgroups_of_S6)is_isomorphic)SymmetricGroupAlternatingGroupCyclicGroupc                  C   sX   t j } td}| |sJ | jdksJ |  sJ |  dks%J | jr*J d S )N   )	r   Vget_perm_groupr   is_subgroupdegreeis_transitiveorder	is_cyclic)GA4 r   [/var/www/html/ai/venv/lib/python3.10/site-packages/sympy/combinatorics/tests/test_galois.pytest_four_group   s   
r   c                  C   sd   t j } td}td}| |sJ | |rJ | jdks"J |  s(J |  dks0J d S )N      )	r   M20r   r   r   r   r   r   r   )r   S5A5r   r   r   test_M20   s   
r   Fc                 C   s    |   g}tr|t|   |S )N)r   INCLUDE_SEARCH_REPSappendS6_randomized)nameversr   r   r   get_versions_of_S6_subgroup+   s   
r"   c                  C   s  t } td}| jddtddf| jddtddf| jddddf| jddddf| jddddf| j	dddtd	f| j
ddtd	df| jddddf| jdd
ddf| jdd
ddf| jddddf| jddddf| jddddf| jddddf| jddddf| jddddffD ]>\}}}}}t|D ]2}| sJ |jdksJ |||u sJ | |ksJ |rt||sJ |rt||rJ qqdS )zQ
    Test enough characteristics to distinguish all 16 transitive subgroups.
       FN      T      r
   $   0   <   H   x   ih  i  )r   r   C6r	   S3r   D6r   G18A4xC2S4mS4pG36mG36pS4xC2PSL2F5G72PGL2F5A6S6r"   r   r   r   r   r   )tsr:   r    altr   is_isomnot_isomr   r   r   r   test_S6_transitive_subgroups2   s>   r@   N)__doc__sympy.combinatorics.galoisr   r   r   r   !sympy.combinatorics.homomorphismsr    sympy.combinatorics.named_groupsr   r   r	   r   r   r   r   listr"   r@   r   r   r   r   <module>   s    
