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

[Bill Page]

On 10/23/07, Ralf Hemmecke wrote:
>
> >>> |   Product(1..9,1..4)
> >>> What would be its meaning?
> >
> > If '1..9' and '1..4' are domains then the meaning of 'Product' is
> > already given by the existing domain constructor 'Product' in the
> > Axiom library
>
> 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).

Regards,
Bill Page.