U
    L?h\  ã                   @   s\   d Z ddlmZ ddlmZ ddlmZ edd„ ƒZedd„ ƒZed	d
„ ƒZ	edd„ ƒZ
dS )zC
Do NOT manually edit this file.
Instead, run ./bin/ask_update.py.
é    )ÚQ)ÚLiteral)Úcacheitc                K   C   s  t ttjdƒttjdƒttjdƒfƒt ttjdƒttjdƒttjdƒfƒt ttjdƒttjdƒttjdƒfƒt ttjdƒttjdƒfƒt ttjdƒttjdƒttj	dƒfƒt ttjdƒttj
dƒfƒt ttjdƒttjdƒfƒt ttjdƒttjdƒttj	dƒfƒt ttjdƒttjdƒfƒt ttjdƒttj
dƒfƒt ttjdƒttjdƒfƒt ttjdƒttjdƒfƒt ttjdƒttjdƒttjdƒttjdƒfƒt ttjdƒttjdƒttjdƒfƒt ttjdƒttjdƒfƒt ttjdƒttjdƒfƒt ttjdƒttjdƒttjdƒfƒt ttjdƒttjdƒfƒt ttjdƒttjdƒfƒt ttjdƒttjdƒfƒt ttjdƒttjdƒfƒt ttjdƒttjdƒttjdƒfƒt ttjdƒttj	dƒfƒt ttjdƒttjdƒfƒt ttjdƒttjdƒfƒt ttj
dƒttjdƒfƒt ttj
dƒttjdƒfƒt ttjdƒttjdƒfƒt ttjdƒttjdƒttjdƒfƒt ttjdƒttjdƒfƒt ttjdƒttjdƒfƒt ttjdƒttj	dƒfƒt ttjdƒttjdƒfƒt ttjdƒttjdƒfƒt ttjdƒttj	dƒfƒt ttjdƒttjdƒfƒt ttjdƒttjdƒfƒt ttjdƒttjdƒfƒt ttjdƒttj dƒfƒt ttjdƒttj!dƒfƒt ttjdƒttj"dƒfƒt ttjdƒttj!dƒfƒt ttjdƒttjdƒfƒt ttj#dƒttjdƒttjdƒfƒt ttj#dƒttjdƒttjdƒfƒt ttj#dƒttjdƒttj	dƒfƒt ttj#dƒttjdƒttjdƒttj	dƒfƒt ttj#dƒttjdƒfƒt ttjdƒttj$dƒttjdƒfƒt ttjdƒttj$dƒfƒt ttjdƒttjdƒttjdƒttj	dƒfƒt ttjdƒttjdƒfƒt ttjdƒttjdƒfƒt ttjdƒttjdƒfƒt ttjdƒttj	dƒfƒt ttjdƒttjdƒfƒt ttjdƒttjdƒfƒt ttjdƒttj	dƒfƒt ttjdƒttj"dƒfƒt ttjdƒttjdƒfƒt ttjdƒttjdƒfƒt ttj%dƒttjdƒttj"dƒfƒt ttj%dƒttj dƒfƒt ttj%dƒttj"dƒfƒt ttjdƒttjdƒfƒt ttjdƒttjdƒfƒt ttjdƒttj	dƒfƒt ttjdƒttj	dƒfƒt ttjdƒttjdƒfƒt ttj$dƒttj&dƒfƒt ttj$dƒttjdƒfƒhGS )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*   úQ/var/www/html/venv/lib/python3.8/site-packages/sympy/assumptions/ask_generated.pyÚget_all_known_facts
   s    $$$$$.$$$$$$$.$.$¹r,   c                   C   sœ  t ttjdƒttjdƒfƒt ttjdƒttjdƒttjdƒfƒt ttjdƒttjdƒfƒt ttjdƒttjdƒfƒt ttjdƒttj	dƒfƒt ttjdƒttjdƒfƒt ttj
dƒttjdƒfƒt ttj
dƒttjdƒttjdƒfƒt ttjdƒttjdƒfƒt ttjdƒttjdƒfƒt ttjdƒttjdƒfƒt ttjdƒttjdƒfƒt ttjdƒttjdƒfƒt ttjdƒttjdƒfƒt ttjdƒttjdƒttjdƒfƒt ttjdƒttjdƒfƒt ttjdƒttjdƒfƒt ttjdƒttjdƒfƒt ttjdƒttjdƒttjdƒfƒt ttjdƒttjdƒfƒt ttjdƒttjdƒfƒt ttjdƒttj	dƒfƒt ttjdƒttjdƒfƒt ttjdƒttjdƒfƒhS )zK
    Known facts between unary predicates for matrices as CNF clauses.
    FT)r   r   r   r   r   r   r   r   r   r   r   r   r   r"   r#   r$   r%   r'   r(   r)   r*   r*   r*   r+   Úget_all_known_matrix_factsY   s2    $$$$èr-   c                3   C   sj  t ttjdƒttjdƒttjdƒfƒt ttjdƒttjdƒttjdƒfƒt ttjdƒttjdƒttjdƒfƒt ttjdƒttjdƒfƒt ttjdƒttjdƒttj	dƒfƒt ttjdƒttj
dƒfƒt ttjdƒttjdƒfƒt ttjdƒttjdƒttj	dƒfƒt ttjdƒttjdƒfƒt ttjdƒttj
dƒfƒt ttjdƒttjdƒfƒt ttjdƒttjdƒttjdƒttjdƒfƒt ttjdƒttjdƒttjdƒfƒt ttjdƒttjdƒfƒt ttjdƒttjdƒfƒt ttjdƒttjdƒttjdƒfƒt ttjdƒttj	dƒfƒt ttjdƒttjdƒfƒt ttjdƒttjdƒfƒt ttj
dƒttjdƒfƒt ttj
dƒttjdƒfƒt ttjdƒttjdƒfƒt ttjdƒttjdƒfƒt ttjdƒttj	dƒfƒt ttjdƒttjdƒfƒt ttjdƒttjdƒfƒt ttjdƒttj	dƒfƒt ttjdƒttjdƒfƒt ttjdƒttjdƒfƒt ttjdƒttjdƒttjdƒfƒt ttjdƒttjdƒttjdƒfƒt ttjdƒttjdƒttj	dƒfƒt ttjdƒttjdƒttjdƒttj	dƒfƒt ttjdƒttjdƒfƒt ttjdƒttjdƒttjdƒttj	dƒfƒt ttjdƒttjdƒfƒt ttjdƒttjdƒfƒt ttjdƒttjdƒfƒt ttjdƒttj	dƒfƒt ttjdƒttjdƒfƒt ttjdƒttjdƒfƒt ttjdƒttj	dƒfƒt ttjdƒttjdƒfƒt ttjdƒttjdƒfƒt ttjdƒttjdƒfƒt ttjdƒttj	dƒfƒt ttjdƒttj	dƒfƒh/S )zJ
    Known facts between unary predicates for numbers as CNF clauses.
    FT)r   r   r   r   r   r   r	   r
   r   r   r   r   r   r   r   r   r   r   r   r    r!   r&   r*   r*   r*   r+   Úget_all_known_number_factsy   s`    $$$$$.$$$$$..Ñr.   c                t   C   s¤  t jtt jt jt jt jgƒtt jt jt jt j	gƒft j
tt j
gƒtg ƒft jtt jgƒtg ƒft jtt jt jt jgƒtt jt jt jgƒft jtt jgƒtg ƒft jtt jt jt jt jt jt jt jt jt jt jt jt jt jt jt jt jgƒtt jt jt jt jt jt jt jt jt jt jt j	t jgƒft j tt j t j!t j"t j#t j$t j%t j&gƒtg ƒft j'tt jt jt jt j't jt jt jt jt jt jg
ƒtt jt jt jt jt j(t jt j	gƒft jtt jt jt jt jt jgƒtt jt jt jt jt jt jt jt jt jg	ƒft jtt jt jt jgƒtt jt jt jt jgƒft jtt jt jt jgƒtt jt jt jt jt jt jgƒft jtt jt jt jgƒtt jt jgƒft jtt jt jt jt jt jgƒtt jt jt jt jt jt jt jgƒft jtt jt jgƒtt jgƒft jtt jt jgƒtt jt jt jgƒft j)tt j)gƒtg ƒft jtt jgƒtg ƒft jtt j
t jt jt jt jgƒtt jt j't jt jt jt jt jt jt jt jt jt jt jt jt jt jt j(t jt jt jt jt jt jgƒft jtt jt jgƒtt jt jt jt j't jt jt jt jt jt jt jt jt j(t jt jt jt jt j	t jgƒft jtt jt jt jt jt jt jt jt jt jg	ƒtt jt jt jt jt jt j	gƒft j*tt jt j*t j+gƒtg ƒft j,tt j)t j,t j#gƒtt j-gƒft jtt jt jt jt jt jt jt jt jt jg	ƒtt jt j't jt jt jt jt j(t jt jt jt jgƒft j.tt j.gƒtg ƒft j!tt j!t j%gƒtg ƒft jtt jt jt jt jt jt jt jt jt jt jt jt jgƒtt jt jt jt jt jt jt jt jt jt jt jgƒft jtt jt jt jt jt jt jt jgƒtt jt jt jt j't jt jt jt jt jt jt jt jt jt jt j(t jt jt jt jt jt j	t jgƒft j/tt j/gƒtg ƒft jtt jt jt jt jt jt jt jt jgƒtt jt jt jt jt jt jgƒft jtt jt jt jt jt jt jt jt jgƒtt jt jt jt jt jt jt jt jgƒft jtt jt jt jt jt jt jt jt jgƒtt jt jt jt jt jgƒft j"tt j"t j#gƒtg ƒft j(tt jt jt jt jt jt jt jt jt jt j(t jt jgƒtt j't jt jt jt jt jt j	t jgƒft j0tt j)t j,t j"t j0t j1t j#t j2gƒtt j-gƒft jtt jt jt jt jt jt jt jt jt jt jt jt jgƒtt jt jt jt jt jt jt jt jt jg	ƒft j1tt j)t j,t j1t j#gƒtt j-gƒft jtt jt jt jt jt jt jt jgƒtt jt jt jt j't jt jt jt jt jt jt jt jt jt jt jt j(t jt jt jt jt j	t jgƒft jtt jt jt jt jt jt jt jt jt jt jt jt jt jt jt jt jgƒtt jt jt jt jt jt jt jt jt jt jt j	t jgƒft jtt jt jt jt jt jt jt jt jgƒtt jt jt jt jt jt j	gƒft jtt jt jt jt jt jt jgƒtt jt jt jt jgƒft j+tt jt j+gƒtg ƒft j-tt j-gƒtt j,t j0t j1t j2gƒft j#tt j#gƒtg ƒft j$tt j#t j$gƒtg ƒft j	tt jt jt jt j	gƒtt jt jt j't jt jt jt j(t jt jt jt jgƒft j%tt j%gƒtg ƒft j3tt j%t j3gƒtg ƒft j2tt j)t j,t j"t j#t j2gƒtt j-gƒft j&tt j%t j&gƒtg ƒft jtt jt jt jt j't jt jt jt jt jt jt jt jt jt jt jgƒtt jt jt jt jt jt jt jt jt jt jt j(t jt jt jt j	gƒfi2S )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.

    )4r   r   Úsetr   Úcomplexr   r   r    r!   r   r   r   r   Zextended_nonnegativeZextended_nonzeroZextended_positiveZextended_realr   ÚintegerZnonnegativeZnonzeror
   r   ÚrealZextended_negativeZextended_nonpositiver   r&   r	   Únonpositiver   r   r   r   r   r   r   r'   r   r   r   r   r"   r   r   r$   Zis_trueZ
nonintegerr(   r#   r%   r)   r*   r*   r*   r+   Úget_known_facts_dict°   sF    ÿÿ   ÿ          ü
       ýü   ÿÿ     þ  þþ 
  ÿ    þþ 
ÿ
 ÿÿ 
ÿ
   ÿÿ 
ÿÿ 
  ÿ   ÿþ 
ÿ  ÿ    ÿ
               úÿ               ü     þ  ÿþ 
ÿÿ 
ÿ     þ      þþ         ý
      ýý 
   þ                ûþ     þ  ÿþ    þ   þþ     ÿ ÿþ         þ  þý   ÿ
ÿ       ý
     þý 
 ÿ
ÿ 
   þ                ûþ          ü
       ýü     ÿ  ÿþ  ÿ
 ÿÿ   ÿ   ÿ      þÿ   ÿ
ÿ          ý         ýü€ âr4   N)Ú__doc__Zsympy.assumptions.askr   Zsympy.assumptions.cnfr   Zsympy.core.cacher   r,   r-   r.   r4   r*   r*   r*   r+   Ú<module>   s   
N

6