[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] [#187 trouble with tuples] [#187 trouble with tuples]
From: |
William Sit |
Subject: |
[Axiom-developer] [#187 trouble with tuples] [#187 trouble with tuples] Tuple and ITUPLE |
Date: |
Sat, 02 Jul 2005 11:58:32 -0500 |
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
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Axiom-developer] [#187 trouble with tuples] [#187 trouble with tuples] Tuple and ITUPLE,
William Sit <=