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

[Ralf Hemmecke]

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

Ralf