a RG5dB@sDdZddlmZddlmZddlmZeddZeddZd S) zC Do NOT manually edit this file. Instead, run ./bin/ask_update.py. )Q)Literal)cacheitcKCstttjdttjdttjdftttjdttjdttjdftttjdttjdttjdftttjdttjdftttjdttjdttj dftttjdttj dftttjdttjdftttj dttj dttj dftttj dttjdftttj dttj dftttj dttjdftttjdttjdftttjdttjdttjdttjdftttjdttjdttjdftttjdttjdftttjdttjdftttjdttjdttjdftttjdttjdftttjdttjdftttjdttjdftttjdttjdftttjdttjdttjdftttjdttj dftttjdttjdftttjdttjdftttj dttjdftttj dttjdftttjdttjdftttjdttjdttjdftttj dttjdftttj dttjdftttj dttj dftttjdttjdftttjdttjdftttjdttj dftttjdttjdftttjdttjdftttjdttjdftttjdttj dftttjdttj!dftttjdttj"dftttjdttj!dftttjdttjdftttj#dttjdttjdftttj#dttjdttjdftttj#dttjdttj dftttj#dttjdttjdttj dftttj#dttjdftttjdttj$dttjdftttjdttj$dftttjdttjdttjdttj dftttjdttjdftttjdttjdftttjdttjdftttjdttj dftttjdttjdftttjdttjdftttjdttj dftttjdttj"dftttjdttjdftttjdttjdftttj%dttjdttj"dftttj%dttj dftttj%dttj"dftttjdttjdftttjdttjdftttjdttj dftttjdttj dftttjdttjdftttj$dttj&dftttj$dttjdfhGS)z> Known facts between unary predicates as CNF clauses. FT)' frozensetrr algebraic imaginarytranscendentalnegativepositiverationalzerofinite antihermitian hermitian commutativeinfinitecomplex_elements real_elements compositeevenprimeodddiagonallower_triangularupper_triangularnormal symmetricfullrank invertiblesquarenegative_infinitepositive_infiniteinteger_elementspositive_definitesingularunitary irrational triangular orthogonalunit_triangularr*r*[/var/www/html/django/DPS/env/lib/python3.9/site-packages/sympy/assumptions/ask_generated.pyget_all_known_facts s$$$$$.$$$$$$$.$.$r,crCs tjttjtjtjtjgttjtjtjtj gftj ttj gtgftjttjgtgftjttjtjtjgttjtjtjgftj ttj gtgftj ttjtjtjtj tj tjtjtjtjtjtjtjtjtjtjtjgttjtjtjtjtjtjtjtjtjtjtj tjg ftj ttj tj!tj"tj#tj$tj%tj&gtgftj'ttjtjtjtj'tjtjtjtjtjtjg ttjtjtjtjtj(tjtj gftjttjtjtjtjtjgttj tj tjtjtjtjtjtjtjg ftj ttjtj tjgttjtjtjtjgftjttjtjtjgttj tjtjtjtjtjgftjttjtjtjgttjtjgftjttjtj tjtjtjgttjtjtjtjtjtjtjgftjttjtjgttjgftjttjtjgttjtjtjgftj)ttj)gtgftjttjgtgftjttj tjtjtjtjgttj tj'tjtj tjtjtjtjtjtjtjtjtjtjtjtjtj(tjtjtjtjtjtjgftjttjtjgttjtjtj tj'tjtjtjtjtjtjtjtjtj(tjtjtjtjtj tjgftjttjtjtjtjtjtjtjtjtjg ttjtjtjtjtjtj gftj*ttj tj*tj+gtgftj,ttj)tj,tj#gttj-gftjttjtjtjtjtjtjtjtjtjg ttj tj'tjtjtjtjtj(tjtjtjtjg ftj.ttj.gtgftj!ttj!tj%gtgftjttjtjtjtjtjtjtjtjtjtjtjtjg ttj tj tjtjtjtjtjtjtjtjtjg ftjttjtjtjtjtjtjtjgttjtjtj tj'tj tjtjtjtjtjtjtjtjtjtj(tjtjtjtjtjtj tjgftjttjtjtj tjtjtjtjtjgttjtjtjtjtjtjgftjttjtjtjtjtjtjtjtjgttj tjtjtjtjtjtjtjgftjttjtjtjtjtjtjtjtjgttjtjtjtjtjgftj"ttj"tj#gtgftj(ttjtjtjtjtjtjtjtjtjtj(tjtjg ttj'tjtjtjtjtjtj tjgftj/ttj)tj,tj"tj/tj0tj#tj1gttj-gftjttjtjtj tjtjtjtjtjtjtjtjtjg ttjtjtjtjtjtjtjtjtjg ftj0ttj)tj,tj0tj#gttj-gftjttjtj tjtjtjtjtjgttjtjtj tj'tjtjtjtjtjtjtjtjtjtjtjtj(tjtjtjtjtj tjgftjttjtjtjtj tjtjtjtjtjtjtjtjtjtjtjtjgttj tjtjtjtjtjtjtjtjtjtj tjg ftjttjtjtjtjtjtjtjtjgttjtjtjtjtjtj gftjttjtjtjtjtjtjgttjtjtjtjgftj+ttj tj+gtgftj-ttj-gttj,tj/tj0tj1gftj#ttj#gtgftj$ttj#tj$gtgftj ttjtjtjtj gttjtj tj'tjtjtjtj(tjtjtjtjg ftj%ttj%gtgftj2ttj%tj2gtgftj1ttj)tj,tj"tj#tj1gttj-gftj&ttj%tj&gtgftjttjtjtjtj'tj tjtjtjtjtjtjtjtjtjtjgttj tjtjtjtjtjtjtjtjtjtj(tjtjtjtj gfi1S)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. )3rrsetrcomplexr rr r!rrrrextended_nonnegativeextended_nonzeroextended_positive extended_realrinteger nonnegativenonzeror r realextended_negativeextended_nonpositiverr&r nonpositiverr rrrrrr'rrrrr"rrr$is_truer(r#r%r)r*r*r*r+get_known_facts_dictYs$                                     r;N) __doc__sympy.assumptions.askrsympy.assumptions.cnfrsympy.core.cacherr,r;r*r*r*r+s    N