An accidental input typo when the domain EXPR is traced caused BIND stack overflow. Correcting the typo does not return the system to expected behavior.

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) -> f == (-3.0)**n
Type: Void
(2) -> )set mess autoload off
(2) -> eval(f, n-3)
Compiling body of rule f to compute value of type Expression Float
There are 10 exposed and 4 unexposed library operations named eval
having 2 argument(s) but none was determined to be applicable.
Use HyperDoc Browse, or issue
)display op eval
to learn more about the available operations. Perhaps
package-calling the operation or using coercions on the arguments
will allow you to apply the operation.

Cannot find a definition or applicable library operation named eval
with argument type(s)
Expression Float
Polynomial Integer

Perhaps you should use "@" to indicate the required return type,
or "$" to specify which version of the function you need.
(2) -> )trace EXPR )math

Packages traced:
Expression Float, Expression Integer
Parameterized constructors traced:
EXPR
(2) -> eval(f, n-3)
1exit Expression.coerce,83
>> System error:
Bind stack overflow.

protected-symbol-warn called with (NIL)

(2) -> eval(f, n=3)
1exit Expression.coerce,83
>> System error:
Bind stack overflow.

protected-symbol-warn called with (NIL)

Category: Aldor Library Compiler => Axiom Interpreter

Unfortunately, it is currently impossible to

`)tr EXPR )ma`

, a bind stack overflow results always. Somehow, an infinite loop is created - probably for the output routines...

Martin

property change--wyscc, Sat, 12 Nov 2005 17:43:09 -0600 reply