[Axiom-developer] [#187 trouoble with tuples] (new)

[billpage]

Changes 
http://page.axiom-developer.org/zope/mathaction/187TrouobleWithTuples/diff
--
There error messages indicate some serious problems
with the Axiom Tuple domain::

  System error: The function |Domain| is undefined.
  The constructor Tuple takes 1 argument and you have given  2

Axioim allows functions to have a tuple as input but it
fails if a function generates two or more outputs.

For example:
\begin{axiom}
f:(INT,INT)->INT,INT
g:INT->(INT,INT)
List Any
DirectProduct(2,Any)
Tuple Any
\end{axioms}

Tuple Any should work in a similar way to List Any and
DirectProduct(2,Any).

Axiom's non-homogeneous Record and Union domains are
functionally superior but the tuple construct but it makes
functional notation awkward. See [SandBox Direct Product]
--
forwarded from http://page.axiom-developer.org/zope/mathaction/address@hidden