If SPAD provides "Generator" that would be sufficient. In Aldor-Combinat
I have implemented streams and formal power series building on that concept.
I have not checked Axiom, but I guess defining a series like
s: FormalPowerSeries(Integer) := new();
set!(s, 1 + monom * s * s);
is not possible. Am I wrong? Maybe the delay keyword allows it??? (Could
someone show me?)
Of course, I would rather like to write
s := 1 + monom * s * s;
or perhaps with == instead of :=, but that would really require lazyness.
Ralf
On 02/25/2007 08:36 PM, Gabriel Dos Reis wrote:
Hello,
Axiom's implementation of Boot's and Spad source includer
(src/boot/btincl2.boot, src/interp/cstream.boot) uses lazyness (faked
through function "Delay"). This is also variously known as zipper.
My quesion is how much of the complexity introduced by faking
lazyness actually outweight the benefits? Is the lazyness actually
beneficial?
-- Gaby
_______________________________________________
Axiom-developer mailing list
[email protected]
http://lists.nongnu.org/mailman/listinfo/axiom-developer
