[Aldor-l] [Axiom-developer] kTuple wish

[Ralf Hemmecke]

On 03/29/2007 07:37 PM, Martin Rubey wrote:
> Dear Ralf,
> 
> Ralf Hemmecke <ralf at hemmecke.de> writes:
> 
>> Suppose I want to write a domain that takes a finite number of domains
>> satisfying a certain category "LabelType".
>>
>> I write kTuple instead of Tuple, because the Aldor-Tuple constructor
>> is not suitable for what I want. In particular, if
>>
>>    T: Tuple PrimitiveType
>>
>> then I T = (Integer, String, Boolean, String) would be one possible
>> value for T. 

> I guess that "I T" should be "T"? 

Of course.

>> However, an element of T is not a Tuple, since T (not its
>> type) is non-homogeneous. 

> Did you want to say: "an element of T is not a PrimitiveType"?

If T = (Integer, String) then by "element" I neither meant Integer nor 
String, but rather a t so that t: T.

Try to show me such a t. And then try to convince me that it is a Tuple.

Ralf