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

On Tue, 23 Oct 2007, Bill Page wrote:

| But as I said earlier in this thread, this sort of construction is not
| as general as I would hope for. How would I write for example?
| 
|   [i for i in Product(OVAR [a,b,c], 1..3)]
| 
|               [ (a,1), (a,2), (a,3), (b,1), ... ]

My fundemantal issue to understand is making 1..9 a domain.  I'm fine
with no having the most general construct, but I'm concerned with
semantics and typeing rules.  In general, I'm suspicious of any
extension that is driven by just syntax.

-- Gaby