Re: [Axiom-developer] Re: [Axiom-mail] [Axiom-mail] Lexicographic order

[Martin Rubey]

 > I tried the following and ran out of stack space:
 > 
 > loop : INT -> INT
 > 
 > loop (n) == loop (n)
 > 
 > loop (1)
 > 
 >    >> System error:
 >    Invocation history stack overflow.

Although this is not a nice way for Axiom to fail, two questions:

* is this an instance of tail-recursion?

* what result would you expect?

Martin