On 10/24/07, Gabriel Dos Reis <[EMAIL PROTECTED]> wrote: > 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? >
'1..' is another (better?) name for PositiveInteger So under my proposal 'for i in PositiveInteger repeat' should function identically to the way for i in 1.. repeat works now in the interpreter where '1..' denotes an object of 'UniversalSegment PositiveInteger'. Regards, Bill Page. _______________________________________________ Axiom-math mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-math
