
    \h                         S SK Jr  S SKJr  S SKJr  S SKJr  S SKJ	r	J
r
  S SKJr  S SKJrJr  S SKJr  S S	KJr  S
 rS rg)    )x)S)AlgebraicNumber)sqrt)Polycyclotomic_poly)QQ)DomainMatrixDM)	round_two)raisesc                     [        [        S 5        [        [        S 5        [        S5      [        R                  " S[
        5      S4[        S5      [        R                  " S[
        5      S4[        S	-  S-
  [        S
S/SS//[
        5      S4[        S	-  S-
  [        S
S/SS
//[
        5      S4[        S-  [        S	-  -   S	[        -  -
  S-   [        / SQ/ SQ/ SQ/[
        5      R                  5       S4[        S-  S[        S	-  -  -   S[        -  -
  S-   [        / SQ[
        5      R                  5       S4[        S-  S[        S	-  -  -   S[        -  -   S-
  [        / SQ[
        5      R                  5       S4[        S-  S[        S	-  -  -   [        -
  S-   [        / SQ[
        5      R                  5       S4[        S-  S[        S	-  -  -   S[        -  -
  S-
  [        / SQ[
        5      R                  5       S4[        S-  S[        S	-  -  -   S-   [        / SQ[
        5      R                  5       S4[        S-  S[        S	-  -  -   S[        -  -   S
-
  [        / SQ[
        5      R                  5       S4[        S-  S[        S	-  -  -   S-   [        / SQ[
        5      R                  5       S4[        S-  S[        S	-  -  -   S[        -  -   S-
  [        / SQ[
        5      R                  5       S4[        S-  S[        S	-  -  -   [        -
  S-   [        / SQ[
        5      R                  5       S 4[        S-  S[        S	-  -  -   S[        -  -
  S-   [        / SQ[
        5      R                  5       S!4[        S-  S[        S	-  -  -   S[        -  -
  S-   [        / S"Q[
        5      R                  5       S#4[        S-  S[        S	-  -  -   S[        -  -   S
-
  [        / S$Q[
        5      R                  5       S4[        S-  S[        S	-  -  -   S	[        -  -
  S-   [        / S%Q[
        5      R                  5       S&4[        S-  S[        S	-  -  -   S[        -  -
  S-   [        / S'Q[
        5      R                  5       S(4[        S-  S)[        S	-  -  -   S[        -  -   S-
  [        / S*Q[
        5      R                  5       S+4[        S-  S,[        S	-  -  -   S)[        -  -
  S--   [        / S.Q[
        5      R                  5       S/4S[        S-  -  S[        S	-  -  -   S0[        -  -
  S1-   [        / SQ/ SQ/ SQ/[
        5      R                  5       S4[        SS5      [        S-  -  [        SS5      [        S	-  -  -   [        S0S5      [        -  -
  [        S1S5      -   [        / SQ/ SQ/ SQ/[
        5      R                  5       S44n U  Hw  u  pn[
        R                  " U5      nUR                  5       R                  nUR                  5       nXc:X  d   eUR                  5       U-  R                  5       S	-  S
:X  a  Mw   e   g )2Nc                  >    [        [        [        S-  S-
  5      5      $ )N      )r   r   r        a/var/www/auris/envauris/lib/python3.13/site-packages/sympy/polys/numberfields/tests/test_basis.py<lambda> test_round_two.<locals>.<lambda>   s    ya1fqj)9:r   c                  P    [        [        [        S-  [        S5      -   5      5      $ )Nr   )r   r   r   r   r   r   r   r   r      s    ya1ftAw.>)?@r         }         iYr   r   r   r   r            r   r   r   r   r   r   r   r   r   i	))r   r   r   r$   r#   r   r   r   i))r   r   r   r"   r%   i))r$   r   )r   r   r#   r%   ii  ))r   r   r&   r&   r"   r%   iyQ   ))r&   )r   r   r&   r"   )r   r   r   1   iit)))r   r   r   r   r)   r"   r%   iQ)))r   r   )r   r   )r   r   r"   r%   )r!   r"   r%   i)r!   )r   r$   r$   r%   i]	   )r!   r#   r%   i        ))r   r   r&   r-   r"   r%   iT
   (   )r   
ValueErrorr   r
   eyer	   r   r   	transposealg_field_from_polymaximal_order	QQ_matrixdiscriminantinvdet)casesfB_expd_expKBds          r   test_round_twor@      s   
::;
:@A
 
	\--a4c:		\--a4f=	
a!R!Vq&k2B7;	
a!R!Q!Q("-r2	
a!q&1q5	 1	$b)Y@S)TVX&Y&c&c&egkl 
AAqD1q5	 1	$b)ceg&h&r&r&tvyz	
AAqD1q5	 1	$b)TVX&Y&c&c&egkl	
AAqD1	q	 "%Z\^"_"i"i"kmpq	
AAqD1q5	 1	$b)TVX&Y&c&c&egkl	
AAqD1	b!QSUV``bdhi	
AAqD1q5	 1	$b)Y[]&^&h&h&jlno	
AAqD1	b!VXZ[eegimn	
AAqD1q5	 1	$b)^`b&c&m&m&oqst	
AAqD1	q	 "%PRT"U"_"_"achi	
AAqD1q5	 1	$b)^`b&c&m&m&oquv	
AAqD1q5	 1	$b)Y[]&^&h&h&jlpq	
AAqD1q5	 1	$b)Y[]&^&h&h&jlno	
AAqD1q5	 1	$b)JB&O&Y&Y&[]cd	
AAqD1q5	 1	$b)TVX&Y&c&c&egkl	
AAqD1q5	 1	$b)TVX&Y&c&c&egkl	
AQT		AE	!B	&+[]_(`(j(j(lnst	
1a4!AqD&26	!B	&IyBU+VXZ([(e(e(gimn	Aq!Q$Aq!Q$	&B1	4r"ay	@"iQZ\oEprtBuBB  CB  DH  	I]/E` !%""1%OO''NNzz ""$a'1,,, !r   c                  
   [        [        S5      SS9n [        R                  " U 5      nUR	                  5       nUR	                  SS9nUR	                  SS9nX!" S/5      U" [
        R                  [
        R                  /5      /:X  d   eUS[
        R                  U S-  -   /:X  d   eXAR                  R                  S/5      UR                  R                  [
        R                  [
        R                  /5      /:X  d   eg )	Nr   alpha)aliassympy)fmtalgr   r   )	r   r   r	   algebraic_fieldintegral_basisr   Halfextfield_element)rB   kB0B1B2s        r   "test_AlgebraicField_integral_basisrP   L   s    DG73E
5!A	
			B	
		g		&B	
		e		$B!QC&!QVVQVV,-....!QVVeAg%&&&&%%%%qc*%%%%qvvqvv&679 9 9 9r   N)	sympy.abcr   
sympy.corer   sympy.core.numbersr   (sympy.functions.elementary.miscellaneousr   sympy.polysr   r   sympy.polys.domainsr	   sympy.polys.matricesr
   r   sympy.polys.numberfields.basisr   sympy.testing.pytestr   r@   rP   r   r   r   <module>rZ      s+      . 9 - " 1 4 '=-@	9r   