§
    PŠtj`	  ã                   óv   — d dl mZmZmZmZ d dl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S )é    )Ú	treeapplyÚgreedyÚ
allresultsÚbrute)ÚpartialÚreducec                 ó   — | dz   S ©Né   © ©Úxs    ú^/var/www/html/CA-Chatbot/venv/lib/python3.11/site-packages/sympy/strategies/tests/test_tree.pyÚincr      ó   € Øˆq‰5€Ló    c                 ó   — | dz
  S r
   r   r   s    r   Údecr   	   r   r   c                 ó   — d| z  S ©Né   r   r   s    r   Údoubler      r   r   c                 ó   — | dz  S r   r   r   s    r   Úsquarer      s   € Øˆa‰4€Kr   c                  ó    — t          | ¦  «        S ©N)Úsum©Úargss    r   Úaddr       s   € Ýˆt‰9Œ9Ðr   c                  ó&   — t          d„ | d¦  «        S )Nc                 ó   — | |z  S r   r   )ÚaÚbs     r   ú<lambda>zmul.<locals>.<lambda>   s
   € ˜q 1™u€ r   r   )r   r   s    r   Úmulr&      s   € ÝÐ$Ð$ d¨AÑ.Ô.Ð.r   c                  óÐ   — ddgddgdf} t          | t          t          t          t          i¦  «        dk    sJ ‚t          | t          t
          t          t          i¦  «        dk    sJ ‚d S )Né   é   r   r   é<   )r   ÚlistÚminÚtupleÚmaxr    r&   )Útrees    r   Útest_treeapplyr0      sd   € Ø�ˆF�Q˜�F˜AÐ€DÝ�T�D¥#¥u­cÐ2Ñ3Ô3°qÒ8Ð8Ð8Ð8Ý�T�D¥#¥u­cÐ2Ñ3Ô3°rÒ9Ð9Ð9Ð9Ð9Ð9r   c                  ó
  — t          di d„ ¬¦  «        dk    sJ ‚ddgddgdf} ddgddgdf}t          | t          t          t          t          id	„ ¬¦  «        t          |t          t          t          t          i¦  «        k    sJ ‚d S )
Nr(   c                 ó   — | dz  S r   r   r   s    r   r%   z%test_treeapply_leaf.<locals>.<lambda>$   s
   € ¨1¨a©4€ r   )Úleafé	   r)   r   r   é   c                 ó   — | dz   S r
   r   r   s    r   r%   z%test_treeapply_leaf.<locals>.<lambda>'   s
   € À1ÀqÁ5€ r   )r   r+   r,   r-   r.   )r/   Útreep1s     r   Útest_treeapply_leafr8   #   s�   € Ý�Q˜  Ð0Ñ0Ô0°AÒ5Ð5Ð5Ð5Ø�ˆF�Q˜�F˜AÐ€DØ�!ˆf�q˜!�f˜aÐ €FÝ�T�D¥#¥u­cÐ2¸¸ÐIÑIÔIÝ�V�d¥C­µÐ4Ñ5Ô5ò6ð 6ð 6ð 6ð 6ð 6r   c                  óä  — ddl m} m} t          | t          |i}t          t          |¦  «        t          k    sJ ‚ t          t          t          f|¦  «        d¦  «          |t          t          ¦  «        d¦  «        k    sJ ‚ t          t          t          g|¦  «        d¦  «          | t          t          ¦  «        d¦  «        k    sJ ‚t          t          t          gf} t          ||¦  «        d¦  «        dk    sJ ‚ t          ||¦  «        d¦  «        dk    sJ ‚t          |d„ ¬¦  «        }t          | t          |i}t          ||¦  «        } |d¦  «        dk    sJ ‚ |d¦  «        d	k    sJ ‚d S )
Nr   )ÚchainÚminimizer5   é   r   c                 ó   — |  S r   r   r   s    r   r%   z+test_treeapply_strategies.<locals>.<lambda>6   s   € °a°R€ r   ©Ú	objectiver)   r   )
Úsympy.strategiesr:   r;   r+   r-   r   r   r   r   r   )r:   r;   Újoinr/   ÚmaximizeÚfns         r   Útest_treeapply_strategiesrD   +   sw  € Ø0Ð0Ð0Ð0Ð0Ð0Ð0Ð0Ý�%� Ð)€Då•S˜$ÑÔ¥3Ò&Ð&Ð&Ð&Ø&�9•c�3�Z Ñ&Ô& qÑ)Ô)Ð-?¨X¨Xµc½3Ñ-?Ô-?ÀÑ-BÔ-BÒBÐBÐBÐBØ&�9•c�3�Z Ñ&Ô& qÑ)Ô)¨_¨U¨Uµ3½©_¬_¸QÑ-?Ô-?Ò?Ð?Ð?Ð?Ý•#•v�Ð€DØ �9�T˜4Ñ Ô  Ñ#Ô# qÒ(Ð(Ð(Ð(Ø �9�T˜4Ñ Ô  Ñ#Ô# qÒ(Ð(Ð(Ð(å�x¨<¨<Ð8Ñ8Ô8€HÝ�%� Ð)€DÝ	�4˜Ñ	Ô	€BØˆ2ˆa‰5Œ5�AŠ:ˆ:ˆ:ˆ:Øˆ2ˆa‰5Œ5�AŠ:ˆ:ˆ:ˆ:ˆ:ˆ:r   c                  óŠ  — t           t          t          fg} t          | d„ ¬¦  «        } |d¦  «        dk    sJ ‚ |d¦  «        dk    sJ ‚t           t          t           t          t           t           ft          t          fggg} t          | ¦  «        } |d¦  «        dk    sJ ‚t          | d	„ ¬¦  «        } |d¦  «        d
k    sJ ‚d S )Nc                 ó   — |  S r   r   r   s    r   r%   ztest_greedy.<locals>.<lambda>@   s   € ¨1¨"€ r   r>   r)   r<   r   r   é
   é   c                 ó   — |  S r   r   r   s    r   r%   ztest_greedy.<locals>.<lambda>H   s   € °¨r€ r   é   )r   r   r   r   )r/   rC   ÚlowestÚhighests       r   Útest_greedyrM   =   sÁ   € Ý•#•v�Ð€Då	�  Ð	-Ñ	-Ô	-€BØˆ2ˆa‰5Œ5�AŠ:ˆ:ˆ:ˆ:Øˆ2ˆa‰5Œ5�AŠ:ˆ:ˆ:ˆ:å••s�C¥3­ *­sµC¨jÐ!9Ð:Ð;€DÝ�D‰\Œ\€FØˆ6�"‰:Œ:˜Š?ˆ?ˆ?ˆ?å�T \ \Ð2Ñ2Ô2€GØˆ7�2‰;Œ;˜"ÒÐÐÐÐÐr   c                  óä  — t           t          t          ¦  «        d¦  «        ¦  «        t          d¦  «        hk    sJ ‚t           t          t          t          g¦  «        d¦  «        ¦  «        ddhk    sJ ‚t           t          t          t          f¦  «        d¦  «        ¦  «        dhk    sJ ‚t           t          t          t          t          fg¦  «        d¦  «        ¦  «        ddhk    sJ ‚d S )Nr(   r   r)   r5   r<   )Úsetr   r   r   r   r   r   r   Útest_allresultsrP   L   sÚ   € õ ˆ�z�#‰Œ˜qÑ!Ô!Ñ"Ô"¥s¨1¡v¤v hÒ.Ð.Ð.Ð.ÝÐ%�z�3¥˜*Ñ%Ô% aÑ(Ô(Ñ)Ô)¨a°¨VÒ3Ð3Ð3Ð3ÝÐ%�z�3¥˜*Ñ%Ô% aÑ(Ô(Ñ)Ô)¨a¨SÒ0Ð0Ð0Ð0ÝÐ/�z�3¥¥f Ð.Ñ/Ô/°Ñ2Ô2Ñ3Ô3¸¸1°vÒ=Ð=Ð=Ð=Ð=Ð=r   c                  óÜ   — t           t          gt          f} t          | d„ ¦  «        } |d¦  «        dk    sJ ‚ |d¦  «        dk    sJ ‚ t          t           ¦  «        d¦  «        dk    sJ ‚d S )Nc                 ó   — |  S r   r   r   s    r   r%   ztest_brute.<locals>.<lambda>W   s   €  ˜r€ r   r   r4   éþÿÿÿr   )r   r   r   r   )r/   rC   s     r   Ú
test_bruterT   U   sx   € Ý•#ˆJ�Ð€DÝ	ˆt�\�\Ñ	"Ô	"€Bàˆ2ˆa‰5Œ5�JÒÐÐÐØˆ2ˆb‰6Œ6�[Ò Ð Ð Ð à�5•‰:Œ:�a‰=Œ=˜AÒÐÐÐÐÐr   N)Úsympy.strategies.treer   r   r   r   Ú	functoolsr   r   r   r   r   r   r    r&   r0   r8   rD   rM   rP   rT   r   r   r   ú<module>rW      sÿ   ðØ FÐ FÐ FÐ FÐ FÐ FÐ FÐ FÐ FÐ FÐ FÐ FØ %Ð %Ð %Ð %Ð %Ð %Ð %Ð %ðð ð ðð ð ðð ð ðð ð ðð ð ð/ð /ð /ð:ð :ð :ð6ð 6ð 6ðð ð ð$ð ð ð>ð >ð >ðð ð ð ð r   