a dSjd}|jsj| |t ddjdurjdS|j rt j }}|jD]j\}} | tur|} n| } t|| } |jrt|} ntt||| } t|| }t|| }|t j urqq|SjjrjjsdSz6ddlm} tt||tdkr<| WntyTYdS0j rr|||jd d } njvrj} j!r|||jd d }njvrj}tdkr|t"|||}t#|ts|t j usdSt|}| |gfd d |D}t$|t%|}}d\}}| |krr|| krV||vrVj }||kr||vrj!}n4||kr||vrj!}|| kr||vrj }t&||||Stt&jdj dtfdd t'dtdDtt&djdj!SdS)Nr)solveset)limitT)realF)_nsort+)dir-cs"g|]}|jr|vr|qSr&)is_real.0ir'r&r* bsz_..)FFc s,g|]$}tt||dddqS)r/T)rrr6)r(singr&r*r9ys)(Zsympy.solvers.solvesetr-Z sympy.seriesr.exprlen free_symbols variablesr5subsr Z is_PiecewiserrargsrZas_setrZ is_Numberrrrrrstart is_comparableendZsympy.polys.polyutilsr1listrNotImplementedError left_open right_openr isinstancerrrrange)r(r)r-r.r<varresultZ domain_setZp_exprZp_condZintrvlimager1_startZ_endZ soln_exprZsolnsZextrrBrDrGrHr&)r(r:r)r*r+"s                cCs`|tkr&tt|jt|j|j|jS|tkrLtt|jt|j|j|jSttt |t |Sr%) rrrBrDrGrHrrr_xr'r&r&r*r+}s cstfdd|jDS)Nc3s|]}t|VqdSr%rr7argr(r&r* _..)rrAr'r&rSr*r+scs:t|r"tfdd|jDStttt|SdS)Nc3s|]}t|VqdSr%rPrQrSr&r*rTrUrV)rrrArrrOr'r&rSr*r+s cCs|Sr%r&r'r&r&r*r+scCsttt|t|Sr%)rrrOr'r&r&r*r+scCs|s tjSt|jtsdS|jdkr4t||dS|tjurB|S|jd}|j}||j vsl|| |j vrpdS|j j r||j ||j }n||j ||d}t|}||krt||t|jSdS)Nr/rr;)rrrIr<rsizerZIdentityFunctionr?r>r rB is_finitestepr rr)r(selfr)r<Fr&r&r*r+s$    cCs|j}t|tsdS|jd}|t|kr0tjS|d}|||}|| |}dd}||||krr||}td|gd}td|gd} |||| } | r| |r| | t s| |  t s| || | }} |dvrg} t | D]} | j s| | qt | } | jrb|jrbt| \} } | r| jr|jr| |;} | tj| } nR| jr|jrt| \} } |tj}| r| jr|jr| |;} | tj| } ||| }||jkrtt||tjSdS)NrcSstddt|DS)Ncss|]}|VqdSr%)Zcould_extract_minus_sign)r7r+r&r&r*rTsz&_....)sumr make_args)er&r&r*sz_..a)excludeb)r/r;)r<rIrr?absr Naturals0rmatchZatomsr rr] is_integerappendZ is_numberr5r#rCZ ImaginaryUnitZ is_imaginaryrrr )r(rZr<ncZfxZf_xZ neg_countr`rbreZnonintZbibrZair&r&r*r+sR             cCs|j}t|tsdS|jd}|j|hs|t|krJ|tjurD|StjS| |}| |d}|j r|j r||||kr|tjur||7}|dkr|dkr|dkrtjS|dkrtjSt |t |St |t |SdS)Nrr/)r<rIrr?r>rcrr!rdZcoeffr@Z is_Integerrr )r(rZr<r)rYrir&r&r*r+s,         cCs&|j}t|tsdSt|tt tSr%)r<rIrr$rr )r(rZr<r&r&r*r+s N)5Zsympy.core.singletonrZsympy.sets.setsrZsympy.calculus.singularitiesrZ sympy.corerrZsympy.core.functionrrr r Zsympy.core.numbersr r Zsympy.core.symbolr rrZ&sympy.functions.elementary.exponentialrrZ(sympy.functions.elementary.miscellaneousrrZsympy.logic.boolalgrZsympy.multipledispatchrZ sympy.setsrrrrrrrrrrZsympy.sets.fancysetsr r!r"r#rOZ_yZ FunctionUnionr$registerr+r&r&r&r*sR     (        Z              4