rtoy / maxima

A Clone of Maxima's repo
Other
0 stars 0 forks source link

Taylor of double diff error #390

Open rtoy opened 2 months ago

rtoy commented 2 months ago

Imported from SourceForge on 2024-07-02 19:10:12 Created by macrakis on 2009-07-24 15:30:30 Original: https://sourceforge.net/p/maxima/bugs/1715


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.

rtoy commented 2 months ago

Imported from SourceForge on 2024-07-02 19:10:13 Created by robert_dodier on 2009-07-26 04:25:38 Original: https://sourceforge.net/p/maxima/bugs/1715/#103f


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))