[Axiom-developer] [#187 trouble with tuples] [#187 trouble with tuples] Tuple and ITUPLE

[William Sit]

Changes 
http://page.axiom-developer.org/zope/mathaction/187TroubleWithTuples/diff
--

Bill Page wrote:
> William Sit wrote:
> 
> > Tuple S is actually the infinite union of DirectProduct?(n,S) over all n.
> 
> What you describe sounds more like InfiniteTuple - another interesting
> but undocumented domain.

No. InfiniteTuple is more like stream. It is conceptually infinite in length. A
construct analogous to Tuple S is Matrix(R), which can have arbitary but finite
dimensions. Matrix(R) is conceptually the union of Matrix(m,n,R) over all m and
n. An object in Tuple S has arbitrary but finite length. 

William

--
forwarded from http://page.axiom-developer.org/zope/mathaction/address@hidden