a Эм>> from sympy import Q >>> from sympy.assumptions.sathandlers import allargs >>> from sympy.abc import x, y >>> allargs(x, Q.negative(x) | Q.positive(x), x*y) (Q.negative(x) | Q.positive(x)) & (Q.negative(y) | Q.positive(y)) csg|]}ИаИ|бСqSйй┌subsй┌.0┌argй┌fact┌symbolr·m/Users/vegardjervell/Documents/master/model/venv/lib/python3.9/site-packages/sympy/assumptions/sathandlers.py┌ (єzallargs..)r ┌argsйrr┌exprrrr┌allargssr cstЗЗfddД|jDГОS)aў Apply any argument of the expression to the fact structure. Parameters ========== symbol : Symbol A placeholder symbol. fact : Boolean Resulting ``Boolean`` expression. expr : Expr Examples ======== >>> from sympy import Q >>> from sympy.assumptions.sathandlers import anyarg >>> from sympy.abc import x, y >>> anyarg(x, Q.negative(x) & Q.positive(x), x*y) (Q.negative(x) & Q.positive(x)) | (Q.negative(y) & Q.positive(y)) csg|]}ИаИ|бСqSrrrrrrrDrzanyarg..)rrrrrr┌anyarg+sr!cs8ЗЗfddД|jDГЙtЗfddДttИГГDГО}|S)a Apply exactly one argument of the expression to the fact structure. Parameters ========== symbol : Symbol A placeholder symbol. fact : Boolean Resulting ``Boolean`` expression. expr : Expr Examples ======== >>> from sympy import Q >>> from sympy.assumptions.sathandlers import exactlyonearg >>> from sympy.abc import x, y >>> exactlyonearg(x, Q.positive(x), x*y) (Q.positive(x) & ~Q.positive(y)) | (Q.positive(y) & ~Q.positive(x)) csg|]}ИаИ|бСqSrrrrrrr`rz!exactlyonearg..c sBg|]:}tИ|gddДИd|ЕИ|ddЕDГвRОСqS)cSsg|] }|СqSrr)rZlitrrrrarz,exactlyonearg...Nщ)r )r┌i)┌ pred_argsrrras )rr┌range┌len)rrr┌resr)rr$rr┌ exactlyoneargGs r(c@s8eZdZdZddДZddДZddДZdd ДZd dДZdS) ┌ClassFactRegistryaж Register handlers against classes. Explanation =========== ``register`` method registers the handler function for a class. Here, handler function should return a single fact. ``multiregister`` method registers the handler function for multiple classes. Here, handler function should return a container of multiple facts. ``registry(expr)`` returns a set of facts for *expr*. Examples ======== Here, we register the facts for ``Abs``. >>> from sympy import Abs, Equivalent, Q >>> from sympy.assumptions.sathandlers import ClassFactRegistry >>> reg = ClassFactRegistry() >>> @reg.register(Abs) ... def f1(expr): ... return Q.nonnegative(expr) >>> @reg.register(Abs) ... def f2(expr): ... arg = expr.args[0] ... return Equivalent(~Q.zero(arg), ~Q.zero(expr)) Calling the registry with expression returns the defined facts for the expression. >>> from sympy.abc import x >>> reg(Abs(x)) {Q.nonnegative(Abs(x)), Equivalent(~Q.zero(x), ~Q.zero(Abs(x)))} Multiple facts can be registered at once by ``multiregister`` method. >>> reg2 = ClassFactRegistry() >>> @reg2.multiregister(Abs) ... def _(expr): ... arg = expr.args[0] ... return [Q.even(arg) >> Q.even(expr), Q.odd(arg) >> Q.odd(expr)] >>> reg2(Abs(x)) {Implies(Q.even(x), Q.even(Abs(x))), Implies(Q.odd(x), Q.odd(Abs(x)))} cCsttГ|_ttГ|_dSйN)r┌ frozenset┌singlefacts┌ multifacts)┌selfrrr┌__init__Шs zClassFactRegistry.__init__csЗЗfddД}|S)NcsИjИ|hO<|Sr*)r,)┌funcй┌clsr.rr┌_Эsz%ClassFactRegistry.register.._r)r.r2r3rr1r┌registerЬszClassFactRegistry.registercsЗЗfddД}|S)Ncs"ИD]}Иj||hO<q|Sr*)r-)r0r2й┌classesr.rrr3гsz*ClassFactRegistry.multiregister.._r)r.r6r3rr5r┌ multiregisterвszClassFactRegistry.multiregistercCsd|j|}|jD]}t||Гr||j|O}q|j|}|jD]}t||Гr>||j|O}q>||fSr*)r,┌ issubclassr-)r.┌keyZret1┌kZret2rrr┌__getitem__йs zClassFactRegistry.__getitem__cCsJtГ}|t|Г\}}|D]}|а||Гбq|D]}|а||Гбq2|Sr*)┌set┌type┌add┌update)r.r┌retZ handlers1Z handlers2┌hrrr┌__call__╢szClassFactRegistry.__call__N) ┌__name__┌ __module__┌__qualname__┌__doc__r/r4r7r;rBrrrrr)hs/ r)┌xcCsd|jd}tа|бttа|бtа|бГtа|бtа|б?tа|бtа|б?tа|бtа|б?gS)Nr)rr┌nonnegativer┌zero┌even┌odd┌integer)rrrrrr3╦s №r3c Csдtttаtб|Гtа|б?tttаtб|Гtа|б?tttаtб|Гtа|б?tttаtб|Гtа|б?tttаtб|Гtа|б?tttаtб|Гtа|б?gSr*) r rGr┌positive┌negative┌real┌rationalrLr(йrrrrr3╪s√cCs:tttаtб|Г}tttаtб|Г}t|t|tа|бГГSr*йr rGrrOr(┌ irrationalrйrZallargs_realZonearg_irrationalrrrr3тscCs└ttа|бtttаtб|ГГtttаtб|Гtа|б?tttаtб|Гtа|б?tttаtб|Гtа|б?tttа tб|Гtа |б?t ttаtб|Гtа |б?tttаtб|Гtа|б?gSr*)rrrIr!rGr rMrOrPrLr(ZcommutativerQrrrr3ыs·cCs$tttаtб|Г}t|tа|бГSr*)r rGr┌primer)rZ allargs_primerrrr3ЎscCsDtttаtбtаtбB|Г}tttаtб|Г}t|t|tа|бГГSr*)r rGr┌ imaginaryrOr(r)rZallargs_imag_or_realZonearg_imaginaryrrrr3 scCs:tttаtб|Г}tttаtб|Г}t|t|tа|бГГSr*rRrTrrrr3scCs:tttаtб|Г}tttаtб|Г}t|t|tа|бГГSr*)r rGrrLr!rJrr)rZallargs_integerZanyarg_evenrrrr3scCs:tttаtб|Г}tttаtб|Г}t|ttа|б|ГГSr*)r rGrZsquareZ invertiblerr)rZallargs_squareZallargs_invertiblerrrr3sc Csв|j|j}}tа|бtа|б@tа|б@tа|б?tа|бtа|б@tа|б@tа|б?tа|бtа|б@tа|б@tа|б?ttа |бtа |бtа |б@ГgSr*)┌base┌exprrOrJrHrK┌nonpositiverrIrM)rrWrXrrrr3!s&&&№cCs|jSr*)Zis_positiveй┌orrr┌/rr\cCs|jSr*)┌is_zerorZrrrr\0rcCs|jSr*)Zis_negativerZrrrr\1rcCs|jSr*)Zis_rationalrZrrrr\2rcCs|jSr*)Z is_irrationalrZrrrr\3rcCs|jSr*)Zis_evenrZrrrr\4rcCs|jSr*)Zis_oddrZrrrr\5rcCs|jSr*)Zis_imaginaryrZrrrr\6rcCs|jSr*)Zis_primerZrrrr\7rcCs|jSr*)Zis_compositerZrrrr\8rcCsBg}tабD]0\}}||Г}||Г}|dur|аt||Гбq|Sr*)┌_old_assump_getters┌items┌appendr)rr@┌p┌getter┌pred┌proprrrr3;sN)*┌collectionsrZsympy.assumptions.askrZ sympy.corerrrrrr Zsympy.core.numbersr Z$sympy.functions.elementary.complexesrZsympy.logic.boolalgrr rrZsympy.matrices.expressionsrr r!r(r)Zclass_fact_registryrGr7r3r4rMrIrNrPrSrJrKrVrUZ compositer^rrrr┌sZ !Y Ў