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