o
    jg\  ã                   @   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                   C   s  h 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ƒ’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*   úW/var/www/html/zoom/venv/lib/python3.10/site-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œ  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                   C   sÈ  h 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ƒ’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                   C   s  i 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“i 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“¥i 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“¥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.

    )4r   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&   r	   Únonpositiver   r   r   r   r   r   r   r'   r   r   r   r   r"   r   r   r$   Úis_trueÚ
nonintegerr(   r#   r%   r)   r*   r*   r*   r+   Úget_known_facts_dict°   s¼  
ÿÿÿüûÿúø	ü
ýü÷ÿÿïþþþíÿþþèÿ
ÿÿã ÿ
ÿÿà#ÿÿÝ%ÿÿþÛ)
ÿ×+ÿÕ-Ó.Ò/ÿ
úÿÑ7üÉ<þÿþÄ@ÿÿÀB
ÿ¾Dþþþ¼I·J¶Ký
ýýµRþûþ®Z¦[þÿþ¥_þþþ¡dÿÿþœh˜iþþý—oÿ
ÿ‘qý
þýwÿ
ÿ‰yþûþ‡ ü
ýü þ 
ÿÿþ ö ÿ
ÿÿ ò  ï ÿ î  ì  ë ÿþÿ ê  æ  å ÿ
ÿ ä  â ýýü ár>   N)Ú__doc__Úsympy.assumptions.askr   Úsympy.assumptions.cnfr   Úsympy.core.cacher   r,   r-   r.   r>   r*   r*   r*   r+   Ú<module>   s    
N

6