+ j Rt^RIHt^RIHt^RIHt^RIHt^RI H t H t H t H t HtHt^RIHt]R4t]RR l4t]RR l4t]RR l4tR t]R 4tRtRtR#)z Known facts in assumptions module. This module defines the facts between unary predicates in ``get_known_facts()``, and supports functions to generate the contents in ``sympy.assumptions.ask_generated`` file. )Q)AppliedPredicate)cacheit)Symbol)to_cnfAndNotImplies Equivalent Exclusive) satisfiablec\P\P\P,\P,\P \P \P,\P\P\P,\P\P\P,\P\P\P,\P\P\P,\P,\P,\P,\P\P\P,\P\P\P,\P \P\P,\P,\P,\P"\P\P,\P,\P$\P\P,\P,\P&\P(\P*,/ #N)rrealnegativezeropositiveintegerevenodd nonpositivenonzero nonnegative extended_realnegative_infinitepositive_infiniteextended_positiveextended_negativeextended_nonzeroextended_nonpositiveextended_nonnegativecomplex algebraictranscendentalX/home/luca/screen-checking/.venv/lib/python3.14/site-packages/sympy/assumptions/facts.pyget_composite_predicatesr'sz aff$qzz1 AFFQUUN  QVV+ AJJ+ + !-- :QVVCajjPSTSfSff QZZ!*=*== QZZ!*=*== A//!**!,,q/1::a=1 1 q{{1~. !&&)QUU1X& ! ajjm,q 166!9%!++a.!''!*- A+QYYq\AJJqM-IJq AJJqM)QWWQZK7QH q 1;;q>* A 23q 1;;q>AOOA,>>? !**Q-!- ! ahhqk*##A&)<)E# DH Kr%c< Vf \R4p\\\P!V4\P !V44\\P!V4\P !V44\\P !V4\P!V4,\P!V44\\P !V4\P!V44\\P !V4\P!V44\\P!V4\P!V44\\P!V4\P!V44\\P !V4\P!V44\\P!V4\P!V44\\P!V4\P!V44\\P!V4\P!V44\\P!V4\P!V44\\P!V4\P!V4\P!V4,4\\P!V4\P!V4,\P!V44\\P!V4\P!V44\\P !V4\P!V44\\P!V4\P"!V44\\P!V4\P!V44\\P!V4\P!V44\\P"!V4\P!V4,\P!V44\%\P!V4\P&!V4(4\\P(!V4\P!V44\\P!V4\P*!V444pV#)z Facts between unary matrix predicates. Parameters ========== x : Symbol, optional Placeholder symbol for unary facts. Default is ``Symbol('x')``. Returns ======= fact : Known facts in conjugated normal form. r))rrr r orthogonalpositive_definiteunitary real_elementsnormal invertiblesquarediagonalupper_triangularlower_triangular triangular symmetricunit_triangularfullrankr singularinteger_elementscomplex_elementsr,s& r&r+r+|s" y 3K  Q!4!4Q!78 Q1. ! qq111<<?C ! ahhqk* ! all1o. QXXa[) 1 qxx{+##A& Q8 1 q11!45 1 q11!45""1%q||A7""1%q||A7 Q!3!3A!69K9KA9N!NO""1%(:(:1(==qzz!}M 1 q{{1~.!!!$all1o6 QA/ Q!- A , 1  +Q\\!_=1<<?QZZ]N3""1%qq'9:"A$6$6q$9:1 D4 Kr%c\V4p\W4p/pVP4FwrV\4p\4pVF|p \ V \ 4'dVP V P4K6\ V \4'gKNV P^,p VP V P4K~ Wx3WEP&K V#)a Computes and returns a dictionary which contains the relations between unary predicates. 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. All predicates in *keys* and *fact* must be unary and have same placeholder symbol. Parameters ========== keys : list of AppliedPredicate instances. fact : Fact between predicates in conjugated normal form. Examples ======== >>> from sympy import Q, And, Implies >>> from sympy.assumptions.facts import generate_known_facts_dict >>> from sympy.abc import x >>> keys = [Q.even(x), Q.odd(x), Q.zero(x)] >>> fact = And(Implies(Q.even(x), ~Q.odd(x)), ... Implies(Q.zero(x), Q.even(x))) >>> generate_known_facts_dict(keys, fact) {Q.even: ({Q.even}, {Q.odd}), Q.odd: ({Q.odd}, {Q.even, Q.zero}), Q.zero: ({Q.even, Q.zero}, {Q.odd})} ) rsingle_fact_lookupitemsset isinstanceraddfunctionrargs) keysr-fact_cnfmappingretkeyvalueimpliedrejectedexprpreds && r&generate_known_facts_dictr^sBd|H 0G Cmmo %5D$ 011 DMM*D#&&yy| T]]+  %/LL& Jr%c\P\P\P\P\P \P 0p.p\PPFEpVPR4'dK\\V4pW09dK4VPV4KG V#)z Return every unary predicates registered to ``Q``. This function is used to generate the keys for ``generate_known_facts_dict``. __) reqnegtltgele __class____dict__ startswithgetattrappend)excluderesultattrr]s r&get_known_facts_keysrosttQTT144qttQTT2G F $$ ??4 q$ ?  d % Mr%c/pVFopV0W#&VFapWC8wgK \WCV4'dW#,PV4\V(W14'gKIW#,PV(4Kc Kq V#r)ask_full_inferencerQ)known_facts_keysknown_facts_cnfrVrX other_keys&& r&rMrMsoGu )I%ioFFL$$Y/%yj#GGL$$iZ0 *  Nr%c \\W!V44'gR#\\W!\V444'gR#R#)z1 Method for inferring properties about objects. FTN)r rr) proposition assumptionsrss&&&r&rqrqs6 s?E F F s?[9IJ K K r%r)__doc__sympy.assumptions.askrsympy.assumptions.assumersympy.core.cachersympy.core.symbolrsympy.logic.boolalgrrrr r r sympy.logic.inferencer r'r.r*r+r^rorMrqr$r%r&rs$5$$-  &  4 7 7t - -b/d  ,  r%