I tested my version before posting; it seems to work just fine.
A choice is being made before recursing:
Choosing H|{PowerSet T} branches to all the subsets including H;
choosing {PowerSet T} branches to all the subsets which don't include H.
On 3/6/06, Harmon Nine <[EMAIL PROTECTED]> wrote:
> I think the "Powerset" function needs a correction: the H|{Powerset T}
> expression won't give you what you want (unless it's a compact
> expression representing the subset of the powerset that contains H).
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
