| Server IP : 93.86.61.54 / Your IP : 216.73.216.60 Web Server : Apache/2.4.62 (Ubuntu) System : Linux rasin.ddns.net 6.8.0-124-generic #124~22.04.1-Ubuntu SMP PREEMPT_DYNAMIC Tue May 26 21:05:19 UTC x86_64 User : www-data ( 33) PHP Version : 8.4.22 Disable Function : NONE MySQL : OFF | cURL : ON | WGET : ON | Perl : ON | Python : OFF | Sudo : ON | Pkexec : ON Directory : /usr/lib/python3/dist-packages/sympy/assumptions/__pycache__/ |
Upload File : |
o
�8Va�B � @ sD d Z ddlmZ ddlmZ ddlmZ edd� �Zedd� �Zd S )
zC
Do NOT manually edit this file.
Instead, run ./bin/ask_update.py.
� )�Q)�Literal)�cacheitc C s� h t ttjd�ttjd�ttjd�f��t ttjd�ttjd�ttjd�f��t ttjd�ttjd�ttjd�f��t ttjd�ttjd�f��t ttjd�ttjd�ttj d�f��t ttjd�ttj
d�f��t ttjd�ttjd�f��t ttjd�ttjd�ttj d�f��t ttjd�ttjd�f��t ttj
d�ttj
d�f��t ttj
d�ttjd�f��t ttjd�ttjd�f��t ttjd�ttjd�ttjd�ttjd�f��t ttjd�ttjd�ttjd�f��t ttjd�ttjd�f��t ttjd�ttjd�f��t ttjd�ttjd�ttjd�f��t ttjd�ttjd�f��t ttjd�ttjd�f��t ttjd�ttjd�f��t ttjd�ttjd�f��t ttjd�ttjd�ttjd�f��t ttjd�ttj d�f��t ttjd�ttjd�f��t ttjd�ttjd�f��t ttj
d�ttjd�f��t ttj
d�ttjd�f��t ttjd�ttjd�f��t ttjd�ttjd�ttjd�f��t ttjd�ttjd�f��t ttjd�ttjd�f��t ttjd�ttj d�f��t ttjd�ttjd�f��t ttjd�ttjd�f��t ttjd�ttj d�f��t ttjd�ttjd�f��t ttjd�ttjd�f��t ttjd�ttjd�f��t ttjd�ttj d�f��t ttjd�ttj!d�f��t ttjd�ttj"d�f��t ttjd�ttj!d�f��t ttjd�ttjd�f��t ttj#d�ttjd�ttjd�f��t ttj#d�ttjd�ttjd�f��t ttj#d�ttjd�ttj d�f��t ttj#d�ttjd�ttjd�ttj d�f��t ttj#d�ttjd�f��t ttjd�ttj$d�ttjd�f��t ttjd�ttj$d�f��t ttjd�ttjd�ttjd�ttj d�f��t ttjd�ttjd�f��t ttjd�ttjd�f��t ttjd�ttjd�f��t ttjd�ttj d�f��t ttjd�ttjd�f��t ttjd�ttjd�f��t ttjd�ttj d�f��t ttjd�ttj"d�f��t ttjd�ttjd�f��t ttjd�ttjd�f��t ttj%d�ttjd�ttj"d�f��t ttj%d�ttj d�f��t ttj%d�ttj"d�f��t ttjd�ttjd�f��t ttjd�ttjd�f��t ttjd�ttj d�f��t ttjd�ttj d�f��t ttjd�ttjd�f��t ttj$d�ttj&d�f��t ttj$d�ttjd�f��S )z>
Known facts between unary predicates as CNF clauses.
FT)'� frozensetr r � algebraic� imaginary�transcendental�negative�positive�rational�zero�finite�
antihermitian� hermitian�commutative�infinite�complex_elements�
real_elements� composite�even�prime�odd�diagonal�lower_triangular�upper_triangular�normal� symmetric�fullrank�
invertible�square�negative_infinite�positive_infinite�integer_elements�positive_definite�singular�unitary�
irrational�
triangular�
orthogonal�unit_triangular� r* r* �A/usr/lib/python3/dist-packages/sympy/assumptions/ask_generated.py�get_all_known_facts
s $�$�$��$���$� �
���.
�$���$�����$�������$��� �!�"�#�$�%�&�'�(�)�*�+�$,�$-�$.�./�0�$1�2�.3�4�5�6�7�8�9�:�;�<�=�$>�?�@�A�B�C�D�E�F�G�r, c / C s� i t jtt jt jt jt jg�tt jt jt jt j g�f�t j
tt j
g�tg �f�t jtt jg�tg �f�t jtt jt jt jg�tt jt jt jg�f�t jtt jg�tg �f�t jtt jt jt jt jt j
t jt jt jt jt jt jt jt jt jt jt jg�tt jt jt jt jt jt jt jt jt jt jt j t jg�f�t j tt j t j!t j"t j#t j$t j%t j&g�tg �f�t j'tt jt jt jt j't jt jt jt jt jt jg
�tt jt jt jt jt j(t jt j g�f�t jtt jt jt jt jt jg�tt jt j
t jt jt jt jt jt jt jg �f�t j
tt jt j
t jg�tt jt jt jt jg�f�t jtt jt jt jg�tt jt jt jt jt jt jg�f�t jtt jt jt jg�tt jt jg�f�t jtt jt j
t jt jt jg�tt jt jt jt jt jt jt jg�f�t jtt jt jg�tt jg�f�t jtt jt jg�tt jt jt jg�f�t j)tt j)g�tg �f�t jtt jg�tg �f�i t jtt j
t jt jt jt jg�tt jt j't jt j
t jt jt jt jt jt jt jt jt jt jt jt jt j(t jt jt jt jt jt jg�f�t jtt jt jg�tt jt jt jt j't jt jt jt jt jt jt jt jt j(t jt jt jt jt j t jg�f�t jtt jt jt jt jt jt jt jt jt jg �tt jt jt jt jt jt j g�f�t j*tt jt j*t j+g�tg �f�t j,tt j)t j,t j#g�tt j-g�f�t jtt jt jt jt jt jt jt jt jt jg �tt jt j't jt jt jt jt j(t jt jt jt jg�f�t j.tt j.g�tg �f�t j!tt j!t j%g�tg �f�t jtt jt jt jt jt jt jt jt jt jt jt jt jg�tt jt j
t jt jt jt jt jt jt jt jt jg�f�t jtt jt jt jt jt jt jt jg�tt jt jt jt j't j
t jt jt jt jt jt jt jt jt jt j(t jt jt jt jt jt j t jg�f�t jtt jt jt j
t jt jt jt jt jg�tt jt jt jt jt jt jg�f�t jtt jt jt jt jt jt jt jt jg�tt jt jt jt jt jt jt jt jg�f�t jtt jt jt jt jt jt jt jt jg�tt jt jt jt jt jg�f�t j"tt j"t j#g�tg �f�t j(tt jt jt jt jt jt jt jt jt jt j(t jt jg�tt j't jt jt jt jt jt j t jg�f�t j/tt j)t j,t j"t j/t j0t j#t j1g�tt j-g�f�t jtt jt jt j
t jt jt jt jt jt jt jt jt jg�tt jt jt jt jt jt jt jt jt jg �f��t j0tt j)t j,t j0t j#g�tt j-g�ft jtt jt j
t jt jt jt jt jg�tt jt jt jt j't jt jt jt jt jt jt jt jt jt jt jt j(t jt jt jt jt j t jg�ft jtt jt jt jt j
t jt jt jt jt jt jt jt jt jt jt jt jg�tt jt jt jt jt jt jt jt jt jt jt j t jg�ft jtt jt jt jt jt jt jt jt jg�tt jt jt jt jt jt j g�ft jtt jt jt jt jt jt jg�tt jt jt jt jg�ft j+tt jt j+g�tg �ft j-tt j-g�tt j,t j/t j0t j1g�ft j#tt j#g�tg �ft j$tt j#t j$g�tg �ft j tt jt jt jt j g�tt jt jt j't jt jt jt j(t jt jt jt jg�ft j%tt j%g�tg �ft j2tt j%t j2g�tg �ft j1tt j)t j,t j"t j#t j1g�tt j-g�ft j&tt j%t j&g�tg �ft jtt jt jt jt j't j
t jt jt jt jt jt jt jt jt jt jg�tt jt jt jt jt jt jt jt jt jt jt j(t jt jt jt j g�fi�S )a
Logical relations between unary predicates as dictionary.
Each key is a predicate, and item is two groups of predicates.
First group contains the predicates which are implied by the key, and
second group contains the predicates which are rejected by the key.
)3r r �setr �complexr
r r r! r r r r �extended_nonnegative�extended_nonzero�extended_positive�
extended_realr �integer�nonnegative�nonzeror
r �real�extended_negative�extended_nonpositiver r&