a  ¬>> from sympy import PowerSet, S, FiniteSet A power set of a finite set: >>> PowerSet(FiniteSet(1, 2, 3)) PowerSet({1, 2, 3}) A power set of an empty set: >>> PowerSet(S.EmptySet) PowerSet(EmptySet) >>> PowerSet(PowerSet(S.EmptySet)) PowerSet(PowerSet(EmptySet)) A power set of an infinite set: >>> PowerSet(S.Reals) PowerSet(Reals) Evaluating the power set of a finite set to its explicit form: >>> PowerSet(FiniteSet(1, 2, 3)).rewrite(FiniteSet) FiniteSet(EmptySet, {1}, {2}, {3}, {1, 2}, {1, 3}, {2, 3}, {1, 2, 3}) References ========== .. [1] https://en.wikipedia.org/wiki/Power_set .. [2] https://en.wikipedia.org/wiki/Axiom_of_power_set Ncs<|durtj}t|ƒ}t|tƒs.td |¡ƒ‚tƒ ||¡S)Nz{} must be a set.) rÚevaluaterÚ isinstancerÚ ValueErrorÚformatÚsuperÚ__new__)ÚclsÚargr ©Ú __class__©úc/Users/vegardjervell/Documents/master/model/venv/lib/python3.9/site-packages/sympy/sets/powerset.pyrEs  zPowerSet.__new__cCs |jdS)Nr)Úargs©ÚselfrrrrPsz PowerSet.argcOs|j}|jr| ¡SdS©N)rZ is_FiniteSetZpowerset)rrÚkwargsrrrrÚ_eval_rewrite_as_FiniteSetTsz#PowerSet._eval_rewrite_as_FiniteSetÚothercCst|tƒsdSt|j |¡ƒSr)r rrrZ is_superset©rrrrrÚ _containsZs zPowerSet._containscCst|tƒr|j |j¡SdSr)r r rZ is_subsetrrrrÚ_eval_is_subsetas zPowerSet._eval_is_subsetcCsdt|jƒS)Né)ÚlenrrrrrÚ__len__eszPowerSet.__len__ccsXtjg}tjV|jD]<}g}t|ƒ}|D]}||}|V| |¡q*| |¡qdSr)rZEmptySetrr ÚappendÚextend)rÚfoundÚxÚtempÚyÚnewrrrÚ__iter__hs  zPowerSet.__iter__)N)Ú__name__Ú __module__Ú __qualname__Ú__doc__rÚpropertyrrrÚNotImplementedrr r#r+Ú __classcell__rrrrr s:   r N)Zsympy.core.decoratorsrZsympy.core.parametersrZsympy.core.logicrZsympy.core.singletonrZsympy.core.sympifyrZsetsrr r rrrrÚs