Re: For: [your code hear]

2012-02-07 Thread Timon Gehr
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. Ob

For: [your code hear]

2012-02-07 Thread Manfred Nowak
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