a  ¬>> from sympy import Symbol, S, ConditionSet, pi, Eq, sin, Interval >>> from sympy.abc import x, y, z >>> sin_sols = ConditionSet(x, Eq(sin(x), 0), Interval(0, 2*pi)) >>> 2*pi in sin_sols True >>> pi/2 in sin_sols False >>> 3*pi in sin_sols False >>> 5 in ConditionSet(x, x**2 > 4, S.Reals) True If the value is not in the base set, the result is false: >>> 5 in ConditionSet(x, x**2 > 4, Interval(2, 4)) False Notes ===== Symbols with assumptions should be avoided or else the condition may evaluate without consideration of the set: >>> n = Symbol('n', negative=True) >>> cond = (n > 0); cond False >>> ConditionSet(n, cond, S.Integers) EmptySet Only free symbols can be changed by using `subs`: >>> c = ConditionSet(x, x < 1, {x, z}) >>> c.subs(x, y) ConditionSet(x, x < 1, {y, z}) To check if ``pi`` is in ``c`` use: >>> pi in c False If no base set is specified, the universal set is implied: >>> ConditionSet(x, x < 1).base_set UniversalSet Only symbols or symbol-like expressions can be used: >>> ConditionSet(x + 1, x + 1 < 1, S.Integers) Traceback (most recent call last): ... ValueError: non-symbol dummy not recognized in condition When the base set is a ConditionSet, the symbols will be unified if possible with preference for the outermost symbols: >>> ConditionSet(x, x < y, ConditionSet(z, z + y < 2, S.Integers)) ConditionSet(x, (x < y) & (x + y < 2), Integers) csštˆƒ‰tˆgƒ}t|ƒr"tdƒ‚t|ƒ}t|tƒs@td|ƒ‚tˆƒ‰tˆtƒrˆˆ}dd„ˆDƒ}t|Ž‰t d|›dˆ›ddd d t ˆƒ‰ˆt j urž|Sˆt j ur®t jS|t jur¾t jS|D]}t|d d ƒsÂtd |ƒ‚qÂ| ˆ¡t j urtdˆ|fƒ‚d}t|tƒrVt|‡‡fdd„ƒ} | drJt| dŽ}t| dŽ}n t| dŽSt|ˆƒr4|j\} } } ‡fdd„} t| ˆ| fƒ\}}||kržtdƒ‚tttˆgƒt| gƒƒƒ}| ˆkrÒtˆ| ƒ‰| }nb| jˆj@sdd„| ¡Dƒ}tˆ|  |¡ƒ‰| }n,ˆj| j@s4ˆ |¡‰tˆ |¡| ƒ‰| }tˆtƒrrˆˆjdkrrtˆjdtƒrrˆjd |¡St ˆˆˆ|¡}|dur|St||ƒS)NzDuplicate symbols detectedz'base set should be a Set object, not %scss|]}t|dƒVqdS)rNr)Ú.0Úlhs©rúg/Users/vegardjervell/Documents/master/model/venv/lib/python3.9/site-packages/sympy/sets/conditionset.pyÚ eóz'ConditionSet.__new__..zq Using a set for the condition in ConditionSet is deprecated. Use a boolean instead. In this case, replace z with Ú z1.5zdeprecated-conditionset-set)Zdeprecated_since_versionZactive_deprecations_targetÚ _diff_wrtFz`%s` is not symbol-likez sym `%s` is not in base_set `%s`cstˆ ˆ|¡ƒS©N)rÚsubs)Ú_)Ú conditionÚsymrrÚŽrz&ConditionSet.__new__..Tcsˆ|ttdƒƒ ¡jS©Nr)r ÚadummyZas_dummyr$)Ús)ÚclsrrÚsig—sz!ConditionSet.__new__..sigz"sym does not match sym of base setcSsi|]\}}||“qSrr)rÚkÚvrrrÚ ¡rz(ConditionSet.__new__..rr)r rrrÚ isinstancerÚ TypeErrorrr rr rÚtrueÚfalseZEmptySetÚgetattrÚ ValueErrorÚcontainsrÚargsÚmapÚdictÚzipÚ free_symbolsÚitemsZxreplacerZ intersectrÚ__new__r)r)r$r#Úbase_setZflatZcondition_origÚtempÚiZknowZsiftedr(ÚcÚbr*ÚsaZsbZrepsÚrvr)r)r#r$rr;Xs†  ÿ ú ö ò     ÿ          zConditionSet.__new__cCs |jdSr&©r5©Úselfrrrr%±rzConditionSet.cCs |jdS)NrrCrDrrrr%²rcCs |jdS)NérCrDrrrr%³rcCs|jj|jj}||jjBSr )r#r9r$r<)rEZ cond_symsrrrr9µszConditionSet.free_symbolscCs t|jgƒSr )rr$rDrrrÚ bound_symbolsºszConditionSet.bound_symbolscs†‡fdd„‰ˆ|j|ƒstjSt||jƒ}|tjur:tjSt|jf|jƒ}z ||ƒ}Wn tyvt||ddYS0t||ƒSdS)Ncs`dd„||fDƒ}| d¡}|dkr(dS|dkr4dSt|ƒt|ƒko^t‡fdd„t||ƒDƒƒS) NcSsg|]}t|tƒ‘qSr)r.r)rr>rrrÚ Àrz:ConditionSet._contains..ok_sig..TrFrc3s|]\}}ˆ||ƒVqdSr r)rr>Új©Úok_sigrrrÆsz9ConditionSet._contains..ok_sig..)ÚcountÚlenÚallr8)Úar@Ztuplesr?rJrrrK¿s ÿz&ConditionSet._contains..ok_sigF)Úevaluate) r$rr1rr<rr#r/r )rEÚotherZ base_condZlamdaZ lambda_condrrJrÚ _contains¾s     zConditionSet._containscCs>t|j|jƒ}t|jtƒr$||Ž}n||ƒ}t||j |¡ƒSr )rr$r#r.rr r<r4)rErQÚfrrrÚ as_relationalÛs   zConditionSet.as_relationalc Cs‚|j\}}}| |t¡}| t¡}| ||¡}||krT|sF| ||¡}| |||¡S|rZnt|ddƒrt| ||¡}n| |||¡S)NrF)r5r!r'ZhasÚfuncr2) rEÚoldÚnewr$ZcondÚbaseZdsymZinsymZnewbaserrrÚ _eval_subsãs      zConditionSet._eval_subsN)Ú__name__Ú __module__Ú __qualname__Ú__doc__rZ UniversalSetr;Úpropertyr$r#r<r9rGrRrTrYrrrrrsDY     rN)"Zsympy.core.singletonrZsympy.core.basicrZsympy.core.containersrZsympy.core.functionrrZsympy.core.logicrZsympy.core.relationalr Zsympy.core.symbolr Zsympy.core.sympifyr Zsympy.logic.boolalgr r Zsympy.utilities.iterablesrrrZsympy.utilities.exceptionsrr4rZsetsrrrr'rrrrrÚs