axiom-math
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Axiom-math] Re: [fricas-devel] Re: [open-axiom-devel] [fricas-devel] Re


From: Gabriel Dos Reis
Subject: [Axiom-math] Re: [fricas-devel] Re: [open-axiom-devel] [fricas-devel] Re: [fricas-devel] Re: [fricas-devel] Re: iterators and cartesian product.
Date: Wed, 24 Oct 2007 07:02:35 -0500 (CDT)

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




reply via email to

[Prev in Thread] Current Thread [Next in Thread]