B
    ˜‘[  ã               @   sL   d Z ddlmZ ddlmZmZmZ ddlmZ edd„ ƒZ	edd„ ƒZ
d	S )
z¥
The contents of this file are the return value of
``sympy.assumptions.ask.compute_known_facts``.

Do NOT manually edit this file.
Instead, run ./bin/ask_update.py.
é    )Úcacheit)ÚAndÚNotÚOr)ÚQc            G   C   s¸  t tjtjB tjtj B tjtj B tjtj B tjtj B tjtj	 B tjtj
 B tjtj B tjtj B tjtj B tjtj	 B tjtj B tjtj	 B tjtj B tjtj B tjtj B tjtj B tjtj B tjtj B tjtj B tjtj B tjtj B tjtj B tjtj B tjtj B tjtj B tjtj B tjtj B tjtj  B tjtj B tj	tj! B tj	tj B tj	tj B tj	tj B tj	tj B tjtj" B tj#tj B tj#tj B tj#tj$ B tj$tj B tj%tj B tj%tj& B tj%tj' B tjtj  B tj'tj B tj tj
 B tj tj B tj( tj B tj tj B tj) tj B tj tj	 B tj tj B tj! tj B tj tj B tj tj B tj tj B tjtj
B tj B tjtjB tj B tjtj	B tj B tj!tjB tj	 B tjtj'B tj% B tjtjB tj B tjtjB tj B tjtjB tj B tjtj B tj' B tjtj B tj# B tj tj	 B tj B tjtjB tjB tj	 B tj(tjB tj B tj B ƒES )N)*r   r   Ú
invertibleÚsingularÚ	algebraicÚrationalÚantihermitianÚ	imaginaryÚcomplexÚrealÚtranscendentalÚcomplex_elementsÚreal_elementsÚevenÚzeroÚextended_realÚinfiniteÚfullrankÚ	hermitianÚintegerÚoddÚprimeÚpositive_definiteÚunitaryÚlower_triangularÚdiagonalÚnonnegativeÚpositiveÚnonpositiveÚnegativeÚnonzeroÚnormalÚ
orthogonalÚ
irrationalÚinteger_elementsÚsquareÚ	symmetricÚ
triangularÚunit_triangularÚupper_triangularÚ	compositeÚfinite© r/   r/   ú>lib/python3.7/site-packages/sympy/assumptions/ask_generated.pyÚget_known_facts_cnf   sŒ    
r1   c            _   C   s  t jtt jt jgƒt jtt jgƒt jtt jgƒt jtt jgƒt jtt jgƒt jtt jgƒt jtt jt j	t j
t jt jt jt jgƒt jtt jt jt jt jt jt jt jt jgƒt jtt jgƒt jtt jgƒt jtt jgƒt jtt jgƒt jtt jt jt jgƒt jtt jt jgƒt jtt jt jt jt jt jt jt jgƒt jtt jt jt jgƒt jtt jt jt jgƒt jtt jt jt jt jt jt jgƒt jtt jgƒt j	tt j	t jgƒt jtt jt jt jt jt j t jt jgƒt j!tt jt jt jt j!t jgƒt j tt jt jt jt j t jgƒt jtt jt jt jt jt jgƒt j
tt j
t jgƒt j"tt jt jt jt jt jt jt j"t jt jg	ƒt j#tt jt jt j
t j#t j$t jt j%gƒt j&tt jt jt jt j!t jt j&t jgƒt j$tt jt jt j$t jgƒ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gƒt jtt jt jt jt jt jt jgƒt jtt jt jt jt jgƒt jtt jt jgƒt j(tt j(gƒt jtt jgƒt jtt jt jgƒt j)tt jt j)gƒt jtt jgƒt j*tt jt j*gƒt j%tt jt jt j
t jt j%gƒt jtt jt jgƒ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+gƒi*S )N),r   r	   Úsetr   r   Zcommutativer   r-   r   r   r$   r(   r)   r*   r,   r   r   r   r   r
   r   r.   r   r   r   r'   r   r   r&   r#   Zis_truer"   r!   r   r   r%   r   r   r    r   r   r   r+   r   r/   r/   r/   r0   Úget_known_facts_dictY   sz    r3   N)Ú__doc__Zsympy.core.cacher   Zsympy.logic.boolalgr   r   r   Zsympy.assumptions.askr   r1   r3   r/   r/   r/   r0   Ú<module>   s
   K