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