Ë
    7^(hÒ  ã                   óº   — 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	 d dl
mZmZ d dlmZ d dlmZ  ed	«       ed
«      cZZd„ Zd„ Zd„ Zd„ Zd„ Zd„ Zd„ Zd„ Zy)é    )Úrewriterule)ÚBasic)ÚS)ÚSymbol)Úsin©ÚxÚy)Úrebuild)ÚQÚpÚqc            
      ó¼  — t        t        t        t        d«      «      t        t        t        d«      «      t        f¬«      } t	         | t        t        d«      t        d«      «      «      «      t        t        d«      t        d«      «      gk(  sJ ‚t        dz  }t        dz  }t        ||t        f¬«      } t
        dz  }t	         | |«      «      t
        dz  gk(  sJ ‚y ©Né   é   )Ú	variablesé   )r   r   r   r   Úlistr	   )ÚrlÚp1Úp2Úexprs       ú\/var/www/skyplay_api_hub/venv/lib/python3.12/site-packages/sympy/unify/tests/test_rewrite.pyÚtest_simpler      s¦   € Ü	”Uœ1œa ›d“^¤U¬1¬a°«d£^Ä¸tÔ	D€BÜ‘”5œ˜1›œq ›tÓ$Ó%Ó&¬5´°1³´q¸³tÓ+<Ð*=Ò=Ð=Ð=ä	
ˆA‰€BÜ	
ˆA‰€BÜ	�R˜¬ tÔ	,€Bäˆa‰4€DÜ‘�4“‹>œa ™d˜VÒ#Ð#Ñ#ó    c            
      ó°  — t        t        t        t        d«      «      t        t        t        d«      «      t        f¬«      } t	         | t        t        d«      t        d«      «      «      «      t        t        d«      t        d«      «      gk(  sJ ‚t        t        dz  t        dz  t        f¬«      } t	         | t
        dz  «      «      t
        dz  gk(  sJ ‚y r   )r   r   r	   r   r   r
   ©r   s    r   Útest_simple_variablesr      s—   € Ü	”Uœ1œa ›d“^¤U¬1¬a°«d£^Ä¸tÔ	D€BÜ‘”5œ˜1›œq ›tÓ$Ó%Ó&¬5´°1³´q¸³tÓ+<Ð*=Ò=Ð=Ð=ä	”Q˜‘Tœ1˜a™4¬A¨4Ô	0€BÜ‘”1�a‘4“‹>œa ™d˜VÒ#Ð#Ñ#r   c                  óè   — t         dz  t        dz  z   } t         t        z  dz  }t        | |t         t        f«      }t        dz  t        dz  z   }t         ||«      «      t        t        z  dz  gk(  sJ ‚y )Nr   r   é   )r   r   r   r	   r
   r   )r   r   r   r   s       r   Útest_moderater"      sc   € Ü	
ˆA‰”�1‘‰€BÜ
ŒA‰#�‰€BÜ	�R˜œa¤˜VÓ	$€Bäˆa‰4”!�Q‘$‰;€DÜ‘�4“‹>œq¤™s Q™h˜ZÒ'Ð'Ñ'r   c                  óh  — t        t        «      dz  t        t        «      dz  z   } d}t        | |t        t        f«      }t	         |t        t
        «      dz  t        t
        «      dz  z   «      «      dgk(  sJ ‚t	         |t        t        «      dz  t        t        «      dz  z   «      «      dgk(  sJ ‚y )Nr   r   )r   r   r   r   r   r	   r
   )r   r   r   s      r   Útest_sincosr$   &   s‘   € Ü	ŒQ‹�‰”Sœ“V˜Q‘YÑ	€BØ	
€BÜ	�R˜œa¤˜VÓ	$€Bä‘”3”q“6˜1‘9œs¤1›v q™yÑ(Ó)Ó*¨q¨cÒ1Ð1Ð1Ü‘”3”q“6˜1‘9œs¤1›v q™yÑ(Ó)Ó*¨q¨cÒ1Ð1Ñ1r   c                  óô   — t        t        t        z   t        t        z   t        t        f«      } t         | t        t
        z   «      «      j                   t        t         | t        t
        z   «      «      «       y ©N)r   r   r   Únextr	   r
   Úis_commutativeÚstrr   s    r   Útest_Exprs_okr*   .   sE   € Ü	”Q”q‘Sœ!œA™#¤¤1˜vÓ	&€BÜ‰ŒAŒa‰C‹ƒM× Ò ÜŒ‰R””!‘‹W‹Õr   c            	      óÊ   — t        t        t        dz   t        gd„ «      } t         | t        d«      «      «      rJ ‚t	        t         | t        d«      «      «      «      dk(  sJ ‚y )Nr   c                 ó   — | dk  S )Né
   © )r	   s    r   ú<lambda>z'test_condition_simple.<locals>.<lambda>4   s
   € ¨A°©F€ r   é   é   é   )r   r	   r   r   r   r'   r   s    r   Útest_condition_simpler3   3   sM   € Ü	”Qœ˜!™œa˜SÑ"2Ó	3€BÜ‘B”q˜“u“IŒÐÐÜ”4™œ1˜Q›4›“>Ó" aÒ'Ð'Ñ'r   c                  óF  — t        t        t        z   t        t        z  t        t        gd„ «      } t        d«      }t        dd¬«      }||z   }t	         | |«      «      ||z  gk(  sJ ‚t        dd¬«      }t        dd¬«      }t         | ||z   «      «      ||z  ||z  hk(  sJ ‚y )Nc                 ó   — | j                   S r&   )Ú
is_integerr   s     r   r/   z)test_condition_multiple.<locals>.<lambda>:   s
   € °a·l±l€ r   ÚaÚbT)ÚintegerÚcÚd)r   r	   r
   r   r   Úset)r   r7   r8   r   r:   r;   s         r   Útest_condition_multipler=   9   s—   € Ü	”Qœ‘UœAœq™D¤1¤Q %Ñ)BÓ	C€Bäˆs‹€AÜˆs˜DÔ!€AØˆq‰5€DÜ‘�4“‹>˜a ™d˜VÒ#Ð#Ð#äˆs˜DÔ!€AÜˆs˜DÔ!€AÜ‰r�!�a‘%‹y‹>˜a ™d A q¡D˜\Ò)Ð)Ñ)r   c                  ó  — t        t        t        z   t        t        z  t        t        gt        j                  t        «      ¬«      } t        t        d«      \  }}||z   }t         | |t        j                  |«      «      «      ||z  gk(  sJ ‚y )N)ÚassumeÚab)r   r	   r
   r   r9   Úmapr   r   )r   r7   r8   r   s       r   Útest_assumptionsrB   E   sg   € Ü	”Qœ‘UœAœq™D¤1¤a &´·±¼1³Ô	>€BäŒv�tÓ�D€A€qØˆq‰5€DÜ‘�4œŸ™ 1›Ó&Ó'¨A¨q©D¨6Ò1Ð1Ñ1r   N)Úsympy.unify.rewriter   Úsympy.core.basicr   Úsympy.core.singletonr   Úsympy.core.symbolr   Ú(sympy.functions.elementary.trigonometricr   Ú	sympy.abcr	   r
   Úsympy.strategies.rlr   Úsympy.assumptionsr   r   r   r   r   r"   r$   r*   r3   r=   rB   r.   r   r   ú<module>rK      sX   ðÝ +Ý "Ý "Ý $Ý 8ß Ý 'Ý áˆcƒ{‘F˜3“K€€€1ò	$ò$ò(ò2òò
(ò
*ó2r   