maxima-bugs

 [Maxima-bugs] [ maxima-Bugs-1100129 ] limit finds not a limit from defint, but finds it from top-l From: SourceForge.net - 2005-01-11 13:05:18 Bugs item #1100129, was opened at 2005-01-11 05:05 Message generated for change (Tracker Item Submitted) made by Item Submitter You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1100129&group_id=4933 Category: Lisp Core Group: None Status: Open Resolution: None Priority: 5 Submitted By: Nobody/Anonymous (nobody) Assigned to: Nobody/Anonymous (nobody) Summary: limit finds not a limit from defint, but finds it from top-l Initial Comment: I found a problem Maxima hangs at, could someone take a look? I tried to solve a definite integration problem, and then I tried to track down the problem in maxima internals. I found that \$limit fails on an expression which is easily solved from top-level. Any ideas on what's happening? One more question: unless I explicilty do (trace sratsimp behavior-by-diff), :bt reporst a stop in \$limit. It take quite a time to type in most of limit.lisp function names to get to the actual time-eater. Please, show me a technique to dig an actual call sequence? -- Andrei Zorine Maxima 5.9.1 http://maxima.sourceforge.net Using Lisp Kyoto Common Lisp GCL 2.6.5 (aka GCL) Distributed under the GNU Public License. See the file COPYING. Dedicated to the memory of William Schelter. This is a development version of Maxima. The function bug_report() provides bug reporting information. (%i1) (sqrt(sqrt(x^2+1)+x)-sqrt(sqrt(x^2+1)-x))/x/(x^2+1); 2 2 SQRT(SQRT(x + 1) + x) - SQRT(SQRT(x + 1) - x) (%o1) ----------------------------------------------- 2 x (x + 1) (%i2) limit(x*%,x,0); (%o2) 0 (%i3) defint(%o1,x,0,inf); Maxima encountered a Lisp error: Console interrupt. Automatically continuing. To reenable the Lisp debugger set *debugger-hook* to nil. (%i4) :lisp(trace sratsimp) (SRATSIMP) (%i4) :lisp(trace behavior-by-diff) (BEHAVIOR-BY-DIFF) (%i5) :lisp(setq *debugger-hook* nil) NIL (%i5) defint(%o1,x,0,inf); console interrupt. Fast links are on: do (use-fast-links nil) for debugging Broken at SYSTEM::CLCS-TERMINAL-INTERRUPT. Type :H for Help. 1 (Continue) Continues execution. 2 (Abort) Return to top level. dbl:MAXIMA>>:bt #0 CLCS-TERMINAL-INTERRUPT {loc0=t} [ihs=17] #1 TRACE-CALL {temp-name=nil,args=nil,cond=nil,entrycond=((system::arglist (#))),entry=nil,exi...} [ihs=16] #2 SRATSIMP {(#0=(mplus . #1=(simp)) (#2=(mtimes . #1#) (#3=# -1 2) (#4=# #5=# -1) ...) (#2#...} [ihs=15] #3 TRACE-CALL {temp-name=nil,args=(#0=(mplus . #1=(simp)) (#2=(mtimes . #1#) (#3=# -1 2) (#4=#...} [ihs=14] #4 BEHAVIOR-BY-DIFF {(#0=(mplus . #1=(simp)) (#2=(mtimes . #1#) -1 (#3=# # -1) ...) (#2# (#3# # -1) ...} [ihs=13] #5 \$LIMIT {loc0=((mtimes . #0=(simp)) (#1=(mexpt . #0#) (#2=# 1 #) -1) (#2# (# -1 #) (#1# ...} [ihs=12] #6 LIMIT-NO-ERR {loc0=((mtimes . #0=(simp)) (#1=(mexpt . #0#) (#2=# 1 #) -1) (#2# (# -1 #) (#1# ...} [ihs=11] #7 MACSYMA-TOP-LEVEL {input-stream=:internal,batch-flag=|\$inf|,loc2=nil,loc3=string-char,loc4="0",loc...} [ihs=10] #8 RUN {} [ihs=6] #9 TOP-LEVEL {loc0=nil,loc1=nil,loc2=nil,loc3=(lambda-block run nil ...)} [ihs=5] #10 FUNCALL {loc0=#,loc1=nil,loc2=0,loc3=0,loc4=nil,loc5...} [ihs=4] NIL ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1100129&group_id=4933
 [Maxima-bugs] [ maxima-Bugs-1100129 ] limit finds not a limit from defint, but finds it from top-l From: SourceForge.net - 2006-04-09 20:40:12 Bugs item #1100129, was opened at 2005-01-11 06:05 Message generated for change (Settings changed) made by robert_dodier You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1100129&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 - Limit Group: None Status: Open Resolution: None Priority: 5 Submitted By: Nobody/Anonymous (nobody) Assigned to: Nobody/Anonymous (nobody) Summary: limit finds not a limit from defint, but finds it from top-l Initial Comment: I found a problem Maxima hangs at, could someone take a look? I tried to solve a definite integration problem, and then I tried to track down the problem in maxima internals. I found that \$limit fails on an expression which is easily solved from top-level. Any ideas on what's happening? One more question: unless I explicilty do (trace sratsimp behavior-by-diff), :bt reporst a stop in \$limit. It take quite a time to type in most of limit.lisp function names to get to the actual time-eater. Please, show me a technique to dig an actual call sequence? -- Andrei Zorine Maxima 5.9.1 http://maxima.sourceforge.net Using Lisp Kyoto Common Lisp GCL 2.6.5 (aka GCL) Distributed under the GNU Public License. See the file COPYING. Dedicated to the memory of William Schelter. This is a development version of Maxima. The function bug_report() provides bug reporting information. (%i1) (sqrt(sqrt(x^2+1)+x)-sqrt(sqrt(x^2+1)-x))/x/(x^2+1); 2 2 SQRT(SQRT(x + 1) + x) - SQRT(SQRT(x + 1) - x) (%o1) ----------------------------------------------- 2 x (x + 1) (%i2) limit(x*%,x,0); (%o2) 0 (%i3) defint(%o1,x,0,inf); Maxima encountered a Lisp error: Console interrupt. Automatically continuing. To reenable the Lisp debugger set *debugger-hook* to nil. (%i4) :lisp(trace sratsimp) (SRATSIMP) (%i4) :lisp(trace behavior-by-diff) (BEHAVIOR-BY-DIFF) (%i5) :lisp(setq *debugger-hook* nil) NIL (%i5) defint(%o1,x,0,inf); console interrupt. Fast links are on: do (use-fast-links nil) for debugging Broken at SYSTEM::CLCS-TERMINAL-INTERRUPT. Type :H for Help. 1 (Continue) Continues execution. 2 (Abort) Return to top level. dbl:MAXIMA>>:bt #0 CLCS-TERMINAL-INTERRUPT {loc0=t} [ihs=17] #1 TRACE-CALL {temp-name=nil,args=nil,cond=nil,entrycond=((system::arglist (#))),entry=nil,exi...} [ihs=16] #2 SRATSIMP {(#0=(mplus . #1=(simp)) (#2=(mtimes . #1#) (#3=# -1 2) (#4=# #5=# -1) ...) (#2#...} [ihs=15] #3 TRACE-CALL {temp-name=nil,args=(#0=(mplus . #1=(simp)) (#2=(mtimes . #1#) (#3=# -1 2) (#4=#...} [ihs=14] #4 BEHAVIOR-BY-DIFF {(#0=(mplus . #1=(simp)) (#2=(mtimes . #1#) -1 (#3=# # -1) ...) (#2# (#3# # -1) ...} [ihs=13] #5 \$LIMIT {loc0=((mtimes . #0=(simp)) (#1=(mexpt . #0#) (#2=# 1 #) -1) (#2# (# -1 #) (#1# ...} [ihs=12] #6 LIMIT-NO-ERR {loc0=((mtimes . #0=(simp)) (#1=(mexpt . #0#) (#2=# 1 #) -1) (#2# (# -1 #) (#1# ...} [ihs=11] #7 MACSYMA-TOP-LEVEL {input-stream=:internal,batch-flag=|\$inf|,loc2=nil,loc3=string-char,loc4="0",loc...} [ihs=10] #8 RUN {} [ihs=6] #9 TOP-LEVEL {loc0=nil,loc1=nil,loc2=nil,loc3=(lambda-block run nil ...)} [ihs=5] #10 FUNCALL {loc0=#,loc1=nil,loc2=0,loc3=0,loc4=nil,loc5...} [ihs=4] NIL ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1100129&group_id=4933