a ам_є·_..r)rй┌floor┌ceilingr.)┌allr2┌sizerr┌#sympy.functions.elementary.integersrBrC┌max┌inf┌min┌suprr)r"r#rBrC┌start┌endr r r$r%\s" cCst|t|jtjГГSr)rrrHr┌Infinityr!r r r$r%qscs╠tddД||fDГГsdS|s$tjS|s.tjS|j|jkr@tjS|j|jkrRtjS|}|jjrd|j}|}|jjrv|j}|jjrВ|S|jjrО|Sddlm }ddl mЙddД}|||tdГГ||td ГГГ\}}|duoр|du}|rьtjS|а бd} ||| Г} ЗЗfd dД}tt|j|jГГЙ||| Г}|duРrxr?z_...N)rDr2)r<┌rr r r$r>xr?r@r)┌diop_linear)┌signcSs|j||jSr)rK┌step)rOr=r r r$┌Щr?z_..r"r#csl||jkr|SИ|j|ГИ}t||j||Гd}||jkrBnИ|jГИ|Гkr\||8}||vrhdS|S)Nщ )rKrrR)r6┌c┌st┌s1йrQrRr r$┌_first_finite_pointоs z_.._first_finite_pointcs<И|jГИ}|jjr&t||j|Г}nt|j|||Г}|Sr)rRrK┌ is_finiter┌stop)rO┌firstrV┌rvrXr r$┌_updated_range╥s z_.._updated_range)rDrrrJrHrK┌is_infinite┌reversedZ%sympy.solvers.diophantine.diophantinerPZ$sympy.functions.elementary.complexesrQrZas_coeff_Add┌absrrRrGrIr[r)r"r#r6r7rP┌eq┌vaZvbZno_solutionZa0rUrYrW┌s2r^rKr[r rXr$r%us^$ cCs|Srr r!r r r$r%щsc$ sZddlm}t|jjГdks,|jj|jjkr0dS|jd}|tjuРrКd}t |t ГrМ|jtjfkrМ|jj}|jjd}tdГ}|а ||б}n|tjurвtdГ}}|duРrК|jjЙ|jjdЙzt|И|И|fddНГ}WnttfyЎYdS0t|ГdkРrtjStddД|DГГРrrt|ГdkРrl|d\}} |j\} Иа И|а | Иббаб}ttИ|ГtjГSdSntЗЗfd dД|DГОS|tjkРr|dd lm}mЙЗfddД} |jj}|jjdЙtИjdd Н}|а И|б}|аб\}}t|Г}|а |Иб}|а |Иб}|j}tИ|Г}|jРr&n:|jduРr8tjS|ИhkРrHdS|| t а!t"|ГбИГM}|| ||ГИГ8}t||ГSt |t#ГРrVddl$m%}m&}m'}|jj}|jjdЙd\}}|j(|j)}}|j*Рr╘|}n|}|||j+ИГ\}}|||j,ИГ\}} t-ddД|| fDГГРrR|ИkРr6t|ГdkРr6|j.d}|ИkРrXt| ГdkРrX| j.d}tddД||fDГГРrtdStj}!t-ddД||fDГГРr└||kРrж||}}t#||||Г}"|а/|"б}!n<|а0tjбРr№||ИtjГ}#t |!t t1fГРs°|#а/|б}!ndS|!tjuРrtjSt |!t2ГРr4|!j3tj4uРr4tt|!ГО}!|!duРrNttИ|Г|!ГSdSdSdS)Nr)┌diophantiner.┌mT)ZsymsZpermutecss|]}|D]}|jVq qdSr)┌free_symbols)r<Ztupl┌sr r r$r>r?r@c3s|]}ИаИ|dбVqdS)rN)┌subs)r<rh)┌fn┌nr r$r>#r?)┌denoms┌solve_linearcsVg}|D]D}И|d|gГ\}}||kr6|аt|Гбq|аt|t|dГГбqt|ОS)Nr)r3rrrr)┌exprsr&Zsolsr=r+Zxis)rmr r$┌_solution_union(sz_.._solution_union)r-F)┌invert_real┌invert_complex┌solveset)NNcss|]}t|tГVqdSr)┌ isinstancerr;r r r$r>fr?css|]}|duVqdSrr r;r r r$r>qr?css|]}|jVqdSr)┌is_realr;r r r$r>wr?)5Zsympy.solvers.diophantinere┌lenZlamda┌ variables┌ signatureZ base_setsrrrsr┌exprrri┌list┌ TypeError┌NotImplementedErrorr┌anyrg┌expandrrrrZsympy.solvers.solversrlrm┌nameZas_real_imagr┌is_zerorZ make_argsrrZsympy.solvers.solvesetrprqrr┌ left_open┌ right_openrtrHrJrDr2┌ intersectr1rrrErM)$r4r5rer(Zgm┌varrfZsolnsZsolnZsolm┌trxrlro┌fZn_Zf_┌reZimZifreeZlamrprqrrZnew_infZnew_supZ new_lopenZ new_ropenZinverterZg1┌h1Zg2┌h2Z range_setr8Z solutionsr )rjrkrmr$r%юs╛ cCs6t|jГt|jГkrtjStddДt|j|jГDГОS)Ncss|]\}}|а|бVqdSr)rВ)r<r=┌jr r r$r>Цr?r@)rur2rrr┌zipr/r!r r r$r%Тsc Csbtjtjf}|t|ОkrF|j|j}}|jsB||vsB|jsB||vrF|S|а|бsTdSd}|j|j kРrD|j|j kРrD|j|jkrО|j}|j }n<|j|jkrи|j}|j }n"tt||gГГdj}|j p╚|j }|j |j krф|j }|j } n@|j |j kРr|j }|j } n$tt||gГГdj }|j Рp"|j } ||dkРrH|Рs>| РrHd}nd}|РrTtjSt|||| ГS)NFrT)r┌NegativeInfinityrMr┌left┌rightrtZ_is_comparablerKrLrАryr rБr) r"r#Zinfty┌lrO┌emptyrKrАrLrБr r r$r%Щs> cCstjSr)rrr!r r r$r%╦scCs|Srr r!r r r$r%╧scCst|j|j@ОSr)rZ _elementsr!r r r$r%╙scs2ztЗfddД|DГОWSty,YdS0dS)Ncsg|]}|Иvr|СqSr r )r<┌elйr#r r$┌ ┌r?z_..)rrzr!r rСr$r%╫scCsdSrr r!r r r$r%▐scCs|Srr r!r r r$r%тscCs|Srr r!r r r$r%цscCs|Srr r!r r r$r%ъscCsvz\ddlm}m}|jtjur0|jtjur0|WStt |j ||jГГ||jГdГ}t ||ГWStypYdS0dS)NrrAr.)rFrBrC┌_infrrЛZ_suprMrrGrHrМrНr┌ ValueError)r"r#rBrCrhr r r$┌_intlike_intervalюs"rХcCs t||ГSrйrХr!r r r$r%°scCs t||ГSrrЦr!r r r$r%№sN),Zsympy.core.functionrrZsympy.core.mulrZsympy.core.numbersrZsympy.core.relationalrZsympy.core.singletonrZsympy.core.symbolrr Zsympy.core.sortingr Zsympy.sets.fancysetsrZsympy.sets.setsrr rrrZsympy.multipledispatchrZsympy.sets.conditionsetrrrrrrrrrrrZsympy.simplify.radsimprr┌registerr%rХr r r r$┌sА . s $ 1