§
    PŠtj"  ã                   ó  — d dl mZ d dlmZ d dlmZ d dlmZ d dlm	Z	m
Z
 d dlmZ d dlmZ d dlmZmZ d d	lmZmZmZmZmZ d d
lmZmZmZmZ d„ Zd„ Zd„ Zd„ Zd„ Z d„ Z!d„ Z"d„ Z#d„ Z$d„ Z%d„ Z&d„ Z'd„ Z(d„ Z)d„ Z*d„ Z+d„ Z,d„ Z-dS )é    )ÚAdd)ÚBasic)ÚTuple)ÚS)ÚSymbolÚsymbols)ÚAnd)ÚStr)ÚCompoundÚVariable)ÚdeconstructÚ	constructÚunifyÚis_associativeÚis_commutative)ÚxÚyÚzÚnc                  óÔ  — t          t          d¦  «        t          d¦  «        t          d¦  «        ¦  «        } t          t           d¦  «        }t          | ¦  «        |k    sJ ‚t          d¦  «        dk    sJ ‚t          t          ¦  «        t          k    sJ ‚t          t          t          f¬¦  «        t          t          ¦  «        k    sJ ‚t          t          dt          d¬¦  «        ¦  «        t          t          dt          f¦  «        k    sJ ‚t          t          dt          d¬¦  «        t          f¬¦  «        t          t          dt          t          ¦  «        f¦  «        k    sJ ‚d S )Né   é   é   )r   r   r   ©Ú	variablesF©Úevaluate)r   r   r   r   r   r   r   ©ÚexprÚexpecteds     úZ/var/www/html/CA-Chatbot/venv/lib/python3.11/site-packages/sympy/unify/tests/test_sympy.pyÚtest_deconstructr"      s.  € Ý•Q�q‘T”T�1˜Q™4œ4¥ 1¡¤Ñ&Ô&€DÝ�˜yÑ)Ô)€HÝ�tÑÔ Ò(Ð(Ð(Ð(å�q‰>Œ>˜QÒÐÐÐÝ•q‰>Œ>�QÒÐÐÐÝ•q¥Q DÐ)Ñ)Ô)­Xµa©[¬[Ò8Ð8Ð8Ð8Ý•s˜1�a¨%Ð0Ñ0Ô0Ñ1Ô1µX½cÀAÅqÀ6Ñ5JÔ5JÒJÐJÐJÐJÝ•s˜1�a¨%Ð0Ñ0Ô0½Q¸DÐAÑAÔAÝ•s˜Q¥­¡¤Ð,Ñ-Ô-ò.ð .ð .ð .ð .ð .ó    c                  ó  — t          t          t          d¦  «        t          d¦  «        t          d¦  «        f¦  «        } t          t          d¦  «        t          d¦  «        t          d¦  «        ¦  «        }t          | ¦  «        |k    sJ ‚d S ©Nr   r   r   )r   r   r   r   r   s     r!   Útest_constructr&      sj   € Ý�¥ !¡¤¥a¨¡d¤d­A¨a©D¬DÐ1Ñ2Ô2€DÝ•Q�q‘T”T�1˜Q™4œ4¥ 1¡¤Ñ&Ô&€HÝ�T‰?Œ?˜hÒ&Ð&Ð&Ð&Ð&Ð&r#   c            
      óˆ  — t          t          d¦  «        t          t          d¦  «        ¦  «        t          d¦  «        ¦  «        } t          t           t          d¦  «        t          t           t          d¦  «        ¦  «        t          d¦  «        f¦  «        }t	          | ¦  «        |k    sJ ‚t          |¦  «        | k    sJ ‚d S r%   )r   r   r   r   r   r   )r   Úcmpds     r!   Útest_nestedr)      s“   € Ý•�1‘”•u�Q˜q™TœT‘{”{¥A a¡D¤DÑ)Ô)€DÝ•E�A˜a™DœD¥(­5µ%¸±(´(Ñ";Ô";½Q¸q¹T¼TÐBÑCÔC€DÝ�tÑÔ Ò$Ð$Ð$Ð$Ý�T‰?Œ?˜dÒ"Ð"Ð"Ð"Ð"Ð"r#   c            
      ó†  — t          t          d¦  «        t          d¦  «        t          d¦  «        ¦  «        } t          t          d¦  «        \  }}}t          |||¦  «        }t	          t          | |i |||f¦  «        ¦  «        |d|d|digk    sJ ‚t	          t          | ||||f¬¦  «        ¦  «        |d|d|digk    sJ ‚d S )Nr   r   r   Úabcr   ©r   r   Úmapr   Úlistr   )r   ÚaÚbÚcÚpatterns        r!   Ú
test_unifyr3   $   s×   € Ý•�1‘”•q˜‘t”t�Q˜q™TœTÑ"Ô"€DÝ•&˜%Ñ Ô �G€A€qˆ!Ý�A�q˜!‰nŒn€GÝ•�d˜G R¨!¨Q°¨Ñ3Ô3Ñ4Ô4¸!¸QÀÀ1ÀaÈÐ9KÐ8LÒLÐLÐLÐLÝ•�d˜G°°1°a¨yÐ9Ñ9Ô9Ñ:Ô:Ø��A�q˜!˜QÐÐ ò!ð !ð !ð !ð !ð !r#   c            
      óþ   — t          t          t          t          d¦  «        t          d¦  «        ¦  «        t          t          d¦  «        t          ¦  «        i t          f¬¦  «        ¦  «        t          digk    sJ ‚d S )Nr   r   r   )r.   r   r   r   r   © r#   r!   Útest_unify_variablesr6   ,   sb   € Ý••e�A˜a™DœD¥! A¡$¤$Ñ'Ô'­­q°©t¬tµQ©¬¸ÍÀtÐLÑLÔLÑMÔMÕSTÐVWÐRXÐQYÒYÐYÐYÐYÐYÐYr#   c            	      óT  — t          t          d¦  «        t          d¦  «        ¦  «        } t          t          d¦  «        \  }}t          ||¦  «        }t	          t          | |i ||f¦  «        ¦  «        |d|digk    sJ ‚t	          t          | ||di||f¦  «        ¦  «        g k    sJ ‚d S )Nr   r   Úabé   r,   )r   r/   r0   r2   s       r!   Útest_s_inputr:   /   s§   € Ý•�1‘”•q˜‘t”tÑÔ€DÝ�v�tÑÔ�D€A€qÝ�A�q‰kŒk€GÝ•�d˜G R¨!¨Q¨Ñ0Ô0Ñ1Ô1°q¸!¸QÀ°l°^ÒCÐCÐCÐCÝ•�d˜G a¨ V¨a°¨VÑ4Ô4Ñ5Ô5¸Ò;Ð;Ð;Ð;Ð;Ð;r#   c                 ó¶   ‡— t          | ¦  «        } t          ‰¦  «        Št          | ¦  «        t          ‰¦  «        k    ot          ˆfd„| D ¦   «         ¦  «        S )Nc              3   ó    •K  — | ]}|‰v V — Œ	d S ©Nr5   )Ú.0r   r0   s     €r!   ú	<genexpr>ziterdicteq.<locals>.<genexpr>9   s'   øè è € Ð#6Ð#6¨q A¨ FÐ#6Ð#6Ð#6Ð#6Ð#6Ð#6r#   )ÚtupleÚlenÚall)r/   r0   s    `r!   Ú
iterdicteqrC   6   sR   ø€ Ýˆa‰Œ€AÝˆa‰Œ€AÝˆq‰6Œ6•S˜‘V”VÒÐ6¥Ð#6Ð#6Ð#6Ð#6°AÐ#6Ñ#6Ô#6Ñ 6Ô 6Ð6r#   c                  óD  — t          dddd¬¦  «        } t          t          d¦  «        \  }}}t          |||d¬¦  «        }t          t	          | |i |||f¦  «        ¦  «        }|d|d|di|d|d|di|d|d|di|d|d|di|d|d|di|d|d|dif}t          ||¦  «        sJ ‚d S ©Nr   r   r   Fr   r+   )r   r-   r   r@   r   rC   ©r   r/   r0   r1   r2   Úresultr    s          r!   Útest_unify_commutativerH   ;   sé   € Ýˆq�!�Q Ð'Ñ'Ô'€DÝ•&˜%Ñ Ô �G€A€qˆ!Ý�!�Q˜ EÐ*Ñ*Ô*€Gå•E˜$ ¨¨a°°A¨YÑ7Ô7Ñ8Ô8€FØ�A�q˜!˜Q Ð"Ø�A�q˜!˜Q Ð"Ø�A�q˜!˜Q Ð"Ø�A�q˜!˜Q Ð"Ø�A�q˜!˜Q Ð"Ø�A�q˜!˜Q Ð"ð$€Hõ �f˜hÑ'Ô'Ð'Ð'Ð'Ð'Ð'r#   c                  ó\  — t          dddd¬¦  «        } t          t          d¦  «        \  }}}t          ||d¬¦  «        }t          t	          |¦  «        ¦  «        sJ ‚t          t	          |¦  «        ¦  «        sJ ‚t          t          | |i ||f¦  «        ¦  «        }|d|t          ddd¬¦  «        i|d|t          ddd¬¦  «        i|d|t          ddd¬¦  «        i|d|t          ddd¬¦  «        i|d|t          ddd¬¦  «        i|d|t          ddd¬¦  «        i|t          ddd¬¦  «        |di|t          ddd¬¦  «        |di|t          ddd¬¦  «        |di|t          ddd¬¦  «        |di|t          ddd¬¦  «        |di|t          ddd¬¦  «        |dig}t          ||¦  «        sJ ‚d S rE   )	r   r-   r   r   r   r   r.   r   rC   rF   s          r!   Útest_unify_iterrJ   J   s  € Ýˆq�!�Q Ð'Ñ'Ô'€DÝ•&˜%Ñ Ô �G€A€qˆ!Ý�!�Q Ð'Ñ'Ô'€GÝ�+ gÑ.Ô.Ñ/Ô/Ð/Ð/Ð/Ý�+ gÑ.Ô.Ñ/Ô/Ð/Ð/Ð/å•E˜$ ¨¨a°¨VÑ4Ô4Ñ5Ô5€FØ�A�q�#˜a ¨UÐ3Ñ3Ô3Ð4Ø�A�q�#˜a ¨UÐ3Ñ3Ô3Ð4Ø�A�q�#˜a ¨UÐ3Ñ3Ô3Ð4Ø�A�q�#˜a ¨UÐ3Ñ3Ô3Ð4Ø�A�q�#˜a ¨UÐ3Ñ3Ô3Ð4Ø�A�q�#˜a ¨UÐ3Ñ3Ô3Ð4Ø•C˜˜1 uÐ-Ñ-Ô-¨q°!Ð4Ø•C˜˜1 uÐ-Ñ-Ô-¨q°!Ð4Ø•C˜˜1 uÐ-Ñ-Ô-¨q°!Ð4Ø•C˜˜1 uÐ-Ñ-Ô-¨q°!Ð4Ø•C˜˜1 uÐ-Ñ-Ô-¨q°!Ð4Ø•C˜˜1 uÐ-Ñ-Ô-¨q°!Ð4ð6€Hõ �f˜hÑ'Ô'Ð'Ð'Ð'Ð'Ð'r#   c            	      ó   — ddl m} m}  |t          ¦  «         | t          ¦  «        dz  z   }t	          t
          d¦  «        \  }} ||¦  «         | |¦  «        dz  z   }t          t          ||i ||f¦  «        ¦  «        |t          igk    sJ ‚d S )Nr   ©ÚcosÚsinr   Úpq)Ú(sympy.functions.elementary.trigonometricrM   rN   r   r-   r   r.   r   )rM   rN   r   ÚpÚqr2   s         r!   Útest_hard_matchrS   a   s    € ØCÐCÐCÐCÐCÐCÐCÐCØˆ3�q‰6Œ6�C�C�‘F”F˜A‘IÑ€DÝ�v�tÑÔ�D€A€qØˆc�!‰fŒf�s�s˜1‘v”v˜q‘yÑ €GÝ•�d˜G R¨!¨Q¨Ñ0Ô0Ñ1Ô1°q½!°f°XÒ=Ð=Ð=Ð=Ð=Ð=r#   c                  ó¤  — ddl m}   | dt          t          ¦  «        } | ddd¦  «        } | ddd¦  «        }t          t	          ||i t          t          d¦  «        g¬¦  «        ¦  «        t          d¦  «        t          d¦  «        t          digk    sJ ‚t          t	          ||i t          t          d¦  «        g¬¦  «        ¦  «        g k    sJ ‚d S )	Nr   )ÚMatrixSymbolÚXÚYr   ÚZr   r   )Ú"sympy.matrices.expressions.matexprrU   r   r.   r   r
   )rU   rV   rW   rX   s       r!   Útest_matrixrZ   h   sÕ   € Ø?Ð?Ð?Ð?Ð?Ð?Øˆ�S�!�QÑÔ€AØˆ�S˜!˜QÑÔ€AØˆ�S˜!˜QÑÔ€AÝ•�a˜˜B­1­c°#©h¬h¨-Ð8Ñ8Ô8Ñ9Ô9½sÀ3¹x¼xÍÈSÉÌÕSTÐVWÐ>XÐ=YÒYÐYÐYÐYÝ•�a˜˜B­1­c°#©h¬h¨-Ð8Ñ8Ô8Ñ9Ô9¸RÒ?Ð?Ð?Ð?Ð?Ð?r#   c                  óŽ   — t           t          dz  z   } t          t          | ¦  «        ¦  «        }t	          |¦  «         |j         d S )Nr   )r   r   r   r   Ústrr   )r   Úrebuilts     r!   Útest_non_frankenAddsr^   p   s@   € õ �Qˆq‰S‰5€DÝ� DÑ)Ô)Ñ*Ô*€Gåˆ�L„L€LØÔÐÐÐr#   c                  óØ   — ddl m}  t          d¦  «        \  }}}}} | |||¦  «        } | ||¦  «        }||f}| | ||¦  «        ||it          t	          |||¬¦  «        ¦  «        v sJ ‚d S )Nr   ©Ú	FiniteSetz	a,b,c,x,yr   )Úsympy.sets.setsra   r   r@   r   )	ra   r/   r0   r1   r   r   ÚsÚtr   s	            r!   Útest_FiniteSet_commutivityre   y   s—   € Ø)Ð)Ð)Ð)Ð)Ð)Ý˜KÑ(Ô(�M€A€qˆ!ˆQ�Øˆ	�!�Q˜ÑÔ€AØˆ	�!�Q‰Œ€AØ�A�€IØˆyˆy˜˜A‰Œ  1Ð%­­u°Q¸ÀYÐ/OÑ/OÔ/OÑ)PÔ)PÐPÐPÐPÐPÐPÐPr#   c                  ó¼  — ddl m}  t          d¦  «        \  }}}}}} | t          t	          d¦  «        |¦  «        |t          ||¦  «        ¦  «        } | |t          ||¦  «        ¦  «        }||f}	|d| | |t          ||¦  «        ¦  «        i||| | |t          t	          d¦  «        |¦  «        ¦  «        if}
t          t          |||	¬¦  «        |
¦  «        sJ ‚d S )Nr   r`   za,b,c,x,y,zr   r   )rb   ra   r   r   r   rC   r   )ra   r/   r0   r1   r   r   r   r   r2   r   r    s              r!   Útest_FiniteSet_complexrg   �   sñ   € Ø)Ð)Ð)Ð)Ð)Ð)Ý˜}Ñ-Ô-Ñ€A€qˆ!ˆQ��1Øˆ9•U�1˜Q™4œ4 ‘^”^ Q­¨a°©¬Ñ4Ô4€DØˆi˜�5  A™;œ;Ñ'Ô'€GØ�1�€IØ�A�q˜)˜) A¥u¨Q°¡{¤{Ñ3Ô3Ð4Ø˜!˜Q 	 	¨!­Uµ1°Q±4´4¸©^¬^Ñ <Ô <Ð=ð?€Hå•e˜D '°YÐ?Ñ?Ô?ÀÑJÔJÐJÐJÐJÐJÐJr#   c            	      ó  — t           t          f} t           t          dk    t          t          dk     if}t	          t          t          dk    t          dk     z  t          t           t          ¦  «        | ¬¦  «        |¦  «        sJ ‚d S )Nr   r   r   )r   r   r   r   rC   r   r	   )r   r    s     r!   Útest_andri   Œ   sr   € Ý•1�€IÝ•A˜’E�1�a !šeÐ$Ð&€HÝ•e�Q˜qšS¥Q q¢S™M­3­qµ!©9¬9À	ÐJÑJÔJØñ ô  ð  ð  ð  ð  ð  r#   c            
      óÆ   — ddl m}  t          t           | dd¦  «         | dd¦  «        z    | dd¦  «         | dd¦  «        z    | dd¦  «        f¬¦  «        ¦  «        sJ ‚d S )	Nr   ©ÚIntervalr   é
   é   é   é   r   )rb   rl   r.   r   rk   s    r!   Ú
test_Unionrq   ’   s˜   € Ø(Ð(Ð(Ð(Ð(Ð(Ý•�h�h˜q !‘n”n x x°°BÑ'7Ô'7Ñ7Ø�h˜q !‘n”n x x°°BÑ'7Ô'7Ñ7Ø!) ¨"¨bÑ!1Ô!1Ð 3ð5ñ 5ô 5ñ 6ô 6ð 6ð 6ð 6ð 6ð 6r#   c                  ó  — t          t          t          t          z   ¦  «        ¦  «        sJ ‚t          t          t          t          z  ¦  «        ¦  «        sJ ‚t          t          t          t          z  ¦  «        ¦  «        rJ ‚d S r=   )r   r   r   r   r5   r#   r!   Útest_is_commutativers   ˜   sh   € Ý�+¥a­¡cÑ*Ô*Ñ+Ô+Ð+Ð+Ð+Ý�+¥a­¡cÑ*Ô*Ñ+Ô+Ð+Ð+Ð+Ý�k­!­Q©$Ñ/Ô/Ñ0Ô0Ð0Ð0Ð0Ð0Ð0r#   c            
      ó^  — ddl m} m}m}m} ddlm}m}  |d¦  «         |d¦  «        z   |d¦  «        z  d |d¦  «        z   |d¦  «        z  z   }|  ||¦  «        z   ||¦  «        z  | ||¦  «        z   ||¦  «        z  z   }t          t          ||| |||f¬¦  «        ¦  «        sJ ‚d S )Nr   )r/   r0   r1   ÚdrL   r   é   r9   r   )
Ú	sympy.abcr/   r0   r1   ru   rP   rM   rN   Únextr   )r/   r0   r1   ru   rM   rN   ÚeqÚpats           r!   Útest_commutative_in_commutativer{   �   sì   € Ø!Ð!Ð!Ð!Ð!Ð!Ð!Ð!Ð!Ð!Ð!Ð!ØCÐCÐCÐCÐCÐCÐCÐCØ	ˆˆQ‰Œ���A‘”‰�s�s˜1‘v”vÑ	  # # a¡&¤&¡¨¨¨Q©¬¡Ñ	/€BØ
ˆCˆC�‰FŒF‰(�3�3�q‘6”6‰/˜A˜c˜c !™fœf™H S S¨¡V¤V™OÑ
+€CÝ•�b˜#¨!¨A¨a°¨Ð3Ñ3Ô3Ñ4Ô4Ð4Ð4Ð4Ð4Ð4r#   N).Úsympy.core.addr   Úsympy.core.basicr   Úsympy.core.containersr   Úsympy.core.singletonr   Úsympy.core.symbolr   r   Úsympy.logic.boolalgr	   r
   Úsympy.unify.corer   r   Úsympy.unify.usympyr   r   r   r   r   rw   r   r   r   r   r"   r&   r)   r3   r6   r:   rC   rH   rJ   rS   rZ   r^   re   rg   ri   rq   rs   r{   r5   r#   r!   ú<module>r„      s/  ðØ Ð Ð Ð Ð Ð Ø "Ð "Ð "Ð "Ð "Ð "Ø 'Ð 'Ð 'Ð 'Ð 'Ð 'Ø "Ð "Ð "Ð "Ð "Ð "Ø /Ð /Ð /Ð /Ð /Ð /Ð /Ð /Ø #Ð #Ð #Ð #Ð #Ð #Ø !Ð !Ð !Ð !Ð !Ð !Ø /Ð /Ð /Ð /Ð /Ð /Ð /Ð /ðð ð ð ð ð ð ð ð ð ð ð ð ð à  Ð  Ð  Ð  Ð  Ð  Ð  Ð  Ð  Ð  Ð  Ð  ð
.ð 
.ð 
.ð'ð 'ð 'ð
#ð #ð #ð!ð !ð !ðZð Zð Zð<ð <ð <ð7ð 7ð 7ð
(ð (ð (ð(ð (ð (ð.>ð >ð >ð@ð @ð @ðð ð ðQð Qð QðKð Kð Kð ð  ð  ð6ð 6ð 6ð1ð 1ð 1ð
5ð 5ð 5ð 5ð 5r#   