EdE`ddlmZmZGddeZdZdZdZdZdZ e fd Z d Z d S) ) _toposortgroupbyceZdZdS)AmbiguityWarningN)__name__ __module__ __qualname__?lib/python3.11/site-packages/sympy/multipledispatch/conflict.pyrrsDr rct|t|ko"ttt||S)z3 A is consistent and strictly more specific than B )lenallmap issubclassabs r supercedesrs2 q66SVV  :C Aq$9$9 : ::r ct|t|ko&tdt||DS)z= It is possible for an argument list to satisfy both A and B c3\K|]'\}}t||pt||V(dSN)r).0aabbs r zconsistent..sS44%r22r""8jR&8&8444444r )rrziprs r consistentr sQ FFc!ff  4 44),Q444 4 45r cdt||o t||pt|| S)z> A is consistent with B but neither is strictly more specific )rrrs r ambiguousr s3 a   JZ1%5%5%IAq9I9I JJr cdtttfdDS)z5 All signature pairs such that A is ambiguous with B ch|]WD]Rttk"t2tfdDNfSXS)c3XK|]$}t|ot|V%dSrr)rcrrs r rz(ambiguities...sP#9#9()$.a#3#3#H 1a8H8H#9#9#9#9#9#9r )hashr anyrrr signaturess @@r zambiguities..s : : :q  : :1q''DGG+ :$Q?? : ##9#9#9#9#9-7#9#9#9 9 9 :QF : : : :r )listrtuple)r)s`r ambiguitiesr-sDc%,,--J : : : :J : : ::r ctdtfdDsJfdtDS)z* A signature that would break ambiguities c3>K|]}t|kVdSr)r)rsns r rz"super_signature..%s-//qs1vv{//////r cbg|]*tfdDtd+S)cPg|]"}t|#Sr )typemro)rsigis r z.super_signature...'s)888c#a&!!888r )keyr/)maxr)rr8r)s @r r9z#super_signature..'sQ " " " 8888Z888c B B B1 E " " "r )rrrange)r)r2s`@r super_signaturer="so JqMA ////J/// / //// " " " "a " " ""r czt||r*t||r||||kSdSdS)zW A should be checked before B Tie broken by tie_breaker, defaults to ``hash`` TFr$)rr tie_breakers r edger@+sM !Q a   ;q>>KKNN2 24 5r ctttfdD}td|}D] }||vrg||< d|D}t |S)z A sane ordering of signatures to check, first to last Topoological sort of edges as given by ``edge`` and ``supercedes`` cBg|]}D]}t||||fSr )r@r(s r r9zordering..>s7 J J J J JAtAqzz JaV J J J Jr c|dS)Nr/r )xs r zordering..?s adr c.i|]\}}|d|DS)cg|]\}}|Sr r )rrrs r r9z'ordering...Cs!!!tq!!!!r r )rkvs r zordering..Cs- < <  E!H < rPs%%%%%%%%     w   ;;; 555KKK :::"""         r