I have seen your definitions of Partial and Generator before, but I am not
quite sure whether they are needed.
Yes, I need them, since I don't want to create all the 848456353 binary forests
at once.
I think you forgot to tell the number of nodes for the above number. ;-)
Well, it is clear that you don't want to reserve so much memory at once.
But I don't have any idea how to do this nicely. That is the reason, why
this mail also goes to axiom-developer.
The problem is in aldor-combinat we have huge structures which are
generated on the fly and generated on demand in a "Generator" structure.
So we have a function
structures: SetSpecies(L) -> Generator %
The problem now is, if I call "g := structures(s)" inside an Axiom
session, one cannot simply step this generator in a form like
for x in g repeat {...}
Is there somebody knowing the internals of Axiom (and maybe Aldor) who
could help to make such a "for" statement work?
Ralf
_______________________________________________
Axiom-developer mailing list
[email protected]
http://lists.nongnu.org/mailman/listinfo/axiom-developer
