|
From: | Ralf Hemmecke |
Subject: | [Axiom-math] Re: [open-axiom-devel] [fricas-devel] Re: [fricas-devel] Re: iterators and cartesian product. |
Date: | Tue, 23 Oct 2007 12:35:32 +0200 |
User-agent: | Thunderbird 2.0.0.6 (X11/20070728) |
On 10/23/2007 12:24 PM, Gabriel Dos Reis wrote:
On Tue, 23 Oct 2007, Ralf Hemmecke wrote: | > What would be its meaning?| | Maybe this one....[aldor code] Am I the only one here who believes that 'meaning' has to be given mathematically, indenpendent of syntax, and typing rules must also begiven too?
Well, I only wanted to demonstrate that Bill might have had the wrong idea when he wanted 1..9 to be a domain instead of an element.
It seems that was not clear. Sorry. Ralf
[Prev in Thread] | Current Thread | [Next in Thread] |