§
    OŠtj  ã                   óÞ   — d dl mZ d dl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mZmZ  edd	¬
¦  «        \  ZZZd„ Zd„ Zd„ Zd„ Zd„ Zd„ Zed„ ¦   «         Zd„ Zed„ ¦   «         ZdS )é    )Ú
lra_satask)ÚUnhandledInput)ÚQÚask)ÚsymbolsÚSymbol)ÚMatrixSymbol)ÚI)ÚraisesÚXFAILzx y zT©Úrealc                  ó*  ‡ ‡— t          dd¬¦  «        Št          t          j        t          d¦  «        t          j        t          d¦  «         ¦  «        du sJ ‚t          t          j        t          d¦  «        t          j        t          d¦  «         ¦  «        du sJ ‚t          t          j        t          d¦  «         t          j        t          d¦  «        ¦  «        du sJ ‚t          t          j        t          d¦  «         t          j        t          d¦  «        ¦  «        du sJ ‚t          t          j        t          d¦  «        t          j        t          d¦  «        ¦  «        du sJ ‚t          t          j        t          t          ¦  «        ¦  «        du sJ ‚t          t          j        t          t          ¦  «        ¦  «        du sJ ‚t          t          j        t          d¦  «        t          j        t          d¦  «        ¦  «        du sJ ‚t          t          j        t          d¦  «        d¦  «        �J ‚t          t          d„ ¦  «        sJ ‚t          t          ˆfd„¦  «         t          d	d
d
¦  «        Š t          t          ˆ fd„¦  «         d S )NÚimT)Ú	imaginaryé   r   Fc                  óR   — t          t          j        t          d¦  «        d¦  «        S )Nr   F)r   r   ÚgtÚx© ó    úf/var/www/html/CA-Chatbot/venv/lib/python3.11/site-packages/sympy/assumptions/tests/test_rel_queries.pyú<lambda>z!test_lra_satask.<locals>.<lambda>   s   € ¥jµ´µa¸±´¸UÑ&CÔ&C€ r   c                  ó�   •— t          t          j        ‰ t          z  d¦  «        t          j        ‰ t          z  d¦  «        ¦  «        S )Nr   )r   r   r   r
   )r   s   €r   r   z!test_lra_satask.<locals>.<lambda>!   s-   ø€ ¥:­a¬d°2½±6¸1©o¬o½q¼tÀBÍÁFÈA¹¼Ñ#OÔ#O€ r   ÚXé   c                  ót   •— t          t          j        ‰ d¦  «        t          j        ‰ d¦  «        z  ¦  «        S ©Nr   é   ©r   r   Últr   ©r   s   €r   r   z!test_lra_satask.<locals>.<lambda>%   ó(   ø€ ¥:­a¬d°1°a©j¬j½1¼4ÀÀ1¹:¼:Ñ.EÑ#FÔ#F€ r   )r   r   r   Úeqr   Úner   r   Ú
ValueErrorr   r	   )r   r   s   @@r   Útest_lra_sataskr'      s  øø€ Ý	� Ð	%Ñ	%Ô	%€Bõ •a”d�1˜a‘j”j¥1¤4­¨1¡:¤: +Ñ.Ô.°%Ð7Ð7Ð7Ð7Ý•a”d�1˜a‘j”j¥1¤4­¨1¡:¤: +Ñ.Ô.°$Ð6Ð6Ð6Ð6Ý•q”t�A˜q‘z”z�k¥1¤4­¨1¡:¤:Ñ.Ô.°$Ð6Ð6Ð6Ð6Ý•q”t�A˜q‘z”z�k¥1¤4­¨1¡:¤:Ñ.Ô.°%Ð7Ð7Ð7Ð7Ý•a”d�1˜a‘j”j¥!¤$¥q¨!¡*¤*Ñ-Ô-°Ð6Ð6Ð6Ð6õ •a”d�1�a‘j”jÑ!Ô! UÐ*Ð*Ð*Ð*Ý•a”d�1�a‘j”jÑ!Ô! TÐ)Ð)Ð)Ð)Ý•a”d�1˜a‘j”j¥!¤$¥q¨!¡*¤*Ñ-Ô-°Ð5Ð5Ð5Ð5õ •a”d�1˜a‘j”j $Ñ'Ô'Ð/Ð/Ð/Ý•*ÐCÐCÑDÔDÐDÐDÐDõ �>ÐOÐOÐOÐOÑPÔPÐPõ 	�S˜!˜QÑÔ€AÝ
�>ÐFÐFÐFÐFÑGÔGÐGÐGÐGr   c                  ó  ‡ — t          d¦  «        Š t          t          ˆ fd„¦  «         t          ddd¬¦  «        Š t          t          ˆ fd„¦  «         t          ddd¬¦  «        Š t          t          ˆ fd„¦  «         t          ddd¬	¦  «        Š t          t          ˆ fd
„¦  «         t          ddd¬¦  «        Š t          t          ˆ fd„¦  «         t          ddd¬¦  «        Š t          t          ˆ fd„¦  «         t          ddd¬¦  «        Š t          t          ˆ fd„¦  «         t          ddd¬¦  «        Š t          t          ˆ fd„¦  «         t          ddd¬¦  «        Š t          t	          j        ‰ d¦  «        ¦  «        du sJ ‚t          t	          j        ‰ d¦  «        ¦  «        du sJ ‚t          ddd¬¦  «        Š t          t	          j        ‰ d¦  «        ¦  «        du sJ ‚t          t	          j        ‰ d¦  «        ¦  «        du sJ ‚t          ddd¬¦  «        Š t          t	          j	        ‰ d¦  «        ¦  «        du sJ ‚t          t	          j
        ‰ d¦  «        ¦  «        du sJ ‚t          ddd¬¦  «        Š t          t	          j
        ‰ d¦  «        ¦  «        du sJ ‚t          t	          j	        ‰ d¦  «        ¦  «        �J ‚t          ddd¬¦  «        Š t          t	          j        ‰ d¦  «        ¦  «        du sJ ‚t          t	          j        ‰ d¦  «        ¦  «        du sJ ‚t          ddd¬¦  «        Š t          t	          j        ‰ d¦  «        ¦  «        du sJ ‚t          t	          j        ‰ d¦  «        ¦  «        du sJ ‚d S )NÚwc                  ót   •— t          t          j        ‰ d¦  «        t          j        ‰ d¦  «        z  ¦  «        S r   r    ©r)   s   €r   r   z&test_old_assumptions.<locals>.<lambda>+   r#   r   FT)Úrationalr   c                  ót   •— t          t          j        ‰ d¦  «        t          j        ‰ d¦  «        z  ¦  «        S r   r    r+   s   €r   r   z&test_old_assumptions.<locals>.<lambda>-   r#   r   )Úoddr   c                  ót   •— t          t          j        ‰ d¦  «        t          j        ‰ d¦  «        z  ¦  «        S r   r    r+   s   €r   r   z&test_old_assumptions.<locals>.<lambda>/   r#   r   )Úevenr   c                  ót   •— t          t          j        ‰ d¦  «        t          j        ‰ d¦  «        z  ¦  «        S r   r    r+   s   €r   r   z&test_old_assumptions.<locals>.<lambda>1   r#   r   )Úprimer   c                  ót   •— t          t          j        ‰ d¦  «        t          j        ‰ d¦  «        z  ¦  «        S r   r    r+   s   €r   r   z&test_old_assumptions.<locals>.<lambda>3   r#   r   )Ú	compositer   c                  ót   •— t          t          j        ‰ d¦  «        t          j        ‰ d¦  «        z  ¦  «        S r   r    r+   s   €r   r   z&test_old_assumptions.<locals>.<lambda>5   r#   r   )Úintegerr   c                  ót   •— t          t          j        ‰ d¦  «        t          j        ‰ d¦  «        z  ¦  «        S r   r    r+   s   €r   r   z&test_old_assumptions.<locals>.<lambda>7   r#   r   c                  ót   •— t          t          j        ‰ d¦  «        t          j        ‰ d¦  «        z  ¦  «        S r   r    r+   s   €r   r   z&test_old_assumptions.<locals>.<lambda>9   r#   r   )Úpositiver   r   )Únegativer   )Úzeror   )Únonzeror   r   )Únonpositiver   )Únonnegativer   )r   r   r   r   r   Úler   r!   Úger$   r%   r+   s   @r   Útest_old_assumptionsrA   (   s‰  ø€ å�‰Œ€AÝ
�>ÐFÐFÐFÐFÑGÔGÐGÝ�˜e¨$Ð/Ñ/Ô/€AÝ
�>ÐFÐFÐFÐFÑGÔGÐGÝ�˜ DÐ)Ñ)Ô)€AÝ
�>ÐFÐFÐFÐFÑGÔGÐGÝ�˜$ TÐ*Ñ*Ô*€AÝ
�>ÐFÐFÐFÐFÑGÔGÐGÝ�˜4 dÐ+Ñ+Ô+€AÝ
�>ÐFÐFÐFÐFÑGÔGÐGÝ�˜t¨$Ð/Ñ/Ô/€AÝ
�>ÐFÐFÐFÐFÑGÔGÐGÝ�˜T¨Ð-Ñ-Ô-€AÝ
�>ÐFÐFÐFÐFÑGÔGÐGÝ�˜U¨Ð.Ñ.Ô.€AÝ
�>ÐFÐFÐFÐFÑGÔGÐGõ 	�˜d¨Ð.Ñ.Ô.€AÝ•a”d˜1˜a‘j”jÑ!Ô! UÐ*Ð*Ð*Ð*Ý•a”d˜1˜a‘j”jÑ!Ô! TÐ)Ð)Ð)Ð)Ý�˜d¨Ð.Ñ.Ô.€AÝ•a”d˜1˜a‘j”jÑ!Ô! TÐ)Ð)Ð)Ð)Ý•a”d˜1˜a‘j”jÑ!Ô! UÐ*Ð*Ð*Ð*Ý�˜$ TÐ*Ñ*Ô*€AÝ•a”d˜1˜a‘j”jÑ!Ô! TÐ)Ð)Ð)Ð)Ý•a”d˜1˜a‘j”jÑ!Ô! UÐ*Ð*Ð*Ð*Ý�˜T¨Ð-Ñ-Ô-€AÝ•a”d˜1˜a‘j”jÑ!Ô! TÐ)Ð)Ð)Ð)Ý•a”d˜1˜a‘j”jÑ!Ô!Ð)Ð)Ð)Ý� ¨DÐ1Ñ1Ô1€AÝ•a”d˜1˜a‘j”jÑ!Ô! TÐ)Ð)Ð)Ð)Ý•a”d˜1˜a‘j”jÑ!Ô! UÐ*Ð*Ð*Ð*Ý� ¨DÐ1Ñ1Ô1€AÝ•a”d˜1˜a‘j”jÑ!Ô! TÐ)Ð)Ð)Ð)Ý•a”d˜1˜a‘j”jÑ!Ô! UÐ*Ð*Ð*Ð*Ð*Ð*r   c                  ó,  — t          t          j        t          d¦  «        t          j        t          d¦  «        z  ¦  «        du sJ ‚t          t          j        t          t          z
  ¦  «        t          t          k    t          t          k    z  ¦  «        du sJ ‚t          t          t          z   dk    t          dk     t          dk     z  ¦  «        du sJ ‚t          t          t          k    t          t          k    t          t          k    z  ¦  «        du sJ ‚d S )Nr   r   FTr   )r   r   r!   r   r   r9   ÚzÚyr   r   r   Útest_rel_queriesrE   P   sÌ   € Ý�qŒt•A�q‰zŒz�AœD¥ A™JœJÑ&Ñ'Ô'¨5Ð0Ð0Ð0Ð0Ý�qŒz�!�a™%Ñ Ô ¥1¥q¢5­QµªUÑ"3Ñ4Ô4¸Ð<Ð<Ð<Ð<Ý�q•1‰u�qŠy�1˜qš5¥Q¨¢TÑ*Ñ+Ô+¨uÐ4Ð4Ð4Ð4Ý�q•1Šu•q�1’u¥¥Q¢Ñ'Ñ(Ô(¨DÐ0Ð0Ð0Ð0Ð0Ð0r   c                  óœ   — t          ddd¦  «        } t          t          j        | d¦  «        t          j        | d¦  «        z  ¦  «        �J ‚d S )Nr   r   r   )r	   r   r   r!   r   r"   s    r   Útest_unhandled_queriesrG   W   sF   € Ý�S˜!˜QÑÔ€AÝ�qŒt�A�q‰zŒz�AœD  A™JœJÑ&Ñ'Ô'Ð/Ð/Ð/Ð/Ð/r   c                  óò  — t          t          j        t          ¦  «        t          dk    ¦  «        du sJ ‚t          t          j        t          ¦  «        ¦  «        du sJ ‚t          t          j        t          ¦  «        ¦  «        du sJ ‚t          t          d„ ¦  «         t          t          d„ ¦  «         t          t          d„ ¦  «         t          t          d„ ¦  «         t          t          d„ ¦  «         d S )	Nr   TFc                  óz   — t          t          dk    t          dk    t          j        t          ¦  «        z  ¦  «        S ©Nr   r   )r   r   r   r2   r   r   r   r   ztest_all_pred.<locals>.<lambda>c   s%   € ¥:­q°1ªu½¸AºÅÄÍÁÄÑ7KÑ#LÔ#L€ r   c                  óz   — t          t          dk    t          dk    t          j        t          ¦  «        z  ¦  «        S rJ   )r   r   r   r4   r   r   r   r   ztest_all_pred.<locals>.<lambda>d   s%   € ¥:­q°1ªu½¸AºÅÄÍQÁÄÑ7OÑ#PÔ#P€ r   c                  óz   — t          t          dk    t          dk    t          j        t          ¦  «        z  ¦  «        S rJ   )r   r   r   r.   r   r   r   r   ztest_all_pred.<locals>.<lambda>e   s%   € ¥:­q°1ªu½¸AºÅÄÅqÁÄÑ7IÑ#JÔ#J€ r   c                  óz   — t          t          dk    t          dk    t          j        t          ¦  «        z  ¦  «        S rJ   )r   r   r   r0   r   r   r   r   ztest_all_pred.<locals>.<lambda>f   s%   € ¥:­q°1ªu½¸AºÅÄÍÁÄÑ7JÑ#KÔ#K€ r   c                  óz   — t          t          dk    t          dk    t          j        t          ¦  «        z  ¦  «        S rJ   )r   r   r   r6   r   r   r   r   ztest_all_pred.<locals>.<lambda>g   s%   € ¥:­q°1ªu½¸AºÅÄÍ1ÁÄÑ7MÑ#NÔ#N€ r   )r   r   Úextended_positiver   Úpositive_infiniteÚnegative_infiniter   r   r   r   r   Útest_all_predrR   \   sà   € å•aÔ)­!Ñ,Ô,­q°1ªuÑ6Ô6¸$Ð>Ð>Ð>Ð>Ý•aÔ)­!Ñ,Ô,Ñ-Ô-°Ð6Ð6Ð6Ð6Ý•aÔ)­!Ñ,Ô,Ñ-Ô-°Ð6Ð6Ð6Ð6õ �>ÐLÐLÑMÔMÐMÝ
�>ÐPÐPÑQÔQÐQÝ
�>ÐJÐJÑKÔKÐKÝ
�>ÐKÐKÑLÔLÐLÝ
�>ÐNÐNÑOÔOÐOÐOÐOr   c                  óŠ  — t          dd¬¦  «        \  } }}t          | |k    | |k    ||k    z  ¦  «        du sJ ‚t          | |k     | |k    ||k     z  ¦  «        du sJ ‚t          | |k     | |k     ||k    z  ¦  «        du sJ ‚t          | |z   ||z   k    | |k    ¦  «        du sJ ‚t          | |z
  ||z
  k    | |k    ¦  «        du sJ ‚d S )Núa b cTr   )r   r   ©ÚaÚbÚcs      r   Útest_number_line_propertiesrY   j   s   € õ �g DÐ)Ñ)Ô)�G€A€qˆ!õ ˆq�AŠv˜˜Qš 1¨¢6Ñ*Ñ+Ô+¨tÐ3Ð3Ð3Ð3åˆq�1Šu�q˜A’v ! a¢%Ñ(Ñ)Ô)¨TÐ1Ð1Ð1Ð1åˆq�1Šu�q˜1’u  a¢Ñ(Ñ)Ô)¨TÐ1Ð1Ð1Ð1õ ˆq�1‰u˜˜A™Š~˜q AšvÑ&Ô&¨$Ð.Ð.Ð.Ð.Ýˆq�1‰u˜˜A™Š~˜q AšvÑ&Ô&¨$Ð.Ð.Ð.Ð.Ð.Ð.r   c                  ó¨  — t          dd¬¦  «        \  } }}t          | |z  ||z  k    | |k    |dk    z  t          j        |¦  «         z  ¦  «        du sJ ‚t          | |z  ||z  k    | |k    |dk    z  t          j        |¦  «         z  ¦  «        du sJ ‚t          | |z  ||z  k    | |k    |dk     z  t          j        |¦  «         z  ¦  «        du sJ ‚t          | |z  ||z  k    | |k    |dk     z  t          j        |¦  «         z  ¦  «        du sJ ‚t          |  | k    | |k    ¦  «        du sJ ‚t          d| z  d|z  k    | |k    t          j        t
          ¦  «        z  t          j        |¦  «        z  ¦  «        du sJ ‚t          d| z  d|z  k    | |k    t          j        t
          ¦  «        z  t          j        |¦  «        z  ¦  «        du sJ ‚d S )NrT   Tr   r   r   )r   r   r   r;   r9   r   r:   rU   s      r   Ú#test_failing_number_line_propertiesr[   ~   så  € õ
 �g DÐ)Ñ)Ô)�G€A€qˆ!õ ˆq�‰s�a˜‘cŠz˜A šF q¨1¢uÑ-µ!´&¸±)´)°Ñ;Ñ<Ô<ÀÐDÐDÐDÐDÝˆq�‰s�a˜‘cŠz˜A šF q¨1¢uÑ-µ!´&¸±)´)°Ñ;Ñ<Ô<ÀÐDÐDÐDÐDåˆq�‰s�a˜‘cŠz˜A šF q¨1¢uÑ-µ!´&¸±)´)°Ñ;Ñ<Ô<ÀÐDÐDÐDÐDÝˆq�‰s�a˜‘cŠz˜A šF q¨1¢uÑ-µ!´&¸±)´)°Ñ;Ñ<Ô<ÀÐDÐDÐDÐDõ �ˆr�a�RŠx˜˜ašÑ Ô  DÐ(Ð(Ð(Ð(õ
 ˆq�‰s�a˜‘cŠz˜A šF¥a¤jµ¡m¤mÑ3µa´jÀ±m´mÑCÑDÔDÈÐLÐLÐLÐLÝˆq�‰s�a˜‘cŠz˜A šF¥a¤jµ¡m¤mÑ3µa´jÀ±m´mÑCÑDÔDÈÐLÐLÐLÐLÐLÐLr   c                  ó¼  — t          t          j        t          t          ¦  «        ¦  «        du sJ ‚t          t          j        t          t          ¦  «        t          j        t          t          ¦  «        ¦  «        du sJ ‚t          t          j        t          t          ¦  «        t          j        t
          t
          ¦  «         t          j        t          t          ¦  «        z  ¦  «        du sJ ‚t          t          j        t          t
          ¦  «        t          j        t          t          ¦  «        t          j        t          t
          ¦  «        z  ¦  «        du sJ ‚d S ©NT)r   r   r$   r   rD   rC   r   r   r   Útest_equalityr^   ˜   sØ   € å�qŒt•A•q‰zŒz‰?Œ?˜dÐ"Ð"Ð"Ð"Ý�qŒt•A•q‰zŒz�1œ4¥¥1™:œ:Ñ&Ô&¨$Ð.Ð.Ð.Ð.Ý�qŒt•A•q‰zŒz�AœD¥¥A™JœJ˜;­¬­aµ©¬Ñ3Ñ4Ô4¸Ð<Ð<Ð<Ð<õ �qŒt•A•a‰yŒy�!œ$�q¥™)œ)¥a¤d­1­Q¡i¤iÑ/Ñ0Ô0°DÐ8Ð8Ð8Ð8Ð8Ð8r   c                  óR  — t          t          j        t          ¦  «        t          j        t          t
          ¦  «        t          j        t
          ¦  «        z  ¦  «        du sJ ‚t          t          j        t          ¦  «        t          j        t          t
          ¦  «        t          j        t
          ¦  «        z  ¦  «        du sJ ‚t          t          j        t          ¦  «        t          j        t          t
          ¦  «        t          j        t
          ¦  «        z  ¦  «        du sJ ‚d S r]   )r   r   r2   r   r$   rD   r   r   r   r   r   Útest_equality_failingr`   ¢   s¸   € õ �qŒw•q‰zŒz�1œ4¥¥1™:œ:­¬µ©
¬
Ñ2Ñ3Ô3°tÐ;Ð;Ð;Ð;Ý�qŒv•a‰yŒy�!œ$�q¥!™*œ*¥q¤v­a¡y¤yÑ0Ñ1Ô1°TÐ9Ð9Ð9Ð9Ý�qŒ{�1‰~Œ~�qœt¥A¥q™zœz­A¬K½©N¬NÑ:Ñ;Ô;¸tÐCÐCÐCÐCÐCÐCr   N)Úsympy.assumptions.lra_sataskr   Ú!sympy.logic.algorithms.lra_theoryr   Úsympy.assumptions.askr   r   Ú
sympy.corer   r   Ú"sympy.matrices.expressions.matexprr	   Úsympy.core.numbersr
   Úsympy.testing.pytestr   r   r   rD   rC   r'   rA   rE   rG   rR   rY   r[   r^   r`   r   r   r   ú<module>rh      sg  ðØ 3Ð 3Ð 3Ð 3Ð 3Ð 3Ø <Ð <Ð <Ð <Ð <Ð <Ø (Ð (Ð (Ð (Ð (Ð (Ð (Ð (à &Ð &Ð &Ð &Ð &Ð &Ð &Ð &Ø ;Ð ;Ð ;Ð ;Ð ;Ð ;Ø  Ð  Ð  Ð  Ð  Ð  à .Ð .Ð .Ð .Ð .Ð .Ð .Ð .Ø
ˆ'�' Ð
%Ñ
%Ô
%�€€1€aðHð Hð Hð8%+ð %+ð %+ðP1ð 1ð 1ð0ð 0ð 0ð
Pð Pð Pð/ð /ð /ð( ðMð Mñ „ðMð29ð 9ð 9ð ð	Dð 	Dñ „ð	Dð 	Dð 	Dr   