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}
(36) 
_{Aug}

_{Sep}

_{Oct}

_{Nov}

_{Dec}

S  M  T  W  T  F  S 

1
(1) 
2

3
(4) 
4
(1) 
5
(2) 
6

7

8
(2) 
9
(4) 
10
(5) 
11
(4) 
12

13

14
(2) 
15

16
(3) 
17

18
(1) 
19

20
(1) 
21
(8) 
22
(2) 
23
(5) 
24
(1) 
25

26
(5) 
27

28

29

30
(7) 
31





From: SourceForge.net <noreply@so...>  20061011 10:09:28

Bugs item #1575120, was opened at 20061011 03:54 Message generated for change (Comment added) made by willisbl You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1575120&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: None Status: Open Resolution: None Priority: 5 Submitted By: Nobody/Anonymous (nobody) Assigned to: Nobody/Anonymous (nobody) Summary: Some laws are still missing Initial Comment: is(equal((x/y)^z,(x^z/y^z))); is(equal((x*y)^z,(x^z*y^z))); is(equal((x^y)^z,(x^(y*z)))); of course they are equal! Those are laws! Mario/Mexico  >Comment By: Barton Willis (willisbl) Date: 20061011 05:09 Message: Logged In: YES user_id=895922 For real x,y,z, the equation (x*y)^z = x^z*y^z isn't an identity. To see this, let x > 1, y > 1, and z > 1/2. If Maxima did is(equal((x*y)^z,(x^z*y^z))) > true that would be a bug. Similarly, all your other laws are not valid for all real numbers. (1) We're working on improving the function equal; it has many known problems. (2) The function 'radcan' does (%i16) radcan((x*y)^z); (%o16) x^z*y^z Maybe you would like to use it.  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1575120&group_id=4933 
From: SourceForge.net <noreply@so...>  20061011 09:57:16

Bugs item #1575107, was opened at 20061011 03:23 Message generated for change (Comment added) made by willisbl You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1575107&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: None Status: Open >Resolution: Invalid Priority: 5 Submitted By: Nobody/Anonymous (nobody) Assigned to: Nobody/Anonymous (nobody) Summary: We can simplify even more Initial Comment: Since z/sqrt(z) = sqrt(z), fullratsimp((3*x^2)/(4*sqrt(3))); should return (sqrt(3)*x^2)/4. I'm starting to think that there are many problems that would be fixed by treating the sqrt(x) function as x^(1/2) and then return to sqrt(x) form when all calculations are done. Mario/Mexico  >Comment By: Barton Willis (willisbl) Date: 20061011 04:57 Message: Logged In: YES user_id=895922 To do the simplification that you wanted, set the option variable 'algebraic' to true: (%i1) ratsimp((3*x^2)/(4*sqrt(3))), algebraic : true; (%o1) (sqrt(3)*x^2)/4 And by the way, internally, sqrt(x) is x^(1/2). To see this, do this: (%i2) ?print(sqrt(x)); ((MEXPT SIMP) $X ((RAT SIMP) 1 2))  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1575107&group_id=4933 
From: SourceForge.net <noreply@so...>  20061011 08:54:59

Bugs item #1575120, was opened at 20061011 01:54 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=1575120&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: None Status: Open Resolution: None Priority: 5 Submitted By: Nobody/Anonymous (nobody) Assigned to: Nobody/Anonymous (nobody) Summary: Some laws are still missing Initial Comment: is(equal((x/y)^z,(x^z/y^z))); is(equal((x*y)^z,(x^z*y^z))); is(equal((x^y)^z,(x^(y*z)))); of course they are equal! Those are laws! Mario/Mexico  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1575120&group_id=4933 
From: SourceForge.net <noreply@so...>  20061011 08:23:12

Bugs item #1575107, was opened at 20061011 01:23 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=1575107&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: None Status: Open Resolution: None Priority: 5 Submitted By: Nobody/Anonymous (nobody) Assigned to: Nobody/Anonymous (nobody) Summary: We can simplify even more Initial Comment: Since z/sqrt(z) = sqrt(z), fullratsimp((3*x^2)/(4*sqrt(3))); should return (sqrt(3)*x^2)/4. I'm starting to think that there are many problems that would be fixed by treating the sqrt(x) function as x^(1/2) and then return to sqrt(x) form when all calculations are done. Mario/Mexico  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1575107&group_id=4933 