On 03/29/2007 07:37 PM, Martin Rubey wrote:
Dear Ralf,
Ralf Hemmecke <[EMAIL PROTECTED]> 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
_______________________________________________
Axiom-developer mailing list
[email protected]
http://lists.nongnu.org/mailman/listinfo/axiom-developer
