"Bill Page" <[EMAIL PROTECTED]> writes:
[...] | > Intuitively I would expect Variable to mean simply "an | > unspecified specific instance of a Domain/Type/what have you" | > with ALL domains being possible - just so long as you specify | > the type of the variable, e.g.: | > | > a1 : Variable(Matrix Quaternion Fraction Integer) | > | | Suppose there was such a domain constructor named Variable(D: domain) | which had the properties you suggest. What operations would you expect | this domain to export? Would it have the same operations as D? For | example '+'. Given two objects from the domain Variable(Integer), | say 'x' and 'y', what is the type of the result of 'x+y'? Is it | still in Variable(Integer)? FreeMonoid Variable Integer -- Gaby _______________________________________________ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom-developer