a dStfdd|DrXdSjjrdd tfd d|DrdSdS) Ncss|]}t|ttfVqdSr) isinstancer r .0srrr )_..cSsg|]}t|tr|qSr)r$r r%rrr *r)z_..c3s|]}tj|jkVqdSr)rrr%r"rrr(+r)Fc3s|]}tj|jkVqdSr)rrr%r,rrr(-r)cSs$tt|j|jkt|j|jkgSr)rrrr)s1s2rrr0sz_..c3s|]}|VqdSrrr%r"Z no_overlaprrr(4r))allargsr Z is_nonzero)r"Zb_uZ intervalsrr0rr'scCsD|j|jkrdkr@nn$tt|j|jkt|j|jkgSdS)N)steprrrstoprrrrr7scCsh|jjrd|jr$|jjr$|j|jk}n |j|jk}|jrL|jjrL|j|jk}n |j|jk}t ||gSdSr) r4Z is_positiverinf is_finiteleftrsuprightr)a_rangeZ b_intervalZ cond_leftZ cond_rightrrrr=s  csz |j}WntyYdS0|tkr0dStdd|jDrZtfdd|DSt|}t}d}D]Z}|jr||nt |j rn|d7}|d8}t|||krdSt|dkrrdSqrdSdS)NFcss|]}|tVqdSr)Zhasr)r&argrrrr(Sr)r*c3s|]}|VqdSrcontainsr&x b_finitesetrrr(Tr)rr3T) size ValueErrorlenanyr2rsetZ is_Integerdiscardr is_integer)r;rBZa_sizeZa_setZ b_remainingZ cnt_candidaterrrArrJs.      cCs|jjr dSdSrr Zis_extended_nonzero)r"Zb_rangerrrrlscCs|jjr dSdSrrJ)r"Z b_rationalsrrrrqscCsdSNTrrrrrrvscCsdSrrrrrrrzscCsdSrrrrrrr~scCsdSrrrrrrrscCsdSrKrrrrrrscCsdSrrrrrrrscstfdd|DS)Nc3s|]}|VqdSrr=r?r#rrr(r)r*)r)Za_psr#rrLrrsN)Zsympy.core.singletonrZsympy.core.symbolrZsympy.core.logicrrrrZsympy.core.relationalrZsympy.sets.setsr r r r r Zsympy.sets.fancysetsrrrrZsympy.multipledispatchrZNaturalsZ Naturals0ZIntegersZ _inf_setsrregisterrrrrrsP                !