Re: [Axiom-developer] RE: Tail recursion (what does")clear all" NOTdo?)

[William Sit]

root wrote:
> 
> William,
> 
> )clear all
> 
> does not clear the cached functions. Try
> 
> )clear completely
> 
> Tim

Here's a new transcript (not as extensive as previous), but symmetry is still
broken.

Transcript 3:
                        AXIOM Computer Algebra System
              Version of Tuesday November 30, 2004 at 21:11:14
-----------------------------------------------------------------------------
   Issue )copyright to view copyright notices.
   Issue )summary for a summary of useful system commands.
   Issue )quit to leave AXIOM and return to shell.
-----------------------------------------------------------------------------

(1) -> )set mess autoload off
(1) -> )set functions compile on

[Comments: Trial AA]

(1) -> f:INT->INT
                                                                   Type: Void
(2) -> g:INT->INT
                                                                   Type: Void
(3) -> f(n)==g(n)
                                                                   Type: Void
(4) -> g(n)==f(n)
                                                                   Type: Void
(5) -> f(2)
   Compiling function g with type Integer -> Integer
(5) -> g(1)

   >> System error:
   The function |*1;f;1;initial| is undefined.

protected-symbol-warn called with (NIL)

[Comments: Trial BB, same as AA]

(5) -> )clear completely
   All user variables and function definitions have been cleared.
   All )browse facility databases have been cleared.
   Internally cached functions and constructors have been cleared.
   )clear completely is finished.
(1) -> f:INT->INT
                                                                   Type: Void
(2) -> g:INT->INT
                                                                   Type: Void
(3) -> f(n)==g(n)
                                                                   Type: Void
(4) -> g(n)==f(n)
                                                                   Type: Void
(5) -> f(2)
   Compiling function g with type Integer -> Integer
(5) -> g(1)

   >> System error:
   The function |*1;f;1;initial| is undefined.

protected-symbol-warn called with (NIL)

[Comments: Trial CC, with g and f reversed in (5)]

(5) -> )clear completely
   All user variables and function definitions have been cleared.
   All )browse facility databases have been cleared.
   Internally cached functions and constructors have been cleared.
   )clear completely is finished.
(1) -> f:INT->INT
                                                                   Type: Void
(2) -> g:INT->INT
                                                                   Type: Void
(3) -> f(n)==g(n)
                                                                   Type: Void
(4) -> g(n)==f(n)
                                                                   Type: Void
(5) -> g(2)
   Compiling function f with type Integer -> Integer
(5) -> f(1)

   >> System error:
   Invocation history stack overflow.

protected-symbol-warn called with (NIL)
(5) ->

[Comments on Trial CC: why? Now Trial DD, same as CC]

(5) -> )clear completely
   All user variables and function definitions have been cleared.
   All )browse facility databases have been cleared.
   Internally cached functions and constructors have been cleared.
   )clear completely is finished.
(1) -> f:INT->INT
                                                                   Type: Void
(2) -> g:INT->INT
                                                                   Type: Void
(3) -> f(n)==g(n)
                                                                   Type: Void
(4) -> g(n)==f(n)
                                                                   Type: Void
(5) -> g(2)
   Compiling function f with type Integer -> Integer
(5) -> f(1)

   >> System error:
   Invocation history stack overflow.

protected-symbol-warn called with (NIL)

[Comments:ok; Now trial EE, reversing back to AA]
(5) -> )clear completely
   All user variables and function definitions have been cleared.
   All )browse facility databases have been cleared.
   Internally cached functions and constructors have been cleared.
   )clear completely is finished.
(1) -> f:INT->INT
                                                                   Type: Void
(2) -> g:INT->INT
                                                                   Type: Void
(3) -> f(n)==g(n)
                                                                   Type: Void
(4) -> g(n)==f(n)
                                                                   Type: Void
(5) -> f(2)
   Compiling function g with type Integer -> Integer
(5) -> g(1)

   >> System error:
   Invocation history stack overflow.

protected-symbol-warn called with (NIL)
(5) ->

[COmments:Trial EE: This differs from AA.]

Final comments: ")clear completely" does not seem to clear completely either.
Symmetry is still broken.

William

-- 
William Sit
Department of Mathematics....Email: address@hidden
City College of New York................Tel: 212-650-5179
Convent Ave at West 138th Street........Fax: 212-862-0004
New York, NY 10031..Axiom, A Scientific Computation Sytem
USA............... http://www.nongnu.org/axiom/index.html