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