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

Ralf Hemmecke <[email protected]> Wed, 24 Oct 2007 02:10:38 +0200

Newsgroups	gmane.comp.mathematics.axiom.general
Message-ID	<[email protected]>

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