Re: [open-axiom-devel] [fricas-devel] Re: [fricas-devel] Re: iterators and cartesian product.

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 be
> given 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