====================================================================
Product examples
====================================================================

The direct product of two functions over the same domain is 
another function over that domain whose co-domain is the product
of their co-domains.

So we can define two functions, f and g, that go from INT -> INT

   f:=(x:INT):INT +-> 3*x
   g:=(x:INT):INT +-> x^3

so 
    f(3) is 9
    g(3) is 27

and we can construct the direct product of those functions h=f,g

   h(x:INT):Product(INT,INT) == makeprod(f x, g x)

so 
   h(3) is (9,27)

See Also:
o )show Product

