Book a Demo!
CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutPoliciesSign UpSign In
sagemathinc
GitHub Repository: sagemathinc/wapython
Path: blob/main/python/py-sympy/src/__pycache__/test_basic.cpython-311.pyc
1067 views
�

+fKc�"���dZddlZddlmZddlmZmZmZmZm	Z	ddl
mZddlm
Z
mZddlmZmZddlmZdd	lmZmZmZdd
lmZddlmZmZddlmZdd
lm Z ddl!m"Z"ddl#m$Z$e��Z%ee%��Z&ee&��Z'ee&e%��Z(d�Z)d�Z*d�Z+d�Z,d�Z-d�Z.d�Z/d�Z0d�Z1d�Z2d�Z3d�Z4d�Z5d�Z6d�Z7d�Z8d �Z9d!�Z:d"�Z;d#�Z<d$�Z=d%�Z>dS)&zZThis tests sympy/core/basic.py with (ideally) no reference to subclasses
of Basic or Atom.�N)�Q)�Basic�Atom�as_Basic�_atomic�_aresame)�Tuple)�Function�Lambda)�I�pi)�S)�symbols�Symbol�Dummy)�Sum)�cos�sin)�gamma)�Integral)�exp)�raisesc��ttt����t����rJ�tttd����ttd������rJ�dS)N�g@)rrr	r���|/Users/wstein/build/cocalc/src/data/projects/2c9318d1-4f8b-4910-8da7-68a965514c95/cowasm/packages/py-sympy/src/test_basic.py�
test__aresamersZ����e�g�g������0�0�0�0�0���a��d�d���U�1�R�5�5�\�\�2�2�2�2�2�2�2rc��tjttfksJ�tjtj�tksJ�tt��sJ�dS�N)�b21�args�b2�b1�func�boolrrr�test_structurer' sF���8��B�x������8�S�X��#�%�%�%�%���8�8�O�O�O�O�Orc��ttd��rJ�tt��5dt_ddd��dS#1swxYwYdS)N�__dict__�)�hasattrr$r�AttributeError�xrrr�test_immutabler.&s����r�:�&�&�&�&�&�	��	�	��������������������������s�
A�A
�
A
c	��ttttt	ttt��tg}t|��D]:\}}t|��D]%\}}||k||kksJ�||k||kksJ��&�;t	��gksJ�t	��gkrJ�t	��dksJ�t	��dkrJ�Gd�d��}t	��}|��}||ksJ�||ksJ�||krJ�||krJ�Gd�d��}|��}	||	ksJ�|	|ksJ�||	krJ�|	|krJ�dS)Nrc��eZdZdZdS)�test_equality.<locals>.Fooz�
        Class that is unaware of Basic, and relies on both classes returning
        the NotImplemented singleton for equivalence to evaluate to False.

        N)�__name__�
__module__�__qualname__�__doc__rrr�Foor18s������	�	�	�	rr6c��eZdZdZd�Zd�ZdS)�test_equality.<locals>.Barz�
        Class that considers itself equal to any instance of Basic, and relies
        on Basic returning the NotImplemented singleton in order to achieve
        a symmetric equivalence relation.

        c�>�t|t��rdStS)NT)�
isinstancer�NotImplemented��self�others  r�__eq__z!test_equality.<locals>.Bar.__eq__Ns���%��'�'�
��t�!�!rc��||kSr rr<s  r�__ne__z!test_equality.<locals>.Bar.__ne__Ss���u�}�$�$rN)r2r3r4r5r?rArrr�Barr8Gs<������	�	�	"�	"�	"�
	%�	%�	%�	%�	%rrB)r$r#�b3r!r�	enumerate)
�	instances�i�b_i�j�b_jr6�b�foorB�bars
          r�
test_equalityrM,s����R��S�%��B��"3�"3�U�;�I��I�&�&�,�,���3��	�*�*�	,�	,�F�A�s��3�J�A��F�+�+�+�+��3�J�A��F�+�+�+�+�+�	,��7�7�b�=�����w�w�"�}�����7�7�a�<�����w�w�!�|������������	���A�

�#�%�%�C���8�O�O�O��!�8�O�O�O��C�x�����a�x����
%�
%�
%�
%�
%�
%�
%�
%��#�%�%�C���8�O�O�O��!�8�O�O�O��C�x�����a�x�����rc�P�tttt��tttt��tttt��ttt��ttt��ttg}t|��D]S\}}t|��D]>\}}||kr|�|��iksJ��'|�|���J��?�Tt�t��iksJ�dSr )rr$r#rD�matches�match)rErFrGrHrIs     r�test_matches_basicrQ^s����r�2�r�"�"�E�"�b�"�$5�$5�u�R��R�7H�7H��r�2����b�"�
�
�r�2�7�I��I�&�&�0�0���3��	�*�*�	0�	0�F�A�s��A�v�
0��{�{�3�'�'�2�-�-�-�-�-��{�{�3�'�'�/�/�/�/�		0�
�8�8�B�<�<�2������rc���t�t��sJ�t�tt��sJ�t�t��sJ�t�tt��rJ�t���rJ�t�t
��rJ�t
d���d��rJ�dS)Nr-)r!�hasr$rCr�strrrrr�test_hasrUjs����7�7�2�;�;�����7�7�2�r�?�?�����7�7�5�>�>�����v�v�c�2�������w�w�y�y�����w�w�s�|�|�����c�{�{���s�#�#�#�#�#�#�#rc��t�tt��t	tt��ksJ�t�tt��t	tt��ksJ�t
�tt��tksJ�t�ttfttfg��t	tt��ksJ�t�tttti��t	tt��ksJ�t�t
jttitti����t	tt��ksJ�t�t
jttfttfg����t	tt��ksJ�ttd���ttd���ttd���td���dti��tksJ�td���ddi��dksJ�dS)Nc�6�t�d��S)N�bad arg�r!�subsrrr�<lambda>ztest_subs.<locals>.<lambda>s��s�x�x�	�2�2�rc�X�t�ttt��Sr )r!rZr$r#rCrrrr[ztest_subs.<locals>.<lambda>�s��s�x�x��B��3�3�rc�8�t�d���S)NrX)r$rYrrrr[ztest_subs.<locals>.<lambda>�s��s�x�x�9�x�5�5�r�text�sr*)r!rZr#r$rrC�collections�ChainMap�OrderedDictr�
ValueErrorrrrr�	test_subsrdts����8�8�B����u�R��}�}�,�,�,�,��8�8�B�����c�2���.�.�.�.�
�7�7�2�r�?�?�b� � � � ��8�8�b�"�X��B�x�(�)�)�U�2�r�]�]�:�:�:�:��8�8�R��R��$�%�%��r�2���6�6�6�6��8�8�K�(�"�b��B��8�<�<�=�=��r�2���N�N�N�N��8�8�K�+�b�"�X��B�x�,@�A�A�B�B�e�B�PR�m�m�S�S�S�S�
�:�2�2�3�3�3�
�:�3�3�4�4�4��:�5�5�6�6�6��&�>�>�����|�,�,��2�2�2�2��#�;�;���S�!�H�%�%��*�*�*�*�*�*rc��td��}|�dd��}|jdksJ�|�dd��}|jdksJ�dS)N�var1r-)rrZ�name)�expr�replaceds  r�test_subs_with_unicode_symbolsrj�s_���&�>�>�D��y�y���%�%�H��=�C������y�y���%�%�H��=�C������rc�^�t���t��hksJ�dSr )r!�atomsrrrr�
test_atomsrm�s'���9�9�;�;�5�7�7�)�#�#�#�#�#�#rc�B�tjt��ksJ�dSr )r!�free_symbols�setrrr�test_free_symbols_emptyrq�s ����s�u�u�$�$�$�$�$�$rc��t���tksJ�t�d���tksJ�dS)NF)�deep)r!�doitrrr�	test_doitru�s@���8�8�:�:�������8�8��8���3�&�&�&�&�&�&rc�:�tt��dksJ�dS)Nr)�reprrrrr�test_Srx�s����7�7�c�>�����rc��t�tti��t	tt��ksJ�t�tti��t	tt��ksJ�t
�tti��tksJ�t	tt���tttti��t	tt��ksJ�t
t���tti��t
t��ksJ�t
t���t
t��ti��tksJ�ttd���ttd���ttd��fD]�}|�i��|ksJ�|�id���|ksJ�|�|ti��tksJ�|�|tid���tksJ���dS)Nc�4�t���Sr )r$�xreplacerrrr[ztest_xreplace.<locals>.<lambda>�s��b�k�k�m�m�rc�N�t�ttg��Sr )r$r{r#rrrr[ztest_xreplace.<locals>.<lambda>�s��b�k�k�2�r�(�3�3�r�fT)�hack2)r!r{r#r$rrCrr�	TypeErrorrr
)r}s r�
test_xreplacer��s����<�<��R��!�!�U�2�r�]�]�2�2�2�2��<�<��S�	�"�"�e�C��n�n�4�4�4�4�
�;�;��B�x� � �B�&�&�&�&���R�=�=�!�!�2�r�2�r�"2�3�3�u�R��}�}�D�D�D�D���8�8���b�"�X�&�&�$�r�(�(�2�2�2�2���8�8���d�2�h�h��^�,�,��2�2�2�2�
�9�+�+�,�,�,�
�9�3�3�4�4�4��8�C�=�=�
!�5�5���z�z�"�~�~��"�"�"�"��z�z�"�D�z�)�)�Q�.�.�.�.��z�z�1�b�'�"�"�b�(�(�(�(��z�z�1�b�'��z�.�.�"�4�4�4�4�4�	5�5rc���td���tjtjksJ�t	t
�fd���dS)Nr-c����jSr )�_sorted_args�r-s�rr[z"test_sorted_args.<locals>.<lambda>�s	���1�>�r)rr!r�r"rr,r�s@r�test_sorted_argsr��sD�������A���s�x�'�'�'�'�
�>�1�1�1�1�2�2�2�2�2rc����td��\�}tt�fd���tt�fd���t����d��t���ksJ�dt���z�d��dt���zksJ�t�d�z��}|�z�|��d|z�zksJ��|z�d���dzksJ�tjtjz����t
j���t
j���zksJ�dS)N�x yc�V��t����dt���di��S)Nr*r�rr�s�rr[ztest_call.<locals>.<lambda>�s&���f�c�!�f�f�q�1�c�!�f�f�q�%9�:�:�rc�4��t���d��S�Nr*r�r�s�rr[ztest_call.<locals>.<lambda>�s���f�c�!�f�f�Q�i�i�rr*r�)	rrrr�rcallrr�real�positive)�y�lr-s  @r�	test_callr��sH����5�>�>�D�A�q��9�:�:�:�:�;�;�;�
�9�'�'�'�'�(�(�(��q�6�6�<�<��?�?�c�!�f�f�$�$�$�$�
��A���J���a� � �A��A���J�.�.�.�.�	�q�!�A�#���A�
��E�=�=����q��s�Q�w�&�&�&�&�
�q�D�<�<��?�?�a��d�"�"�"�"�

�F�Q�Z��&�&�q�)�)�Q�V�A�Y�Y���A���-F�F�F�F�F�F�Frc��td��\}}}td��\}}t|��t|��z}|�tt��t	t
|z��dzt|��zt	t
|z��dzzksJ�|�tgt��t|��t|tdzzd���zksJ�t|��t|��t|��zz}|�tt��t
t	t
|z��t	t
|z��z
zdzt|��t|��zzksJ�|���|ksJ�dS)Nzx y zza brF)�evaluate)rrr�rewriterrr
r)r-r��z�arJ�f1�f2s       r�test_rewriter��sa���g���G�A�q�!��5�>�>�D�A�q�	�Q���#�a�&�&��B�
�:�:�c�#���#�a��c�(�(�1�*�s�1�v�v�"5��Q�B�q�D�	�	�!��"C�C�C�C�C�
�:�:�s�e�C� � �C��F�F�S��R��T��E�-J�-J�-J�$J�J�J�J�J�	�Q���#�a�&�&��q���/�	!�B�
�:�:�c�#���1�"�c�!�A�#�h�h��a�R��T���&:�";�A�"=��A���u�Q�x�x��"O�O�O�O�O�
�:�:�<�<�2������rc�<�td��}td��}|jdusJ�|d��jdusJ�td|||f��}|���dksJ�|jsJ�|jdusJ�|�dd���dksJ�td��dztd��dzzdz
}|j	dusJ�|�d��j	dusJ�|�d���d��j	sJ�dS)Nr-r}Fr*rr)�strict)
rr
�	is_numberr�n�is_zero�evalfrr�
is_comparable)r-r}rFr�s    r�2test_literal_evalf_is_number_is_zero_is_comparabler��s8������A���
�
�A�
�;�%������1�Q�4�4�>�U�"�"�"�"���Q��1�I���A�
�3�3�5�5�A�:�����9�����;�%������7�7�1�U�7�#�#�q�(�(�(�(�	�A����	�C��F�F�A�I���!�A��?�e�#�#�#�#��3�3�q�6�6��5�(�(�(�(��3�3�q�6�6�8�8�A�;�;�$�$�$�$�$�$rc��td��tjusJ�td��t��ksJ�t	t
d���dS)Nr*rc� �tg��Sr )rrrrr[ztest_as_Basic.<locals>.<lambda>�s��h�r�l�l�r)rr�Oner	rrrrr�
test_as_Basicr��sP���A�;�;�!�%������B�<�<�5�7�7�"�"�"�"�
�9�*�*�+�+�+�+�+rc	�B�ttd��\}}td��}t||||��z����||||��z��hksJ�t||||��z��d���||��|||||��z��hksJ�td��t	��ksJ�ttt
d��t
d������t	��ksJ�dS)N�ghr-T)�	recursiver*r)�mapr
rrrprr)�g�hr-s   r�test_atomicr��s���x����D�A�q�����A��1�1�Q���1���X�;�;���A�A�a�!�!�A�$�$�h�K�K�=�0�0�0�0��1�1�Q���1���X�;�;�$�/�/�/�A�A�a�D�D�!�Q�Q�q�1�1�Q�4�4�x�[�[�3I�I�I�I�I��1�:�:���������5��1���q��t�t�$�$�%�%����.�.�.�.�.�.rc���td��\}}}}}}}t||dz�����t||dz��ksJ�t|||z�����t|||z��ksJ�dt||d|f��z}dt||d|f��z}|���}	|	|ksJ�|	���}
|
|ksJ�t	||z||dzf|ddf�����t	||z||dzf|ddf��ksJ�t
tfD]B}|dd���}|���}
|
|kr|
jtkr|
j�J��Ct
�����j	sJ�t
d������j	dusJ�dS)	Nzu v x y z _0 _1r*rr-T)r�F)�commutative)
rr�as_dummyrrrrr%�is_real�is_commutative)�u�vr-r�r��_0�_1�eq�ans�once�twice�T�d�Ds              r�
test_as_dummyr�s��#�$5�6�6��A�q�!�Q��2�r��!�Q��U���$�$�&�&�&��R�!�V�*<�*<�<�<�<�<��!�Q��V���%�%�'�'�6�"�b�2�g�+>�+>�>�>�>�>�
�c�!�a��A�Y���
�B�
�c�"�r�1�a�j�!�!�
!�C�
�;�;�=�=�D��3�;�����M�M�O�O�E��C�<�����A��F�Q��A��J��Q��
�
�
�
�(�*�*���b��2�q�1�u�+��A�q�z�B�B�C�C�C�C��e�_�@�@��
�A�c������
�J�J�L�L���A�v�?�!�&�E�/�?�a�i�?�?�?�?��7�7�����,�,�,�,��U�#�#�#�,�,�.�.�=��F�F�F�F�F�Frc��td��\}}}t|||dzf��j||iksJ�t|||dzf|ddf��j||||iksJ�t||||zf��j||iksJ�dS)Nzx _:2r*r)rr�canonical_variables)r-�i0�i1s   r�test_canonical_variablesr�s����� � �I�A�r�2��A��1�q�5�z�"�"�6�1�b�'�A�A�A�A��A��1�q�5�z�B��1�:�.�.�B�	�2�r�2�G������A��1�r�6�{�#�#�7�A�r�7�B�B�B�B�B�Brc�D����ddlm}td��\}}|dz||zz�tt�fd���|d���|d���tt���fd���tt��fd	���tt�fd
���dS)Nr)�Wildr�rc�:����td��S)Nr)�replacer��es�rr[z)test_replace_exceptions.<locals>.<lambda>#s���a�i�i��Q�/�/�rrJ�cc�@������z�j��Sr �r�r�)rJr�r�s���rr[z)test_replace_exceptions.<locals>.<lambda>&s���a�i�i��!��Q�Y�7�7�rc�:�����jd��Sr�r�)rJr�s��rr[z)test_replace_exceptions.<locals>.<lambda>'s���a�i�i��	�1�5�5�rc�2����d�d��S)Nc��|jSr )�	is_Number)r�s rr[z;test_replace_exceptions.<locals>.<lambda>.<locals>.<lambda>(s��!�+�rr*)r�r�s�rr[z)test_replace_exceptions.<locals>.<lambda>(s���a�i�i�(=�(=�q�A�A�r)�sympy.core.symbolr�rrr)r�r-r�rJr�r�s   @@@r�test_replace_exceptionsr�s������&�&�&�&�&�&��5�>�>�D�A�q�	
�A���!���A�
�9�/�/�/�/�0�0�0���S�	�	�A���S�	�	�A�
�9�7�7�7�7�7�7�8�8�8�
�9�5�5�5�5�5�6�6�6�
�9�A�A�A�A�B�B�B�B�Br)?r5r`�sympy.assumptions.askr�sympy.core.basicrrrrr�sympy.core.containersr	�sympy.core.functionr
r�sympy.core.numbersrr
�sympy.core.singletonrr�rrr�sympy.concrete.summationsr�(sympy.functions.elementary.trigonometricrr�'sympy.functions.special.gamma_functionsr�sympy.integrals.integralsr�&sympy.functions.elementary.exponentialr�sympy.testing.pytestrr$r#rCr!rr'r.rMrQrUrdrjrmrqrurxr�r�r�r�r�r�r�r�r�r�rrr�<module>r�s���������#�#�#�#�#�#���������������'�'�'�'�'�'�0�0�0�0�0�0�0�0�$�$�$�$�$�$�$�$�"�"�"�"�"�"�4�4�4�4�4�4�4�4�4�4�)�)�)�)�)�)�?�?�?�?�?�?�?�?�9�9�9�9�9�9�.�.�.�.�.�.�6�6�6�6�6�6�'�'�'�'�'�'�
�U�W�W��
�U�2�Y�Y��
�U�2�Y�Y���e�B��m�m��3�3�3�
������/�/�/�d	�	�	�$�$�$�+�+�+�, � � �$�$�$�%�%�%�'�'�'�
���
5�
5�
5� 3�3�3�
G�G�G�,	�	�	�%�%�%�4,�,�,�/�/�/�G�G�G�(C�C�C�	C�	C�	C�	C�	Cr