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}
(53) 
_{Mar}
(88) 
_{Apr}
(79) 
_{May}
(62) 
_{Jun}
(65) 
_{Jul}
(37) 
_{Aug}
(23) 
_{Sep}
(108) 
_{Oct}
(68) 
_{Nov}
(66) 
_{Dec}
(47) 
2017 
_{Jan}
(55) 
_{Feb}
(6) 
_{Mar}

_{Apr}

_{May}

_{Jun}

_{Jul}

_{Aug}

_{Sep}

_{Oct}

_{Nov}

_{Dec}

S  M  T  W  T  F  S 




1

2

3

4

5

6

7

8

9

10
(3) 
11

12

13
(9) 
14

15
(3) 
16
(7) 
17
(5) 
18

19
(1) 
20
(1) 
21
(4) 
22
(2) 
23
(1) 
24
(2) 
25
(2) 
26
(26) 
27
(11) 
28
(3) 
29
(2) 
30

31


From: SourceForge.net <noreply@so...>  20060313 21:47:25

Bugs item #1449163, was opened at 20060313 16:47 Message generated for change (Tracker Item Submitted) made by Item Submitter You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1449163&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 Submitted By: Raymond Toy (rtoy) Assigned to: Nobody/Anonymous (nobody) Summary: ratsimp(exp(%pi*%i/9)/(x2)^(1/7)) causes error Initial Comment: The given expression causes an error that NIL is not a FIXNUM in (F> (VALGET A) (VALGET B)) in POINTERGP. Don't know what that's about.  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1449163&group_id=4933 
From: SourceForge.net <noreply@so...>  20060313 19:06:09

Bugs item #1449066, was opened at 20060313 11:06 Message generated for change (Tracker Item Submitted) made by Item Submitter You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1449066&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 Submitted By: Nobody/Anonymous (nobody) Assigned to: Nobody/Anonymous (nobody) Summary: obase is broken Initial Comment: Maxima 5.9.2.99rc3 http://maxima.sourceforge.net Using Lisp GNU Common Lisp (GCL) GCL 2.6.7 (aka GCL) Distributed under the GNU Public License. See the file COPYING. Dedicated to the memory of William Schelter. This is a development version of Maxima. The function bug_report() provides bug reporting information. (%i1) bug_report(); The Maxima bug database is available at http://sourceforge.net/tracker/?atid=104933&group_id=4933&func=browse Submit bug reports by following the 'Submit New' link on that page. Please include the following build information with your bug report:  Maxima version: 5.9.2.99rc3 Maxima build date: 23:36 3/12/2006 host type: i686pcmingw32 lispimplementationtype: GNU Common Lisp (GCL) lispimplementationversion: GCL 2.6.7  The above information is also available from the Maxima function build_info(). (%o1) (%i2) obase : 2; (%o2) 2 (%i3) 111; (%o3) 111 (%i4) ibase : 2; (%o4) 2 (%i5) 111; (%o5) 7 (%i6) ibase : 1010; (%o6) 10 (%i7) 111; (%o7) 111 (%i8)  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1449066&group_id=4933 
From: SourceForge.net <noreply@so...>  20060313 15:38:47

Bugs item #1448605, was opened at 20060312 18:26 Message generated for change (Comment added) made by nobody You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1448605&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: Fix for 5.9.2 Status: Open Resolution: None Priority: 5 Submitted By: Jeffrey Pikul (jpikul) Assigned to: Nobody/Anonymous (nobody) Summary: atan returns illegal value Initial Comment: (%i1) atan(tan(4)); (%o1) 4 (should be 4  %pi, or 0.858407346 as a float) (%i2) declare(z,complex); (%o2) done (%i3) atan(tan(z)); (%o3) z (see below) atan(tan(z)) ==> z is only true if %pi/2<z<%pi/2, so this should return atan(tan(z)) unless qualified with: assume(z<%pi/2,z>%pi/2); Maxima version: 5.9.2 Maxima build date: 9:5 10/12/2005 host type: i686pcmingw32 lispimplementationtype: GNU Common Lisp (GCL) lispimplementationversion: GCL 2.6.7  Comment By: Nobody/Anonymous (nobody) Date: 20060313 07:38 Message: Logged In: NO Looks like SIMP%ASIN etc in src/trigo.lisp make the same type of simplification  afoo(foo(x)) => x for foo in {sin, cos, ...}.  Comment By: Nobody/Anonymous (nobody) Date: 20060312 21:46 Message: Logged In: NO Source of this bug seems to be SIMP%ATAN in src/trigi.lisp, in particular this line: (if (eq (caar y) '%tan) (cadr y)) where y is the argument of atan. It seems likely that the other simplification functions in the same file might suffer from similar naive assertions about function inverses. Robert Dodier  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1448605&group_id=4933 
From: SourceForge.net <noreply@so...>  20060313 15:36:08

Bugs item #956730, was opened at 20040519 10:04 Message generated for change (Comment added) made by rtoy You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=956730&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 Submitted By: Stavros Macrakis (macrakis) Assigned to: Nobody/Anonymous (nobody) Summary: integrate(x^n,x,0,inf) => sinrx error Initial Comment: integrate(x^n,x,0,inf); Is n positive, negative, or zero? neg; Is n + 1 positive, negative, or zero? neg; Is n an integer? y; Error: $x is not of type LIST. Error signalled by SINRX. The integral is of course divergent, but it should not be getting an internal error. Why does it even ask whether n is integral? Strangely, with n noninteger, it correctly diverges.  >Comment By: Raymond Toy (rtoy) Date: 20060313 10:36 Message: Logged In: YES user_id=28849 Hmm. Let's actually close this bug.  Comment By: Robert Dodier (robert_dodier) Date: 20050821 23:16 Message: Logged In: YES user_id=501686 Looks to me like it's been fixed (verified result on 5.9.1cvs / GCL 2.6.6 and clisp 2.33, both on Linux). Closing this report.  Comment By: Barton Willis (willisbl) Date: 20041005 14:58 Message: Logged In: YES user_id=895922 It seems that this bug has been fixed. (%i2) integrate(x^n,x,0,inf); Is n positive, negative, or zero? neg;Is n + 1 positive, negative, or zero? neg;Is n an integer? yes;Integral is divergent  an error. Quitting. To debug this try DEBUGMODE(TRUE); (%i3) build_info(); Maxima version: 5.9.1.1cvs Maxima build date: 9:34 10/4/2004 host type: i686pcmingw32 lispimplementationtype: Kyoto Common Lisp lispimplementationversion: GCL 2.6.5  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=956730&group_id=4933 
From: SourceForge.net <noreply@so...>  20060313 15:34:26

Bugs item #938235, was opened at 20040419 19:02 Message generated for change (Comment added) made by rtoy You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=938235&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 Group: None >Status: Closed >Resolution: Fixed Priority: 5 Submitted By: Luis Claudio (gabryuri) Assigned to: Nobody/Anonymous (nobody) Summary: integrate((1/2)*u^21/u^5,u,1,sqrt(2)); is not correct... Initial Comment: Sorry, but in the integral (1/2)*u^21/u^5 with u=1 to sqrt(2) them Maxima program return SQRT(2) 1    3 6 Maxima comand: integrate((1/2)*u^21/u^5,u,1,sqrt (2)); But the answer correct is: sqrt(2) 17    3 48 See in MuPad, Maple or Mathematica. sorry by english. Luis Cláudio  Brasilia  Brazil. luis_claudio2000@...  >Comment By: Raymond Toy (rtoy) Date: 20060313 10:34 Message: Logged In: YES user_id=28849 Maxima returns the correct answer now.  Comment By: Barton Willis (willisbl) Date: 20040422 12:41 Message: Logged In: YES user_id=895922 I thought of a fix that isn't terrible. I inserted a call to gfactor in solvecases. I also put an merror into polelistthis way a user will get an error instead of a wrong value should solvecases ever fail. The gfactor fix seems to fix this problem. Barton  Comment By: Barton Willis (willisbl) Date: 20040422 12:03 Message: Logged In: YES user_id=895922 To integrate 1/x^5 from 1 to sqrt(s), Maxima makes a change of variable and then it uses residues. But when 'solvecase' fails to find the poles, it returns failure and polelist returns nil. After that 'res' believes that there are no poles so the sum of the residues vanishes. I can put a trap in initialanalysis that catches more easy cases and prevents Maxima from using the residue methodI don't have a fix for the real problem. (C4) integrate(1/x^5,x,1,sqrt(2)); 1> (POLELIST ((MPLUS SIMP IRREDUCIBLE FACTORED) 1 ((MTIMES SIMP RATSIMP) 5 ((MEXPT SIMP) 2 ((RAT SIMP) 1 2)) $x) ((MTIMES SIMP) 20 ((MEXPT SIMP RATSIMP) $x 2)) ((MTIMES SIMP) 20 ((MEXPT SIMP) 2 ((RAT SIMP) 1 2)) ((MEXPT SIMP RATSIMP) $x 3)) ((MTIMES SIMP) 20 ((MEXPT SIMP RATSIMP) $x 4)) ((MTIMES SIMP) 4 ((MEXPT SIMP) 2 ((RAT SIMP) 1 2)) ((MEXPT SIMP RATSIMP) $x 5))) #<compiledclosure 108d7e8c> #<compiledclosure 108d7ea8>) 2> (SOLVECASE ((MPLUS SIMP IRREDUCIBLE FACTORED) 1 ((MTIMES SIMP RATSIMP) 5 ((MEXPT SIMP) 2 ((RAT SIMP) 1 2)) $x) ((MTIMES SIMP) 20 ((MEXPT SIMP RATSIMP) $x 2)) ((MTIMES SIMP) 20 ((MEXPT SIMP) 2 ((RAT SIMP) 1 2)) ((MEXPT SIMP RATSIMP) $x 3)) ((MTIMES SIMP) 20 ((MEXPT SIMP RATSIMP) $x 4)) ((MTIMES SIMP) 4 ((MEXPT SIMP) 2 ((RAT SIMP) 1 2)) ((MEXPT SIMP RATSIMP) $x 5)))) <2 (SOLVECASE FAILURE) <1 (POLELIST NIL) (D4) 0 (C5) Compare this to (C5) integrate(1/x^5,x,1,2); 1> (POLELIST ((MEXPT SIMP FACTORED) ((MPLUS SIMP IRREDUCIBLE) 1 ((MTIMES SIMP RATSIMP) 2 $x)) 5) #<compiledclosure 108d7e8c> #<compiledclosure 108d7ea8>) 2> (SOLVECASE ((MEXPT SIMP FACTORED) ((MPLUS SIMP IRREDUCIBLE) 1 ((MTIMES SIMP RATSIMP) 2 $x)) 5)) <2 (SOLVECASE (((MEQUAL SIMP) $x ((RAT SIMP) 1 2)) 5)) <1 (POLELIST ((((RAT SIMP) 1 2) ((MEXPT SIMP) ((MPLUS SIMP) ((RAT SIMP) 1 2) $x) 5)) ((((RAT SIMP) 1 2) 5)) NIL NIL)) (c6) 15 / 64 (DEFUN POLELIST (D REGION REGION1) (PROG (ROOTS $BREAKUP R RR SS R1 S POLE WFLAG CF) (SETQ WFLAG T) (SETQ LEADCOEF (POLYINX D VAR 'LEADCOEF)) (SETQ ROOTS (SOLVECASE D)) (if (eq roots 'failure) (return ())) ;; < this is a trouble maker for res LOOP1 (COND ((NULL ROOTS) (COND ((AND SEMIRAT Barton  Comment By: Barton Willis (willisbl) Date: 20040421 10:48 Message: Logged In: YES user_id=895922 Thank you for reporting this bug; I suspect that the following bug is related to the one you found. (C2) integrate(1/x^5,x,1,sqrt(2)); (D2) 0 (C3) build_info(); Maxima version: 5.9.0.1cvs Maxima build date: 8:30 4/21/2004 host type: i686pcmingw32 lispimplementationtype: Kyoto Common Lisp lispimplementationversion: GCL 2.7.0 If you find more Maxima bugs, please report them. Regards, Barton  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=938235&group_id=4933 
From: SourceForge.net <noreply@so...>  20060313 15:33:34

Bugs item #941457, was opened at 20040424 15:21 Message generated for change (Settings changed) made by rtoy You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=941457&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 Submitted By: Barton Willis (willisbl) Assigned to: Nobody/Anonymous (nobody) Summary: integrate(1/x^5,x,1,2^(1/78)) Initial Comment: In addition to bug 938235, here is another similar bug. I did these calculations after applying my gfactor patch. These are okay: (C2) integrate(1/x^5,x,1,sqrt(2)); (D2) 3/16 (C3) integrate(1/x^5,x,1,2^(1/23)); (D3) (2^(4/23)1)/(4*2^(4/23)) But we get a quotient by zero error for (C4) integrate(1/x^5,x,1,2^(1/78)); QUOTIENT by ZERO Changing gcd and algebraic doesn't help (C5) algebraic : true$ (C6) gcd : 'spmod$ (C7) integrate(1/x^5,x,1,2^(1/78)); QUOTIENT by ZERO (C8) build_info(); Maxima version: 5.9.0.1cvs Maxima build date: 13:6 4/24/2004 host type: i686pcmingw32 lispimplementationtype: Kyoto Common Lisp lispimplementationversion: GCL 2.7.0 Barton  >Comment By: Raymond Toy (rtoy) Date: 20060313 10:33 Message: Logged In: YES user_id=28849 Maxima now returns the correct answer.  Comment By: Robert Dodier (robert_dodier) Date: 20050821 23:13 Message: Logged In: YES user_id=501686 For these examples I don't get "quotient by 0" but I do get an incorrect result ... integrate(1/x^5,x,1,2^(1/78)); => 0 algebraic : true$ gcd : 'spmod$ integrate(1/x^5,x,1,2^(1/78)); => 0 Maxima version: 5.9.1.1cvs Maxima build date: 22:27 8/19/2005 host type: i686redhatlinuxgnu lispimplementationtype: CLISP lispimplementationversion: 2.33.2 (20040602) also Maxima version: 5.9.1.1cvs Maxima build date: 10:35 8/20/2005 host type: @host@ lispimplementationtype: GNU Common Lisp (GCL) lispimplementationversion: GCL 2.6.6  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=941457&group_id=4933 
From: SourceForge.net <noreply@so...>  20060313 06:43:57

Bugs item #1435600, was opened at 20060220 18:24 Message generated for change (Comment added) made by nobody You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1435600&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 Submitted By: Nobody/Anonymous (nobody) Assigned to: Nobody/Anonymous (nobody) Summary: equal function Initial Comment: is(equal(true,true)) will return true is(equal(false,false)) will return false but is(equal(true,false) or is(equal(false,true)) will give a bug ... syntax error. Why not provide a k_delta function like in Macsymas? e.g. k_delta(true,false) returns false k_delta(true,true) returns true k_delta(1,1) returns 1 k_delta(1,0) returns 0 HuenYK v 5.9.1 Maxima Comment: there are some good features in Maxima especially on Random(n). Macsymas only give a ceiling of n = 10^8.  Comment By: Nobody/Anonymous (nobody) Date: 20060312 22:43 Message: Logged In: NO The problem is that at present Maxima attempts to decide all equal (and notequal) comparisons as if the arguments were comparable numbers. This policy fails with errors of different sorts when the arguments are incomparable (e.g., boolean, complex, or matrices). MEQP in src/compar.lisp calls COMPARE (numerical comparison) if LIKE (structural comparison) fails; it should instead call COMPARE only if the arguments are comparable. I can't see a good way to determine comparability. Probably it is OK to assume comparability if incomparability can't be established. Even this weak policy is problematic, due to the weakness of the assume / declare database system. It seems we should be able to let comparable = not featurep(x, real) or maybe featurep(x, nonscalar) or maybe testing for various domains featurep(x, complex) or featurep(x, boolean) or .... but various problems immediately crop up, e.g., featurep(matrix([1, 2]), nonscalar) => false, featurep(matrix([1, 2]), real) => true, no builtin boolean property (and therefore true and false aren't boolean), featurep(1 + %i, nonscalar) => false, (declare (foo, nonscalar), featurep (foo(x), nonscalar)) => false, etc etc. Robert Dodier  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1435600&group_id=4933 
From: SourceForge.net <noreply@so...>  20060313 05:46:58

Bugs item #1448605, was opened at 20060312 18:26 Message generated for change (Comment added) made by nobody You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1448605&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: Fix for 5.9.2 Status: Open Resolution: None Priority: 5 Submitted By: Jeffrey Pikul (jpikul) Assigned to: Nobody/Anonymous (nobody) Summary: atan returns illegal value Initial Comment: (%i1) atan(tan(4)); (%o1) 4 (should be 4  %pi, or 0.858407346 as a float) (%i2) declare(z,complex); (%o2) done (%i3) atan(tan(z)); (%o3) z (see below) atan(tan(z)) ==> z is only true if %pi/2<z<%pi/2, so this should return atan(tan(z)) unless qualified with: assume(z<%pi/2,z>%pi/2); Maxima version: 5.9.2 Maxima build date: 9:5 10/12/2005 host type: i686pcmingw32 lispimplementationtype: GNU Common Lisp (GCL) lispimplementationversion: GCL 2.6.7  Comment By: Nobody/Anonymous (nobody) Date: 20060312 21:46 Message: Logged In: NO Source of this bug seems to be SIMP%ATAN in src/trigi.lisp, in particular this line: (if (eq (caar y) '%tan) (cadr y)) where y is the argument of atan. It seems likely that the other simplification functions in the same file might suffer from similar naive assertions about function inverses. Robert Dodier  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1448605&group_id=4933 
From: SourceForge.net <noreply@so...>  20060313 02:26:42

Bugs item #1448605, was opened at 20060312 21:26 Message generated for change (Tracker Item Submitted) made by Item Submitter You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1448605&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: Fix for 5.9.2 Status: Open Resolution: None Priority: 5 Submitted By: Jeffrey Pikul (jpikul) Assigned to: Nobody/Anonymous (nobody) Summary: atan returns illegal value Initial Comment: (%i1) atan(tan(4)); (%o1) 4 (should be 4  %pi, or 0.858407346 as a float) (%i2) declare(z,complex); (%o2) done (%i3) atan(tan(z)); (%o3) z (see below) atan(tan(z)) ==> z is only true if %pi/2<z<%pi/2, so this should return atan(tan(z)) unless qualified with: assume(z<%pi/2,z>%pi/2); Maxima version: 5.9.2 Maxima build date: 9:5 10/12/2005 host type: i686pcmingw32 lispimplementationtype: GNU Common Lisp (GCL) lispimplementationversion: GCL 2.6.7  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1448605&group_id=4933 