[Axiom-developer] [#232 Trace causes Bind Stack Overflow from erroneous input] (new)

[wyscc]

Changes 
http://page.axiom-developer.org/zope/mathaction/232TraceCausesBindStackOverflowFromErroneousInput/diff
--
                        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)
1<enter Expression.coerce,83 :
 arg1= - 3.0
1>exit  Expression.coerce,83
   >> System error:
   Bind stack overflow.

protected-symbol-warn called with (NIL)
(2) -> eval(f, n=3)
1<enter Expression.coerce,83 :
 arg1= - 3.0
1>exit  Expression.coerce,83
   >> System error:
   Bind stack overflow.

protected-symbol-warn called with (NIL)
--
forwarded from http://page.axiom-developer.org/zope/mathaction/address@hidden