
From:  Ralf Hemmecke 
Subject:  Re: [Axiomdeveloper] kTuple wish 
Date:  Thu, 29 Mar 2007 20:39:09 +0200 
Useragent:  Thunderbird 2.0b2 (X11/20070116) 
On 03/29/2007 07:37 PM, Martin Rubey wrote:
Dear Ralf, Ralf Hemmecke <address@hidden> 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 AldorTuple constructor is not suitable for what I want. In particular, if T: Tuple PrimitiveType then I T = (Integer, String, Boolean, String) would be one possiblevalue for T.
I guess that "I T" should be "T"?
Of course.
However, an element of T is not a Tuple, since T (not itstype) is nonhomogeneous.
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
[Prev in Thread]  Current Thread  [Next in Thread] 