Screenshot instructions:
Windows
Mac
Red Hat Linux
Ubuntu
Click URL instructions:
Rightclick on ad, choose "Copy Link", then paste here →
(This may not be possible with some types of ads)
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}
(11) 
_{Mar}
(30) 
_{Apr}
(19) 
_{May}
(14) 
_{Jun}
(21) 
_{Jul}
(30) 
_{Aug}
(48) 
_{Sep}
(39) 
_{Oct}
(30) 
_{Nov}
(75) 
_{Dec}
(28) 
2018 
_{Jan}
(70) 
_{Feb}

_{Mar}

_{Apr}
(1) 
_{May}

_{Jun}

_{Jul}

_{Aug}

_{Sep}

_{Oct}

_{Nov}

_{Dec}

S  M  T  W  T  F  S 



1
(3) 
2

3
(2) 
4

5

6
(2) 
7
(9) 
8
(6) 
9
(1) 
10

11
(8) 
12
(11) 
13
(1) 
14
(5) 
15
(1) 
16
(1) 
17

18

19
(5) 
20

21

22
(1) 
23
(1) 
24
(1) 
25
(3) 
26

27

28
(1) 
29
(2) 
30

31



From: SourceForge.net <noreply@so...>  20030729 16:12:29

Bugs item #771133, was opened at 20030714 14:26 Message generated for change (Comment added) made by rtoy You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=771133&group_id=4933 Category: None Group: None Status: Open Resolution: None Priority: 5 Submitted By: Barton Willis (willisb) Assigned to: Nobody/Anonymous (nobody) Summary: double overflow => 0.0e0 Initial Comment: (C1) ?most\positive\double\float; (D1) 1.7976931348623157e+308 (C2) 1.7976931348623157e+308; (D2) 1.7976931348623157e+308 (C3) 1.7976931348623158e+308; (D3) 1.7976931348623157e+308 No problem sofar; but a problem here (C4) 1.7976931348623159e+308; (D4) 0.e+0 (C17) build_info(); Maxima version: 5.9.0rc3 Maxima build date: 15:25 5/11/2003 host type: i686pclinuxgnu lispimplementationtype: CMU Common Lisp lispimplementationversion: 18d (D17) Barton  >Comment By: Raymond Toy (rtoy) Date: 20030729 11:08 Message: Logged In: YES user_id=28849 Interesting. Can you try with 18e or a recent snapshot? A snapshot of CMUCL running on a sparc gets a floatingpointoverflow Lisp error, as expected.  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=771133&group_id=4933 
From: SourceForge.net <noreply@so...>  20030729 15:10:34

Bugs item #770258, was opened at 20030712 15:38 Message generated for change (Comment added) made by rtoy You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=770258&group_id=4933 Category: None Group: None Status: Open Resolution: None Priority: 5 Submitted By: Stavros Macrakis (macrakis) Assigned to: Nobody/Anonymous (nobody) Summary: redefining builtin functions (binom) Initial Comment: This is a documentation issue, an error message issue, and a semantics issue.... binom() is defined as an alias for binomial(), but this is not mentioned in the documentation. I wanted to use binom for the explicit form (in terms of factorials) and when I said binom(a,b):=... was surprised to get Warning  you are redefining the MACSYMA command BINOMIAL This redefines the verb form, but not the noun form, so if you now enter binom(2,x), you get back binomial(2,x), and NOT 2/((2x)!*x!). You can only get that using ev (...,binomial) or by explicitly using verbify(binomial). This is all rather unintuitive. I think that more "natural" ways to do things would be either: 1) forbid redefining builtins; or 2) when they're redefined, remove their simplification properties etc. and have them operate like normal functions; or 3) at least remove the alias which makes it function as the noun form on input  >Comment By: Raymond Toy (rtoy) Date: 20030729 11:10 Message: Logged In: YES user_id=28849 For option 1, perhaps we can use the package locks that are available in Clisp and (CVS) CMUCL. This will cause a (Lisp) error to occur on redefining symbols in the Maxima package.  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=770258&group_id=4933 
From: SourceForge.net <noreply@so...>  20030728 17:42:00

Bugs item #779053, was opened at 20030728 12:41 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=779053&group_id=4933 Category: None Group: None Status: Open Resolution: None Priority: 5 Submitted By: Barton Willis (willisb) Assigned to: Nobody/Anonymous (nobody) Summary: primep(1) => true Initial Comment: My understanding is that 1 is no longer considered prime. But (C1) primep(1); (D1) TRUE (C2) describe("primep"); 0: PRIMEP :(maxima.info)Definitions for Number Theory. Info from file C:/maxima/Maxima/info/maxima.info:  Function: PRIMEP (n) returns TRUE if n is a prime, FALSE if not. (D2) FALSE (C3) Additionally (C3) primep(4); (D3) FALSE (C4) primep(3); (D4) TRUE are suspect. And wouldn't it be better for primep(a) to return itself instead of signaling an error? (C5) primep(a); Argument to PRIMEP must be an integer: a  an error. Quitting. To debug this try Barton  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=779053&group_id=4933 
From: SourceForge.net <noreply@so...>  20030725 14:26:55

Bugs item #776441, was opened at 20030723 14:25 Message generated for change (Comment added) made by macrakis You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=776441&group_id=4933 Category: None Group: None Status: Open Resolution: None Priority: 5 Submitted By: Stavros Macrakis (macrakis) Assigned to: Nobody/Anonymous (nobody) Summary: orderlessp not transitive Initial Comment: l: [z+x*(x+2)+v+1,z+x^2+x+v+1,z+(x+1)^2+v]; orderlessp(l[1],l[2]) => True orderlessp(l[2],l[3]) => True orderlessp(l[1],l[3]) => False !!! More concise example: q: x^2; r: (x+1)^2; s: x*(x+2); orderlessp(q,r) => true orderlessp(r,s) => true orderlessp(s,q) => true That is, s<q<r<s. The problem is somewhere in the internal great function, which by the way does some strange things, in particular: why does ordlist have an explicit check for mplus: (RETURN (COND ((= L2 0) (EQ CX 'MPLUS)) (Thanks to Barton for his contributions to tracking this down.) Maxima 5.9.0 GCL 2.5.0  >Comment By: Stavros Macrakis (macrakis) Date: 20030725 10:26 Message: Logged In: YES user_id=588346 This not only screws up SORT etc., but even basic simplification, since simplus, simptimes, etc. depend on great: q+r+s => (x+1)^2+x^2+x*(x+2) q+s+r => x^2+x*(x+2)+(x+1)^2 (q+s+r)(q+s+r) => x^2x^2 (q+s+r)(s+q+r) => x^2x^2 (q+r+s)(q+s+r) => x (x + 2)  x (x + 2)  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=776441&group_id=4933 
From: SourceForge.net <noreply@so...>  20030725 14:13:06

Bugs item #777564, was opened at 20030725 10:13 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=777564&group_id=4933 Category: None Group: None Status: Open Resolution: None Priority: 5 Submitted By: Stavros Macrakis (macrakis) Assigned to: Nobody/Anonymous (nobody) Summary: ""(a,b) should work Initial Comment: Currently, the "" operator is defined as unary internally. However, it appears to the user as a binary operator as well. That is, the user can write "ab". Since the operator appears to be binary on the surface, it should also function as a binary operator in other contexts, in particular, I often want to do things like map("",foo,bar) or makelist(op(a,b),op,["+","","*"]) So mminus should be defined to work as a binary function  or perhaps even nary, where ""(a,b,c,...) == abc... That aligns the internal semantics with the surface syntax.  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=777564&group_id=4933 
From: SourceForge.net <noreply@so...>  20030725 13:53:30

Bugs item #776974, was opened at 20030724 10:35 Message generated for change (Comment added) made by macrakis You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=776974&group_id=4933 Category: None Group: None Status: Open Resolution: None Priority: 5 Submitted By: Barton Willis (willisb) Assigned to: Nobody/Anonymous (nobody) Summary: translation of errcatch Initial Comment: Consider (C1) xdiv(a,b) := block([ret : errcatch(a / b)], if ret = [] then error("shame on you") else inpart (ret,1))$ (C2) xdiv(9,3); (D2) 3 (C3) xdiv(9,0); Division by 0 shame on you #0: xdiv(a=9,b=0) an error. Quitting. To debug this try DEBUGMODE (TRUE);) This is okay, but after translating xdiv, we have a problem (C4) translate(xdiv)$ (C5) xdiv(9,3); (D5) 3 After translation, we no longer get the error "shame on you"  only the Division by 0 error (C6) xdiv(9,0); Division by 0  an error. Quitting. To debug this try DEBUGMODE (TRUE);) (C7)  >Comment By: Stavros Macrakis (macrakis) Date: 20030725 09:53 Message: Logged In: YES user_id=588346 Simpler example: f(x):=errcatch(1/x)$ f(1) => [1] OK f(0) => ...Division by zero message... [] OK translate(f)$ f(1) => [1] OK f(0) => ...Division by zero message... no return value (error return) On the other hand, the following works correctly: f(x):=(modedeclare(x,fixnum),errcatch(1/x))$  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=776974&group_id=4933 
From: SourceForge.net <noreply@so...>  20030724 14:35:46

Bugs item #776974, was opened at 20030724 09:35 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=776974&group_id=4933 Category: None Group: None Status: Open Resolution: None Priority: 5 Submitted By: Barton Willis (willisb) Assigned to: Nobody/Anonymous (nobody) Summary: translation of errcatch Initial Comment: Consider (C1) xdiv(a,b) := block([ret : errcatch(a / b)], if ret = [] then error("shame on you") else inpart (ret,1))$ (C2) xdiv(9,3); (D2) 3 (C3) xdiv(9,0); Division by 0 shame on you #0: xdiv(a=9,b=0) an error. Quitting. To debug this try DEBUGMODE (TRUE);) This is okay, but after translating xdiv, we have a problem (C4) translate(xdiv)$ (C5) xdiv(9,3); (D5) 3 After translation, we no longer get the error "shame on you"  only the Division by 0 error (C6) xdiv(9,0); Division by 0  an error. Quitting. To debug this try DEBUGMODE (TRUE);) (C7)  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=776974&group_id=4933 
From: SourceForge.net <noreply@so...>  20030723 18:25:15

Bugs item #776441, was opened at 20030723 14:25 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=776441&group_id=4933 Category: None Group: None Status: Open Resolution: None Priority: 5 Submitted By: Stavros Macrakis (macrakis) Assigned to: Nobody/Anonymous (nobody) Summary: orderlessp not transitive Initial Comment: l: [z+x*(x+2)+v+1,z+x^2+x+v+1,z+(x+1)^2+v]; orderlessp(l[1],l[2]) => True orderlessp(l[2],l[3]) => True orderlessp(l[1],l[3]) => False !!! More concise example: q: x^2; r: (x+1)^2; s: x*(x+2); orderlessp(q,r) => true orderlessp(r,s) => true orderlessp(s,q) => true That is, s<q<r<s. The problem is somewhere in the internal great function, which by the way does some strange things, in particular: why does ordlist have an explicit check for mplus: (RETURN (COND ((= L2 0) (EQ CX 'MPLUS)) (Thanks to Barton for his contributions to tracking this down.) Maxima 5.9.0 GCL 2.5.0  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=776441&group_id=4933 
From: SourceForge.net <noreply@so...>  20030722 09:02:35

Bugs item #775532, was opened at 20030722 02:02 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=775532&group_id=4933 Category: None Group: None Status: Open Resolution: None Priority: 5 Submitted By: Nobody/Anonymous (nobody) Assigned to: Nobody/Anonymous (nobody) Summary: bug in entermatrix command Initial Comment: the output (the part that probe for responses from user) of entermatrix command is missing.  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=775532&group_id=4933 
From: SourceForge.net <noreply@so...>  20030719 14:20:22

Bugs item #707627, was opened at 20030322 04:31 Message generated for change (Comment added) made by billingd You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=707627&group_id=4933 Category: None Group: None Status: Closed >Resolution: Fixed Priority: 5 Submitted By: Stavros Macrakis (macrakis) Assigned to: Nobody/Anonymous (nobody) Summary: Problems with '' in documentation Initial Comment: Twosinglequotes ('') in texinfo files normally represent doubleclosequote. There are three cases where this is incorrect in the Maxima texi files: the documentation for doublesingle quote itself (in Command.texi) and the docs for DEFINE and TRANSLATE_FILE (function.texi). Presumably there is some way to quote them, but I don't know texinfo conventions.... Note that within code examples (@example) double singlequote is correctly preserved, and in literature citations (e.g. in Numerical.texi) is it being used correctly.  >Comment By: David Billinghurst (billingd) Date: 20030720 00:20 Message: Logged In: YES user_id=365569 Forgot to say it was fixed  Comment By: David Billinghurst (billingd) Date: 20030720 00:05 Message: Logged In: YES user_id=365569 Karl Berry, the texinfo maintainer, recommended '@w{}' Patches applied 20030719.  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=707627&group_id=4933 
From: SourceForge.net <noreply@so...>  20030719 14:19:16

Bugs item #679437, was opened at 20030203 22:52 Message generated for change (Comment added) made by billingd You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=679437&group_id=4933 Category: Documentation Group: None Status: Closed >Resolution: Fixed Priority: 5 Submitted By: David Billinghurst (billingd) Assigned to: Nobody/Anonymous (nobody) Summary: DEFINE documentation Initial Comment: From http://www.math.utexas.edu/pipermail/maxima/2002/002 789.html The docu says  Function: DEFINE (f(x1, ...), body) is equivalent to f(x1,...):="body but when used inside functions it happens at execution time rather than at the time of definition of the function which contains it. Asside from the fact that " should (globally, at least also in "Introduction to Command Line") be replaced by '', define(f(x),Block([],local(f),Map(lambda([x,y],f[x]:y), [1,3,5],[2,5,1]),f[x])); returns f(x) := f[x] and f(x):=''Block([],local(f),Map(lambda([x,y],f[x]:y),[1,3,5], [2,5,1]),f[x]); returns f(x):=BLOCK([],LOCAL(f),MAP(LAMBDA([x,y],f[x]:y), [1,3,5],[2,5,1]),f[x]) so, it seems that this is not really an equivalence. In fact, it seems to me that '' doen't do anything in this context. Furthermore g():= f(x):=''Block([],local(f),Map(lambda([x,y],f[x]:y), [1,3,5],[2,5,1]),f[x]); (as well as the same statement without '' ) makes g(); return f(x):=BLOCK([],LOCAL(f),MAP(LAMBDA([x,y],f[x]:y), [1,3,5],[2,5,1]),f[x]) (and now f is defined), while g():=define(f(x),Block([],local(f),Map(lambda([x,y],f[x]:y), [1,3,5],[2,5,1]),f[x])); makes g(); return f(x):=f[x] (which is what I expected) So, I think the docu should say something like  Function: DEFINE (f(x1, ...), body) is equivalent to f(x1,...):=evaluated_body, where evaluated_body is the evaluation of body.  >Comment By: David Billinghurst (billingd) Date: 20030720 00:19 Message: Logged In: YES user_id=365569 Forgot to say it was fixed  Comment By: David Billinghurst (billingd) Date: 20030719 23:57 Message: Logged In: YES user_id=365569 Suggested change made to Function.texi  Comment By: Stavros Macrakis (macrakis) Date: 20030708 07:12 Message: Logged In: YES user_id=588346 The problem here is that ''f(x) is not equivalent to ''(f(x)). The documenation should say ...is equivalent to f(x1,...):=''(body) Now, WHY is ''f(x) not equivalent to ''(f(x))? Well, that is in my opinion a design error, but since it is documented under '', I suppose it can't be considered a bug.  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=679437&group_id=4933 
From: SourceForge.net <noreply@so...>  20030719 14:05:12

Bugs item #707627, was opened at 20030322 04:31 Message generated for change (Comment added) made by billingd You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=707627&group_id=4933 Category: None Group: None >Status: Closed Resolution: None Priority: 5 Submitted By: Stavros Macrakis (macrakis) Assigned to: Nobody/Anonymous (nobody) Summary: Problems with '' in documentation Initial Comment: Twosinglequotes ('') in texinfo files normally represent doubleclosequote. There are three cases where this is incorrect in the Maxima texi files: the documentation for doublesingle quote itself (in Command.texi) and the docs for DEFINE and TRANSLATE_FILE (function.texi). Presumably there is some way to quote them, but I don't know texinfo conventions.... Note that within code examples (@example) double singlequote is correctly preserved, and in literature citations (e.g. in Numerical.texi) is it being used correctly.  >Comment By: David Billinghurst (billingd) Date: 20030720 00:05 Message: Logged In: YES user_id=365569 Karl Berry, the texinfo maintainer, recommended '@w{}' Patches applied 20030719.  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=707627&group_id=4933 
From: SourceForge.net <noreply@so...>  20030719 13:58:00

Bugs item #679437, was opened at 20030203 22:52 Message generated for change (Comment added) made by billingd You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=679437&group_id=4933 Category: Documentation Group: None >Status: Closed Resolution: None Priority: 5 Submitted By: David Billinghurst (billingd) Assigned to: Nobody/Anonymous (nobody) Summary: DEFINE documentation Initial Comment: From http://www.math.utexas.edu/pipermail/maxima/2002/002 789.html The docu says  Function: DEFINE (f(x1, ...), body) is equivalent to f(x1,...):="body but when used inside functions it happens at execution time rather than at the time of definition of the function which contains it. Asside from the fact that " should (globally, at least also in "Introduction to Command Line") be replaced by '', define(f(x),Block([],local(f),Map(lambda([x,y],f[x]:y), [1,3,5],[2,5,1]),f[x])); returns f(x) := f[x] and f(x):=''Block([],local(f),Map(lambda([x,y],f[x]:y),[1,3,5], [2,5,1]),f[x]); returns f(x):=BLOCK([],LOCAL(f),MAP(LAMBDA([x,y],f[x]:y), [1,3,5],[2,5,1]),f[x]) so, it seems that this is not really an equivalence. In fact, it seems to me that '' doen't do anything in this context. Furthermore g():= f(x):=''Block([],local(f),Map(lambda([x,y],f[x]:y), [1,3,5],[2,5,1]),f[x]); (as well as the same statement without '' ) makes g(); return f(x):=BLOCK([],LOCAL(f),MAP(LAMBDA([x,y],f[x]:y), [1,3,5],[2,5,1]),f[x]) (and now f is defined), while g():=define(f(x),Block([],local(f),Map(lambda([x,y],f[x]:y), [1,3,5],[2,5,1]),f[x])); makes g(); return f(x):=f[x] (which is what I expected) So, I think the docu should say something like  Function: DEFINE (f(x1, ...), body) is equivalent to f(x1,...):=evaluated_body, where evaluated_body is the evaluation of body.  >Comment By: David Billinghurst (billingd) Date: 20030719 23:57 Message: Logged In: YES user_id=365569 Suggested change made to Function.texi  Comment By: Stavros Macrakis (macrakis) Date: 20030708 07:12 Message: Logged In: YES user_id=588346 The problem here is that ''f(x) is not equivalent to ''(f(x)). The documenation should say ...is equivalent to f(x1,...):=''(body) Now, WHY is ''f(x) not equivalent to ''(f(x))? Well, that is in my opinion a design error, but since it is documented under '', I suppose it can't be considered a bug.  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=679437&group_id=4933 
From: SourceForge.net <noreply@so...>  20030719 05:36:12

Bugs item #774065, was opened at 20030719 01:36 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=774065&group_id=4933 Category: None Group: None Status: Open Resolution: None Priority: 5 Submitted By: Stavros Macrakis (macrakis) Assigned to: Nobody/Anonymous (nobody) Summary: taylor returns zeroa Initial Comment: taylor(x/log(x),x,inf,1) returns (zeroa+1/log(x)+...)*x+... I believe that 'zeroa' is intended to be strictly internal. Substituting 0 for zeroa gives the correct result.  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=774065&group_id=4933 
From: SourceForge.net <noreply@so...>  20030716 13:12:56

Bugs item #772283, was opened at 20030716 08:12 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=772283&group_id=4933 Category: None Group: None Status: Open Resolution: None Priority: 5 Submitted By: Barton Willis (willisb) Assigned to: Nobody/Anonymous (nobody) Summary: warnings from aload_mac Initial Comment: The function $aload_mac (defined in autol.lisp) has several unused parameters. Under cmucl, executing aload_mac gives warnings (C1) factorfacsum(x,x); In: LAMBDA (FILE &AUX *LOADVERBOSE* TEM TRIED) (LET ((IN FILE) ($SYSTEM #)) (DECLARE (SPECIAL $SYSTEM)) (SETQ TEM ($FILE_SEARCH1 FILE '#)) (AND TEM ($LOAD TEM))) ==> (COMMONLISP:LET ((IN FILE) ($SYSTEM #)) (DECLARE (SPECIAL $SYSTEM)) (SETQ TEM ($FILE_SEARCH1 FILE '#)) (AND TEM ($LOAD TEM))) Note: Variable IN defined but never used. #'(LAMBDA (FILE &AUX *LOADVERBOSE* TEM TRIED) (BLOCK $ALOAD_MAC (LET # # # #))) Note: Variable TRIED defined but never used. (D1) x (C2) quit(); The $aload_mac function is (defun $aload_mac (file &aux *loadverbose* tem tried) (let ((in file) ($system (list '(mlist) #+kcl (concatenate 'string si::*systemdirectory* "../ {src,share,share1,sharem}/foo.{mc,mac}")))) (declare (special $system)) (setq tem ($file_search1 file '((mlist) $FILE_SEARCH_MAXIMA $system))) (and tem ($load tem)))) I don't understand everything in this function, so I maybe missing something, but (defun $aload_mac (file &aux *loadverbose* tem tried) (declare (ignore tem tried)) ($load ($file_search1 file `((mlist) $file_search_maxima)))) might be a start for a replacement to aload_mac. When the file isn't found, $file_search1 halts with an error. I don't think (and tem ($load tem)) is needed. Barton  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=772283&group_id=4933 
From: SourceForge.net <noreply@so...>  20030715 04:52:53

Bugs item #771061, was opened at 20030714 12:52 Message generated for change (Comment added) made by macrakis You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=771061&group_id=4933 Category: None Group: None Status: Open Resolution: None Priority: 5 Submitted By: Stavros Macrakis (macrakis) Assigned to: Nobody/Anonymous (nobody) Summary: expand dot expr > fatal error Initial Comment: expand((vt . a^^(1) . u+1)^^(2)) causes a stack overflow (sometimes crashing Maxima entirely) ... infinite recursion in simpncexpt  >Comment By: Stavros Macrakis (macrakis) Date: 20030715 00:52 Message: Logged In: YES user_id=588346 Simpler case: (a + 1)^^(1) . (a + 1)^^(1), expon:2; The problem is that simpnct and simpncexpt are passing the buck to each other in cases like this. Simpncexpt correctly expands (a+1)^^3 as (a+1).(a+1)^^2, letting simpnct take care of the expansion, which it does. But it also tries to expand (a+1)^^(3) as (a+1)^^1 . (a+1)^^2, but simpnct doesn't recognize that case. Another, less dramatic, bug: expand(a^^1 . (b+c)^^1) does not expand at all. Note that there's no way to combine the parts within the powers without expanding out the powers  same problem with commutative multiplication. That is, how do I simplify a^n * (1+1/a)^n => (a * (1+1/a))^n => (a+1)^n , or to get a little fancier, (1/a+1)^(n+k)*a^(n+m) => a^(mk)*(a+1)^ (n+k). Radcan will do it, but at the cost of losing control over the simplification. Perhaps some variant of multthru is needed, or a new powerscontract.  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=771061&group_id=4933 
From: SourceForge.net <noreply@so...>  20030714 23:50:09

Bugs item #771301, was opened at 20030714 19:50 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=771301&group_id=4933 Category: None Group: None Status: Open Resolution: None Priority: 5 Submitted By: Stavros Macrakis (macrakis) Assigned to: Nobody/Anonymous (nobody) Summary: trigrat(sin(1)) internal error /FIX Initial Comment: trigrat(sin(1)) => Error: $%I is not of type LIST. Fix: in $listofei (trigrat.lisp), replace (cond ((and (CONSP VAR) (CONSP (CAR VAR)) (equal (caar var) 'mexpt) (equal (cadr var) '$%e) (equal (caaaddr var) 'mtimes) (equal (cadaddr var) '$%i)) (setq $lexp (cons var $lexp)) ... with (cond ((and (mexptp var) (equal (cadr var) '$%e) (mtimesp (caddr var)) (eq (cadr (caddr var)) '$%i)) (setq $lexp (cons var $lexp)) ...  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=771301&group_id=4933 
From: SourceForge.net <noreply@so...>  20030714 20:26:04

Bugs item #771218, was opened at 20030714 16:25 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=771218&group_id=4933 Category: None Group: None Status: Open Resolution: None Priority: 5 Submitted By: Stavros Macrakis (macrakis) Assigned to: Nobody/Anonymous (nobody) Summary: Translate: mexpt of floats incorrect Initial Comment: f():=(1)^(0.5) translate(f) f() => internal error (when it tries to print out #c(...)). Translate uses (expt 1 0.5), which is incorrect  it returns the CL number #C(0.0 1.0). To preserve Maxima semantics, this should be (power 1 0.5), returning %I. Same problem with symbolic arguments: f(a,b):=(modedeclare([a,b],float),a^b); translate(f); f(1,.5) ==> error This happens regardless of the setting of tr_exponent. Maxima 5.9.0 gcl 2.5.0  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=771218&group_id=4933 
From: SourceForge.net <noreply@so...>  20030714 18:26:50

Bugs item #771133, was opened at 20030714 13: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=771133&group_id=4933 Category: None Group: None Status: Open Resolution: None Priority: 5 Submitted By: Barton Willis (willisb) Assigned to: Nobody/Anonymous (nobody) Summary: double overflow => 0.0e0 Initial Comment: (C1) ?most\positive\double\float; (D1) 1.7976931348623157e+308 (C2) 1.7976931348623157e+308; (D2) 1.7976931348623157e+308 (C3) 1.7976931348623158e+308; (D3) 1.7976931348623157e+308 No problem sofar; but a problem here (C4) 1.7976931348623159e+308; (D4) 0.e+0 (C17) build_info(); Maxima version: 5.9.0rc3 Maxima build date: 15:25 5/11/2003 host type: i686pclinuxgnu lispimplementationtype: CMU Common Lisp lispimplementationversion: 18d (D17) Barton  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=771133&group_id=4933 
From: SourceForge.net <noreply@so...>  20030714 16:52:43

Bugs item #771061, was opened at 20030714 12:52 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=771061&group_id=4933 Category: None Group: None Status: Open Resolution: None Priority: 5 Submitted By: Stavros Macrakis (macrakis) Assigned to: Nobody/Anonymous (nobody) Summary: expand dot expr > fatal error Initial Comment: expand((vt . a^^(1) . u+1)^^(2)) causes a stack overflow (sometimes crashing Maxima entirely) ... infinite recursion in simpncexpt  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=771061&group_id=4933 
From: SourceForge.net <noreply@so...>  20030714 05:17:29

Bugs item #770794, was opened at 20030714 01:17 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=770794&group_id=4933 Category: None Group: None Status: Open Resolution: None Priority: 5 Submitted By: Stavros Macrakis (macrakis) Assigned to: Nobody/Anonymous (nobody) Summary: dot expansion inconsistent Initial Comment: ma: matrix([a11,a12],[a21,a22])$ mb: matrix([b11,b12],[b21,b22])$ ma.mb => multiplied out (OK)  call it mab q.ma.mb => q.mab (OK) but ma.mb.q => ma.mb.q  that is, ma.mb doesn't get multiplied out. This is inconsistent, since "." is known to be associative (dotassoc = true).  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=770794&group_id=4933 
From: SourceForge.net <noreply@so...>  20030713 16:44:05

Bugs item #614203, was opened at 20020925 05:08 Message generated for change (Comment added) made by kratt5 You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=614203&group_id=4933 Category: None Group: None Status: Open Resolution: None Priority: 5 Submitted By: Stavros Macrakis (macrakis) Assigned to: Nobody/Anonymous (nobody) Summary: Taylor gives undefined limit error Initial Comment: test: (1x^a)/(1+x^a); taylor(test,a,inf,2); asks sign of x1 If you answer pos, it works fine. If you answer zero, it gives "Break: Undefined limit product" and then "Error: Format error: arguments exhausted" (presumably there's some error in the error reporting...). The result should be zero. If you answer neg, it gives "Invalid call to varexpand". I am not sure what the correct result is, but it shouldn't cause an internal error.  Comment By: Martin Rubey (kratt5) Date: 20030713 16:44 Message: Logged In: YES user_id=651552 The formatting issue is reported in [ 663873 ] taylor / fixes The error remains, unfortunately... Martin  Comment By: Stavros Macrakis (macrakis) Date: 20030711 22:54 Message: Logged In: YES user_id=588346 A simpler case. In this case too, the answer is trivial: since sin(x)1 == 0 , then sin(x)==1 and sin(x)^a == 1 for all a.... taylor(sin(x)^a,a,inf,2); Is SIN(x)  1 positive, negative, or zero? zero; Break: Undefined limit product Error: Format error: arguments exhausted. V "Undefined limit product ~A * ~A in limtimes lim1 lim2" Does the same for f(x) instead of sin(x). The problem appears to be that it doesn't realize that the $zero here is a *constant* zero whereas the $INF is a limiting infinity only. Constant zero * limiting infinity = zero, though of course lmiiting zero * limiting infinity is undefined.  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=614203&group_id=4933 
From: SourceForge.net <noreply@so...>  20030712 20:23:34

Bugs item #635627, was opened at 20021108 13:35 Message generated for change (Comment added) made by macrakis You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=635627&group_id=4933 Category: None Group: None Status: Open Resolution: None Priority: 5 Submitted By: Stavros Macrakis (macrakis) Assigned to: Nobody/Anonymous (nobody) Summary: subst([...] is orderdependent Initial Comment: I would have expected subst([a=...,b=...],...) to substitute a and b simultaneously (like Lisp Sublis), but it does not, and it simplifies along the way. Here are some cases where it matters. The most obvious case is subst([b=c,a=b],b) => c This means that subst cannot be used to permute variables, e.g. subst([x=y,y=x],...) That is not good.  But there are other cases:  subst([a=0,b=0],atan2(a,b)) Depending on the answers to a>0 etc., this can return 0 or %pi, whereas subst([b=0,a=0],...) can return pi/2 or  pi/2. I believe that it should give the error: atan2(0.0) has been generated.  subst(["="="+","["="*"],[x=1,x=2]); gives (x+1) * (x+2) as expected, but subst(["["="*","="="+"],[x=1,x=2]); gives x^2+2 ((It would have been nice if minus were nary, so that I could use "="=""...))  These two cases can be worked around by turning simp off temporarily, e.g. subst(["["="*","="="+"],[x=1,x=2]), simp:false; but the workaround for the first case is much clumsier: subst([x=x0,y=x,x0=y],...)  >Comment By: Stavros Macrakis (macrakis) Date: 20030712 16:23 Message: Logged In: YES user_id=588346 Another case where simultaneous substitution is necessary... subst([a=[1,2],b=[3,4]],a+b) => [[4,5],[5,6]] instead of the expected [4,6] because [1,2]+b => [1+b,2+b], then 1+[3,4] => = [4,5] etc. I am arguing that simultaneous substitution is the only reasonable default behavior.  Comment By: Stavros Macrakis (macrakis) Date: 20021119 14:48 Message: Logged In: YES user_id=588346 Sublis is broken for operators, e.g. sublis(["+"="*"],x+y) And the online documentation (describe) of subst does not mention the parallel substitution issue. I do not think we need both subst([...]) and sublis([...]...). My guess is that sublis was defined before subst was extended to cover the multiple substitution case.  Comment By: Nobody/Anonymous (nobody) Date: 20021116 11:43 Message: Logged In: NO The info tells you to use SUBLIS if you want to do substitution in parallel.  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=635627&group_id=4933 
From: SourceForge.net <noreply@so...>  20030712 20:05:21

Bugs item #740134, was opened at 20030519 18:13 Message generated for change (Comment added) made by macrakis You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=740134&group_id=4933 Category: None Group: None Status: Open Resolution: None Priority: 5 Submitted By: Stavros Macrakis (macrakis) Assigned to: Nobody/Anonymous (nobody) Summary: sum evals first argument inconsistently Initial Comment: Consider foo: i^2; sum('foo,i,0,2) => 3*foo (correct) sum(foo,i,0,2) => 3*i^2 WRONG sum(foo,i,0,n) => 'sum(i^2,i,0,n) (correct) In the case where upperlimitlowerlimit is a known integer, simpsum is checking whether foo is free of i *before* evaluating foo. I believe the correct way to handle this case is as follows: First evaluate foo with i bound to itself, and check if that result is free of i. If so, return the product. If not, *substitute* (don't evaluate) i=lowerlimit, i=lowerlimit+1, etc. This means that sum(print(i),i,1,2) would print "i", and not "1 2". That makes it consistent with Integrate: integrate('foo,i,0,2) => 2*foo (correct) integrate(foo,i,0,2) => 8/3 (correct) integrate(foo,i,0,n) => n^3/3 (correct) It also makes it consistent with Integrate in the presence of sideeffects: integrate(print(i),i,0,1) prints i sum(print(i),i,0,1) currently prints 0 1 but in this proposal would print i It is true that it would also create some funny situations. Currently, sum(integrate(x^i,x),i,0,2) evaluates correctly to x+x^2/2+x^3/3. Under this proposal, it would also evaluate *correctly*, but would first ask whether i+1 is zero or nonzero. Unless, that is, simpsum binds i to be an integer and to have a value >=lowerlimit and <=upperlimit (which is a sensible thing to do anyway). Now consider sum(integrate(1/(x^i+1),i),i,0,1) This currently correctly evaluates to x/2+log(x+1). Under the proposal, however, it would evaluate to a sum of noun forms, since the integral does not exist in closed form. I think we can live with that; an ev (...,integrate) takes care of it. But I still like the proposal. After all, if you set the result of the integration expression above to a temporary variable (which seems like a sensible thing to do), you will run into the original bad behavior.  >Comment By: Stavros Macrakis (macrakis) Date: 20030712 16:05 Message: Logged In: YES user_id=588346 More problems with the interaction between sumevaluation and hash arrays: (C1) f[i](x):=x^i$ (C2) g[i](x):=x^i$ (C3) h[i](x):=x^i$ (C4) f[i]; (D4) LAMBDA([x],x^i) (C5) g[i](t); (D5) t^i /* fine so far */ (C6) sum(f[i](x),i,0,n); (D6) 'SUM(LAMBDA([x],x^i)(x),i,0,n) /* oops, why are we seeing the lambda form here? This is some sort of partial evaluation.... */ (C7) sum(g[i](x),i,0,n); (D7) 'SUM(LAMBDA([x],x^i)(x),i,0,n) /* and here */ (C8) sum(h[i](x),i,0,n); (D8) 'SUM(h[i](x),i,0,n) /* but here we're not getting h[i] to evaluate at all, which is consistent with other cases, e.g.: */ (C9) sum(integrate(x^i,x),i,0,n); (D9) 'SUM(INTEGRATE(x^i,x),i,0,n);  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=740134&group_id=4933 
From: SourceForge.net <noreply@so...>  20030712 19:38:35

Bugs item #770258, was opened at 20030712 15:38 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=770258&group_id=4933 Category: None Group: None Status: Open Resolution: None Priority: 5 Submitted By: Stavros Macrakis (macrakis) Assigned to: Nobody/Anonymous (nobody) Summary: redefining builtin functions (binom) Initial Comment: This is a documentation issue, an error message issue, and a semantics issue.... binom() is defined as an alias for binomial(), but this is not mentioned in the documentation. I wanted to use binom for the explicit form (in terms of factorials) and when I said binom(a,b):=... was surprised to get Warning  you are redefining the MACSYMA command BINOMIAL This redefines the verb form, but not the noun form, so if you now enter binom(2,x), you get back binomial(2,x), and NOT 2/((2x)!*x!). You can only get that using ev (...,binomial) or by explicitly using verbify(binomial). This is all rather unintuitive. I think that more "natural" ways to do things would be either: 1) forbid redefining builtins; or 2) when they're redefined, remove their simplification properties etc. and have them operate like normal functions; or 3) at least remove the alias which makes it function as the noun form on input  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=770258&group_id=4933 