[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-math] Re: [open-axiom-devel] missing exports in Finite DirectProd
From: |
Ralf Hemmecke |
Subject: |
[Axiom-math] Re: [open-axiom-devel] missing exports in Finite DirectProduct and Product |
Date: |
Thu, 18 Oct 2007 18:16:16 +0200 |
User-agent: |
Thunderbird 2.0.0.6 (X11/20070728) |
Hi Francois,
But is it possible to have an intrinsic loop than an integer loop ?
Dom := OVAR [aa,bb,cc,dd,ee,ff,gg,hh,ii,jj,kk,ll]
[i for i in dd..ee]
What a question...
Your problem is only because you are struggeling with Axiom.
In Aldor there is only *one* "for" construction and that looks like
for x in g
where g is of type Generator(Something).
Don't be misled if you see something like
for x in 1..10
in Aldor. If the object after "in" is not a Generator(?) then the
compiler throws in the function "generator". So the above is actually
the same as
for x in generator(1..10)
Voila, again a Generator(Integer). The question now is whether there is
a function
generator: Segment(Integer) -> Generator(Integer)
Of course there is. (OK, in LibAldor, it is actually IntegerSegment.)
So what you see here is that you would have to implement something of
that provides a function
..
Right. "Two dots" is a library *function* and not a built-in thing.
This now equally applies to SPAD and the Axiom library. You find the
definition of ".." in seg.spad.pamphlet.
Well, maybe that doesn't help you too much.
Ralf