Re: [Axiom-developer] Lazy re-evaluation (was: More AxiomUI)

[Ralf Hemmecke]

Axiom also allows to do something like that...
What should the line (6) f(n) return after a user modified line (5) to
n:=3? Will f(n) return 6 or 7? And what did the user expect?

Ralf

(1) -> k:=1

   (1)  1
                                                        Type:
PositiveInteger
(2) -> f(n)==(free k; k:=k+1; n+k);

Type: Void
(3) -> n:=2

   (3)  2
                                                        Type:
PositiveInteger
(4) -> f(n)
   Compiling function f with type PositiveInteger -> PositiveInteger

   (4)  4
                                                        Type:
PositiveInteger
(5) -> n:=2

   (5)  2
                                                        Type:
PositiveInteger
(6) -> f(n)

   (6)  5
                                                        Type:
PositiveInteger