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}
(48) 
_{Aug}
(55) 
_{Sep}
(100) 
_{Oct}
(57) 
_{Nov}
(33) 
_{Dec}
(46) 
2016 
_{Jan}
(76) 
_{Feb}
(20) 
_{Mar}

_{Apr}

_{May}

_{Jun}

_{Jul}

_{Aug}

_{Sep}

_{Oct}

_{Nov}

_{Dec}

S  M  T  W  T  F  S 






1

2
(17) 
3
(2) 
4
(5) 
5
(2) 
6
(4) 
7
(1) 
8
(1) 
9
(1) 
10
(4) 
11
(1) 
12
(6) 
13
(1) 
14

15

16

17

18
(1) 
19
(7) 
20
(3) 
21
(1) 
22

23
(5) 
24
(3) 
25
(4) 
26
(2) 
27

28

29
(3) 
30

31
(9) 






From: SourceForge.net <noreply@so...>  20101002 20:46:08

Bugs item #3012778, was opened at 20100607 21:42 Message generated for change (Comment added) made by crategus You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=3012778&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: alejandro morales (amoralesm) Assigned to: Nobody/Anonymous (nobody) Summary: Lisp stack overflow with dpart. Initial Comment: (%i1) dpart(cos(a+b),1); ***  Lisp stack overflow. RESET [../src/eval.d:527] reset() found no driver frame (sp=0x99a465a00x99a400e0) Exiting on signal 6 Process maxima aborted  >Comment By: Dieter Kaiser (crategus) Date: 20101002 22:46 Message: For the record: We have a longer discussion on the mailing list http://www.math.utexas.edu/pipermail/maxima/2010/021627.html about the problem of this bug report. Dieter Kaiser  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=3012778&group_id=4933 
From: SourceForge.net <noreply@so...>  20101002 19:29:32

Bugs item #3051498, was opened at 20100823 14:55 Message generated for change (Comment added) made by crategus You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=3051498&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  Solving equations Group: None Status: Open Resolution: None Priority: 5 Private: No Submitted By: Hiromu SAKAMOTO (hiromu) Assigned to: Nobody/Anonymous (nobody) Summary: Abort when solving nonlinear algebraic equation Initial Comment: I do not understand how to allocate() or reallocate enougth spaces  >Comment By: Dieter Kaiser (crategus) Date: 20101002 21:29 Message: For the record: This is the equation system Maxima fails to solve: t:(1+sqrt(5))/2; e0:(x1)^2+(x*tan(%pi/5))^2(1+H^2)^2=0; e1:(x1)^2+z^2((1+H^2)/3)=0; e2:(x/21)^2+(x*tan(%pi/5)/2)^2((1+H^2)/(1+t^2))=0; Dieter Kaiser  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=3051498&group_id=4933 
From: SourceForge.net <noreply@so...>  20101002 18:39:47

Bugs item #3071208, was opened at 20100919 14:16 Message generated for change (Comment added) made by crategus You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=3071208&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: Tests Group: None >Status: Closed >Resolution: Fixed Priority: 2 Private: No Submitted By: Barton Willis (willisbl) Assigned to: Nobody/Anonymous (nobody) Summary: rtest15limit to inf from above Initial Comment: Test 146 in rtest15 has a limit toward infinity from above: /* Bug 1281737 */ limit(atan(x)/(1/exp(1)exp((1+x)^2)),x,inf,'plus); %e*%pi/2; I think this should either be limit(atan(x)/(1/exp(1)exp((1+x)^2)),x,inf) or limit(atan(x)/(1/exp(1)exp((1+x)^2)),x,inf,'minus)  >Comment By: Dieter Kaiser (crategus) Date: 20101002 20:39 Message: Fixed in revision 1.84 of rtest15.mac. Closing this bug report as fixed. Dieter Kaiser  Comment By: Dieter Kaiser (crategus) Date: 20101002 20:30 Message: The example was introduced to be a regression test. I have reproduced the original problem with Maxima 5.9.2: (%i1) build_info(); Maxima version: 5.9.2 Maxima build date: 20:20 10/2/2010 host type: i686pclinuxgnu lispimplementationtype: SBCL lispimplementationversion: 1.0.40 (%i2) limit(atan(x)/(1/exp(1)exp((1+x)^2)),x,inf); (%o2) %e*%i*log(1)/2 (%i3) limit(atan(x)/(1/exp(1)exp((1+x)^2)),x,inf,minus); (%o3) %e*%i*log(1)/2 Maxima 5.9.2 had a problem with a more correct formulation of the problem too. Therefore, I think we should update the example of the regression test to be limit(atan(x)/(1/exp(1)exp((1+x)^2)),x,inf) Dieter Kaiser  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=3071208&group_id=4933 
From: SourceForge.net <noreply@so...>  20101002 18:30:13

Bugs item #3071208, was opened at 20100919 14:16 Message generated for change (Comment added) made by crategus You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=3071208&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: Tests Group: None Status: Open Resolution: None Priority: 2 Private: No Submitted By: Barton Willis (willisbl) Assigned to: Nobody/Anonymous (nobody) Summary: rtest15limit to inf from above Initial Comment: Test 146 in rtest15 has a limit toward infinity from above: /* Bug 1281737 */ limit(atan(x)/(1/exp(1)exp((1+x)^2)),x,inf,'plus); %e*%pi/2; I think this should either be limit(atan(x)/(1/exp(1)exp((1+x)^2)),x,inf) or limit(atan(x)/(1/exp(1)exp((1+x)^2)),x,inf,'minus)  >Comment By: Dieter Kaiser (crategus) Date: 20101002 20:30 Message: The example was introduced to be a regression test. I have reproduced the original problem with Maxima 5.9.2: (%i1) build_info(); Maxima version: 5.9.2 Maxima build date: 20:20 10/2/2010 host type: i686pclinuxgnu lispimplementationtype: SBCL lispimplementationversion: 1.0.40 (%i2) limit(atan(x)/(1/exp(1)exp((1+x)^2)),x,inf); (%o2) %e*%i*log(1)/2 (%i3) limit(atan(x)/(1/exp(1)exp((1+x)^2)),x,inf,minus); (%o3) %e*%i*log(1)/2 Maxima 5.9.2 had a problem with a more correct formulation of the problem too. Therefore, I think we should update the example of the regression test to be limit(atan(x)/(1/exp(1)exp((1+x)^2)),x,inf) Dieter Kaiser  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=3071208&group_id=4933 
From: SourceForge.net <noreply@so...>  20101002 18:23:09

Bugs item #3072601, was opened at 20100921 07:48 Message generated for change (Comment added) made by dgildea You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=3072601&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: Closed >Resolution: Wont Fix Priority: 2 Private: No Submitted By: Barton Willis (willisbl) Assigned to: Nobody/Anonymous (nobody) Summary: gruntz uses sign instead of csign Initial Comment: Changing gruntz to use csign instead of sign would sometimes allow gruntz to return a nounform instead of an error; example: (%i2) gruntz(sqrt(x),x,minf); sign: argument cannot be imaginary; found %i  >Comment By: Dan Gildea (dgildea) Date: 20101002 14:23 Message: Because "gruntz" is an algorithm, rather than a mathematically defined concept like "integrate" or "limit", I don't think it makes sense for gruntz to return a noun form. The algorithm does not apply to complex values, so calling it on a complex value is an error.  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=3072601&group_id=4933 
From: SourceForge.net <noreply@so...>  20101002 18:02:49

Bugs item #3072490, was opened at 20100921 10:55 Message generated for change (Settings changed) made by crategus You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=3072490&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: Share Libraries Group: None >Status: Closed >Resolution: Fixed Priority: 5 Private: No Submitted By: Jacques Mequin (loupantai) Assigned to: Nobody/Anonymous (nobody) Summary: contrib diag.mac variable scope Initial Comment: I have found a minor (but annoying) issue with maxima/share/maxima/5.22.1/share/contrib/diag.mac The definition of the "ghelp" function is working fine unless you have already previously defined in your session a variable name "z" ghelp(f,labmda,k):=subst(labmda,z,diff(f(z),z,k)/k!)$ In other words, the variable "z" should be made internal to the closure Thanks Regards, Jacques  >Comment By: Dieter Kaiser (crategus) Date: 20101002 20:02 Message: As suggested in this thread the argument z of the differentiation has been quoted in revision 1.5 of diag.mac. Closing this bug report as fixed. Dieter Kaiser  Comment By: Jacques Mequin (loupantai) Date: 20100923 15:00 Message: Quoting z is what I did on my own before posting this bug So, this sounds OK to me as a permanent fix Thanks  Comment By: JoanPau (joanpau) Date: 20100923 13:06 Message: As it is only used for differentiation, I think the best solution is simply to quote z: ghelp(f,labmda,k):=subst(labmda,'z,diff(f('z),'z,k)/k!)$ BTW: Is labmda misspelled? Should it be lambda?  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=3072490&group_id=4933 
From: SourceForge.net <noreply@so...>  20101002 17:32:50

Bugs item #3064709, was opened at 20100912 07:02 Message generated for change (Comment added) made by dgildea You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=3064709&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  Trigonometry Group: None >Status: Closed >Resolution: Fixed Priority: 5 Private: No Submitted By: Barton Willis (willisbl) Assigned to: Nobody/Anonymous (nobody) Summary: domain error for tan Initial Comment: No domain error for tangent: (%i4) tan(%pi/2), %piargs : true; (%o4) tan(%pi/2) Domain error for cotangent: (%i6) cot(0), %piargs : true; The number 0 isn't in the domain of cot  an error. To debug this try: debugmode(true); (%i7) cot(0), %piargs : false; (%o7) cot(0) Also try integrate(cos(x)^2 / (1 + sin(x)^2)^3,x,0,%pi/2), %piargs : false;  >Comment By: Dan Gildea (dgildea) Date: 20101002 13:32 Message: Fixed in trigi.lisp rev 1.42.  Comment By: Barton Willis (willisbl) Date: 20100912 07:28 Message: Related: OK: (%i3) tan(%pi/2+x), trigexpand, %piargs : true; (%o3) cot(x) Bogus: (%i2) tan(%pi/2+x), trigexpand, %piargs : false; (%o2) (tan(x)+tan(%pi/2))/(1tan(%pi/2)*tan(x))  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=3064709&group_id=4933 
From: SourceForge.net <noreply@so...>  20101002 17:32:25

Bugs item #3058290, was opened at 20100902 13:41 Message generated for change (Settings changed) made by dgildea You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=3058290&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  Trigonometry Group: None >Status: Closed >Resolution: Fixed Priority: 5 Private: No Submitted By: Stavros Macrakis (macrakis) Assigned to: Nobody/Anonymous (nobody) Summary: tan(%pi*integer) simplification Initial Comment: declare(nnn,integer)$ tan(nnn*%pi) => unsimplified tan(2*nnn*%pi) => 0 But tan has zeroes for all integral multiples of %pi, not just even ones.  >Comment By: Dan Gildea (dgildea) Date: 20101002 13:32 Message: Fixed in trigi.lisp rev 1.42.  Comment By: Barton Willis (willisbl) Date: 20100912 07:03 Message: See also  ID: 3064709  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=3058290&group_id=4933 
From: SourceForge.net <noreply@so...>  20101002 17:31:58

Bugs item #2727846, was opened at 20090403 03:09 Message generated for change (Comment added) made by dgildea You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=2727846&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: Closed >Resolution: Fixed Priority: 5 Private: No Submitted By: Blahota István (blahota) Assigned to: Nobody/Anonymous (nobody) Summary: tan(%pi/2) is not correct (or just not nice?) Initial Comment: cot(0) is absolutely correct ("The number 0 isn't in the domain of cot  an error. To debug this try debugmode(true);"), but cot(%pi) and tan(%pi/2) say nothing, the result of float(tan(%pi/2)) is 8.165889364191922*10^15 (maxima 5.17.1)  >Comment By: Dan Gildea (dgildea) Date: 20101002 13:31 Message: Fixed in trigi.lisp rev 1.42.  Comment By: Nobody/Anonymous (nobody) Date: 20090403 18:30 Message: This seems to be an error which has been added in one of the last versions. I cannot confirm this on maxima 5.13.0: build_info()$ 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 (%i8) cot(%pi); (%o8) Division by 0  an error. To debug this try debugmode(true); (%i9) float(cot(%pi)); (%o9) Division by 0  an error. To debug this try debugmode(true); (%i10) tan(%pi/2); (%010) Division by 0  an error. To debug this try debugmode(true); (%i11) float(tan(%pi/2)); (%o11) Division by 0  an error. To debug this try debugmode(true);  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=2727846&group_id=4933 
From: SourceForge.net <noreply@so...>  20101002 17:25:32

Bugs item #3073827, was opened at 20100923 05:35 Message generated for change (Comment added) made by crategus You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=3073827&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: Fixed Priority: 5 Private: No Submitted By: Robert Dodier (robert_dodier) Assigned to: Nobody/Anonymous (nobody) Summary: integrate(t*cos(a*t^2 + b*t + c), t, 0, 1) => division by 0 Initial Comment: integrate (t*cos(a*t^2 + b*t + c), t, 0, 1); => Division by 0 Maxima version: 5.22.1 Maxima build date: 22:6 8/11/2010 Host type: i686redhatlinuxgnu Lisp implementation type: CLISP Lisp implementation version: 2.48 (20090728) (built 3459348196) (memory 3490574775)  >Comment By: Dieter Kaiser (crategus) Date: 20101002 19:25 Message: With revision 1.102 of limit.lisp we now get a result for the integral of this example: (%i1) integrate (t*cos(a*t^2 + b*t + c), t, 0, 1),ratprint:false; Is b positive or negative? p; (%o1) (((gamma_incomplete(1/2,%i*b^2/(4*a)) +gamma_incomplete(1/2,%i*b^2/(4*a))) *sqrt(abs(a))*b*sin(atan2(b^2/a,0)/2) +(%i*gamma_incomplete(1/2,%i*b^2/(4*a)) %i*gamma_incomplete(1/2,%i*b^2/(4*a))) *sqrt(abs(a))*b*cos(atan2(b^2/a,0)/2) +(2*gamma_incomplete(1,%i*b^2/(4*a)) 2*gamma_incomplete(1,%i*b^2/(4*a))) *a) *sin((4*a*cb^2)/(4*a)) +((%i*gamma_incomplete(1/2,%i*b^2/(4*a)) %i*gamma_incomplete(1/2,%i*b^2/(4*a))) *sqrt(abs(a))*b*sin(atan2(b^2/a,0)/2) +(gamma_incomplete(1/2,%i*b^2/(4*a)) gamma_incomplete(1/2,%i*b^2/(4*a))) *sqrt(abs(a))*b*cos(atan2(b^2/a,0)/2) +(2*%i*gamma_incomplete(1,%i*b^2/(4*a)) 2*%i*gamma_incomplete(1,%i*b^2/(4*a))) *a) *cos((4*a*cb^2)/(4*a))) /(8*a^2) (((gamma_incomplete(1/2,(%i*b^2+4*%i*a*b+4*%i*a^2)/(4*a)) +gamma_incomplete(1/2,(%i*b^2+4*%i*a*b+4*%i*a^2)/(4*a))) *sqrt(abs(a))*b*sin(atan2((b^2+4*a*b+4*a^2)/a,0)/2) +(%i*gamma_incomplete(1/2,(%i*b^2+4*%i*a*b+4*%i*a^2)/(4*a)) %i*gamma_incomplete(1/2,(%i*b^2+4*%i*a*b+4*%i*a^2)/(4*a))) *sqrt(abs(a))*b*cos(atan2((b^2+4*a*b+4*a^2)/a,0)/2) +(2*gamma_incomplete(1,(%i*b^2+4*%i*a*b+4*%i*a^2)/(4*a)) 2*gamma_incomplete(1,(%i*b^2+4*%i*a*b+4*%i*a^2)/(4*a))) *a) *sin((4*a*cb^2)/(4*a)) +((%i*gamma_incomplete(1/2,(%i*b^2+4*%i*a*b+4*%i*a^2)/(4*a)) %i*gamma_incomplete(1/2,(%i*b^2+4*%i*a*b+4*%i*a^2)/(4*a))) *sqrt(abs(a))*b*sin(atan2((b^2+4*a*b+4*a^2)/a,0)/2) +(gamma_incomplete(1/2,(%i*b^2+4*%i*a*b+4*%i*a^2)/(4*a)) gamma_incomplete(1/2,(%i*b^2+4*%i*a*b+4*%i*a^2)/(4*a))) *sqrt(abs(a))*b*cos(atan2((b^2+4*a*b+4*a^2)/a,0)/2) +(2*%i*gamma_incomplete(1,(%i*b^2+4*%i*a*b+4*%i*a^2)/(4*a)) 2*%i*gamma_incomplete(1,(%i*b^2+4*%i*a*b+4*%i*a^2)/(4*a))) *a) *cos((4*a*cb^2)/(4*a))) /(8*a^2) The numerical value for a=3, b=2, and c=1 is correct: (%i2) rectform(float(psubst([a=3,b=2,c=1],%))); (%o2) .1134426855743835 Closing this bug report as fixed. Dieter Kaiser  Comment By: Dieter Kaiser (crategus) Date: 20101002 18:52 Message: After revision 1.38 of rpart.lisp we get a further problem with the example of this bug report: (%i3) integrate (t*cos(a*t^2 + b*t + c), t, 0, 1),ratprint:false; Is b positive or negative? p; sign: argument cannot be imaginary; found %i  an error. To debug this try: debugmode(true); Now, limit has a problem, because it tries to get the sign of a complex expression. Dieter Kaiser  Comment By: Dieter Kaiser (crategus) Date: 20101002 16:55 Message: Maxima can integrate the indefinite integral of the example of this bug report. The difference is the flag generateatan2 which is set to NIL in the function antideriv, when calling sinint to integrate the problem: (%i4) integrate(t*cos(a*t^2+b*t+c),t),?generate\atan2:false; Division by 0  an error. To debug this try: debugmode(true); (%i5) integrate(t*cos(a*t^2+b*t+c),t),?generate\atan2:true; (%o5) (sqrt(abs(a))*sqrt(4*a^2*t^2+4*a*b*t+b^2) *(((2048*gamma_incomplete(1/2, (4*%i*a^2*t^2+4*%i*a*b*t+%i*b^2) /(4*a)) [...] and more terms Dieter Kaiser  Comment By: Dieter Kaiser (crategus) Date: 20101002 16:19 Message: The bug rectform(atan2(y,0)) > division by zero has been fixed in revision 1.37 or rpart.lisp. The following example now works: (%i1) rectform(integrate (t*cos(a*t^2 + b*t + c), t)); (%o1) (sqrt(abs(a))*sqrt(4*a^2*t^2+4*a*b*t+b^2) *(((1024*(gamma_incomplete(1/2, (4*%i*a^2*t^2+4*%i*a*b*t +%i*b^2) /(4*a)) [...] and a lot of more terms But the division by 0 for the example of this bug report is still present: integrate (t*cos(a*t^2 + b*t + c), t, 0, 1); Division by 0  an error. To debug this try: debugmode(true); Dieter Kaiser  Comment By: Dieter Kaiser (crategus) Date: 20101002 15:18 Message: The example of the last posting is related to the reported bug ID: 3079975  rectform(atan2(y,0)) > division by zero. Dieter Kaiser  Comment By: Barton Willis (willisbl) Date: 20100924 03:21 Message: Related, I think: rectform(integrate (t*cos(a*t^2 + b*t + c), t)) > division by zero  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=3073827&group_id=4933 
From: SourceForge.net <noreply@so...>  20101002 16:52:48

Bugs item #3073827, was opened at 20100923 05:35 Message generated for change (Comment added) made by crategus You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=3073827&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: Robert Dodier (robert_dodier) Assigned to: Nobody/Anonymous (nobody) Summary: integrate(t*cos(a*t^2 + b*t + c), t, 0, 1) => division by 0 Initial Comment: integrate (t*cos(a*t^2 + b*t + c), t, 0, 1); => Division by 0 Maxima version: 5.22.1 Maxima build date: 22:6 8/11/2010 Host type: i686redhatlinuxgnu Lisp implementation type: CLISP Lisp implementation version: 2.48 (20090728) (built 3459348196) (memory 3490574775)  >Comment By: Dieter Kaiser (crategus) Date: 20101002 18:52 Message: After revision 1.38 of rpart.lisp we get a further problem with the example of this bug report: (%i3) integrate (t*cos(a*t^2 + b*t + c), t, 0, 1),ratprint:false; Is b positive or negative? p; sign: argument cannot be imaginary; found %i  an error. To debug this try: debugmode(true); Now, limit has a problem, because it tries to get the sign of a complex expression. Dieter Kaiser  Comment By: Dieter Kaiser (crategus) Date: 20101002 16:55 Message: Maxima can integrate the indefinite integral of the example of this bug report. The difference is the flag generateatan2 which is set to NIL in the function antideriv, when calling sinint to integrate the problem: (%i4) integrate(t*cos(a*t^2+b*t+c),t),?generate\atan2:false; Division by 0  an error. To debug this try: debugmode(true); (%i5) integrate(t*cos(a*t^2+b*t+c),t),?generate\atan2:true; (%o5) (sqrt(abs(a))*sqrt(4*a^2*t^2+4*a*b*t+b^2) *(((2048*gamma_incomplete(1/2, (4*%i*a^2*t^2+4*%i*a*b*t+%i*b^2) /(4*a)) [...] and more terms Dieter Kaiser  Comment By: Dieter Kaiser (crategus) Date: 20101002 16:19 Message: The bug rectform(atan2(y,0)) > division by zero has been fixed in revision 1.37 or rpart.lisp. The following example now works: (%i1) rectform(integrate (t*cos(a*t^2 + b*t + c), t)); (%o1) (sqrt(abs(a))*sqrt(4*a^2*t^2+4*a*b*t+b^2) *(((1024*(gamma_incomplete(1/2, (4*%i*a^2*t^2+4*%i*a*b*t +%i*b^2) /(4*a)) [...] and a lot of more terms But the division by 0 for the example of this bug report is still present: integrate (t*cos(a*t^2 + b*t + c), t, 0, 1); Division by 0  an error. To debug this try: debugmode(true); Dieter Kaiser  Comment By: Dieter Kaiser (crategus) Date: 20101002 15:18 Message: The example of the last posting is related to the reported bug ID: 3079975  rectform(atan2(y,0)) > division by zero. Dieter Kaiser  Comment By: Barton Willis (willisbl) Date: 20100924 03:21 Message: Related, I think: rectform(integrate (t*cos(a*t^2 + b*t + c), t)) > division by zero  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=3073827&group_id=4933 
From: SourceForge.net <noreply@so...>  20101002 14:55:39

Bugs item #3073827, was opened at 20100923 05:35 Message generated for change (Comment added) made by crategus You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=3073827&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: Robert Dodier (robert_dodier) Assigned to: Nobody/Anonymous (nobody) Summary: integrate(t*cos(a*t^2 + b*t + c), t, 0, 1) => division by 0 Initial Comment: integrate (t*cos(a*t^2 + b*t + c), t, 0, 1); => Division by 0 Maxima version: 5.22.1 Maxima build date: 22:6 8/11/2010 Host type: i686redhatlinuxgnu Lisp implementation type: CLISP Lisp implementation version: 2.48 (20090728) (built 3459348196) (memory 3490574775)  >Comment By: Dieter Kaiser (crategus) Date: 20101002 16:55 Message: Maxima can integrate the indefinite integral of the example of this bug report. The difference is the flag generateatan2 which is set to NIL in the function antideriv, when calling sinint to integrate the problem: (%i4) integrate(t*cos(a*t^2+b*t+c),t),?generate\atan2:false; Division by 0  an error. To debug this try: debugmode(true); (%i5) integrate(t*cos(a*t^2+b*t+c),t),?generate\atan2:true; (%o5) (sqrt(abs(a))*sqrt(4*a^2*t^2+4*a*b*t+b^2) *(((2048*gamma_incomplete(1/2, (4*%i*a^2*t^2+4*%i*a*b*t+%i*b^2) /(4*a)) [...] and more terms Dieter Kaiser  Comment By: Dieter Kaiser (crategus) Date: 20101002 16:19 Message: The bug rectform(atan2(y,0)) > division by zero has been fixed in revision 1.37 or rpart.lisp. The following example now works: (%i1) rectform(integrate (t*cos(a*t^2 + b*t + c), t)); (%o1) (sqrt(abs(a))*sqrt(4*a^2*t^2+4*a*b*t+b^2) *(((1024*(gamma_incomplete(1/2, (4*%i*a^2*t^2+4*%i*a*b*t +%i*b^2) /(4*a)) [...] and a lot of more terms But the division by 0 for the example of this bug report is still present: integrate (t*cos(a*t^2 + b*t + c), t, 0, 1); Division by 0  an error. To debug this try: debugmode(true); Dieter Kaiser  Comment By: Dieter Kaiser (crategus) Date: 20101002 15:18 Message: The example of the last posting is related to the reported bug ID: 3079975  rectform(atan2(y,0)) > division by zero. Dieter Kaiser  Comment By: Barton Willis (willisbl) Date: 20100924 03:21 Message: Related, I think: rectform(integrate (t*cos(a*t^2 + b*t + c), t)) > division by zero  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=3073827&group_id=4933 
From: SourceForge.net <noreply@so...>  20101002 14:19:56

Bugs item #3073827, was opened at 20100923 05:35 Message generated for change (Comment added) made by crategus You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=3073827&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: Robert Dodier (robert_dodier) Assigned to: Nobody/Anonymous (nobody) Summary: integrate(t*cos(a*t^2 + b*t + c), t, 0, 1) => division by 0 Initial Comment: integrate (t*cos(a*t^2 + b*t + c), t, 0, 1); => Division by 0 Maxima version: 5.22.1 Maxima build date: 22:6 8/11/2010 Host type: i686redhatlinuxgnu Lisp implementation type: CLISP Lisp implementation version: 2.48 (20090728) (built 3459348196) (memory 3490574775)  >Comment By: Dieter Kaiser (crategus) Date: 20101002 16:19 Message: The bug rectform(atan2(y,0)) > division by zero has been fixed in revision 1.37 or rpart.lisp. The following example now works: (%i1) rectform(integrate (t*cos(a*t^2 + b*t + c), t)); (%o1) (sqrt(abs(a))*sqrt(4*a^2*t^2+4*a*b*t+b^2) *(((1024*(gamma_incomplete(1/2, (4*%i*a^2*t^2+4*%i*a*b*t +%i*b^2) /(4*a)) [...] and a lot of more terms But the division by 0 for the example of this bug report is still present: integrate (t*cos(a*t^2 + b*t + c), t, 0, 1); Division by 0  an error. To debug this try: debugmode(true); Dieter Kaiser  Comment By: Dieter Kaiser (crategus) Date: 20101002 15:18 Message: The example of the last posting is related to the reported bug ID: 3079975  rectform(atan2(y,0)) > division by zero. Dieter Kaiser  Comment By: Barton Willis (willisbl) Date: 20100924 03:21 Message: Related, I think: rectform(integrate (t*cos(a*t^2 + b*t + c), t)) > division by zero  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=3073827&group_id=4933 
From: SourceForge.net <noreply@so...>  20101002 14:06:18

Bugs item #3079975, was opened at 20101002 15:16 Message generated for change (Comment added) made by crategus You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=3079975&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  Complex Group: None >Status: Closed >Resolution: Fixed Priority: 5 Private: No Submitted By: Dieter Kaiser (crategus) Assigned to: Nobody/Anonymous (nobody) Summary: rectform(atan2(y,0)) > division by zero Initial Comment: (%i1) rectform(atan2(y,0)); Division by 0  an error. To debug this try: debugmode(true); In the function risplit a check for a zero denominator is missing. Dieter Kaiser  >Comment By: Dieter Kaiser (crategus) Date: 20101002 16:06 Message: Fixed in revision 1.37 of rpart.lisp. A check for a zero denominator for the case atan2(y,x) and y/x is a real expression has been added. Closing this bug report as fixed. Dieter Kaiser  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=3079975&group_id=4933 
From: SourceForge.net <noreply@so...>  20101002 13:18:19

Bugs item #3073827, was opened at 20100923 05:35 Message generated for change (Comment added) made by crategus You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=3073827&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: Robert Dodier (robert_dodier) Assigned to: Nobody/Anonymous (nobody) Summary: integrate(t*cos(a*t^2 + b*t + c), t, 0, 1) => division by 0 Initial Comment: integrate (t*cos(a*t^2 + b*t + c), t, 0, 1); => Division by 0 Maxima version: 5.22.1 Maxima build date: 22:6 8/11/2010 Host type: i686redhatlinuxgnu Lisp implementation type: CLISP Lisp implementation version: 2.48 (20090728) (built 3459348196) (memory 3490574775)  >Comment By: Dieter Kaiser (crategus) Date: 20101002 15:18 Message: The example of the last posting is related to the reported bug ID: 3079975  rectform(atan2(y,0)) > division by zero. Dieter Kaiser  Comment By: Barton Willis (willisbl) Date: 20100924 03:21 Message: Related, I think: rectform(integrate (t*cos(a*t^2 + b*t + c), t)) > division by zero  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=3073827&group_id=4933 
From: SourceForge.net <noreply@so...>  20101002 13:16:16

Bugs item #3079975, was opened at 20101002 15:16 Message generated for change (Tracker Item Submitted) made by crategus You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=3079975&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  Complex Group: None Status: Open Resolution: None Priority: 5 Private: No Submitted By: Dieter Kaiser (crategus) Assigned to: Nobody/Anonymous (nobody) Summary: rectform(atan2(y,0)) > division by zero Initial Comment: (%i1) rectform(atan2(y,0)); Division by 0  an error. To debug this try: debugmode(true); In the function risplit a check for a zero denominator is missing. Dieter Kaiser  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=3079975&group_id=4933 
From: SourceForge.net <noreply@so...>  20101002 12:42:18

Bugs item #3075478, was opened at 20100925 14:31 Message generated for change (Comment added) made by crategus You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=3075478&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: Closed >Resolution: Fixed Priority: 5 Private: No Submitted By: Barton Willis (willisbl) Assigned to: Nobody/Anonymous (nobody) Summary: is(equal(abs(%i * z + 1),z%i)); Initial Comment: Should be unknown, not false: (%i6) is(equal(abs(%i * z + 1),z%i)); (%o6) false The expressions are equal when z = %i. (%i8) subst(z=%i, abs(%i * z + 1)=z%i); (%o8) 0=0 This is rtest_equal #63  the expected answer is wrong, I think.  >Comment By: Dieter Kaiser (crategus) Date: 20101002 14:42 Message: Because of revision 1.77 of compar.lisp the example works as expected: (%i1) is(equal(abs(%i * z + 1),z%i)); (%o1) unknown Closing this bug report as fixed. Dieter Kaiser  Comment By: Dieter Kaiser (crategus) Date: 20100925 17:15 Message: I think the handling of complex and real expression and symbols is confusing at a lot of places. If we declare a complex or an imaginary symbol the test of this bug report gives the expected results: (%i1) declare(z,complex, j,imaginary)$ (%i3) is(equal(abs(%i*z+1),z+%i)); (%o3) unknown (%i4) is(equal(abs(%i*j+1),j+%i)); (%o4) unknown A symbol not declared to be complex or imaginary is assumed to be real. With this assumption the following test might be called correct too. The symbol x can not have the value %i, it is assumed to be real: (%i5) is(equal(abs(%i*x+1),x+%i)); (%o5) false The problem is that the assumption, that any symbol is real by default sometimes gives the desired results, sometimes not. By the way: The option variable domain does not change anything. This is a problem too. I think a clear concept is missing to get all this right. Dieter Kaiser  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=3075478&group_id=4933 