o
    GZh0                     @   sl  d Z ddlmZmZmZmZmZmZmZm	Z	m
Z
mZmZmZmZmZmZmZmZmZmZmZmZmZmZmZ ddlmZ ddlmZmZmZm Z m!Z!m"Z"m#Z#m$Z$ ddl%m&Z&m'Z' ddl(m)Z)m*Z* ddl+m,Z, ddl-m.Z. dd	l/m0Z0 dd
l1m2Z2m3Z3m4Z4 dd Z5dd Z6dd Z7dd Z8dd Z9dd Z:dd Z;dd Z<dd Z=dd Z>dd  Z?d!d" Z@d#d$ ZAd%d& ZBd'd( ZCd)d* ZDd+d, ZEd-d. ZFd/d0 ZGd1d2 ZHd3d4 ZId5d6 ZJd7d8 ZKd9d: ZLd;d< ZMd=d> ZNd?d@ ZOdAdB ZPdCdD ZQdEdF ZRdGdH ZSdIdJ ZTdKdL ZUdMdN ZVdOdP ZWdQdR ZXdSdT ZYdUdV ZZdWdX Z[dYdZ Z\d[d\ Z]d]d^ Z^d_d` Z_dadb Z`dcdd Zadedf ZbdgS )hzFTests for options manager for :class:`Poly` and public API functions.     )OptionsExpandGensWrtSortOrderFieldGreedyDomainSplitGaussian	ExtensionModulus	SymmetricStrictAutoFracFormalPolysIncludeAllGenSymbolsMethod)lex)FFGFZZQQQQ_IRRCCEX)OptionErrorGeneratorsError)IInteger)Symbol)sqrt)raisesxyzc                  C   s   t tttfddi} | jtttfksJ | jtksJ d| v du s#J | ttfdd}| jtttfks7J | jtks>J d| v du sFJ |jttfksOJ |jtksVJ d|v du s^J d S )Ndomainr   orderFr   )gensr/   T)r   r+   r,   r-   r0   r.   r   clone)optZnew_opt r3   Q/var/www/auris/lib/python3.10/site-packages/sympy/polys/tests/test_polyoptions.pytest_Options_clone   s   r5   c                   C   Z   t ddu s	J t ddu sJ t ddu sJ t ddu s$J ttdd  d S )NFTr      c                   S   
   t tS N)r   
preprocessr+   r3   r3   r3   r4   <lambda>-      
 z(test_Expand_preprocess.<locals>.<lambda>)r   r:   r)   r#   r3   r3   r3   r4   test_Expand_preprocess&   
   r=   c                  C   &   ddi} t |  | ddiksJ d S )NexpandT)r   postprocessr2   r3   r3   r4   test_Expand_postprocess0      
rC   c                      s   t ddks	J t tttftttfksJ t tttfftttfks(J tddd ttdd  tt fdd d S )	Nr9   r3   aF)Zcommutativec                   S   s   t tttfS r9   r   r:   r+   r,   r3   r3   r3   r4   r;   >       z&test_Gens_preprocess.<locals>.<lambda>c                      s   t tt fS r9   rF   r3   rE   r3   r4   r;   ?   rG   )r   r:   r+   r,   r-   r'   r)   r$   r3   r3   rH   r4   test_Gens_preprocess7   s    rI   c                  C   s.   dt tfi} t|  | dt tfiksJ d S )Nr0   )r+   r,   r   rA   rB   r3   r3   r4   test_Gens_postprocessB   s   
rJ   c                   C   s   t tdgks
J t dg ksJ t dg ksJ t dddgks'J t dddgks2J t dddgks=J t dddgksHJ t d	ddgksSJ t d
ddgks^J t ttgddgkskJ ttdd  ttdd  d S )Nr+     zx,yr,   zx yzx, yzx , yz x, yz x,  yc                   S   
   t dS )N,r   r:   r3   r3   r3   r4   r;   U   r<   z%test_Wrt_preprocess.<locals>.<lambda>c                   S   rM   Nr   rO   r3   r3   r3   r4   r;   V   r<   )r   r:   r+   r,   r)   r#   r3   r3   r3   r4   test_Wrt_preprocessI   s   rQ   c                  C   s*   ddgi} t |  | ddgiksJ d S )NZwrtr+   )r   rA   rB   r3   r3   r4   test_Wrt_postprocessY   s   

rR   c                   C   s   t tttgg dksJ t tttfg dksJ t dg dks'J t dg dks2J ttdd  ttdd  d S )Nr*   z	x > y > zzx>y>zc                   S   rM   rP   )r   r:   r3   r3   r3   r4   r;   g   r<   z&test_Sort_preprocess.<locals>.<lambda>c                   S   s   t ttthS r9   )r   r:   r+   r,   r-   r3   r3   r3   r4   r;   h   rG   )r   r:   r+   r,   r-   r)   r#   r3   r3   r3   r4   test_Sort_preprocess`   s   rS   c                  C   r?   )Nsortzx > y)r   rA   rB   r3   r3   r4   test_Sort_postprocessk   rD   rU   c                   C   s   t dtks	J d S )Nr   )r   r:   r   r3   r3   r3   r4   test_Order_preprocessr   s   rV   c                  C   r?   )Nr/   T)r   rA   rB   r3   r3   r4   test_Order_postprocessv   rD   rW   c                   C   r6   )NFTr   r7   c                   S   r8   r9   )r   r:   r+   r3   r3   r3   r4   r;      r<   z'test_Field_preprocess.<locals>.<lambda>)r   r:   r)   r#   r3   r3   r3   r4   test_Field_preprocess}   r>   rX   c                  C   r?   )NfieldT)r   rA   rB   r3   r3   r4   test_Field_postprocess   rD   rZ   c                   C   r6   )NFTr   r7   c                   S   r8   r9   )r	   r:   r+   r3   r3   r3   r4   r;      r<   z(test_Greedy_preprocess.<locals>.<lambda>)r	   r:   r)   r#   r3   r3   r3   r4   test_Greedy_preprocess   r>   r[   c                  C   r?   )NZgreedyT)r	   rA   rB   r3   r3   r4   test_Greedy_postprocess   rD   r\   c                   C   s  t ttks	J t ttksJ t ttksJ t tdtdks(J t tttf tttf ks9J t dtksBJ t dtksKJ t dtksTJ t dtks]J t dtksfJ t dtdksqJ t d	tdks|J t	t
d
d  t dtt ksJ t dtt ksJ t dtt ksJ t dtt ksJ t dtt ksJ t dtt ksJ t dtt ksJ t dtt ksJ t dtttf ksJ t dtttf ksJ t dtttf ksJ t dtttf ksJ t dtttf ksJ t dtttf ks-J t dtttf ks;J t dtttf ksIJ t	t
dd  t dttks]J t dttksjJ t dttkswJ t d ttksJ t d!tttksJ t d"tttksJ t d#tttksJ t d$tttksJ t d%ttksJ t d&ttksJ t d'ttdtksJ t d(ttdtksJ t	t
d)d  d S )*N   ZQr   r   r"   zFF(23)   zGF(23)c                   S   rM   )NzZ[]r
   r:   r3   r3   r3   r4   r;      r<   z(test_Domain_preprocess.<locals>.<lambda>zZ[x]zQ[x]zR[x]zC[x]zZZ[x]zQQ[x]zRR[x]zCC[x]zZ[x,y]zQ[x,y]zR[x,y]zC[x,y]zZZ[x,y]zQQ[x,y]zRR[x,y]zCC[x,y]c                   S   rM   )NzZ()ra   r3   r3   r3   r4   r;      r<   zZ(x)zQ(x)zZZ(x)zQQ(x)zZ(x,y)zQ(x,y)zZZ(x,y)zQQ(x,y)zQ<I>zQQ<I>zQ<sqrt(2), I>zQQ<sqrt(2), I>c                   S   rM   )Nabcra   r3   r3   r3   r4   r;      r<   )r
   r:   r   r   r"   r   r+   r,   r   r)   r#   r    r!   Z
frac_fieldalgebraic_fieldr%   r(   r3   r3   r3   r4   test_Domain_preprocess   s^   " 
rd   c                   C   s.   t tdd  t tdd  t tdd  d S )Nc                   S   s   t ttftttf dS )Nr0   r.   )r
   rA   r+   r,   r   r-   r3   r3   r3   r4   r;      s   
 
z)test_Domain_postprocess.<locals>.<lambda>c                   S   s   t dtdS )Nr3   re   r
   rA   r"   r3   r3   r3   r4   r;      s    c                   S   s   t dtiS )Nr.   rf   r3   r3   r3   r4   r;          )r)   r$   r3   r3   r3   r4   test_Domain_postprocess   s   rh   c                   C   r6   )NFTr   r7   c                   S   r8   r9   )r   r:   r+   r3   r3   r3   r4   r;      r<   z'test_Split_preprocess.<locals>.<lambda>)r   r:   r)   r#   r3   r3   r3   r4   test_Split_preprocess   r>   ri   c                   C      t tdd  d S )Nc                   S   s   t ddiS )NsplitT)r   rA   r3   r3   r3   r4   r;      rg   z(test_Split_postprocess.<locals>.<lambda>)r)   NotImplementedErrorr3   r3   r3   r4   test_Split_postprocess      rm   c                   C   r6   )NFTr   r7   c                   S   r8   r9   )r   r:   r+   r3   r3   r3   r4   r;      r<   z*test_Gaussian_preprocess.<locals>.<lambda>)r   r:   r)   r#   r3   r3   r3   r4   test_Gaussian_preprocess   r>   ro   c                  C   s(   ddi} t |  | dtdksJ d S )NgaussianT)rp   r.   )r   rA   r   rB   r3   r3   r4   test_Gaussian_postprocess   s   
rq   c                   C   s   t ddu s	J t ddu sJ t g d u sJ t tdtdhks)J t tdgtdhks8J t tdtgtdthksIJ ttdd  ttdd  d S )NTr7   r]   c                   S   rM   )NFr   r:   r3   r3   r3   r4   r;     r<   z+test_Extension_preprocess.<locals>.<lambda>c                   S   rM   rP   rr   r3   r3   r3   r4   r;     r<   )r   r:   r(   r%   r)   r#   r3   r3   r3   r4   test_Extension_preprocess
  s   "rs   c                  C   s`   dt dhi} t|  | t dhtt ddksJ ddi} t|  | ddiks.J d S )N	extensionr]   )rt   r.   T)r(   r   rA   r   rc   rB   r3   r3   r4   test_Extension_postprocess  s   

ru   c                   C   sH   t ddks	J t tddksJ ttdd  ttdd  d S )Nr`   c                   S   rM   rP   )r   r:   r3   r3   r3   r4   r;   ,  r<   z)test_Modulus_preprocess.<locals>.<lambda>c                   S   r8   r9   )r   r:   r+   r3   r3   r3   r4   r;   -  r<   )r   r:   r&   r)   r#   r3   r3   r3   r4   test_Modulus_preprocess(  s   rv   c                  C   sZ   ddi} t |  | dtddksJ ddd} t |  | dtddddks+J d S )Nmodulus   )rw   r.   F)rw   	symmetric)rw   r.   ry   )r   rA   r   rB   r3   r3   r4   test_Modulus_postprocess0  s   


rz   c                   C   r6   )NFTr   r7   c                   S   r8   r9   )r   r:   r+   r3   r3   r3   r4   r;   J  r<   z+test_Symmetric_preprocess.<locals>.<lambda>)r   r:   r)   r#   r3   r3   r3   r4   test_Symmetric_preprocessC  r>   r{   c                  C   r?   )Nry   T)r   rA   rB   r3   r3   r4   test_Symmetric_postprocessM  rD   r|   c                   C   r6   )NFTr   r7   c                   S   r8   r9   )r   r:   r+   r3   r3   r3   r4   r;   [  r<   z(test_Strict_preprocess.<locals>.<lambda>)r   r:   r)   r#   r3   r3   r3   r4   test_Strict_preprocessT  r>   r}   c                  C   r?   )NstrictT)r   rA   rB   r3   r3   r4   test_Strict_postprocess^  rD   r   c                   C   r6   )NFTr   r7   c                   S   r8   r9   )r   r:   r+   r3   r3   r3   r4   r;   l  r<   z&test_Auto_preprocess.<locals>.<lambda>)r   r:   r)   r#   r3   r3   r3   r4   test_Auto_preprocesse  r>   r   c                  C   r?   )NautoT)r   rA   rB   r3   r3   r4   test_Auto_postprocesso  rD   r   c                   C   r6   )NFTr   r7   c                   S   r8   r9   )r   r:   r+   r3   r3   r3   r4   r;   }  r<   z&test_Frac_preprocess.<locals>.<lambda>)r   r:   r)   r#   r3   r3   r3   r4   test_Frac_preprocessv  r>   r   c                  C   r?   )NfracT)r   rA   rB   r3   r3   r4   test_Frac_postprocess  rD   r   c                   C   r6   )NFTr   r7   c                   S   r8   r9   )r   r:   r+   r3   r3   r3   r4   r;     r<   z(test_Formal_preprocess.<locals>.<lambda>)r   r:   r)   r#   r3   r3   r3   r4   test_Formal_preprocess  r>   r   c                  C   r?   )NZformalT)r   rA   rB   r3   r3   r4   test_Formal_postprocess  rD   r   c                   C   r6   )NFTr   r7   c                   S   r8   r9   )r   r:   r+   r3   r3   r3   r4   r;     r<   z'test_Polys_preprocess.<locals>.<lambda>)r   r:   r)   r#   r3   r3   r3   r4   test_Polys_preprocess  r>   r   c                  C   r?   )NZpolysT)r   rA   rB   r3   r3   r4   test_Polys_postprocess  rD   r   c                   C   r6   )NFTr   r7   c                   S   r8   r9   )r   r:   r+   r3   r3   r3   r4   r;     r<   z)test_Include_preprocess.<locals>.<lambda>)r   r:   r)   r#   r3   r3   r3   r4   test_Include_preprocess  r>   r   c                  C   r?   )NincludeT)r   rA   rB   r3   r3   r4   test_Include_postprocess  rD   r   c                   C   r6   )NFTr   r7   c                   S   r8   r9   )r   r:   r+   r3   r3   r3   r4   r;     r<   z%test_All_preprocess.<locals>.<lambda>)r   r:   r)   r#   r3   r3   r3   r4   test_All_preprocess  r>   r   c                  C   r?   )NallT)r   rA   rB   r3   r3   r4   test_All_postprocess  rD   r   c                  C   s&   dt i} t|  | dt iksJ d S )Ngen)r+   r   rA   rB   r3   r3   r4   test_Gen_postprocess  rD   r   c                   C   rj   )Nc                   S   r8   r9   )r   r:   r+   r3   r3   r3   r4   r;     r<   z)test_Symbols_preprocess.<locals>.<lambda>r)   r#   r3   r3   r3   r4   test_Symbols_preprocess  rn   r   c                  C   s2   dt ttgi} t|  | dt ttgiksJ d S )Nsymbols)r+   r,   r-   r   rA   rB   r3   r3   r4   test_Symbols_postprocess  s   
r   c                   C   rj   )Nc                   S   rM   )N
   )r   r:   r3   r3   r3   r4   r;     r<   z(test_Method_preprocess.<locals>.<lambda>r   r3   r3   r3   r4   test_Method_preprocess  rn   r   c                  C   r?   )NmethodZf5b)r   rA   rB   r3   r3   r4   test_Method_postprocess  rD   r   N)c__doc__Zsympy.polys.polyoptionsr   r   r   r   r   r   r   r	   r
   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   Zsympy.polys.orderingsr   Zsympy.polys.domainsr   r   r   r   r   r    r!   r"   Zsympy.polys.polyerrorsr#   r$   Zsympy.core.numbersr%   r&   Zsympy.core.symbolr'   Z(sympy.functions.elementary.miscellaneousr(   Zsympy.testing.pytestr)   Z	sympy.abcr+   r,   r-   r5   r=   rC   rI   rJ   rQ   rR   rS   rU   rV   rW   rX   rZ   r[   r\   rd   rh   ri   rm   ro   rq   rs   ru   rv   rz   r{   r|   r}   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r   r3   r3   r3   r4   <module>   sp    h(


@	










