You can subscribe to this list here.
2002 
_{Jan}

_{Feb}

_{Mar}

_{Apr}

_{May}

_{Jun}
(67) 
_{Jul}
(61) 
_{Aug}
(49) 
_{Sep}
(43) 
_{Oct}
(59) 
_{Nov}
(24) 
_{Dec}
(18) 

2003 
_{Jan}
(34) 
_{Feb}
(35) 
_{Mar}
(72) 
_{Apr}
(42) 
_{May}
(46) 
_{Jun}
(15) 
_{Jul}
(64) 
_{Aug}
(62) 
_{Sep}
(22) 
_{Oct}
(41) 
_{Nov}
(57) 
_{Dec}
(56) 
2004 
_{Jan}
(48) 
_{Feb}
(47) 
_{Mar}
(33) 
_{Apr}
(39) 
_{May}
(6) 
_{Jun}
(17) 
_{Jul}
(19) 
_{Aug}
(10) 
_{Sep}
(14) 
_{Oct}
(74) 
_{Nov}
(80) 
_{Dec}
(22) 
2005 
_{Jan}
(43) 
_{Feb}
(33) 
_{Mar}
(52) 
_{Apr}
(74) 
_{May}
(32) 
_{Jun}
(58) 
_{Jul}
(18) 
_{Aug}
(41) 
_{Sep}
(71) 
_{Oct}
(28) 
_{Nov}
(65) 
_{Dec}
(68) 
2006 
_{Jan}
(54) 
_{Feb}
(37) 
_{Mar}
(82) 
_{Apr}
(211) 
_{May}
(69) 
_{Jun}
(75) 
_{Jul}
(279) 
_{Aug}
(139) 
_{Sep}
(135) 
_{Oct}
(58) 
_{Nov}
(81) 
_{Dec}
(78) 
2007 
_{Jan}
(141) 
_{Feb}
(134) 
_{Mar}
(65) 
_{Apr}
(49) 
_{May}
(61) 
_{Jun}
(90) 
_{Jul}
(72) 
_{Aug}
(53) 
_{Sep}
(86) 
_{Oct}
(61) 
_{Nov}
(62) 
_{Dec}
(101) 
2008 
_{Jan}
(100) 
_{Feb}
(66) 
_{Mar}
(76) 
_{Apr}
(95) 
_{May}
(77) 
_{Jun}
(93) 
_{Jul}
(103) 
_{Aug}
(76) 
_{Sep}
(42) 
_{Oct}
(55) 
_{Nov}
(44) 
_{Dec}
(75) 
2009 
_{Jan}
(103) 
_{Feb}
(105) 
_{Mar}
(121) 
_{Apr}
(59) 
_{May}
(103) 
_{Jun}
(82) 
_{Jul}
(67) 
_{Aug}
(76) 
_{Sep}
(85) 
_{Oct}
(75) 
_{Nov}
(181) 
_{Dec}
(133) 
2010 
_{Jan}
(107) 
_{Feb}
(116) 
_{Mar}
(145) 
_{Apr}
(89) 
_{May}
(138) 
_{Jun}
(85) 
_{Jul}
(82) 
_{Aug}
(111) 
_{Sep}
(70) 
_{Oct}
(83) 
_{Nov}
(60) 
_{Dec}
(16) 
2011 
_{Jan}
(61) 
_{Feb}
(16) 
_{Mar}
(52) 
_{Apr}
(41) 
_{May}
(34) 
_{Jun}
(41) 
_{Jul}
(57) 
_{Aug}
(73) 
_{Sep}
(21) 
_{Oct}
(45) 
_{Nov}
(50) 
_{Dec}
(28) 
2012 
_{Jan}
(70) 
_{Feb}
(36) 
_{Mar}
(71) 
_{Apr}
(29) 
_{May}
(48) 
_{Jun}
(61) 
_{Jul}
(44) 
_{Aug}
(54) 
_{Sep}
(20) 
_{Oct}
(28) 
_{Nov}
(41) 
_{Dec}
(137) 
2013 
_{Jan}
(62) 
_{Feb}
(55) 
_{Mar}
(31) 
_{Apr}
(23) 
_{May}
(54) 
_{Jun}
(54) 
_{Jul}
(90) 
_{Aug}
(46) 
_{Sep}
(38) 
_{Oct}
(60) 
_{Nov}
(92) 
_{Dec}
(17) 
2014 
_{Jan}
(62) 
_{Feb}
(35) 
_{Mar}
(72) 
_{Apr}
(30) 
_{May}
(97) 
_{Jun}
(81) 
_{Jul}
(63) 
_{Aug}
(64) 
_{Sep}
(28) 
_{Oct}
(45) 
_{Nov}
(48) 
_{Dec}
(109) 
2015 
_{Jan}
(106) 
_{Feb}
(36) 
_{Mar}
(65) 
_{Apr}
(63) 
_{May}
(95) 
_{Jun}
(56) 
_{Jul}
(8) 
_{Aug}

_{Sep}

_{Oct}

_{Nov}

_{Dec}

S  M  T  W  T  F  S 






1
(4) 
2
(1) 
3
(1) 
4
(2) 
5
(7) 
6
(7) 
7
(1) 
8
(6) 
9

10
(3) 
11
(1) 
12
(2) 
13
(11) 
14
(1) 
15
(5) 
16

17

18
(2) 
19
(10) 
20
(2) 
21
(2) 
22
(3) 
23
(2) 
24
(6) 
25
(2) 
26
(6) 
27
(2) 
28
(10) 
29
(1) 
30

31
(3) 






From: SourceForge.net <noreply@so...>  20090531 22:17:16

Bugs item #2799225, was opened at 20090601 00:17 Message generated for change (Tracker Item Submitted) made by swiftscythe You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=2799225&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 Group: None Status: Open Resolution: None Priority: 5 Private: No Submitted By: swiftscythe (swiftscythe) Assigned to: Nobody/Anonymous (nobody) Summary: FATAL ERROR SBCL: can't start maxima Initial Comment: I get this error while running: $ maxima fatal error encountered in SBCL pid 15599(tid 140714631796464): can't load .core for different runtime, sorry Welcome to LDB, a lowlevel debugger for the Lisp runtime environment. ldb> Any ideas? I'm on Arch Linux x86_64 with maxima 5.18.1 Thanks in advance  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=2799225&group_id=4933 
From: SourceForge.net <noreply@so...>  20090531 15:52:55

Bugs item #2796823, was opened at 20090526 14:48 Message generated for change (Comment added) made by andrejv You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=2796823&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: Xmaxima or other UI Group: None >Status: Closed >Resolution: Fixed Priority: 5 Private: No Submitted By: Nobody/Anonymous (nobody) Assigned to: Nobody/Anonymous (nobody) Summary: wxMaxima error saving or loading a *.wxm Initial Comment: Situation °°°°°°°°°°°° Maxima version: 5.18.0 Maxima build date: 9:39 4/6/2009 host type: i686pcmingw32 lispimplementationtype: GNU Common Lisp (GCL) lispimplementationversion: GCL 2.6.8 1. When I try to save a session , many time Maxima make and error and close but the file exist... 2. When I try to open this file, some times it fail somtimes not 3. I've save a custom *.wxm file containing somes personnal tools ... et i can open it but ..... : Il this file is on my desktop ( C:\Documents and Settings\Bureau\truc.wxm ) wxmaxima open it correctly with double clic. Anywhere else (in a subfolder of my desktop too ) wxmaxima Crash and close Each time , saving or loading, the error message is the same : "wxMaxima.exe a rencontré un problème et doit fermer. . etc. etc. etc. ..." Error signature : AppName: wxmaxima.exe AppVer: 0.0.0.0 ModName: wxmaxima.exe ModVer: 0.0.0.0 Offset: 001bbbe9 Cordialement, Hubert.  >Comment By: Andrej Vodopivec (andrejv) Date: 20090531 17:52 Message: This bug has been fixed in the latest release. Please upgrade to maxima 5.18.1 (wxMaxima 0.8.2). Andrej  Comment By: Nobody/Anonymous (nobody) Date: 20090531 17:11 Message: Hello, Somme precisions about this bug.... I've made many tests : 1. First point The problem seems to be linked with the reg value "document_0" in HKCU\Software\wxMaxima\RecentDocuments. If I write in this value the path of a wxm file then WxMaxima open it without crashing. I actualy use a little batch set CLE=HKCU\Software\wxMaxima\RecentDocuments set EXE="C:\Program Files\Maxima5.18.0\wxMaxima\wxMaxima.exe" set V=document_0 set Val="%~1" reg add %CLE% /v %V% /d "%~1" /f but I probably make something new ( with vbs) because I want to kill olds maxima's processes (see below second point) After opening, wxmaxima can saves changes in the same file If I try "save as..." wxMaxima Crashs but the new file is create but the reg value contains the old path so opening this new file makes wxmaxima crashing... and .... I need to update the reg value before... 2. Second point When wxmaxima crashs ( saving as... ), the maxima's process stay alive ; calling wxmaxima one more time call a new maxima process... Making tests, I've saw some times 3 or 4 differents maxima's process staying in memory. In this cases, opening wxmaxima need many time ... Thanks for reading all Sorry for this bad english language, I'm french ;o) HB  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=2796823&group_id=4933 
From: SourceForge.net <noreply@so...>  20090531 15:11:48

Bugs item #2796823, was opened at 20090526 12:48 Message generated for change (Comment added) made by nobody You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=2796823&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: Xmaxima or other UI Group: None Status: Open Resolution: None Priority: 5 Private: No Submitted By: Nobody/Anonymous (nobody) Assigned to: Nobody/Anonymous (nobody) Summary: wxMaxima error saving or loading a *.wxm Initial Comment: Situation °°°°°°°°°°°° Maxima version: 5.18.0 Maxima build date: 9:39 4/6/2009 host type: i686pcmingw32 lispimplementationtype: GNU Common Lisp (GCL) lispimplementationversion: GCL 2.6.8 1. When I try to save a session , many time Maxima make and error and close but the file exist... 2. When I try to open this file, some times it fail somtimes not 3. I've save a custom *.wxm file containing somes personnal tools ... et i can open it but ..... : Il this file is on my desktop ( C:\Documents and Settings\Bureau\truc.wxm ) wxmaxima open it correctly with double clic. Anywhere else (in a subfolder of my desktop too ) wxmaxima Crash and close Each time , saving or loading, the error message is the same : "wxMaxima.exe a rencontré un problème et doit fermer. . etc. etc. etc. ..." Error signature : AppName: wxmaxima.exe AppVer: 0.0.0.0 ModName: wxmaxima.exe ModVer: 0.0.0.0 Offset: 001bbbe9 Cordialement, Hubert.  Comment By: Nobody/Anonymous (nobody) Date: 20090531 15:11 Message: Hello, Somme precisions about this bug.... I've made many tests : 1. First point The problem seems to be linked with the reg value "document_0" in HKCU\Software\wxMaxima\RecentDocuments. If I write in this value the path of a wxm file then WxMaxima open it without crashing. I actualy use a little batch set CLE=HKCU\Software\wxMaxima\RecentDocuments set EXE="C:\Program Files\Maxima5.18.0\wxMaxima\wxMaxima.exe" set V=document_0 set Val="%~1" reg add %CLE% /v %V% /d "%~1" /f but I probably make something new ( with vbs) because I want to kill olds maxima's processes (see below second point) After opening, wxmaxima can saves changes in the same file If I try "save as..." wxMaxima Crashs but the new file is create but the reg value contains the old path so opening this new file makes wxmaxima crashing... and .... I need to update the reg value before... 2. Second point When wxmaxima crashs ( saving as... ), the maxima's process stay alive ; calling wxmaxima one more time call a new maxima process... Making tests, I've saw some times 3 or 4 differents maxima's process staying in memory. In this cases, opening wxmaxima need many time ... Thanks for reading all Sorry for this bad english language, I'm french ;o) HB  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=2796823&group_id=4933 
From: SourceForge.net <noreply@so...>  20090529 09:56:09

Bugs item #2792493, was opened at 20090515 16:30 Message generated for change (Comment added) made by willisbl You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=2792493&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: None Group: None Status: Open Resolution: None Priority: 5 Private: No Submitted By: Barton Willis (willisbl) Assigned to: Nobody/Anonymous (nobody) Summary: hgfred([1],[5.2],x); Initial Comment: I think this should not be undefined: (%i7) hgfred([1],[5.2],x); (%o7) und but (%i10) hgfred([1],[b],x); (%o10) (b1)*%gammagreek(b1,x)*x^(1b)*%e^x  >Comment By: Barton Willis (willisbl) Date: 20090529 04:56 Message: Maybe you misread the input as hgfred([1], [5,2],x) (comma instead of period). Of course hgfred([1], [5,2],x) is undefined, but hgfred([1], [5.2],x) is defined.  Comment By: Raymond Toy (rtoy) Date: 20090515 18:34 Message: Sorry, I don't follow. How is the first related to the second? Are you saying the second should ask if b is a negative integer and return undefined?  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=2792493&group_id=4933 
From: SourceForge.net <noreply@so...>  20090528 23:40:23

Bugs item #792114, was opened at 20030820 21:12 Message generated for change (Comment added) made by crategus You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=792114&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 Group: Includes proposed fix >Status: Closed >Resolution: Fixed Priority: 5 Private: No Submitted By: Stavros Macrakis (macrakis) Assigned to: Robert Dodier (robert_dodier) Summary: \"/\" should be the quotient operator /FIX Initial Comment: The name of the quotient operator is currently "//" rather than "/". There is no good reason for this. Currently: part(a/b,0) => "//" (internally &//) "//"(a,b) => a/b Strangely, it also works to say: "/"(a,b) => a/b apply("//",[a,b]) => a/b but apply("/",[a,b]) gives /(a,b), which has nothing to do with division. This is inconsistent, confusing, and unnecessary. I suspect it is accidental, because in some Lisps you needed to write // instead of / (/ was an escape character). Fix: in comm.lisp, change (MNCTIMES &.) (RAT &//) (MQUOTIENT &//) (MNCEXPT &^^) to (MNCTIMES &.) (RAT &/) (MQUOTIENT &/) (MNCEXPT &^^) I suppose you could go through the whole source and change // to /, but since all the other uses are internal, it doesn't matter.  >Comment By: Dieter Kaiser (crategus) Date: 20090529 01:40 Message: With revision 1.27 of comm.lisp the name of the operator / has changed to "/". The examples work as expected. See also bug report ID: 712462 "Operator "/" treated inconsistently". Closing this bug report as fixed. Dieter Kaiser  Comment By: Robert Dodier (robert_dodier) Date: 20060710 05:10 Message: Logged In: YES user_id=501686 Closely related to bug report # 712462. After applying the patch given here, verify whether the problems reported in are resolved.  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=792114&group_id=4933 
From: SourceForge.net <noreply@so...>  20090528 23:37:19

Bugs item #712462, was opened at 20030331 06:33 Message generated for change (Comment added) made by crategus You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=712462&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 Group: None >Status: Closed >Resolution: Fixed Priority: 5 Private: No Submitted By: Stavros Macrakis (macrakis) Assigned to: Robert Dodier (robert_dodier) Summary: Operator "/" treated inconsistently Initial Comment: "/"(a,b) correctly gives a/b However, in most other contexts, Maxima expects "//": part(a/b,0) => // WHY? subst("/",f,f(a,b)) => /(a,b) NO! substpart("/",f(a,b),0) => /(a,b) NO! apply("/",[a,b]) => /(a,b) NO! This is presumably a relic of the Maclisp quoting convention that used slash to quote the next character (similar to backslash in Common Lisp). Presumably in the Maclisp version, it cancelled out and the user saw "/", not "//". This needs to be fixed for Common Lisp. Maxima 5.9.0 GCL 2.5.0 Windows 2000  >Comment By: Dieter Kaiser (crategus) Date: 20090529 01:36 Message: With revision 1.27 of comm.lisp the name of the operator / has changed to "/". The examples of this bug report give as expected: (%i8) part(a/b); (%o8) a/b (%i9) part(a/b,0); (%o9) "/" (%i10) subst("/",f,f(a,b)); (%o10) a/b (%i11) substpart("/",f(a,b),0); (%o11) a/b (%i12) apply("/",[a,b]); (%o12) a/b Closing this bug report as fixed. Dieter Kaiser  Comment By: Robert Dodier (robert_dodier) Date: 20060710 05:10 Message: Logged In: YES user_id=501686 Closely related to bug report # 792114. Maybe applying fix given in that report will fix the problems shown here.  Comment By: Robert Dodier (robert_dodier) Date: 20050411 05:51 Message: Logged In: YES user_id=501686 This seems to be a problem with differing internal and external representations for the same operator. I don't think the / vs // has much to do with it, although it would be nice if one or the other were used consistently. An input a/b is parsed as ((MQUOTIENT) $A $B)  as far as I can tell, it is not simplified to that from ((&/) $A $B), instead it seems the simplifier never sees the operator (&/) and so it doesn't have any rules for simplifying that into (MQUOTIENT). It seems the fundamental problem would be resolved by moving the substitution / > MQUOTIENT out of the parser and into the simplifier; if there are other such replacements, maybe they should be moved too. tellsimpafter seems happy enough to clean up for us: (%i9) apply("/", [a,b]); (%o9) /(a, b) /* OOPS */ [... snip ...] (%i11) matchdeclare ([a,b],true); (%o11) done (%i12) tellsimpafter (''%o9, a/b); (%o12) [/RULE1, false] [... snip ...] (%i19) apply ("/", [a+b, cd]); b + a (%o19)  /* OK */ c  d (%i20) subst ("/", f, f(x,y)); x (%o20)  /* OK */ y (%i21) substpart ("/", f(x,y), 0); x (%o21)  /* OK */ y  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=712462&group_id=4933 
From: SourceForge.net <noreply@so...>  20090528 23:13:45

Bugs item #826623, was opened at 20031020 06:25 Message generated for change (Comment added) made by crategus You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=826623&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  Simplification Group: Includes proposed fix >Status: Closed >Resolution: Fixed Priority: 5 Private: No Submitted By: Stavros Macrakis (macrakis) Assigned to: Nobody/Anonymous (nobody) Summary: simplifer returns %i*%i Initial Comment: ((%i)^(1/2)*%i)*((%i)^(1/2)) => %i*%i Resimplifying  expand(%,0,0)  correctly returns 1. Maxima 5.9.0 gcl 2.5.0 mingw32 W2k Athlon  >Comment By: Dieter Kaiser (crategus) Date: 20090529 01:13 Message: Suggested test for a base which is a mtimes expressions in expressions like (a*b)^q*(a*b)^q, where q+r=1 has been checked out. The example of this bug report now simplifies: (%i6) sqrt(%i)*sqrt(%i)*%i; (%o6) 1 Other examples are: (%i7) sqrt(a*b)*sqrt(a*b)*a*b; (%o7) a^2*b^2 (%i8) (a*b*x)^(1/5)*(a*b*x)^(4/5)*x; (%o8) a*b*x^2 The initial example simplifies correctly. Closing this bug report as fixed. Dieter Kaiser  Comment By: Dieter Kaiser (crategus) Date: 20090525 18:54 Message: I had a look at this bug. Here are some more general examples related to this report: (%i3) a*sqrt(a*b)*sqrt(a*b); (%o3) a*(a*b) (%i4) a*b*sqrt(a*b)*sqrt(a*b); (%o4) a*b*(a*b) Now with another exponent: (%i5) a*b*(a*b)^(1/4)*(a*b)^(3/4); (%o5) a*b*(a*b) Here is the example from this bug report: (%i6) %i*sqrt(%i)*sqrt(%i); (%o6) %i*%i This simplification error can be located to occur in the routine timesin in simp.lisp. This is the small piece of code which is responsible: ((onep1 w) (return (rplaca (cdr fm) (car x)))) When two factors are equal and the exonentents of the factors sum to 1, e. g. for sqrt(a*b)*sqrt(a*b) the factor is replaced by the base, that is for this example (a*b). Unfortunately, this is a mtimes expression. The simplifier generates a result with an unsimplified and nested mtimes expression in it. I have tried to find a better implementation and I have found the following code which works: ((onep1 w) (cond ((mtimesp (car x)) ;; A base which is a mtimes expression. ;; Remove the factor from the lists of products. (rplacd fm (cddr fm)) ;; We multiply the complete base with the list ;; of all remaining factors. (setq rulesw t) (return (muln (nconc y (cdar x)) t))) ;; The old code for the other cases. (t (return (rplaca (cdr fm) (car x)))))) Again the above examples with the modified code: (%i3) a*b*sqrt(a*b)*sqrt(a*b); (%o3) a^2*b^2 (%i4) a*sqrt(a*b)*sqrt(a*b); (%o4) a^2*b (%i5) a*b*sqrt(a*b)*sqrt(a*b); (%o5) a^2*b^2 (%i6) a*b*(a*b)^(1/4)*(a*b)^(3/4); (%o6) a^2*b^2 That is the example of this bug report: (%i7) %i*sqrt(%i)*sqrt(%i); (%o7) 1 The testsuite has no problems with the new code. Because this is a fundamental simplification error I supposed to get more problems with the testsuite. Perhaps a lot of examples do some extra expansions to get the desired simple result. The other inconsistencies reported in the bug report are not caused by this problem. I am not sure if the code above is the best way to remove this problem, but it works. Any comments? Dieter Kaiser  Comment By: Robert Dodier (robert_dodier) Date: 20060711 06:40 Message: Logged In: YES user_id=501686 Observed in 5.9.3cvs.  Comment By: Stavros Macrakis (macrakis) Date: 20031020 07:55 Message: Logged In: YES user_id=588346 This may be related to the inconsistent simplification of simple expressions involving %i: Mathematically, %i^(1/4) = (%i)^(1/4), but the first simplifies to (1)^(1/8) and the second to (%i)^(1/4) . Mathematically, (1)^(1/4) = %i^(1/2) = (%i)^(1/2), but the first two simplify to 1/(1)^(1/4), while the third simplifies to sqrt(%i). There are other similar cases. This is also reminiscent of the the nonnormalization of 1/sqrt(2)  bug # 721575.  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=826623&group_id=4933 
From: SourceForge.net <noreply@so...>  20090528 21:43:46

Bugs item #2797885, was opened at 20090528 14:39 Message generated for change (Comment added) made by crategus You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=2797885&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: None Group: Includes proposed fix >Status: Closed >Resolution: Fixed Priority: 5 Private: No Submitted By: Nobody/Anonymous (nobody) Assigned to: Nobody/Anonymous (nobody) Summary: problem with integration Initial Comment: (%i3) integrate((%e**(%i*x))*sin(x),x); Division by 0  an error. To debug this try debugmode(true); (%i4) integrate((cos(x) + %i*sin(x))*sin(x),x); sin(2 x) %i (x  ) 2 2 cos (x) (%o4)    2 2 Maxima version: 5.18.1 Maxima build date: 11:35 5/25/2009 host type: i686pclinuxgnuoldld lispimplementationtype: CLISP lispimplementationversion: 2.44.1 (20080223) (built 3437275172) (memory 3452232938) Maybe I don't know something... maybe some mathematic details? Or maybe maxima is using two different methods in each case?  >Comment By: Dieter Kaiser (crategus) Date: 20090528 23:43 Message: The suggested change has been checked out. Maxima now gets the result: (%i14) expand(integrate(exp(%i*x)*sin(x),x)); (%o14) %i*x/2%e^(2*%i*x)/4 These are the results for related integrands: (%i15) expand(integrate(exp(x)*sin(%i*x),x)); (%o15) %i*%e^(2*x)/4%i*x/2 (%i16) expand(integrate(exp(%i*x)*cos(x),x)); (%o16) x/2%i*%e^(2*%i*x)/4 (%i17) expand(integrate(exp(x)*cos(%i*x),x)); (%o17) %e^(2*x)/4+x/2 Closing this bug report as fixed. Dieter Kaiser  Comment By: Dieter Kaiser (crategus) Date: 20090528 19:21 Message: The problem is the routine sceint, which uses the following formula: (%i7) integrate(exp(a*x)*sin(b*x),x); (%o7) %e^(a*x)*(a*sin(b*x)b*cos(b*x))/(b^2+a^2) But for a=%i and b=1 this does not work. b^2+a^2 is zero and we get the error division by zero. A correct solution after a fix is: (%i8) integrate(exp(%i*x)*sin(x),x); (%o8) %i*x/2%e^(2*%i*x)/4 This is a possible fix: (defun sceint (exp sc var) (let* ((ecoef (car (islinear (caddr exp) var))) (sccoef (car (islinear (cadr sc) var))) (scarg (cadr sc)) (absval (add (power ecoef 2) (power sccoef 2)))) (if (zerop1 absval) ;; The numerator is zero. Exponentialize the expression ;; and try again. ($expand (integrator ($exponentialize (mul exp sc)) var)) (mul (div exp (add (power ecoef 2) (power sccoef 2))) (add (mul ecoef sc) (if (eq (caar sc) '%sin) (mul* (neg sccoef) `((%cos) ,scarg)) (mul* sccoef `((%sin) ,scarg)))))))) Dieter Kaiser  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=2797885&group_id=4933 
From: SourceForge.net <noreply@so...>  20090528 20:46:03

Bugs item #2798102, was opened at 20090528 20:45 Message generated for change (Tracker Item Submitted) made by prozacr You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=2798102&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 Group: None Status: Open Resolution: None Priority: 5 Private: No Submitted By: ProzacR (prozacr) Assigned to: Nobody/Anonymous (nobody) Summary: Bashlike arrow keys behavior in Linux terminal Initial Comment: Feature request. Bashlike arrow keys behavior in Linux terminal. Now pressing arrows just screw things up.  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=2798102&group_id=4933 
From: SourceForge.net <noreply@so...>  20090528 17:21:18

Bugs item #2797885, was opened at 20090528 14:39 Message generated for change (Comment added) made by crategus You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=2797885&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: None >Group: Includes proposed fix Status: Open Resolution: None Priority: 5 Private: No Submitted By: Nobody/Anonymous (nobody) Assigned to: Nobody/Anonymous (nobody) Summary: problem with integration Initial Comment: (%i3) integrate((%e**(%i*x))*sin(x),x); Division by 0  an error. To debug this try debugmode(true); (%i4) integrate((cos(x) + %i*sin(x))*sin(x),x); sin(2 x) %i (x  ) 2 2 cos (x) (%o4)    2 2 Maxima version: 5.18.1 Maxima build date: 11:35 5/25/2009 host type: i686pclinuxgnuoldld lispimplementationtype: CLISP lispimplementationversion: 2.44.1 (20080223) (built 3437275172) (memory 3452232938) Maybe I don't know something... maybe some mathematic details? Or maybe maxima is using two different methods in each case?  >Comment By: Dieter Kaiser (crategus) Date: 20090528 19:21 Message: The problem is the routine sceint, which uses the following formula: (%i7) integrate(exp(a*x)*sin(b*x),x); (%o7) %e^(a*x)*(a*sin(b*x)b*cos(b*x))/(b^2+a^2) But for a=%i and b=1 this does not work. b^2+a^2 is zero and we get the error division by zero. A correct solution after a fix is: (%i8) integrate(exp(%i*x)*sin(x),x); (%o8) %i*x/2%e^(2*%i*x)/4 This is a possible fix: (defun sceint (exp sc var) (let* ((ecoef (car (islinear (caddr exp) var))) (sccoef (car (islinear (cadr sc) var))) (scarg (cadr sc)) (absval (add (power ecoef 2) (power sccoef 2)))) (if (zerop1 absval) ;; The numerator is zero. Exponentialize the expression ;; and try again. ($expand (integrator ($exponentialize (mul exp sc)) var)) (mul (div exp (add (power ecoef 2) (power sccoef 2))) (add (mul ecoef sc) (if (eq (caar sc) '%sin) (mul* (neg sccoef) `((%cos) ,scarg)) (mul* sccoef `((%sin) ,scarg)))))))) Dieter Kaiser  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=2797885&group_id=4933 
From: SourceForge.net <noreply@so...>  20090528 16:07:52

Bugs item #1053056, was opened at 20041024 07:39 Message generated for change (Comment added) made by crategus You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1053056&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 Group: None >Status: Closed >Resolution: Fixed Priority: 5 Private: No Submitted By: Robert Dodier (robert_dodier) Assigned to: Nobody/Anonymous (nobody) Summary: TIME(%) always yields 0.0 Initial Comment: TIME(%) always yields 0.0. The cause is that TIME (suprv1.lisp) returns the value of LASTTIME when the TIME argument is %. However LASTTIME is assigned 0 and never assigned anything else; LASTTIME appears to be obsolete, and it is unused except for this reference in TIME. TIME uses the 'TIME property of output labels to fetch the computation time. % isn't assigned the 'TIME property, so presumably that's why TIME was asking for LASTTIME. Let's not resurrect LASTTIME. Instead let's (1) assign % the 'TIME property (search for "putprop dtag" in macsys.lisp) to find the place to do it); and (2) cut out the special case for % in TIME.  >Comment By: Dieter Kaiser (crategus) Date: 20090528 18:07 Message: The suggested change to store the computation time in the symbol '$% has been checked out (rev. 1.74, macsys.lisp). The variable $lasttime has been cut out (rev. 1.80, suprv1.lisp). Closing this bug report as fixed. Dieter Kaiser  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1053056&group_id=4933 
From: SourceForge.net <noreply@so...>  20090528 15:44:00

Bugs item #1053279, was opened at 20041024 19:17 Message generated for change (Comment added) made by crategus You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1053279&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 Group: None >Status: Closed >Resolution: Fixed Priority: 3 Private: No Submitted By: Robert Dodier (robert_dodier) Assigned to: Nobody/Anonymous (nobody) Summary: TIME prints out message as well as returning a value Initial Comment: TIME prints out message ("Time:") as well as returning a value. This doesn't seem appropriate: other noninteractive functions only return a value. For example if you execute foo: TIME (%o1, %o2, %o3)$ you still get the "Time:" printout but no value is printed (since the return value printout is suppressed by the dollar sign).  >Comment By: Dieter Kaiser (crategus) Date: 20090528 17:43 Message: The message "Time:" has been cut out in suprv1.lisp with revision 1.33 in 2005. Closing this bug report as fixed. Dieter Kaiser  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1053279&group_id=4933 
From: SourceForge.net <noreply@so...>  20090528 12:39:52

Bugs item #2797885, was opened at 20090528 12:39 Message generated for change (Tracker Item Submitted) made by nobody You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=2797885&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: None Group: None Status: Open Resolution: None Priority: 5 Private: No Submitted By: Nobody/Anonymous (nobody) Assigned to: Nobody/Anonymous (nobody) Summary: problem with integration Initial Comment: (%i3) integrate((%e**(%i*x))*sin(x),x); Division by 0  an error. To debug this try debugmode(true); (%i4) integrate((cos(x) + %i*sin(x))*sin(x),x); sin(2 x) %i (x  ) 2 2 cos (x) (%o4)    2 2 Maxima version: 5.18.1 Maxima build date: 11:35 5/25/2009 host type: i686pclinuxgnuoldld lispimplementationtype: CLISP lispimplementationversion: 2.44.1 (20080223) (built 3437275172) (memory 3452232938) Maybe I don't know something... maybe some mathematic details? Or maybe maxima is using two different methods in each case?  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=2797885&group_id=4933 
From: SourceForge.net <noreply@so...>  20090528 02:20:22

Bugs item #2790984, was opened at 20090513 01:55 Message generated for change (Comment added) made by sfrobot You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=2790984&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  Integration Group: None >Status: Closed Resolution: Invalid Priority: 5 Private: No Submitted By: caprilo (caprilo) Assigned to: Nobody/Anonymous (nobody) Summary: problem with sqrt(abx^2) calculus Initial Comment: The function integrate(sqrt(abx^2), x); returns sqrt(abx^2)*x which is obviously wrong. Worse is that, the differentiation of the wrong integral, diff(sqrt(abx^2)*x, x); returns the integrand!: sqrt(abx^2)  Maxima version: 5.13.0 Maxima build date: 9:20 12/12/2007 host type: i686pclinuxgnu lispimplementationtype: GNU Common Lisp (GCL) lispimplementationversion: GCL 2.6.8   >Comment By: SourceForge Robot (sfrobot) Date: 20090528 02:20 Message: This Tracker item was closed automatically by the system. It was previously set to a Pending status, and the original submitter did not respond within 14 days (the time period specified by the administrator of this Tracker).  Comment By: Nobody/Anonymous (nobody) Date: 20090513 11:38 Message: Input notation is different from output in mathematical notation as provided by Maxima. rtoy did give the right answer and the worse was for the better, namely that Maxima returned the function when differentiating the integral of the function.  Comment By: Raymond Toy (rtoy) Date: 20090513 03:48 Message: bx^2 is not the same as b*x^2, so you've basically integrated y wrt to x, which is y*x. Same with your differentiation. Marking this as pending/invalid. If this analysis is incorrect, please comment.  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=2790984&group_id=4933 
From: SourceForge.net <noreply@so...>  20090527 00:17:44

Bugs item #626607, was opened at 20021022 01:30 Message generated for change (Comment added) made by crategus You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=626607&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  Assume >Group: Includes proposed fix Status: Open Resolution: None Priority: 5 Private: No Submitted By: Stavros Macrakis (macrakis) Assigned to: Nobody/Anonymous (nobody) Summary: Defint doesn't clean up asksign db Initial Comment: >> integrate(x^n,x,1,inf); << Is n positive, negative, or zero? >> pos; << Integral is divergent So far, so good. Now: >> asksign(n); << pos; That is, the asksign database still contains the fact that n>0. This should have been removed when defint exited. This problem doesn't happen when the integral is convergent.  >Comment By: Dieter Kaiser (crategus) Date: 20090527 02:17 Message: To get a general solution I have removed almost all calls to the function diverg which throws the Maxima Error. These calls are replaced by returning the value 'divergent. Only the calls which throws 'divergent are still present in the code. With this change defint gives the result 'divergent, when the integral is divergent. We can return this symbol or a noun form. This technique seems to work well. The testsuite has no problems, but we have no systematic tests for divergent integrals. Because we no longer throw a Maxima error, we have no longer problems with the assume database. Perhaps this could be a solution to the problem. By the way a noun form or a result 'divergent seems to me more useful. A similar technique is used by the funcion $specint. Dieter Kaiser  Comment By: Robert Dodier (robert_dodier) Date: 20060707 16:21 Message: Logged In: YES user_id=501686 This is an example of a more general problem which is that the asksign database is not cleaned up in case of an error. Although it could be fixed in this specific case by making defint catch the error and clean up the database, that doesn't do anything for other situations. A general solution to this problem would be useful. Recategorizing to "Lisp Core  Assume" accordingly.  Comment By: Robert Dodier (robert_dodier) Date: 20050822 04:03 Message: Logged In: YES user_id=501686 The problem is one or both of 2 things: (1) defint calls merror instead of returning inf; (2) defint doesn't clean up the assumption in case of an error. I'd rather see defint return inf or und or ind instead of calling merror here. But also defint should trap merror (don't know how to do that) and cleanup. Either one of those changes would fix the particular problem mentioned here, but I think we should fix both.  Comment By: Alexander VIDYBIDA (vidybida) Date: 20041027 16:14 Message: Logged In: YES user_id=927510 The obsolete info, which have to be removed after estimated a divergent integral, can be kicked out by "IS" oporator: (%i1) integrate(EXP(la*t)*la,t,0,INF); Is la positive, negative, or zero? n; Integral is divergent  an error. Quitting. To debug this try DEBUGMODE(TRUE); (%i2) integrate(EXP(la*t)*la,t,0,INF); Integral is divergent  an error. Quitting. To debug this try DEBUGMODE(TRUE); HOW DOES IT KNOW ? (%i3) is(la<0); MACSYMA was unable to evaluate the predicate: la < 0  an error. Quitting. To debug this try DEBUGMODE(TRUE); (%i4) integrate(EXP(la*t)*la,t,0,INF); Integral is divergent  an error. Quitting. To debug this try DEBUGMODE(TRUE); HOW DOES IT KNOW ? (%i5) is(la>0); MACSYMA was unable to evaluate the predicate: la > 0  an error. Quitting. To debug this try DEBUGMODE(TRUE); (%i6) integrate(EXP(la*t)*la,t,0,INF); Integral is divergent  an error. Quitting. To debug this try DEBUGMODE(TRUE); HOW DOES IT KNOW ? (%i7) is(la=0); (%o7) FALSE NOW THE INFO IS KICKED OUT (%i8) integrate(EXP(la*t)*la,t,0,INF); Is la positive, negative, or zero? p; (%o8) 1  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=626607&group_id=4933 
From: SourceForge.net <noreply@so...>  20090527 00:08:51

Bugs item #887646, was opened at 20040130 15:49 Message generated for change (Comment added) made by crategus You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=887646&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  Integration Group: None Status: Open Resolution: None Priority: 5 Private: No Submitted By: Barton Willis (willisbl) Assigned to: Nobody/Anonymous (nobody) Summary: bogus PV integral [defint(exp(a*x),x,0,inf)] Initial Comment: (C1) defint(exp(a*x),x,0,inf); Is a positive, negative, or zero? zero;Principal Value (D1) 0 This isn't a PV integral; the integral diverges when a == 0. (C2) build_info(); Maxima version: 5.9.0 Maxima build date: 19:10 2/9/2003 host type: i686pcmingw32 lispimplementationtype: Kyoto Common Lisp lispimplementationversion: GCL25.0  >Comment By: Dieter Kaiser (crategus) Date: 20090527 02:08 Message: The behavior has changed: The sign of a is unknown. Maxima returns a noun form: (%i3) defint(exp(a*x),x,0,inf); (%o3) 'integrate(%e^(a*x),x,0,inf) The sign of a is negative. We get the correct solution: (%i4) assume(a<0)$ (%i5) defint(exp(a*x),x,0,inf); (%o5) 1/a The sign of the parameter b is positive. The integral is divergent: (%i6) assume(b>0)$ (%i7) defint(exp(b*x),x,0,inf); defint: integral is divergent.  an error. To debug this try debugmode(true); Up to here the solutions are correct and consistent. We assume a paramter less or equal zero and get a divergent result. I think, this should give a noun form too: (%i10) forget(a<0)$ (%i11) assume(a<=0)$ (%i12) defint(exp(b*x),x,0,inf); defint: integral is divergent.  an error. To debug this try debugmode(true); This is again correct. The integral is divergent when b is greater or equal zero: (%i13) forget(b>0)$ (%i14) assume(b>=0)$ (%i15) defint(exp(b*x),x,0,inf); defint: integral is divergent.  an error. To debug this try debugmode(true); Perhaps we can change the one open case for a parameter a<=0. Then all cases will be correct. Dieter Kaiser  Comment By: Harald Geyer (hgeyer) Date: 20080325 04:00 Message: Logged In: YES user_id=929336 Originator: NO Still observed in 5.14.0 and cvs HEAD from 20080325  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=887646&group_id=4933 
From: SourceForge.net <noreply@so...>  20090526 16:04:08

Bugs item #600476, was opened at 20020826 23:32 Message generated for change (Comment added) made by crategus You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=600476&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: Installation Group: To be reviewed >Status: Pending >Resolution: Out of Date Priority: 5 Private: No Submitted By: Julian Stecklina (boelthorn) Assigned to: Nobody/Anonymous (nobody) Summary: maximagetenv returns "" instead of NIL Initial Comment: During startup the function maximagetenv returns "" instead of NIL for certain environment variables. Happens with CLISP 2.28 and CMU CL 18d. This causes trouble as CMU CL and CLISP try to load the current directory (as file) when e.g. (if maxima_int_lisp_preload (load maxima_int_lisp_preload)) is evaluated (with maxima_int_lisp_preload="" and thus true) Maxima version: 5.9.0precvs Maxima build date: 23:20 8/26/2002 host type: i386unknownfreebsd4.6.2 lispimplementationtype: CMU Common Lisp lispimplementationversion: 18d  >Comment By: Dieter Kaiser (crategus) Date: 20090526 18:03 Message: The Maxima and the Lisp versions are out of date. The function maximagetenv is used in initcl.lisp. This file has been revised a lot in the last years. Setting the status to pending. Dieter Kaiser  Comment By: Robert Dodier (robert_dodier) Date: 20060626 19:09 Message: Logged In: YES user_id=501686 Marking this "to be reviewed". It seems plausible that the code involved has been revised (maybe to fix something else) since this report was filed.  Comment By: Nobody/Anonymous (nobody) Date: 20031008 03:31 Message: Logged In: NO This seems to be a bug in some (particularly the one that comes with FreeBSD) implementations of sh (but it just as well might be a feature because I don't think POSIX says anything about declared but unbound variables). The easiest way to get rid of this is to fix the maxima startup script by moving "export MAXIMA_INT_LISP_PRELOAD" and friends to the corresponding "if ... fi" blocks that check for presence of commandline switches (ll. 220241 in the 5.9.0 tarball).  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=600476&group_id=4933 
From: SourceForge.net <noreply@so...>  20090526 15:42:25

Bugs item #578757, was opened at 20020708 18:42 Message generated for change (Comment added) made by crategus You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=578757&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: None Group: None >Status: Pending >Resolution: Out of Date Priority: 5 Private: No Submitted By: Pedro Fortuny Ayuso (pfortuny) Assigned to: Nobody/Anonymous (nobody) Summary: Emaxima update all GUI does not work Initial Comment: When I try to update all or tex update all cells in an Emaxima file, the following happens: If I call that process from the X menus (pop down menu, submenu, etc...), it does not work: after asking "interactive update", any of the answers (y or n) makes emacs stop (recoverable by pressing Cg Cg, though). If I do it by keyboard (either Mx maximaupdateall or Cc Cu a), then it works properly. Thanks, Pedro Fortuny.  >Comment By: Dieter Kaiser (crategus) Date: 20090526 17:42 Message: This bug report seems to be out of date. No comment has been added. The version of Maxima is not known. Set the status to pending. Dieter Kaiser  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=578757&group_id=4933 
From: SourceForge.net <noreply@so...>  20090526 12:48:04

Bugs item #2796823, was opened at 20090526 12:48 Message generated for change (Tracker Item Submitted) made by nobody You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=2796823&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: Xmaxima or other UI Group: None Status: Open Resolution: None Priority: 5 Private: No Submitted By: Nobody/Anonymous (nobody) Assigned to: Nobody/Anonymous (nobody) Summary: wxMaxima error saving or loading a *.wxm Initial Comment: Situation °°°°°°°°°°°° Maxima version: 5.18.0 Maxima build date: 9:39 4/6/2009 host type: i686pcmingw32 lispimplementationtype: GNU Common Lisp (GCL) lispimplementationversion: GCL 2.6.8 1. When I try to save a session , many time Maxima make and error and close but the file exist... 2. When I try to open this file, some times it fail somtimes not 3. I've save a custom *.wxm file containing somes personnal tools ... et i can open it but ..... : Il this file is on my desktop ( C:\Documents and Settings\Bureau\truc.wxm ) wxmaxima open it correctly with double clic. Anywhere else (in a subfolder of my desktop too ) wxmaxima Crash and close Each time , saving or loading, the error message is the same : "wxMaxima.exe a rencontré un problème et doit fermer. . etc. etc. etc. ..." Error signature : AppName: wxmaxima.exe AppVer: 0.0.0.0 ModName: wxmaxima.exe ModVer: 0.0.0.0 Offset: 001bbbe9 Cordialement, Hubert.  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=2796823&group_id=4933 
From: SourceForge.net <noreply@so...>  20090526 08:10:11

Bugs item #2793868, was opened at 20090519 15:51 Message generated for change (Comment added) made by crategus You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=2793868&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: None Group: None >Status: Pending >Resolution: Wont Fix Priority: 5 Private: No Submitted By: FrancoB (franco68tn) Assigned to: Nobody/Anonymous (nobody) Summary: Additivity of integration on intervals Initial Comment: It seems like Maxima doesn't know of the property of additivity of integration on intervals. It is unable to evaluate the following integral: (%i1) integrate(exp(abs(x)),x,1,+inf); (%o1) integrate(%e^(abs(x)),x,1,inf) If we divide the integral over two intervals, Maxima can perform the calculation: (%i2) integrate(exp(abs(x)),x,1,0)+integrate(exp(abs(x)),x,0,+inf); (%o2) 2%e^(1) Franco B.  Maxima version: 5.18.1 Maxima build date: 20:57 4/19/2009 host type: i686pcmingw32 lispimplementationtype: GNU Common Lisp (GCL) lispimplementationversion: GCL 2.6.8   >Comment By: Dieter Kaiser (crategus) Date: 20090526 10:10 Message: The above integral can be solved by loading the package abs_integrate as described in the last post. It might be a feature request to make this type of integrals a core functionality. Setting the status to pending and wont fix. Dieter Kaiser  Comment By: Barton Willis (willisbl) Date: 20090520 06:32 Message: (%i3) load("abs_integrate")$ (%i4) integrate(exp(abs(x)),x,1,inf); (%o4) %e^(1)*(%e1)+1  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=2793868&group_id=4933 
From: SourceForge.net <noreply@so...>  20090526 07:04:07

Bugs item #2791106, was opened at 20090513 12:37 Message generated for change (Comment added) made by crategus You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=2791106&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  Assume Group: None >Status: Closed >Resolution: Invalid Priority: 5 Private: No Submitted By: Nobody/Anonymous (nobody) Assigned to: Nobody/Anonymous (nobody) Summary: forget(a : 0) does not work Initial Comment: I did use wxMaxima 0.8.2 with Maxima version: 5.18.1. The interactions with (wx)Maxima given in the attached file ProblemWithforget.wxm show that "forget(a > 0)" after "assume(a > 0)" works well, but "forget(a : 0)" after "assume(a : 0)" does not work, and that in such case we have to use "kill(a)" in order to make Maxima forget about the predicate "a : 0". I do not know if that is a bug, but at first sight it is not very elegant.  >Comment By: Dieter Kaiser (crategus) Date: 20090526 09:03 Message: As described in the last post this is not a bug. Closing this report and marking it as invalid. Dieter Kaiser  Comment By: Žiga Lenarčič (zigalenarcic) Date: 20090514 13:42 Message: This is not a bug, it's normal behaviour. assume doesn't work with a:0. You can do this: block([a:0], integrate(...) ). Then, a will have the value 0 (only) inside the block.  Comment By: Harry Litzroth (hlitzroth) Date: 20090513 22:58 Message: Sender of this problem: ilitzroth  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=2791106&group_id=4933 
From: SourceForge.net <noreply@so...>  20090526 02:49:26

Bugs item #2796205, was opened at 20090524 18:09 Message generated for change (Comment added) made by rtoy You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=2796205&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  Floating point Group: None >Status: Pending >Resolution: Invalid Priority: 5 Private: No Submitted By: Sanjoy Mahajan (sm324) Assigned to: Nobody/Anonymous (nobody) Summary: integral of positive function gives negative result Initial Comment: I just compiled 5.18.1 to test whether this bug (which I noticed in 5.17) was still there, and it is. The problem is that an integral of a particular positive function (in the integration range) gives a negative answer. Here is a log: $ bin/maxima Maxima 5.18.1 http://maxima.sourceforge.net Using Lisp CLISP 2.44.1 (20080223) Distributed under the GNU Public License. See the file COPYING. Dedicated to the memory of William Schelter. The function bug_report() provides bug reporting information. (%i1) integrate(p^53*(1p)^23,p,0.8,1); rat: replaced 0.2 by 1/5 = 0.2 rat: replaced 0.8 by 4/5 = 0.8 rat: replaced 0.2 by 1/5 = 0.2 rat: replaced 1.091410143508672E18 by 1/916245836588244736 = 1.091410143508672E18 837236758238284873 (%o1)   767650093485350803831906802535571200  >Comment By: Raymond Toy (rtoy) Date: 20090525 22:49 Message: I don't think this is really an issue. First, if you replace the limit of integration 0.8 with 4/5, you get a positive value for the result. Second, as maxima warns, it has replaced 0.8 with a rational approximation. Since 0.8 does not have an exact floatingpoint representation, the rational approximation is exactly that. The value of the polynomial is the correct value for that approximation. Third, if you take the indefinite integral, a polynomial of degree 77, it's highly unlikely that you can accurately evaluate that at 0.8 with doublefloat numbers. If you use a bfloat value for 0.8 with 32 digits, maxima returns the expected positive result. (It's not exactly the same as the exact rational result.) Marking this as pending/invalid. Also changing category to lisp corefloating point If you disagree, please comment on this.  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=2796205&group_id=4933 
From: SourceForge.net <noreply@so...>  20090525 16:54:11

Bugs item #826623, was opened at 20031020 06:25 Message generated for change (Comment added) made by crategus You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=826623&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  Simplification >Group: Includes proposed fix Status: Open Resolution: None Priority: 5 Private: No Submitted By: Stavros Macrakis (macrakis) Assigned to: Nobody/Anonymous (nobody) Summary: simplifer returns %i*%i Initial Comment: ((%i)^(1/2)*%i)*((%i)^(1/2)) => %i*%i Resimplifying  expand(%,0,0)  correctly returns 1. Maxima 5.9.0 gcl 2.5.0 mingw32 W2k Athlon  >Comment By: Dieter Kaiser (crategus) Date: 20090525 18:54 Message: I had a look at this bug. Here are some more general examples related to this report: (%i3) a*sqrt(a*b)*sqrt(a*b); (%o3) a*(a*b) (%i4) a*b*sqrt(a*b)*sqrt(a*b); (%o4) a*b*(a*b) Now with another exponent: (%i5) a*b*(a*b)^(1/4)*(a*b)^(3/4); (%o5) a*b*(a*b) Here is the example from this bug report: (%i6) %i*sqrt(%i)*sqrt(%i); (%o6) %i*%i This simplification error can be located to occur in the routine timesin in simp.lisp. This is the small piece of code which is responsible: ((onep1 w) (return (rplaca (cdr fm) (car x)))) When two factors are equal and the exonentents of the factors sum to 1, e. g. for sqrt(a*b)*sqrt(a*b) the factor is replaced by the base, that is for this example (a*b). Unfortunately, this is a mtimes expression. The simplifier generates a result with an unsimplified and nested mtimes expression in it. I have tried to find a better implementation and I have found the following code which works: ((onep1 w) (cond ((mtimesp (car x)) ;; A base which is a mtimes expression. ;; Remove the factor from the lists of products. (rplacd fm (cddr fm)) ;; We multiply the complete base with the list ;; of all remaining factors. (setq rulesw t) (return (muln (nconc y (cdar x)) t))) ;; The old code for the other cases. (t (return (rplaca (cdr fm) (car x)))))) Again the above examples with the modified code: (%i3) a*b*sqrt(a*b)*sqrt(a*b); (%o3) a^2*b^2 (%i4) a*sqrt(a*b)*sqrt(a*b); (%o4) a^2*b (%i5) a*b*sqrt(a*b)*sqrt(a*b); (%o5) a^2*b^2 (%i6) a*b*(a*b)^(1/4)*(a*b)^(3/4); (%o6) a^2*b^2 That is the example of this bug report: (%i7) %i*sqrt(%i)*sqrt(%i); (%o7) 1 The testsuite has no problems with the new code. Because this is a fundamental simplification error I supposed to get more problems with the testsuite. Perhaps a lot of examples do some extra expansions to get the desired simple result. The other inconsistencies reported in the bug report are not caused by this problem. I am not sure if the code above is the best way to remove this problem, but it works. Any comments? Dieter Kaiser  Comment By: Robert Dodier (robert_dodier) Date: 20060711 06:40 Message: Logged In: YES user_id=501686 Observed in 5.9.3cvs.  Comment By: Stavros Macrakis (macrakis) Date: 20031020 07:55 Message: Logged In: YES user_id=588346 This may be related to the inconsistent simplification of simple expressions involving %i: Mathematically, %i^(1/4) = (%i)^(1/4), but the first simplifies to (1)^(1/8) and the second to (%i)^(1/4) . Mathematically, (1)^(1/4) = %i^(1/2) = (%i)^(1/2), but the first two simplify to 1/(1)^(1/4), while the third simplifies to sqrt(%i). There are other similar cases. This is also reminiscent of the the nonnormalization of 1/sqrt(2)  bug # 721575.  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=826623&group_id=4933 
From: SourceForge.net <noreply@so...>  20090525 01:54:21

Bugs item #2796237, was opened at 20090525 01:54 Message generated for change (Tracker Item Submitted) made by nobody You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=2796237&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: None Group: None Status: Open Resolution: None Priority: 5 Private: No Submitted By: Nobody/Anonymous (nobody) Assigned to: Nobody/Anonymous (nobody) Summary: startup error Initial Comment: Maxima version: 5.16.3 Maxima build date: 13:8 11/5/2008 host type: i386redhatlinuxgnu lispimplementationtype: CLISP lispimplementationversion: 2.43 (20071118) (built on x867.fedora.phx.redhat.com) ============================= [root@... ~]# maxima ***  invalid byte sequence #xC5 #xCA in CHARSET:UTF8 conversion The following restarts are available: ABORT :R1 ABORT ABORT :R2 ABORT ABORT :R3 ABORT Break 1 [4]> :r1 ***  handle_fault error2 ! address = 0xf7af2050 not in [0x684a0258,0x68678000) ! SIGSEGV cannot be cured. Fault address = 0xf7af2050. Permanently allocated: 92096 bytes. Currently in use: 6820072 bytes. Free space: 1493638 bytes. 段错误(IN CHINESE: "segment error"; and my locale is zh_CN.UTF8) [root@... ~]# maxima ***  invalid byte sequence #xC5 #xCA in CHARSET:UTF8 conversion The following restarts are available: ABORT :R1 ABORT ABORT :R2 ABORT ABORT :R3 ABORT Break 1 [4]> :q Maxima 5.16.3 http://maxima.sourceforge.net Using Lisp CLISP 2.43 (20071118) Distributed under the GNU Public License. See the file COPYING. Dedicated to the memory of William Schelter. The function bug_report() provides bug reporting information. (%i1) sin(1.0); (%o1) .8414709848078965 (%i2)  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=2796237&group_id=4933 
From: SourceForge.net <noreply@so...>  20090524 22:09:41

Bugs item #2796205, was opened at 20090524 22:09 Message generated for change (Tracker Item Submitted) made by sm324 You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=2796205&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  Integration Group: None Status: Open Resolution: None Priority: 5 Private: No Submitted By: Sanjoy Mahajan (sm324) Assigned to: Nobody/Anonymous (nobody) Summary: integral of positive function gives negative result Initial Comment: I just compiled 5.18.1 to test whether this bug (which I noticed in 5.17) was still there, and it is. The problem is that an integral of a particular positive function (in the integration range) gives a negative answer. Here is a log: $ bin/maxima Maxima 5.18.1 http://maxima.sourceforge.net Using Lisp CLISP 2.44.1 (20080223) Distributed under the GNU Public License. See the file COPYING. Dedicated to the memory of William Schelter. The function bug_report() provides bug reporting information. (%i1) integrate(p^53*(1p)^23,p,0.8,1); rat: replaced 0.2 by 1/5 = 0.2 rat: replaced 0.8 by 4/5 = 0.8 rat: replaced 0.2 by 1/5 = 0.2 rat: replaced 1.091410143508672E18 by 1/916245836588244736 = 1.091410143508672E18 837236758238284873 (%o1)   767650093485350803831906802535571200  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=2796205&group_id=4933 