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}
(22) 
_{Sep}

_{Oct}

_{Nov}

_{Dec}

S  M  T  W  T  F  S 





1

2
(1) 
3

4
(10) 
5
(3) 
6
(3) 
7
(1) 
8
(1) 
9
(4) 
10
(7) 
11
(7) 
12

13

14

15
(2) 
16
(2) 
17
(9) 
18
(1) 
19

20
(3) 
21

22

23

24

25

26
(2) 
27

28
(2) 
29
(5) 
30
(4) 
31
(8) 
From: SourceForge.net <noreply@so...>  20091008 20:19:44

Bugs item #2477795, was opened at 20081230 23:05 Message generated for change (Comment added) made by crategus You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=2477795&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: Fixed Priority: 5 Private: No Submitted By: Nobody/Anonymous (nobody) Assigned to: Nobody/Anonymous (nobody) Summary: "assume":problems with fractions or multiples of %pi and %e Initial Comment: I was trying to bound a variable within 0 and %pi/2, and I have notices that if the assumptions made with "assume" contain a fraction or a multiple of %pi or %e (I've tryed these for now) the results of a query made with "is" are wrong. Example (%i1) assume(a>0,a<%pi/2); %pi (%o1) [a > 0,  > a] 2 does not give a correct result if a query with "is" is done. In fact: (%i2) is(a>%pi/2); (%o2) false (%i3) is(a>%pi); (%o3) unknown the %o3 "unknown" is wrong, it sholud be evaluated to false. The same problem if one, in example, defines a variable bounded within 0 and 2*%pi: (%i6) assume(b>0,b<2*%pi); (%o6) [b > 0, 2 %pi > b] (%i7) is(b>3*%pi); (%o7) unknown also this is wrong, it should be false. Nothing wrong happens if: (%i8) assume(c>0,c<%pi); (%o8) [c > 0, c < %pi] (%i9) is(c>2*%pi); (%o9) false There are the same problems with "assume" and fractions or multiples of %e. Please note the different output of Maxima for the above assumptions: (%i8) assume(c>0,c<%pi); (%o8) [c > 0, c < %pi] here is c that is defined as a function of %pi, but... (%i1) assume(a>0,a<%pi/2); %pi (%o1) [a > 0,  > a] 2 %i6) assume(b>0,b<2*%pi); (%o6) [b > 0, 2 %pi > b] here are %pi/2 and 2*%pi that seems to be redefined in function of a and b. Could be here the problem? If this problem will be solved, could I hope one day to see this answer from "is": assume(a>0,a<%pi/2); is(sin(a)>0); true instead of the actual "unknown" :)? It would be very useful if Maxima could understand the sign of trigonometric functions with the proper assumptions. Stefano f e r r i s t e a t g m a i l d o t c o m  >Comment By: Dieter Kaiser (crategus) Date: 20091008 22:19 Message: A routine learnnumer has been added with revision 1.58 of compar.lisp. The examples of this bug report work as expected: (%i1) assume(a>0,a<%pi/2); (%o1) [a > 0,%pi/2 > a] (%i2) is(a>%pi/2); (%o2) false (%i3) is(a>%pi); (%o3) false (%i4) assume(b>0,b<2*%pi); (%o4) [b > 0,2*%pi > b] (%i5) is(b>3*%pi); (%o5) false (%i10) assume(abs(x) < sin(1)+%e/2); (%o10) [sin(1)+%e/2 > abs(x)] (%i11) is(x<2*%e); (%o11) true (%i12) is(x>2*%e); (%o12) true Closing this bug report as fixed. Dieter Kaiser  Comment By: Nobody/Anonymous (nobody) Date: 20081230 23:14 Message: I forgot to say that I am using Maxima 5.17.0, but on the Maxima mailing list Alexey Beshenov told me that also the CVS version has this problem. Sorry also for the bad formatting of %pi/2 in %o1 line, it is not very readable... I pasted a display2d enabled output, it should be read as (%o1) [a > 0, %pi/2 > a]  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=2477795&group_id=4933 