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

>> Seems OK, but, of course the _domain_ 1..9 is then inappropriate in a
>> construction like
>>
>>    for i in 1..9 repeat ...
>>
>> don't you agree?
>>
> 
> No. My proposal also includes the idea that the construct
> 
>     for i in X repeat
> 
> should expect X to be any domain that supplies a generator (like Aldor).

In Aldor, at the place of X there must be an element of type 
"Generator(Something)", not a domain. Well, if you have somewhere a 
function

   generator: T -> Generator(Something)

(where T is the type of X) around, then Aldor should be able to silently 
insert that function for you.

I must say, I am totally happy with just *one* "for" construction. I am 
currently not seeing much use in the domain 1..9, i.e. the finite set 
{1, ..., 9}.

Ralf