[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Axiom-developer] Question concerning types...

From: Gabriel Dos Reis
Subject: Re: [Axiom-developer] Question concerning types...
Date: 17 Sep 2006 07:17:57 +0200

"Bill Page" <address@hidden> 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

reply via email to

[Prev in Thread] Current Thread [Next in Thread]