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
_______________________________________________
Axiom-math mailing list
[email protected]
http://lists.nongnu.org/mailman/listinfo/axiom-math
