Power set: Difference between revisions
Content added Content deleted
No edit summary |
No edit summary |
||
Line 39: | Line 39: | ||
report z_powerset. |
report z_powerset. |
||
write `P( |
write `P({}) ->`. |
||
perform calculate_powerset using ``. |
perform calculate_powerset using ``. |
||
new-line. |
new-line. |
||
write `P({ |
write `P({ {} }) ->`. |
||
perform calculate_powerset using `{}`. |
perform calculate_powerset using `{}`. |
||
new-line. |
new-line. |
||
Line 82: | Line 82: | ||
<pre> |
<pre> |
||
P( |
P({}) -> { {} } |
||
P({ |
P({ {} }) -> { {} {{}} } |
||
P({ 1 2 3 4 }) -> { {} {1} {2} {12} {3} {13} {23} {123} {4} {14} {24} {124} {34} {134} {234} {1234} } |
P({ 1 2 3 4 }) -> { {} {1} {2} {12} {3} {13} {23} {123} {4} {14} {24} {124} {34} {134} {234} {1234} } |
||
</pre> |
</pre> |