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

[Gabriel Dos Reis]

On Tue, 23 Oct 2007, Ralf Hemmecke wrote:

| 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.

No need to apologize.   I just feel like I have been asking for
`meaning', and I almost always get back more codes without semantics I
was looking for.   If every body agrees that that is a construct we
don't have a clear semantics for, then I'll just shut up.

-- Gaby