[Maxima-bugs] [ maxima-Bugs-2826632 ] Taylor of double diff error

[SourceForge.net <no...@so...>]

Bugs item #2826632, was opened at 2009-07-24 09:30
Message generated for change (Comment added) made by robert_dodier
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=104933&aid=2826632&group_id=4933

Please note that this message will contain a full copy of the comment thread,
including the initial issue submission, for this request,
not just the latest update.
Category: Lisp Core - Taylor
Group: None
Status: Open
Resolution: None
Priority: 5
Private: No
Submitted By: Stavros Macrakis (macrakis)
Assigned to: Nobody/Anonymous (nobody)
Summary: Taylor of double diff error

Initial Comment:
taylor(diff(f(x,y),x,1,y,1),x,0,1);
Maxima encountered a Lisp error:

 Error in PROGN [or a callee]: Bind stack overflow.



----------------------------------------------------------------------

>Comment By: Robert Dodier (robert_dodier)
Date: 2009-07-25 22:25

Message:
Looks like TAYLOR2 calls TSDIFF which calls TAYLOR2 ... Here are the frames
at the bottom of the stack.

43576: (TAYLOR2 ((%DERIVATIVE SIMP) (($F SIMP) $X $Y) $X 1 $Y 1))
43577: (TSDIFF
        (($F SIMP) $X $Y)
        ($X 1 $Y 1)
        ((%DERIVATIVE SIMP) (($F SIMP) $X $Y) $X 1 $Y 1))
43578: (TAYLOR2 ((%DERIVATIVE SIMP) (($F SIMP) $X $Y) $X 1 $Y 1))
43579: (TSDIFF
        (($F SIMP) $X $Y)
        ($X 1 $Y 1)
        ((%DERIVATIVE SIMP) (($F SIMP) $X $Y) $X 1 $Y 1))
43580: (TAYLOR2 ((%DERIVATIVE SIMP) (($F SIMP) $X $Y) $X 1 $Y 1))
43581: (TAYLOR3 ((%DERIVATIVE SIMP) (($F SIMP) $X $Y) $X 1 $Y 1))
43582: (TAYLOR1
        ((%DERIVATIVE SIMP) (($F SIMP) $X $Y) $X 1 $Y 1)
        ((($X ((1 . 1)) 0 NIL))))
43583: (TAYLOR* ((%DERIVATIVE SIMP) (($F SIMP) $X $Y) $X 1 $Y 1) ($X 0
1))
43584: ($TAYLOR ((%DERIVATIVE SIMP) (($F SIMP) $X $Y) $X 1 $Y 1) $X 0 1)
43585: (MEVAL1 #<unavailable argument>)
43586: (MEVAL (($TAYLOR) (($DIFF) (($F) $X $Y) $X 1 $Y 1) $X 0 1))
43587: (MEVAL* (($TAYLOR) (($DIFF) (($F) $X $Y) $X 1 $Y 1) $X 0 1))
43588: (TOPLEVEL-MACSYMA-EVAL
        (($TAYLOR) (($DIFF) (($F) $X $Y) $X 1 $Y 1) $X 0 1))
43589: (CONTINUE #<SYNONYM-STREAM :SYMBOL SB-SYS:*STDIN* {9136819}> NIL)
43590: (MACSYMA-TOP-LEVEL
        #<SYNONYM-STREAM :SYMBOL SB-SYS:*STDIN* {9136819}>
        NIL)
43591: (RUN)
43592: (SB-INT:SIMPLE-EVAL-IN-LEXENV (RUN) #<NULL-LEXENV>)
43593: (SB-IMPL::PROCESS-EVAL-OPTIONS ("(cl-user::run)"))
43594: (SB-IMPL::TOPLEVEL-INIT)
43595: ((LABELS SB-IMPL::RESTART-LISP))


----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=104933&aid=2826632&group_id=4933