
    sh                     T    S SK JrJrJrJrJrJr  S SKJr  S r	S r
S rS rS rS rg	)
    )SymmetricGroupCyclicGroupDihedralGroupAlternatingGroupAbelianGroup
RubikGroup)raisesc                     [        S5      n [        U R                  5       5      nU R                  S   R                  S:X  d   e[        U5      S:X  d   eU R                  SL d   eU R                  SL d   eU R                  SL d   eU R                  5       SL d   e[        S5      nUR                  5       S:X  d   e[        S5      nUR                  5       S:X  d   eg )N   r   x   FT      )r   listgenerate
generatorssizelenis_solvable
is_abelianis_nilpotentis_transitiveorderGelementsHLs       /Users/tiagomarins/Projetos/claudeai/copy_bank/venv/lib/python3.13/site-packages/sympy/combinatorics/tests/test_named_groups.pytest_SymmetricGroupr      s    qAAJJL!HLLO!!Q&&&x=C==E!!!<<5   >>U"""??$$$qA779>>qA779>>    c                     [        S5      n [        U R                  5       5      n[        U5      S:X  d   eU R	                  5       R                  5       S:X  d   eU R                  SL d   eU R                  SL d   eU R                  SL d   e[        S5      nUR                  5       S:X  d   e[        S5      nUR                  5       S:X  d   eg )N
   r   Tr   )	r   r   r   r   derived_subgroupr   r   r   r   r   s       r   test_CyclicGroupr$      s    BAAJJL!Hx=B '')Q...<<4==D   >>T!!!AA779>>AA779>>r    c                     [        S5      n [        U R                  5       5      n[        U5      S:X  d   eU R	                  5       SL d   eU R
                  SL d   eU R                  SL d   eU R                  SL d   e[        S5      nUR                  5       S:X  d   e[        S5      nUR                  5       S:X  d   eUR
                  SL d   eUR                  SL d   eg )N      TFr   r      )	r   r   r   r   r   r   r   r   r   r   s       r   test_DihedralGroupr)   $   s    aAAJJL!Hx=B??$$$<<5   ==D   >>U"""aA779>>aA779>><<4>>T!!!r    c                  H   [        S5      n [        U R                  5       5      n[        U5      S:X  d   eU Vs/ s H  o"R                  PM     snS/S-  :X  d   e[        S5      nUR                  5       S:X  d   e[        S5      nUR                  5       S:X  d   eg s  snf )Nr   <   Tr   r   )r   r   r   r   is_evenr   )r   r   permr   r   s        r   test_AlternatingGroupr.   4   s    AAJJL!Hx=B%-.XTLLX.4&);;;A779>>A779>>	 /s   Bc                  l    [        SSS5      n U R                  5       S:X  d   eU R                  SL d   eg )N      T)r   r   r   )As    r   test_AbelianGroupr3   ?   s4    Q1A779??<<4r    c                  &    [        [        S 5        g )Nc                      [        S5      $ )Nr   )r    r    r   <lambda>!test_RubikGroup.<locals>.<lambda>F   s    z!}r    )r	   
ValueErrorr6   r    r   test_RubikGroupr:   E   s    
:,-r    N) sympy.combinatorics.named_groupsr   r   r   r   r   r   sympy.testing.pytestr	   r   r$   r)   r.   r3   r:   r6   r    r   <module>r=      s4   H H ("  .r    