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}
(18) 
_{Apr}

_{May}

_{Jun}

_{Jul}

_{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...>  20090522 18:46:35

Bugs item #2795534, was opened at 20090522 20:46 Message generated for change (Tracker Item Submitted) made by crategus You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=2795534&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: Dieter Kaiser (crategus) Assigned to: Nobody/Anonymous (nobody) Summary: integrate(expintegral_ei(x),x,0,1) gives result with TRUE Initial Comment: When we do the above integral we get an expression with the symbol TRUE in it: (%i14) integrate(expintegral_ei(x),x,0,1); (%o14) expintegral_ei(1)true%e The same for expintegral_ci and expintegral_chi: (%i16) integrate(expintegral_ci(x),x,0,1); (%o16) sin(1)+expintegral_ci(1)true (%i18) integrate(expintegral_chi(x),x,0,1); (%o18) sinh(1)+expintegral_chi(1)true Dieter Kaiser  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=2795534&group_id=4933 
From: SourceForge.net <noreply@so...>  20090522 16:01:35

Bugs item #2724669, was opened at 20090401 08:03 Message generated for change (Comment added) made by nobody You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=2724669&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: Doesn't work correctly under MS Windows Vista Initial Comment: It doesn't start in command line mode. It starts in GUI mode (wxMaxima and XMaxima) but I can do nothing. I can put nothing in main window. If I put data e.g. for function factor, Maxima doesn't print any results.  Comment By: Nobody/Anonymous (nobody) Date: 20090522 16:01 Message: i had the same problem, i tried this and it works: at C:\Program Files\Maxima5.16.3\lib\maxima\5.16.3\binarygcl\maxima.exe (or where you have installed it) try to put with windows xp compatibility, when i open wxMaxima, after few seconds , the window shows the welcome message and it can be use perfectly !  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=2724669&group_id=4933 
From: SourceForge.net <noreply@so...>  20090522 11:05:43

Bugs item #1041570, was opened at 20041006 18:05 Message generated for change (Comment added) made by crategus You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1041570&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: Closed >Resolution: Fixed Priority: 5 Private: No Submitted By: Stavros Macrakis (macrakis) Assigned to: Nobody/Anonymous (nobody) Summary: assume(abs(x)<1) should imply x<1 and x>1 Initial Comment: assume(abs(x)<1)$ sign(x1) => doesn't know (should be NEG) sign(1x) => doesn't know (should be POS) assume(x>1) => doesn't notice contradiction The easy fix is of course to make the original assumption add x<1 and x>1 to the database, but how do you ensure that they get *removed* if you remove (forget) the original assertion. And what if x<1 has been explicitly added in the meantime? Same problem in the reverse direction: assume(y<1,y>1)$ sign(abs(y)1) => PNZ (should be NEG)  >Comment By: Dieter Kaiser (crategus) Date: 20090522 13:05 Message: The suggested extension (with some modifications) has been implemented. The examples assume(abs(x)<1), forget(abs(x)<1), sign(x1), sign(1x) work as expected. assume(x>1) will give inconsistent. More general cases will work too. The reverse direction is not implemented. Closing this bug report as fixed, because the introducing problem now works. Dieter Kaiser  Comment By: Dieter Kaiser (crategus) Date: 20090508 18:13 Message: I think the handling of the abs funtion is a missing feature of assume. This would be some code to add this feature in a way assume can handle it: ;; This function is like isinop, but returns in addition ;; the expression with the operator and not only T or NIL (defmfun isopinexprp (exp var) (let ((tmp nil)) (cond ((atom exp) nil) ((and (eq (caar exp) var) (not (member 'array (cdar exp) :test #'eq))) (setq tmp exp)) (t (do ((exp (cdr exp) (cdr exp))) ((null exp)) (cond ((setq tmp (isopinexprp (car exp) var)) (return tmp)))))))) ;; The modified routine assume (defmfun assume (pat) (if (and (not (atom pat)) (eq (caar pat) 'mnot) (eq (caaadr pat) '$equal)) (setq pat `(($notequal) ,@(cdadr pat)))) (let (tmp) ;; Look for mabs in the expression, check the bounds and substitute ;; accordingly, e. g. abs(x)<1 > x<1 and x<1 (when (and (setq tmp (isopinexprp pat 'mabs)) (or (and (eq (caar pat) 'mlessp) (isopinexprp (cadr pat) 'mabs) (member ($sign (caddr pat)) '($pos $pz))) (and (eq (caar pat) 'mgreaterp) (member ($sign (cadr pat)) '($pos $pz)) (isopinexprp (caddr pat) 'mabs)))) (let ((pat1 ($substitute (cadr tmp) tmp pat)) (pat2 ($substitute (mul 1 (cadr tmp)) tmp pat))) (assume pat1) (assume pat2)))) (let ((dummy (let ($assume_pos) (car (mevalp1 pat))))) (cond ((eq dummy t) '$redundant) ((null dummy) '$inconsistent) ((atom dummy) '$meaningless) (t (learn pat t))))) ;; The modified routine forget (defmfun forget (pat) (cond (($listp pat) (cons '(mlist simp) (mapcar #'forget1 (cdr pat)))) (t (let (tmp) (when (setq tmp (isopinexprp pat 'mabs)) (let ((pat1 ($substitute (cadr tmp) tmp pat)) (pat2 ($substitute (mul 1 (cadr tmp)) tmp pat))) (forget1 pat1) (forget1 pat2)))) (forget1 pat)))) With this extension we get: (%i3) assume(abs(x)<1); (%o3) [abs(x) < 1] (%i4) facts(); (%o4) [1 > x,x > 1,1 > abs(x)] (%i5) sign(x1); (%o5) neg (%i6) sign(1x); (%o6) pos An example with a positive symbol as an upper bound: (%i1) assume(y>0); (%o1) [y > 0] (%i2) assume(abs(x)<y); (%o2) [y > abs(x)] (%i3) facts(); (%o3) [y > 0,y > x,y+x > 0,y > abs(x)] (%i4) sign(yx); (%o4) pos (%i5) sign(x+y); (%o5) pos (%i6) sign(xy); (%o6) neg (%i7) sign(xy); (%o7) neg This will work together with forget: (%i2) assume(abs(x)<1)$ (%i3) facts(); (%o3) [1 > x,x > 1,1 > abs(x)] (%i4) forget(abs(x)<1)$ (%i5) facts(); (%o5) [] The bound has to be a positive value: (%i6) assume(abs(x)<1); (%o6) [inconsistent] This does not sovlve the problem for the reverse direction. This feature might be added to the $signfunction. Dieter Kaiser  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1041570&group_id=4933 