Otj dZddlmZddlmZddlmZddlmZddl m Z m Z m Z m Z mZmZddlmZedZedd Zedd Zedd Zd ZedZdZdZd S)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) satisfiablectjtjtjztjztjtjtjztjtjtjztj tjtjztj tjtjztj tj tjztjztjztj ztjtjtj ztjtjtj ztjtj tjztjztj ztjtj tjztjztjtjtjztj ztjtjtjzi SN)rrealnegativezeropositiveintegerevenodd nonpositivenonzero nonnegative extended_realnegative_infinitepositive_infiniteextended_positiveextended_negativeextended_nonzeroextended_nonpositiveextended_nonnegativecomplex algebraictranscendentalU/var/www/html/CA-Chatbot/venv/lib/python3.11/site-packages/sympy/assumptions/facts.pyget_composite_predicatesr(s af$qz1 AFQUN  QV+ AJ+ + !- :QVCajPSTSff QZ!*== QZ!*== A/!*>!,q//1:a==11 1 q{1~~.. !&))QU1XX&& ! ajmm,,q 16!99%%!+a..!'!**-- A+QYq\\AJqMM-IJJq AJqMM)QWQZZK7QHH q 1;q>>** A 2 233q 1;q>>AOA,>,>>?? !*Q--!-- ! ahqkk**#A&&)>E# # DH Kr&c |td}tttj|tj|ttj|tj|ttj|tj|ztj|ttj|tj|ttj|tj |ttj|tj |ttj |tj|ttj|tj |ttj |tj |ttj |tj |ttj |tj|ttj |tj|ttj|tj |tj |zttj |tj |ztj |ttj |tj|ttj|tj|ttj |tj|ttj |tj |ttj|tj |ttj|tj |ztj |t%tj |tj|ttj|tj|ttj|tj|}|S)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. Nr*)rrr r orthogonalpositive_definiteunitary real_elementsnormal invertiblesquarediagonalupper_triangularlower_triangular triangular symmetricunit_triangularfullrankr singularinteger_elementscomplex_elementsr-s r'r,r,|s(" y 3KK  Q!4Q!7!788 Q1.. ! qq1111<??CC ! ahqkk** ! al1oo.. QXa[[)) 1 qx{{++#A&& Q88 1 q1!4455 1 q1!4455"1%%q|A77"1%%q|A77 Q!3A!6!69KA9N9N!NOO"1%%(:1(=(==qz!}}MM 1 q{1~~..!!$$al1oo66 QA// Q!-- A ,, 1  +Q\!__==1<??QZ]]N33"1%%qq'9'9::""A$6q$9$9::1  D4 Kr&ct|}t||}i}|D]\}}t}t}|D]n} t | t r|| j2t | tr'| j d} || jo||f||j<|S)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})} r) rsingle_fact_lookupitemsset isinstanceraddfunctionr args) keysr.fact_cnfmappingretkeyvalueimpliedrejectedexprpreds r'generate_known_facts_dictr_sBd||H x00G Cmmoo 0 0 U%%55 , ,D$ 011 , DM****D#&& ,y| T]+++$h/CL Jr&cDtjtjtjtjtjtjh}g}tjjD]G}| drtt|}||vr2| |H|S)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_keysrpstQT14qtQT2G F $ ??4   q$ 7??  d Mr&ci}|D]m}|h||<|D]b}||krZt|||r|||t|||r|||cn|Sr)ask_full_inferencerR)known_facts_keysknown_facts_cnfrWrY other_keys r'rNrNsG11u ) 1 1IC%ioFF0CL$$Y///%yj#GG1CL$$iZ000  1 Nr&c tt|||sdStt||t|sdSdS)z9 Method for inferring properties about objects. FTN)r rr ) proposition assumptionsrts r'rrrrsS s?KEE F Fu s?K[9I9IJJ K Kt 4r&r)__doc__sympy.assumptions.askrsympy.assumptions.assumersympy.core.cachersympy.core.symbolrsympy.logic.boolalgrrr r r r sympy.logic.inferencer r(r/r+r,r_rprNrrr%r&r'rs$#####555555$$$$$$$$$$$$------  &  4 777 7t --- -b///d  ,        r&