Menu
Search

Forums

Forum Index

February 07, 2012
Gravatar of Manfred NowakPosted by Manfred NowakReply
Manfred Nowak
Gravatar of Manfred Nowak


Reply
Goal: show some skill of D for implementing mathematics.

A definition:

Let T1, T2, T3 be sets. A problem P of type ( T1, T2, T3) is
interpretable as a function from the domain
   cartesian product of T1 and powerset of T2
to the codomain
   T3.

Objective: Present code, that is usefull for all P, i.e. for all variations of ( T1, T2, T3) and all algoritm to compute the map from the domain to the codomain.

-manfred
February 07, 2012
Gravatar of Timon GehrPosted by Timon Gehr
in reply to Manfred Nowak		Reply
Timon Gehr
Gravatar of Timon Gehr
Posted in reply to Manfred Nowak


Reply
On 02/07/2012 08:16 PM, Manfred Nowak wrote:
> Goal: show some skill of D for implementing mathematics.
>
> A definition:
>
> Let T1, T2, T3 be sets. A problem P of type ( T1, T2, T3) is
> interpretable as a function from the domain
>     cartesian product of T1 and powerset of T2
> to the codomain
>     T3.
>
> Objective: Present code, that is usefull for all P, i.e. for all
> variations of ( T1, T2, T3) and all algoritm to compute the map from
> the domain to the codomain.
>
> -manfred

T3 foo(T1,Set!T2);