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}
(3) 
_{Jul}

_{Aug}

_{Sep}

_{Oct}

_{Nov}

_{Dec}

From: SourceForge.net <noreply@so...>  20031102 21:47:52

Bugs item #834729, was opened at 20031102 21: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=834729&group_id=4933 Category: None Group: Fix for 5.9.0 Status: Open Resolution: None Priority: 5 Submitted By: Peter Ulrich Kruppa (pukruppa) Assigned to: Nobody/Anonymous (nobody) Summary: plot2d() produces bad postscript Initial Comment: A statement like (C4) plot2d(x^2,[x,5,5],[PLOT_FORMAT,PS]); should produce a printable postscript file. But maxout.ps simply contains a list of numbers. Please mind: plot3d() works allright. Regards, Uli Kruppa.  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=834729&group_id=4933 
From: SourceForge.net <noreply@so...>  20031102 06:09:33

Bugs item #834417, was opened at 20031102 07:09 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=834417&group_id=4933 Category: None Group: None Status: Open Resolution: None Priority: 5 Submitted By: Luc Maisonobe (maisonobe) Assigned to: Nobody/Anonymous (nobody) Summary: wrong TeX output for indexed variables with exponent Initial Comment: This simple session shows the error: (C1) tex(expand((1+alpha[1])^2)); $$\alpha^2\left(1\right)+2\,\alpha_{1}+1$$ (D1) FALSE Instead of \alpha^2\left(1\right), I would have expected \alpha_{1}^2  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=834417&group_id=4933 
From: SourceForge.net <noreply@so...>  20031101 16:27:05

Bugs item #834176, was opened at 20031101 11:27 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=834176&group_id=4933 Category: Documentation Group: None Status: Open Resolution: None Priority: 5 Submitted By: Stephen Leake (stephen_leake) Assigned to: Nobody/Anonymous (nobody) Summary: FILE_SEARCH is a function Initial Comment: In the info documentation, the FILE_SEARCH is defined as a variable; it is actually a function. In addition, the definition of LOAD talks about it as a variable. The real variables are FILE_SEARCH_LISP, FILE_SEARCH_MAXIMA and FILE_SEARCH_DEMO.  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=834176&group_id=4933 
From: SourceForge.net <noreply@so...>  20031027 23:47:36

Bugs item #831445, was opened at 20031027 18:44 Message generated for change (Comment added) made by macrakis You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=831445&group_id=4933 Category: None Group: None Status: Open Resolution: None Priority: 5 Submitted By: Stavros Macrakis (macrakis) Assigned to: Nobody/Anonymous (nobody) Summary: gcd/subres  another case Initial Comment: ratsimp of ((SQRT(3)*%I/21/2)*(SQRT(84541)*%I/(6*SQRT(3)) 11/2)^(1/3)+28*(SQRT(3)*%I/21/2)/(3*(SQRT(84541) *%I/(6*SQRT(3))11/2)^(1/3))+4)^312*((SQRT(3)*% I/21/2)*(SQRT(84541)*%I/(6*SQRT(3))11/2)^(1/3) +28*(SQRT(3)*%I/21/2)/(3*(SQRT(84541)*%I/ (6*SQRT(3))11/2)^(1/3))+4)^2+20*((SQRT(3)*%I/2 1/2)*(SQRT(84541)*%I/(6*SQRT(3))11/2)^(1/3)+28* (SQRT(3)*%I/21/2)/(3*(SQRT(84541)*%I/(6*SQRT (3))11/2)^(1/3))+4)+59 gives "quotient by zero" for gcd = subres, red, or algebraic; and an infinite loop (or at least is taking a very long time) for mod. spmod and ez work. Maxima 5.9.0 gcl 2.5.0  >Comment By: Stavros Macrakis (macrakis) Date: 20031027 18:46 Message: Logged In: YES user_id=588346 By the way, all the gcd algorithms work correctly with algebraic:true (not the default).  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=831445&group_id=4933 
From: SourceForge.net <noreply@so...>  20031027 23:44:51

Bugs item #831445, was opened at 20031027 18:44 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=831445&group_id=4933 Category: None Group: None Status: Open Resolution: None Priority: 5 Submitted By: Stavros Macrakis (macrakis) Assigned to: Nobody/Anonymous (nobody) Summary: gcd/subres  another case Initial Comment: ratsimp of ((SQRT(3)*%I/21/2)*(SQRT(84541)*%I/(6*SQRT(3)) 11/2)^(1/3)+28*(SQRT(3)*%I/21/2)/(3*(SQRT(84541) *%I/(6*SQRT(3))11/2)^(1/3))+4)^312*((SQRT(3)*% I/21/2)*(SQRT(84541)*%I/(6*SQRT(3))11/2)^(1/3) +28*(SQRT(3)*%I/21/2)/(3*(SQRT(84541)*%I/ (6*SQRT(3))11/2)^(1/3))+4)^2+20*((SQRT(3)*%I/2 1/2)*(SQRT(84541)*%I/(6*SQRT(3))11/2)^(1/3)+28* (SQRT(3)*%I/21/2)/(3*(SQRT(84541)*%I/(6*SQRT (3))11/2)^(1/3))+4)+59 gives "quotient by zero" for gcd = subres, red, or algebraic; and an infinite loop (or at least is taking a very long time) for mod. spmod and ez work. Maxima 5.9.0 gcl 2.5.0  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=831445&group_id=4933 
From: SourceForge.net <noreply@so...>  20031027 23:37:53

Bugs item #711871, was opened at 20030329 12:46 Message generated for change (Comment added) made by macrakis You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=711871&group_id=4933 Category: None Group: None Status: Open Resolution: None Priority: 5 Submitted By: Stavros Macrakis (macrakis) Assigned to: Nobody/Anonymous (nobody) Summary: EZGCD: ratsimp((%i+2)/(%i+1)),gcd:ez inf loop Initial Comment: ratsimp((%i+2)/(%i+1)),gcd:ez; gets into an infinite loop inside ezgcd2. Maxima 5.9.0 GCL 2.5.0 Windows 2000  >Comment By: Stavros Macrakis (macrakis) Date: 20031027 18:37 Message: Logged In: YES user_id=588346 but ratsimp((%i+2)/(%i+1)),gcd:mod,algebraic does not  Comment By: Stavros Macrakis (macrakis) Date: 20031027 17:33 Message: Logged In: YES user_id=588346 ratsimp((%i+2)/(%i+1)),gcd:mod; also gets into an infinite loop.  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=711871&group_id=4933 
From: SourceForge.net <noreply@so...>  20031027 23:12:00

Bugs item #696818, was opened at 20030303 15:15 Message generated for change (Comment added) made by macrakis You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=696818&group_id=4933 Category: None Group: None Status: Open Resolution: None Priority: 6 Submitted By: Stavros Macrakis (macrakis) Assigned to: Nobody/Anonymous (nobody) Summary: Taylor internal error (rat problem?) Initial Comment: taylor(asin(sin(x)+e),x,0,2) => Quotient by a polynomial of higher degree taylor(log(sqrt(e*%e^x+1)+e),x,0,2) => Quotient by a polynomial of higher degree Maxima version: 5.9.0 Maxima build date: 19:10 2/9/2003 host type: i686pcmingw32 lispimplementationtype: Kyoto Common Lisp lispimplementationversion: GCL25.0  >Comment By: Stavros Macrakis (macrakis) Date: 20031027 18:11 Message: Logged In: YES user_id=588346 gcd:'algebraic (which calls subres internally) also fails.  Comment By: Stavros Macrakis (macrakis) Date: 20030303 16:51 Message: Logged In: YES user_id=588346 Fateman suggested: > Sometimes changing the GCD algorithm to one without > a bug in it helps. gcd:subres for example. Thanks for the tip. Here are results with the different GCD algorithms. Subres/oldgcd is the default in 5.9.0, though the documentation says the default is Spmod/zgcd. The doc also claims that subres is the "new algorithm", though internally, confusingly, the Subres option calls oldgcd; has the mapping between names and functions changed?  taylor(asin(sin(x)+e),x,0,2),gcd:XXX; EZ OK =ezgcd2 SPMOD OK =zgcd FALSE OK MOD OK =newgcd (MOD option in code, not documented) SUBRES error =oldgcd RED error =oldgcd EEZ "EEZGCD is invalid as a function" SPHEN "SPHGCD is invalid as a function" (SPHEN option in code, not documented)  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=696818&group_id=4933 
From: SourceForge.net <noreply@so...>  20031027 22:34:32

Bugs item #711871, was opened at 20030329 12:46 Message generated for change (Comment added) made by macrakis You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=711871&group_id=4933 Category: None Group: None Status: Open Resolution: None Priority: 5 Submitted By: Stavros Macrakis (macrakis) Assigned to: Nobody/Anonymous (nobody) Summary: EZGCD: ratsimp((%i+2)/(%i+1)),gcd:ez inf loop Initial Comment: ratsimp((%i+2)/(%i+1)),gcd:ez; gets into an infinite loop inside ezgcd2. Maxima 5.9.0 GCL 2.5.0 Windows 2000  >Comment By: Stavros Macrakis (macrakis) Date: 20031027 17:33 Message: Logged In: YES user_id=588346 ratsimp((%i+2)/(%i+1)),gcd:mod; also gets into an infinite loop.  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=711871&group_id=4933 
From: SourceForge.net <noreply@so...>  20031027 21:46:45

Bugs item #831354, was opened at 20031027 16:45 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=831354&group_id=4933 Category: None Group: None Status: Open Resolution: None Priority: 5 Submitted By: Stavros Macrakis (macrakis) Assigned to: Nobody/Anonymous (nobody) Summary: beta(2,1) inconsistent Initial Comment: beta(2, 1) => 1/2 beta(2.0, 1) => 0.5 BUT beta(2.0, 1.0) => 0.25 The fundamental problem is that beta(x,y) is undefined as a continuous real function of both x and y at (2,1), but that beta(x,1) can be extended to be a well behaved continuous function of x, namely 1/x. This is essentially the same case as x^y at (0,0). Right now, Maxima simplifies x^0=>1 and 0^x=>0 (just like beta(x,1)). The difference is that Maxima gives an error for 0^0, 0.0^0, etc. Longerterm, it would be nice if 0^x kept as a side condition (x # 0) of the simplification, but for now....  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=831354&group_id=4933 
From: SourceForge.net <noreply@so...>  20031027 17:25:16

Bugs item #831163, was opened at 20031027 12: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=831163&group_id=4933 Category: None Group: None Status: Open Resolution: None Priority: 5 Submitted By: Stavros Macrakis (macrakis) Assigned to: Nobody/Anonymous (nobody) Summary: part(x) should give warning Initial Comment: part(x) returns x. This is of course perfectly consistent (the null case), but it is certainly an error if actually input this way. True, it might be useful in the case apply(part,cons (expression,specifier)), where specifier is an argument, possibly the empty list, but using apply this way is somewhat unclean. I would prefer that there be an explicit form of part where the specifier is a list. The problem with that solution, of course, is that we'd then need corresponding versionf of substpart, inpart, substinpart. Yecch. For now, I would recommend giving a warning message for this case. It would be nice if there could, however, be only one such warning per interaction. I don't think we do anything like that right now.  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=831163&group_id=4933 
From: SourceForge.net <noreply@so...>  20031020 19:12:16

Bugs item #826915, was opened at 20031020 10:59 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=826915&group_id=4933 Category: None Group: None Status: Open Resolution: None Priority: 5 Submitted By: Stavros Macrakis (macrakis) Assigned to: Nobody/Anonymous (nobody) Summary: Solve wrong with irreducible polydecomp Initial Comment: poly: x^5+x3$ polypoly: subst(d2,x,d2); => (x^5+x3)^5+x^5+x6 solve(polypoly,x) => [0 = x^5+15*x^490*x^3+270*x^2406*x+249] This is incorrect. It is specifying the solutions of the outer composed polynomial (polydecomp), not the composition as a whole  that said, I don't think there is any notation in Maxima for specifying the composition of implicit solutions. Maxima 5.9.0 gcl 2.5.0  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=826915&group_id=4933 
From: SourceForge.net <noreply@so...>  20031020 08:12:29

Bugs item #826623, was opened at 20031020 00:25 Message generated for change (Comment added) made by macrakis You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=826623&group_id=4933 Category: None Group: None Status: Open Resolution: None Priority: 5 Submitted By: Stavros Macrakis (macrakis) Assigned to: Nobody/Anonymous (nobody) Summary: simplifer returns %i*%i Initial Comment: ((%i)^(1/2)*%i)*((%i)^(1/2)) => %i*%i Resimplifying  expand(%,0,0)  correctly returns 1. Maxima 5.9.0 gcl 2.5.0 mingw32 W2k Athlon  >Comment By: Stavros Macrakis (macrakis) Date: 20031020 01:55 Message: Logged In: YES user_id=588346 This may be related to the inconsistent simplification of simple expressions involving %i: Mathematically, %i^(1/4) = (%i)^(1/4), but the first simplifies to (1)^(1/8) and the second to (%i)^(1/4) . Mathematically, (1)^(1/4) = %i^(1/2) = (%i)^(1/2), but the first two simplify to 1/(1)^(1/4), while the third simplifies to sqrt(%i). There are other similar cases. This is also reminiscent of the the nonnormalization of 1/sqrt(2)  bug # 721575.  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=826623&group_id=4933 
From: SourceForge.net <noreply@so...>  20031020 08:07:16

Bugs item #798571, was opened at 20030901 10:10 Message generated for change (Comment added) made by macrakis You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=798571&group_id=4933 Category: None Group: None Status: Open Resolution: None Priority: 5 Submitted By: Barton Willis (willisb) Assigned to: Nobody/Anonymous (nobody) Summary: sign(sqrt(2)/2  1/sqrt(2)) > zero, pos, neg, or pnz Initial Comment: Depending on the values of fpprec and signbfloat, sign(sqrt(2)/2  1/sqrt(2)) evaluates to zero, pos, neg, or pnz. (C1) display2d : false; (D1) FALSE (C2) a : sqrt(2)/2  1/sqrt(2); (D2) SQRT(2)/21/SQRT(2) (C3) for k : 20 thru 25 do (fpprec : k, print(k,sign(a))); 20 ZERO 21 POS 22 ZERO 23 POS 24 ZERO 25 NEG (D3) DONE (C4) sign(a), signbfloat : true; (D4) NEG (C5) sign(a), signbfloat : false; (D5) PNZ Here is another example  this time sign(p) should evaluate to pos. (C7) p : exp(x)  sum(x^k/k!,k,0,15)$ (C8) p : subst(1/10000001,x,p)$ (C9) sign(p),signbfloat : true; (D9) ZERO (C10) sign(p),signbfloat : false; (D10) PNZ (C11) for k : 20 thru 25 do (fpprec : k, print(k,sign (p))); 20 POS 21 NEG 22 NEG 23 ZERO 24 POS 25 ZERO (D11) DONE (C12) Additionally, signbfloat isn't documented (C17) describe("signbfloat"); (D17) FALSE Barton  >Comment By: Stavros Macrakis (macrakis) Date: 20031020 01:57 Message: Logged In: YES user_id=588346 About the specific case of sqrt(2)/2  1/sqrt(2), cf. bug 721575  they should really simplify to a standard form and cancel. The general problem of using approximate arithmetic to check sign/is remains.  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=798571&group_id=4933 
From: SourceForge.net <noreply@so...>  20031020 07:19:40

Bugs item #826623, was opened at 20031020 00: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=826623&group_id=4933 Category: None Group: None Status: Open Resolution: None Priority: 5 Submitted By: Stavros Macrakis (macrakis) Assigned to: Nobody/Anonymous (nobody) Summary: simplifer returns %i*%i Initial Comment: ((%i)^(1/2)*%i)*((%i)^(1/2)) => %i*%i Resimplifying  expand(%,0,0)  correctly returns 1. Maxima 5.9.0 gcl 2.5.0 mingw32 W2k Athlon  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=826623&group_id=4933 
From: SourceForge.net <noreply@so...>  20031020 05:26:08

Bugs item #826627, was opened at 20031020 00:49 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=826627&group_id=4933 Category: None Group: None Status: Open Resolution: None Priority: 5 Submitted By: Stavros Macrakis (macrakis) Assigned to: Nobody/Anonymous (nobody) Summary: integrate quotient (gcd?) problems Initial Comment: integrate( x*%E^(a*x/2)*SIN(SQRT(ba^2)*x) , x) => Quotient by a polynomial of higher degree Another similar problem: integrate( x*%E^(a*x)*SIN(SQRT(ba^2)*x/2) , x) => quotient is not exact Usually, this sort of problem is solved by changing GCD algorithm (setting the GCD variable), but in this case, all the GCD routines have the same problem. (Problem originally found by Jared Alem in assume (4*b>a^2)$ 'diff(y,x,2) + a*'diff(y,x) + b*y = c*x;) Maxima 5.9.0 gcl 2.5.0 mingw32 W2k Athlon  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=826627&group_id=4933 
From: SourceForge.net <noreply@so...>  20031017 12:54:31

Bugs item #823084, was opened at 20031014 00:37 Message generated for change (Comment added) made by diemer You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=823084&group_id=4933 Category: Tests Group: None Status: Closed Resolution: Invalid Priority: 5 Submitted By: Jonas Diemer (diemer) Assigned to: Nobody/Anonymous (nobody) Summary: IS often doesn't work Initial Comment: Hi! The IS function is used to evaluate if an expression is true, correct? It doesn't seem to like equations that are not factored out: 2*(x(y+x))=2*x2*(y+x); should be true, right? IS sais, it wasn't. Jonas PS: I am not an expert in CAS. If I reported complete bullshit, I would be happy about a short explanation why. thanks in advance.  >Comment By: Jonas Diemer (diemer) Date: 20031017 14:54 Message: Logged In: YES user_id=154672 I see. Maybe somthing about testing equality etc. could go in the Primer or somewhere else... Regards  Comment By: Stavros Macrakis (macrakis) Date: 20031017 08:18 Message: Logged In: YES user_id=588346 In Maxima, is(...=...) tests for *syntactic* equality: the two expressions have the same structure. To test for *semantic* equality, use equal. In your example, is(equal(2*(x(y+x)),2*x2*(y+x)) returns true as you'd expect. That said, in many cases is/equal cannot determine the correct result, even if other parts of Maxima can  e.g. is (equal(sin(x)^2+cos(x)^2,1)). I agree that this is confusing, but this is the intended behavior.  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=823084&group_id=4933 
From: SourceForge.net <noreply@so...>  20031017 06:19:07

Bugs item #823084, was opened at 20031013 18:37 Message generated for change (Comment added) made by macrakis You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=823084&group_id=4933 Category: Tests Group: None >Status: Closed >Resolution: Invalid Priority: 5 Submitted By: Jonas Diemer (diemer) Assigned to: Nobody/Anonymous (nobody) Summary: IS often doesn't work Initial Comment: Hi! The IS function is used to evaluate if an expression is true, correct? It doesn't seem to like equations that are not factored out: 2*(x(y+x))=2*x2*(y+x); should be true, right? IS sais, it wasn't. Jonas PS: I am not an expert in CAS. If I reported complete bullshit, I would be happy about a short explanation why. thanks in advance.  >Comment By: Stavros Macrakis (macrakis) Date: 20031017 02:18 Message: Logged In: YES user_id=588346 In Maxima, is(...=...) tests for *syntactic* equality: the two expressions have the same structure. To test for *semantic* equality, use equal. In your example, is(equal(2*(x(y+x)),2*x2*(y+x)) returns true as you'd expect. That said, in many cases is/equal cannot determine the correct result, even if other parts of Maxima can  e.g. is (equal(sin(x)^2+cos(x)^2,1)). I agree that this is confusing, but this is the intended behavior.  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=823084&group_id=4933 
From: SourceForge.net <noreply@so...>  20031014 22:29:37

Bugs item #821021, was opened at 20031010 09:03 Message generated for change (Comment added) made by wjenkner You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=821021&group_id=4933 Category: None Group: None Status: Open Resolution: None Priority: 5 Submitted By: Nobody/Anonymous (nobody) Assigned to: Nobody/Anonymous (nobody) Summary: substpart changes its argument in cmucl maxima Initial Comment: Paolo Nason, INFN, sez. di Milano Universita' di MilanoBicocca, Dip. di Fisica "G. Occhialini", Piazza della Scienza, 3 20126 Milano Paolo.Nason@... In cmucl maxima substpart has side effects: (C26) lll:[1,2,3]; (D26) [1,2,3] (C27) substpart(5,lll,2); (D27) [1,5,3] (C28) lll; (D28) [1,5,3] lll has been modified. In gcl maxima: (C1) lll:[1,2,3]; (D1) [1, 2, 3] (C2) substpart(5,lll,2); (D2) [1, 5, 3] (C3) lll; (D3) [1, 2, 3] lll remains the same, as it should.  >Comment By: Wolfgang Jenkner (wjenkner) Date: 20031015 00:29 Message: Logged In: YES user_id=581700 Patch committed.  Comment By: Wolfgang Jenkner (wjenkner) Date: 20031010 17:58 Message: Logged In: YES user_id=581700 Thanks for the bug report. The problem seems to be that MPART (in comm.lisp) contains the form (SETQ EXP (copyalllevels EXP)) and COPYALLLEVELS is defined (in maxmac.lisp) as (DEFMACRO COPYALLLEVELS (LIST) #+(or cl NIL) `(COPYTREE ,LIST) #(or lispm NIL) `(SUBST NIL NIL ,LIST)) So the form above does the same thing as (setq exp (subst nil nil exp)). Now the CLHS says If no changes are made [by SUBST or friends], the original tree may be returned. This explains why GCL behaves in a different way from CMUCL (SBCL and CLISP behave like CMUCL). Since COPYALLLEVELS occurs only twice in the whole of Maxima and we support only ANSI CL anyway, I think that we don't need such an abstraction and we could just replace it by COPYTREE. Objections?  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=821021&group_id=4933 
From: SourceForge.net <noreply@so...>  20031013 22:37:31

Bugs item #823084, was opened at 20031014 00:37 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=823084&group_id=4933 Category: Tests Group: None Status: Open Resolution: None Priority: 5 Submitted By: Jonas Diemer (diemer) Assigned to: Nobody/Anonymous (nobody) Summary: IS often doesn't work Initial Comment: Hi! The IS function is used to evaluate if an expression is true, correct? It doesn't seem to like equations that are not factored out: 2*(x(y+x))=2*x2*(y+x); should be true, right? IS sais, it wasn't. Jonas PS: I am not an expert in CAS. If I reported complete bullshit, I would be happy about a short explanation why. thanks in advance.  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=823084&group_id=4933 
From: SourceForge.net <noreply@so...>  20031012 12:49:54

Bugs item #821108, was opened at 20031010 10:09 Message generated for change (Comment added) made by vvzhy You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=821108&group_id=4933 Category: None Group: None Status: Open >Resolution: Wont Fix Priority: 5 Submitted By: Gael Fraiteur (gfraiteur) Assigned to: Nobody/Anonymous (nobody) Summary: Texmacs craches after launching a Maxima session Initial Comment: Using Cygwin, MikTex. Texmacs craches after launching a Maxima session. Many warnings and errors come in the buffer, then the application crashed (so I cannot read what was in the buffer). On the console, the following output:  TeXmacs] Launching 'tm_maxima' Fatal error: bad url in 'complete' See file : url.cpp  >Comment By: Vadim V. Zhytnikov (vvzhy) Date: 20031012 12:49 Message: Logged In: YES user_id=366498 This is not Maxima bug its is known TeXmacs bag/feature. When TeXmacs starts it tries to locate maxima_toc.html using tree methods (take a look in init_texmacs.cpp): 1) Loosk in several predefined places. 2) Parses maxima wrapper script trying to find value to MAXIMA_DIRECTORY environment variable. 3) Looks for maxima_toc.html using locate command. If none of 13 works then maxima will not start under TeXmacs with "bad url" message. Unfortunately often this is the case since 1) refers to 5.9.0 (not 5.9.01.1cvs); 2) presently there is no MAXIMA_DIRECTORY in the maxima script and in general this method will not work on Windows; 3) locate is not installed or locate database is out of date.  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=821108&group_id=4933 
From: SourceForge.net <noreply@so...>  20031012 03:39:34

Bugs item #822032, was opened at 20031011 23:39 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=822032&group_id=4933 Category: None Group: None Status: Open Resolution: None Priority: 2 Submitted By: Stavros Macrakis (macrakis) Assigned to: Nobody/Anonymous (nobody) Summary: for i in 1.0b0 bogus /FIX Initial Comment: The "for var in list" allows list to be an arbitrary expression, and assigns var to the part(var,i)'s when list is nonatomic, e.g. for i in a+b+c do print(i) => a b c for i in a/b do print(i) => a b (note that this is the nformat'ed version) But it thinks the bfloat case is nonatomic: for i in 1.0b0 do print(i) => 36028797018963968 1 Fix is easy: in Mdoin (mlisp.lisp), replace atom by $atom in: OLD (SETQ SET (IF (ATOM (SETQ SET (FORMAT1... NEW (SETQ SET (IF ($ATOM (SETQ SET (FORMAT1...  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=822032&group_id=4933 
From: SourceForge.net <noreply@so...>  20031010 15:58:34

Bugs item #821021, was opened at 20031010 09:03 Message generated for change (Comment added) made by wjenkner You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=821021&group_id=4933 Category: None Group: None Status: Open Resolution: None Priority: 5 Submitted By: Nobody/Anonymous (nobody) Assigned to: Nobody/Anonymous (nobody) Summary: substpart changes its argument in cmucl maxima Initial Comment: Paolo Nason, INFN, sez. di Milano Universita' di MilanoBicocca, Dip. di Fisica "G. Occhialini", Piazza della Scienza, 3 20126 Milano Paolo.Nason@... In cmucl maxima substpart has side effects: (C26) lll:[1,2,3]; (D26) [1,2,3] (C27) substpart(5,lll,2); (D27) [1,5,3] (C28) lll; (D28) [1,5,3] lll has been modified. In gcl maxima: (C1) lll:[1,2,3]; (D1) [1, 2, 3] (C2) substpart(5,lll,2); (D2) [1, 5, 3] (C3) lll; (D3) [1, 2, 3] lll remains the same, as it should.  >Comment By: Wolfgang Jenkner (wjenkner) Date: 20031010 17:58 Message: Logged In: YES user_id=581700 Thanks for the bug report. The problem seems to be that MPART (in comm.lisp) contains the form (SETQ EXP (copyalllevels EXP)) and COPYALLLEVELS is defined (in maxmac.lisp) as (DEFMACRO COPYALLLEVELS (LIST) #+(or cl NIL) `(COPYTREE ,LIST) #(or lispm NIL) `(SUBST NIL NIL ,LIST)) So the form above does the same thing as (setq exp (subst nil nil exp)). Now the CLHS says If no changes are made [by SUBST or friends], the original tree may be returned. This explains why GCL behaves in a different way from CMUCL (SBCL and CLISP behave like CMUCL). Since COPYALLLEVELS occurs only twice in the whole of Maxima and we support only ANSI CL anyway, I think that we don't need such an abstraction and we could just replace it by COPYTREE. Objections?  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=821021&group_id=4933 
From: SourceForge.net <noreply@so...>  20031010 10:09:14

Bugs item #821108, was opened at 20031010 12:09 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=821108&group_id=4933 Category: None Group: None Status: Open Resolution: None Priority: 5 Submitted By: Gael Fraiteur (gfraiteur) Assigned to: Nobody/Anonymous (nobody) Summary: Texmacs craches after launching a Maxima session Initial Comment: Using Cygwin, MikTex. Texmacs craches after launching a Maxima session. Many warnings and errors come in the buffer, then the application crashed (so I cannot read what was in the buffer). On the console, the following output:  TeXmacs] Launching 'tm_maxima' Fatal error: bad url in 'complete' See file : url.cpp  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=821108&group_id=4933 
From: SourceForge.net <noreply@so...>  20031010 07:03:05

Bugs item #821021, was opened at 20031010 00:03 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=821021&group_id=4933 Category: None Group: None Status: Open Resolution: None Priority: 5 Submitted By: Nobody/Anonymous (nobody) Assigned to: Nobody/Anonymous (nobody) Summary: substpart changes its argument in cmucl maxima Initial Comment: Paolo Nason, INFN, sez. di Milano Universita' di MilanoBicocca, Dip. di Fisica "G. Occhialini", Piazza della Scienza, 3 20126 Milano Paolo.Nason@... In cmucl maxima substpart has side effects: (C26) lll:[1,2,3]; (D26) [1,2,3] (C27) substpart(5,lll,2); (D27) [1,5,3] (C28) lll; (D28) [1,5,3] lll has been modified. In gcl maxima: (C1) lll:[1,2,3]; (D1) [1, 2, 3] (C2) substpart(5,lll,2); (D2) [1, 5, 3] (C3) lll; (D3) [1, 2, 3] lll remains the same, as it should.  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=821021&group_id=4933 
From: SourceForge.net <noreply@so...>  20031009 19:39:02

Bugs item #626697, was opened at 20021022 01:27 Message generated for change (Comment added) made by macrakis You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=626697&group_id=4933 Category: None Group: None Status: Open Resolution: None Priority: 5 Submitted By: Stavros Macrakis (macrakis) Assigned to: Nobody/Anonymous (nobody) Summary: limit(atan2(y,x),y,minf) => FALSE Initial Comment: limit(atan2(y,x),y,minf) => FALSE The fix is in the very last clause of SIMPLIMIT. Currently, it is (if $limsubst <stuff>) It should be (if $limsubst <stuff> (nounlimit exp var val))  >Comment By: Stavros Macrakis (macrakis) Date: 20031009 15:38 Message: Logged In: YES user_id=588346 Same problem, same solution for limit(BETA((a+1)/b,(ba 1)/b)/b,a,b1);  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=626697&group_id=4933 