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

On Tue, 23 Oct 2007, Bill Page wrote:

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

so what wouold

       for i in PositiveInteger repeat

does concretely?

-- Gaby