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}
(58) 
_{Feb}

_{Mar}

_{Apr}

_{May}

_{Jun}

_{Jul}

_{Aug}

_{Sep}

_{Oct}

_{Nov}

_{Dec}

From: Robert Dodier <robert_dodier@us...>  20180117 18:35:26

 ** [bugs:#3386] documentation: assoc actually allows nonlist arguments** **Status:** open **Group:** None **Labels:** assoc documentation **Created:** Wed Jan 17, 2018 06:35 PM UTC by Robert Dodier **Last Updated:** Wed Jan 17, 2018 06:35 PM UTC **Owner:** nobody Documentation for assoc says argument must be a list, but actually it can be any expression. (set, etc.). See also suggested reworking of existing documentation in my comment on: https://sourceforge.net/p/maxima/bugs/2662/  Sent from sourceforge.net because maximabugs@... is subscribed to https://sourceforge.net/p/maxima/bugs/ To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/maxima/admin/bugs/options. Or, if this is a mailing list, you can unsubscribe from the mailing list. 
From: Richard Gobeli <richardgobeli@us...>  20180116 02:21:59

This has been taken care of in wxMaxima. Thanks  ** [bugs:#3325] Tensor.dem fails in tendemo.mac** **Status:** open **Group:** Includes_proposed_fix **Created:** Tue Aug 15, 2017 04:42 AM UTC by Richard Gobeli **Last Updated:** Tue Aug 22, 2017 01:12 AM UTC **Owner:** Viktor Toth **Attachments:**  [tendemo.mac](https://sourceforge.net/p/maxima/bugs/3325/attachment/tendemo.mac) (6.2 kB; application/octetstream) tensor.dem loads tendemo.mac. The printing of the selectable options causes the read selection not to work. It is like the read is executed before the printing. is done. There are three positions in this file where the read selction does not work without the delay. I got it to work if I run a for loop to delay the read selection unil after the printing is done. Example is here in tendemo.mac. print("A. Algebraic tensor manipulation"), print("E. Complete examples"), print("X. Exit this demo"), print(""), /* the following line is added so the read will work. */ for a: 1 thru 26000 step 1 do a*a, sel:read("Select an option by its number followed by a semicolon (;)"), if sel=1 then demo(itensor1) else if sel=2 then demo(itensor2) The modified file is attached.  Sent from sourceforge.net because maximabugs@... is subscribed to https://sourceforge.net/p/maxima/bugs/ To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/maxima/admin/bugs/options. Or, if this is a mailing list, you can unsubscribe from the mailing list. 
From: Stavros Macrakis <macrakis@us...>  20180115 18:05:16

 ** [bugs:#3385] gcd error with floats and keepfloat** **Status:** open **Group:** None **Created:** Mon Jan 15, 2018 06:05 PM UTC by Stavros Macrakis **Last Updated:** Mon Jan 15, 2018 06:05 PM UTC **Owner:** nobody keepfloat:true$ gcd(rat(1.0),rat(1.0)) => Lisp error: the value 1.0 is not of type integer gcd(rat(1),rat(1.0)) => same error gcd(rat(1.0),rat(1)) => same error gcd(rat(x1.0),rat(x1.0)) => same error Maxima version: "5.41.0a_dirty" Maxima build date: "20171023 00:00:44" Host type: "i686w64mingw32" Lisp implementation type: "SBCL" Lisp implementation version: "1.3.12"  Sent from sourceforge.net because maximabugs@... is subscribed to https://sourceforge.net/p/maxima/bugs/ To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/maxima/admin/bugs/options. Or, if this is a mailing list, you can unsubscribe from the mailing list. 
From: Richard Gobeli <richardgobeli@us...>  20180114 22:16:21

Macsyma 2.4 has a package algfuncs, which has miscellaneous algebraic functions. demoivreh(exp,var) is one of them. See the following: Attachments:  [Capture.PNG](https://sourceforge.net/p/maxima/bugs/_discuss/thread/82fc9d2f/7421/attachment/Capture.PNG) (12.6 kB; image/png)  ** [bugs:#3358] demoivre doesn't work with hyperbolic functions.** **Status:** open **Group:** None **Created:** Fri Nov 17, 2017 12:39 PM UTC by Emmanuel Charpentier **Last Updated:** Thu Jan 11, 2018 06:01 AM UTC **Owner:** nobody First reported as in Sage's ticket [24231](https://trac.sagemath.org/ticket/24231), found in 5.39.0 (as packaged in Sage) and 5.40.0 (as packaged in Debian) : ~~~~maxima (%i5) map(lambda([t],[t,demoivre(exponentialize(t(x)))]),[sin,cos,tan,sinh,cosh,tanh]); (%o5) [[sin,sin(x)],[cos,cos(x)],[tan,sin(x)/cos(x)],[sinh,(%e^x%e^x)/2], [cosh,(%e^x+%e^x)/2],[tanh,(%e^x%e^x)/(%e^x+%e^x)]] ~~~~ ```demoivre``` does what it"s supposed to do with trigonometric expressions in exponential form, but not with hyperbolic ones.  Sent from sourceforge.net because maximabugs@... is subscribed to https://sourceforge.net/p/maxima/bugs/ To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/maxima/admin/bugs/options. Or, if this is a mailing list, you can unsubscribe from the mailing list. 
From: David Scherfgen <tomasriker@us...>  20180114 22:10:00

I think this is a coincidence. Quoting my email to the mailing list: > I have found the reason why sqrt(2) during rationalization is sometimes turned into a symbol called sqrt(2) and sometimes into 2^(1/2). > newvarmexpt doesn't simplify its output, and the formatting of the ^ operator in aformat/mformat depends on whether the operator is simplified or not: > > :lisp (aformat nil "~M" '((mexpt) 2 ((rat simp) 1 2))) > > outputs 2^(1/2) > > :lisp (aformat nil "~M" '((mexpt simp) 2 ((rat simp) 1 2))) > > outputs sqrt(2) > > But this is not the cause of the problem. I have changed newvarmexpt so that it generates only simplified expressions. Now there were no more ...^(1/2) symbols in the traces, but the expression still could not be factored.  ** [bugs:#3378] Epic 5.41 polynomial arithmetic bug.** **Status:** open **Group:** None **Created:** Fri Jan 05, 2018 04:56 PM UTC by Van **Last Updated:** Sun Jan 14, 2018 08:39 PM UTC **Owner:** nobody **Attachments:**  [Screen Shot 20180105 at 10.34.45 AM.png](https://sourceforge.net/p/maxima/bugs/3378/attachment/Screen%20Shot%2020180105%20at%2010.34.45%20AM.png) (268.2 kB; image/png) A particularly nasty little Maxima bug. Maxima Version 5.41.0 Mac OS High Sierra 10.13.2 bug also present in 5.3x Not a floating point issue per se. author: van@... site: facebook.com/LearningCalculus date: Friday, Jan 5, 2018 In the following problem: sqrt(2 ) gives completely wrong answer. sqrt(2.0) gives acceptable answer. which is exactly backwards of symbolic algebra expectation. I nearly had to switch to Mathematica before I discovered workaround. ~~~~ kill(all)$ f(x):=(x+0)*(x+1)*(x+2)*(x+3)2*sqrt(2); S:(solve(f(x),x))$ float(S[1]);float(S[2]);float(S[3]);float(S[4]); f(x):=(x+0)*(x+1)*(x+2)*(x+3)2*sqrt(2.0); S:(solve(f(x),x))$ float(S[1]);float(S[2]);float(S[3]);float(S[4]); ~~~~  Sent from sourceforge.net because maximabugs@... is subscribed to https://sourceforge.net/p/maxima/bugs/ To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/maxima/admin/bugs/options. Or, if this is a mailing list, you can unsubscribe from the mailing list. 
From: Richard Gobeli <richardgobeli@us...>  20180114 20:39:12

It works when pfactor uses SQRT(3) and it fails when it uses 3^(1/2); Attachments:  [Capture.PNG](https://sourceforge.net/p/maxima/bugs/_discuss/thread/88df4e01/ecda/attachment/Capture.PNG) (29.2 kB; image/png)  [Capture1.PNG](https://sourceforge.net/p/maxima/bugs/_discuss/thread/88df4e01/ecda/attachment/Capture1.PNG) (22.8 kB; image/png)  ** [bugs:#3378] Epic 5.41 polynomial arithmetic bug.** **Status:** open **Group:** None **Created:** Fri Jan 05, 2018 04:56 PM UTC by Van **Last Updated:** Wed Jan 10, 2018 08:54 AM UTC **Owner:** nobody **Attachments:**  [Screen Shot 20180105 at 10.34.45 AM.png](https://sourceforge.net/p/maxima/bugs/3378/attachment/Screen%20Shot%2020180105%20at%2010.34.45%20AM.png) (268.2 kB; image/png) A particularly nasty little Maxima bug. Maxima Version 5.41.0 Mac OS High Sierra 10.13.2 bug also present in 5.3x Not a floating point issue per se. author: van@... site: facebook.com/LearningCalculus date: Friday, Jan 5, 2018 In the following problem: sqrt(2 ) gives completely wrong answer. sqrt(2.0) gives acceptable answer. which is exactly backwards of symbolic algebra expectation. I nearly had to switch to Mathematica before I discovered workaround. ~~~~ kill(all)$ f(x):=(x+0)*(x+1)*(x+2)*(x+3)2*sqrt(2); S:(solve(f(x),x))$ float(S[1]);float(S[2]);float(S[3]);float(S[4]); f(x):=(x+0)*(x+1)*(x+2)*(x+3)2*sqrt(2.0); S:(solve(f(x),x))$ float(S[1]);float(S[2]);float(S[3]);float(S[4]); ~~~~  Sent from sourceforge.net because maximabugs@... is subscribed to https://sourceforge.net/p/maxima/bugs/ To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/maxima/admin/bugs/options. Or, if this is a mailing list, you can unsubscribe from the mailing list. 
From: David Billinghurst <billingd@us...>  20180112 01:03:42

 **labels**: Lisp Core  Solving equations > Lisp Core  Solving equations, algsys  **assigned_to**: David Billinghurst  **Group**: > None  ** [bugs:#380] algsys a*b=c*d grossly incomplete** **Status:** open **Group:** None **Labels:** Lisp Core  Solving equations algsys **Created:** Wed Aug 13, 2003 09:25 PM UTC by Stavros Macrakis **Last Updated:** Fri Jan 12, 2018 12:23 AM UTC **Owner:** David Billinghurst algsys\(\[a\*b=c\*d\],\[a,b,c,d\]\) returns \[\[a = %R2\*%R3/%R1,b = %R1,C = %R2,d = %R3\]\] This is missing some of the solutions where one or both of a and b is zero and one or both of c and d is zero. The complete list of these solutions is: \[\[a=0,b=%r1,c=0,d=%r2\], \[a=0,b=%r3,c=%r4,d=0\], \[a=%r5,b=0,c=0,d=%r6\], \[a=%r7,b=0,c=%r8,d=0\]\] The first two are subsumed by the original solution as long as b \# 0.  Sent from sourceforge.net because maximabugs@... is subscribed to https://sourceforge.net/p/maxima/bugs/ To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/maxima/admin/bugs/options. Or, if this is a mailing list, you can unsubscribe from the mailing list. 
From: David Billinghurst <billingd@us...>  20180112 00:23:28

With git HEAD of 20180112 ~~~ (%i2) display2d:false (%o2) false (%i3) eq:a*b = c*d (%o3) a*b = c*d (%i4) (trace(algsys),trace(algsys0),trace(algsys1),trace(condensesolnl), trace(distrep),trace(lofactors),trace(findleastvar),trace(presultant), trace(bakalevel),trace(bakalevel1),trace(mergesoln),trace(callsolve), trace(baksubst),trace(ebaksubst),trace(simplify\after\subst),0) (%i5) algsys([eq],[a,b,c,d]) 0: (ALGSYS ((#:A431 1 (#:B430 1 1) 0 (#:C429 1 (#:D428 1 1))))) 1: (LOFACTORS (#:A431 1 (#:B430 1 1) 0 (#:C429 1 (#:D428 1 1)))) 1: LOFACTORS returned ((#:A431 1 (#:B430 1 1) 0 (#:C429 1 (#:D428 1 1)))) 1: (DISTREP (((#:A431 1 (#:B430 1 1) 0 (#:C429 1 (#:D428 1 1)))))) 2: (CONDENSESOLNL (((#:A431 1 (#:B430 1 1) 0 (#:C429 1 (#:D428 1 1)))))) 2: CONDENSESOLNL returned (((#:A431 1 (#:B430 1 1) 0 (#:C429 1 (#:D428 1 1))))) 1: DISTREP returned (((#:A431 1 (#:B430 1 1) 0 (#:C429 1 (#:D428 1 1))))) 1: (ALGSYS0 ((#:A431 1 (#:B430 1 1) 0 (#:C429 1 (#:D428 1 1))))) 2: (ALGSYS1 ((#:A431 1 (#:B430 1 1) 0 (#:C429 1 (#:D428 1 1))))) 3: (FINDLEASTVAR ((#:A431 1 (#:B430 1 1) 0 (#:C429 1 (#:D428 1 1))))) 3: FINDLEASTVAR returned ((#:A431 1 (#:B430 1 1) 0 (#:C429 1 (#:D428 1 1))) . #:A431) 3: (ALGSYS NIL) 4: (DISTREP NIL) 5: (CONDENSESOLNL (NIL)) 5: CONDENSESOLNL returned (NIL) 4: DISTREP returned (NIL) 4: (ALGSYS0 NIL) 4: ALGSYS0 returned (NIL) 4: (CONDENSESOLNL (NIL)) 4: CONDENSESOLNL returned (NIL) 3: ALGSYS returned (NIL) 3: (BAKALEVEL (NIL) ((#:A431 1 (#:B430 1 1) 0 (#:C429 1 (#:D428 1 1)))) #:A431) 4: (BAKALEVEL1 NIL ((#:A431 1 (#:B430 1 1) 0 (#:C429 1 (#:D428 1 1)))) #:A431) 5: (CALLSOLVE ((#:A431 1 (#:B430 1 1) 0 (#:C429 1 (#:D428 1 1))) . #:A431)) 6: (SIMPLIFYAFTERSUBST ((MTIMES SIMP) ((MEXPT SIMP RATSIMP) $B 1) $C $D)) 6: SIMPLIFYAFTERSUBST returned ((MTIMES SIMP) ((MEXPT SIMP RATSIMP) $B 1) $C $D) 5: CALLSOLVE returned ((((MEQUAL) $A ((MTIMES SIMP) ((MEXPT SIMP RATSIMP) $B 1) $C $D)))) 4: BAKALEVEL1 returned ((((MEQUAL) $A ((MTIMES SIMP) ((MEXPT SIMP RATSIMP) $B 1) $C $D)))) 3: BAKALEVEL returned ((((MEQUAL) $A ((MTIMES SIMP) ((MEXPT SIMP RATSIMP) $B 1) $C $D)))) 2: ALGSYS1 returned ((((MEQUAL) $A ((MTIMES SIMP) ((MEXPT SIMP RATSIMP) $B 1) $C $D)))) 1: ALGSYS0 returned ((((MEQUAL) $A ((MTIMES SIMP) ((MEXPT SIMP RATSIMP) $B 1) $C $D)))) 1: (CONDENSESOLNL ((((MEQUAL) $A ((MTIMES SIMP) ((MEXPT SIMP RATSIMP) $B 1) $C $D))))) 1: CONDENSESOLNL returned ((((MEQUAL) $A ((MTIMES SIMP) ((MEXPT SIMP RATSIMP) $B 1) $C $D)))) 0: ALGSYS returned ((((MEQUAL) $A ((MTIMES SIMP) ((MEXPT SIMP RATSIMP) $B 1) $C $D)))) (%o5) [[a = (%r2*%r3)/%r1,b = %r1,c = %r2,d = %r3]] ~~~ So: 1. FINDLEASTVAR decides to solve for a. OK. 2. CALLSOLVE solves a*bc*d for a. NO. This assumes b#0 and returns solution a = c*d/b algsys keeps lists of partial solutions and splits entries into multiple simpler cases when appropriate. I haven't needed to understand the logic in detail. Hopefully is is possible to detect cases like the above and correctly decompose them. Need to convert a*bc*d to something like 1. b#0 and a*bc*d=0, or 2. b=0, a=%r1 and c*d=0 Time to learn more about algsys internals.  ** [bugs:#380] algsys a*b=c*d grossly incomplete** **Status:** open **Group:** **Labels:** Lisp Core  Solving equations **Created:** Wed Aug 13, 2003 09:25 PM UTC by Stavros Macrakis **Last Updated:** Sat Sep 09, 2006 02:14 AM UTC **Owner:** nobody algsys\(\[a\*b=c\*d\],\[a,b,c,d\]\) returns \[\[a = %R2\*%R3/%R1,b = %R1,C = %R2,d = %R3\]\] This is missing some of the solutions where one or both of a and b is zero and one or both of c and d is zero. The complete list of these solutions is: \[\[a=0,b=%r1,c=0,d=%r2\], \[a=0,b=%r3,c=%r4,d=0\], \[a=%r5,b=0,c=0,d=%r6\], \[a=%r7,b=0,c=%r8,d=0\]\] The first two are subsumed by the original solution as long as b \# 0.  Sent from sourceforge.net because maximabugs@... is subscribed to https://sourceforge.net/p/maxima/bugs/ To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/maxima/admin/bugs/options. Or, if this is a mailing list, you can unsubscribe from the mailing list. 
From: Gunter KÃ¶nigsmann <peterpall@us...>  20180111 07:02:31

 ** [bugs:#3384] demo on clisp/msw only: Input lines are output charbychar** **Status:** open **Group:** None **Created:** Thu Jan 11, 2018 07:02 AM UTC by Gunter KÃ¶nigsmann **Last Updated:** Thu Jan 11, 2018 07:02 AM UTC **Owner:** nobody wxMaxima tells Maxima to output maths as XML tag and collects data from maxima until it has received a full XML tag. But Messages from the Lisp and text like the input lines for demos arrive as Text that isn't wrapped in XML tags. Normally these Messages can be trusted to end in a newline. And normally maxima sends a full message at a time. But when run on MSW using clisp sometimes maxima seems to send each char in a separate network package. Which might be an efficiency issue. Also (as text isn't always ending in a newline) this makes the message handling in wxMaxima a bit more complicated => reporting this as lowprio ticket not knowing if this is caused by maxima or wxMaxima and if we can do anything about it.  Sent from sourceforge.net because maximabugs@... is subscribed to https://sourceforge.net/p/maxima/bugs/ To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/maxima/admin/bugs/options. Or, if this is a mailing list, you can unsubscribe from the mailing list. 
From: David Billinghurst <billingd@us...>  20180111 06:01:19

 **Comment**: demoivre is behaving as documented.  ** [bugs:#3358] demoivre doesn't work with hyperbolic functions.** **Status:** open **Group:** None **Created:** Fri Nov 17, 2017 12:39 PM UTC by Emmanuel Charpentier **Last Updated:** Fri Nov 17, 2017 12:39 PM UTC **Owner:** nobody First reported as in Sage's ticket [24231](https://trac.sagemath.org/ticket/24231), found in 5.39.0 (as packaged in Sage) and 5.40.0 (as packaged in Debian) : ~~~~maxima (%i5) map(lambda([t],[t,demoivre(exponentialize(t(x)))]),[sin,cos,tan,sinh,cosh,tanh]); (%o5) [[sin,sin(x)],[cos,cos(x)],[tan,sin(x)/cos(x)],[sinh,(%e^x%e^x)/2], [cosh,(%e^x+%e^x)/2],[tanh,(%e^x%e^x)/(%e^x+%e^x)]] ~~~~ ```demoivre``` does what it"s supposed to do with trigonometric expressions in exponential form, but not with hyperbolic ones.  Sent from sourceforge.net because maximabugs@... is subscribed to https://sourceforge.net/p/maxima/bugs/ To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/maxima/admin/bugs/options. Or, if this is a mailing list, you can unsubscribe from the mailing list. 
From: David Billinghurst <billingd@us...>  20180111 05:00:08

 **status**: open > closed  **Comment**: Fixed with commit [9f16d9], which rationalizes argument to eigenvectors. ~~~ @@ 108,6 +108,7 @@ eigenvectors(mat):= [vectr,matrx,mmatrx,intern,notknwn],any), unknowns:[],dimnsn:mi(length(mat)), count:mi(dimnsn),notknwn:?gensym(), + mat:rationalize(mat), if knowneigvals then eigvals:listeigvals else eigvals:eigenvalues(mat), if eigvals=[] then (nondiagonalizable:true,return(eigvals)) ~~~  ** [bugs:#1820] eigenvectors not computed** **Status:** closed **Group:** None **Labels:** Share Libraries **Created:** Fri Nov 20, 2009 04:13 PM UTC by Leo Butler **Last Updated:** Mon Jan 08, 2018 10:56 PM UTC **Owner:** David Billinghurst The following example has two floating point 2x2 matrices, the first of which Maxima computes the eigenvectors only after rationalizing it, and the second of which Maxima computes the eigenvectors without recourse to rat. \(%i2\) A : matrix\(\[1.889043743820395,0.3\],\[1,0\]\); \(%o2\) matrix\(\[1.889043743820395,0.3\],\[1,0\]\) \(%i3\) eigenvectors\(A\); algsys failure: the eigenvector\(s\) for the 1 th eigenvalue will be missing. algsys failure: the eigenvector\(s\) for the 2 th eigenvalue will be missing. \(%o3\) \[\[\[\(sqrt\(761857330\)+33880\)/35870,\(sqrt\(761857330\)33880\)/35870\],\[1,1\]\], \[\[\],\[\]\]\] \(%i4\) eigenvectors\(rat\(A\)\); \(%o4\) \[\[\[\(sqrt\(761857330\)+33880\)/35870,\(sqrt\(761857330\)33880\)/35870\],\[1,1\]\], \[\[\[1,\(sqrt\(761857330\)33880\)/10761\]\], \[\[1,\(sqrt\(761857330\)+33880\)/10761\]\]\]\] \(%i5\) A : matrix\(\[1.88,0.3\],\[1,0\]\); \(%o5\) matrix\(\[1.88,0.3\],\[1,0\]\) \(%i6\) eigenvectors\(A\); \(%o6\) \[\[\[\(sqrt\(1459\)+47\)/50,\(sqrt\(1459\)47\)/50\],\[1,1\]\], \[\[\[1,\(sqrt\(1459\)47\)/15\]\],\[\[1,\(sqrt\(1459\)+47\)/15\]\]\]\]  Sent from sourceforge.net because maximabugs@... is subscribed to https://sourceforge.net/p/maxima/bugs/ To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/maxima/admin/bugs/options. Or, if this is a mailing list, you can unsubscribe from the mailing list. 
From: David Scherfgen <tomasriker@us...>  20180110 08:54:17

Ah, it's not related to the `sqrt(2)`, but rather the combination of the polynomial containing sqrt(n) and n being one of its zeros! A simple demonstration ... The following works, i.e. factor can undo expand, because the numbers are different: ~~~ factor(expand((xsqrt(2))*(x3))); factor(expand((xsqrt(3))*(x2))); ~~~ The following doesn't work, i.e. factor doesn't find the integer root, because the numbers are the same: ~~~ factor(expand((xsqrt(2))*(x2))); factor(expand((xsqrt(2))*(x+2))); factor(expand((xsqrt(3))*(x3))); factor(expand((xsqrt(3))*(x+3))); ~~~ Interestingly, this works: `factor(expand((xsqrt(a))*(xa)));`  ** [bugs:#3378] Epic 5.41 polynomial arithmetic bug.** **Status:** open **Group:** None **Created:** Fri Jan 05, 2018 04:56 PM UTC by Van **Last Updated:** Tue Jan 09, 2018 08:17 PM UTC **Owner:** nobody **Attachments:**  [Screen Shot 20180105 at 10.34.45 AM.png](https://sourceforge.net/p/maxima/bugs/3378/attachment/Screen%20Shot%2020180105%20at%2010.34.45%20AM.png) (268.2 kB; image/png) A particularly nasty little Maxima bug. Maxima Version 5.41.0 Mac OS High Sierra 10.13.2 bug also present in 5.3x Not a floating point issue per se. author: van@... site: facebook.com/LearningCalculus date: Friday, Jan 5, 2018 In the following problem: sqrt(2 ) gives completely wrong answer. sqrt(2.0) gives acceptable answer. which is exactly backwards of symbolic algebra expectation. I nearly had to switch to Mathematica before I discovered workaround. ~~~~ kill(all)$ f(x):=(x+0)*(x+1)*(x+2)*(x+3)2*sqrt(2); S:(solve(f(x),x))$ float(S[1]);float(S[2]);float(S[3]);float(S[4]); f(x):=(x+0)*(x+1)*(x+2)*(x+3)2*sqrt(2.0); S:(solve(f(x),x))$ float(S[1]);float(S[2]);float(S[3]);float(S[4]); ~~~~  Sent from sourceforge.net because maximabugs@... is subscribed to https://sourceforge.net/p/maxima/bugs/ To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/maxima/admin/bugs/options. Or, if this is a mailing list, you can unsubscribe from the mailing list. 
From: Robert Dodier <robert_dodier@us...>  20180109 19:32:37

For the record, I don't see the error in the second evaluation of `(acosh (/ 1.0 7.0))`. I tried it with SBCL 1.3.13 on x86 Linux and SBCL 1.3.20 on x86_64 Linux.  ** [bugs:#3382] acosh(1/7),numer; FAILS after FLOATINGPOINTOVERFLOW signalled** **Status:** open **Group:** None **Created:** Tue Jan 09, 2018 11:59 AM UTC by David Billinghurst **Last Updated:** Tue Jan 09, 2018 12:04 PM UTC **Owner:** nobody This is distilled from [bugs:#3373] Running the test suite twice causes errors. numerical evaluation of acosh(1/7) fails after an expression that raises lisp error "arithmetic error FLOATINGPOINTOVERFLOW signalled" under 64bit Lisp SBCL 1.4.2 under windows 10. May be a lisp bug as it isn't seen with clisp. ~~~ Maxima 5.41post http://maxima.sourceforge.net using Lisp SBCL 1.4.2 Distributed under the GNU Public License. See the file COPYING. Dedicated to the memory of William Schelter. The function bug_report() provides bug reporting information. (%i1) acosh(1/7),numer; (%o1) 1.427448757889531 %i (%i2) 2*?most\negative\double\float; Maxima encountered a Lisp error: arithmetic error FLOATINGPOINTOVERFLOW signalled Operation was (* 1.7976931348623157e308 2.0). Automatically continuing. To enable the Lisp debugger set *debuggerhook* to nil. (%i3) acosh(1/7),numer; Maxima encountered a Lisp error: arithmetic error FLOATINGPOINTOVERFLOW signalled Automatically continuing. To enable the Lisp debugger set *debuggerhook* to nil. ~~~  Sent from sourceforge.net because maximabugs@... is subscribed to https://sourceforge.net/p/maxima/bugs/ To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/maxima/admin/bugs/options. Or, if this is a mailing list, you can unsubscribe from the mailing list. 
From: Robert Dodier <robert_dodier@us...>  20180109 17:42:52

 ** [bugs:#3383] allroots / realroots / bfallroots doesn't think x + sqrt(2) is a polynomial** **Status:** open **Group:** None **Labels:** allroots realroots bfallroots polynomials solving equations **Created:** Tue Jan 09, 2018 05:42 PM UTC by Robert Dodier **Last Updated:** Tue Jan 09, 2018 05:42 PM UTC **Owner:** nobody `allroots(x + sqrt(2))` says `allroots: expected a polynomial; found x + sqrt(2)`. `realroots` and `bfallroots` give a similar error. `realroots` says `UNIPOLY: argument must be a univariate polynomial; found: x + sqrt(2)`  presumably `allroots`, `realroots`, `bfallroots`, and UNIPOLY are all calling the same function to determine if the argument is a polynomial.  Sent from sourceforge.net because maximabugs@... is subscribed to https://sourceforge.net/p/maxima/bugs/ To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/maxima/admin/bugs/options. Or, if this is a mailing list, you can unsubscribe from the mailing list. 
From: David Scherfgen <tomasriker@us...>  20180109 15:45:16

**New insight: The bug can be circumvented by setting the `algebraic` flag.** `solve(x*(x + 1)*(x + 2)*(x + 3)  2^(1/2)), algebraic;` I traced a bit, comparing intermediate results between the 2 and the 3 variant. When the function `resolvent` gets called, it solves a cubic equation, and this is where the trouble starts. The equation being solved is: `x^3  11*x^2 + (2^(5/2)+36)*x  2^(7/2)36 = 0` And here we get very complicated solutions without the `algebraic` flag. The solutions are not wrong (numerically, they evaluate to the correct result), just very "unsimplified". One of the solutions should be simply 2.  ** [bugs:#3378] Epic 5.41 polynomial arithmetic bug.** **Status:** open **Group:** None **Created:** Fri Jan 05, 2018 04:56 PM UTC by Van **Last Updated:** Sun Jan 07, 2018 02:04 PM UTC **Owner:** nobody **Attachments:**  [Screen Shot 20180105 at 10.34.45 AM.png](https://sourceforge.net/p/maxima/bugs/3378/attachment/Screen%20Shot%2020180105%20at%2010.34.45%20AM.png) (268.2 kB; image/png) A particularly nasty little Maxima bug. Maxima Version 5.41.0 Mac OS High Sierra 10.13.2 bug also present in 5.3x Not a floating point issue per se. author: van@... site: facebook.com/LearningCalculus date: Friday, Jan 5, 2018 In the following problem: sqrt(2 ) gives completely wrong answer. sqrt(2.0) gives acceptable answer. which is exactly backwards of symbolic algebra expectation. I nearly had to switch to Mathematica before I discovered workaround. ~~~~ kill(all)$ f(x):=(x+0)*(x+1)*(x+2)*(x+3)2*sqrt(2); S:(solve(f(x),x))$ float(S[1]);float(S[2]);float(S[3]);float(S[4]); f(x):=(x+0)*(x+1)*(x+2)*(x+3)2*sqrt(2.0); S:(solve(f(x),x))$ float(S[1]);float(S[2]);float(S[3]);float(S[4]); ~~~~  Sent from sourceforge.net because maximabugs@... is subscribed to https://sourceforge.net/p/maxima/bugs/ To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/maxima/admin/bugs/options. Or, if this is a mailing list, you can unsubscribe from the mailing list. 
From: David Billinghurst <billingd@us...>  20180109 12:26:21

 **status**: open > closed  **Comment**: A cleanup at the top of rtest6.mac finishes the job. Commit [320be6] Can now run the testsuite twice with this build info ~~~ Maxima version: "5.41post" Maxima build date: "20180106 12:42:53" Host type: "x86_64w64mingw32" Lisp implementation type: "SBCL" Lisp implementation version: "1.4.2" ~~~ I will close this, but there are probably more issues if you change the test order.  ** [bugs:#3373] Running the test suite twice causes errors** **Status:** closed **Group:** None **Labels:** Tests **Created:** Sun Dec 17, 2017 10:29 PM UTC by Kris Katterjohn **Last Updated:** Tue Jan 09, 2018 12:06 PM UTC **Owner:** nobody If the test suite is run twice in a row in the same, fresh session, there are currently 7 failures on the second run. The failures occur in rtestnset, rtest5, rtest6 and rtest15. I thought there was already a ticket open for this, but I couldn't find it. This problem was most recently reported on the mailing list by Smirnov Denis on 20171126. Some of the actual results seem to really differ from the expected results. But I do notice that some of the actual and expected results appear to be the same visually, although Maxima says they are different. I have not investigated or tried fixing anything yet. ~~~ Running tests in rtestnset: ********************** Problem 574 (line 1804) *************** Input: (F : {{gv(CSup),  gv(DiagF),  gv(DisT)}, {gv(CSup), gv(DiagF), gv(DisT)}, {gv(CSup), gv(DiagF), gv(DisT)}}, var_cs(F) := map(abs, apply(union, listify(F))), all_tass(V) := map(setify, apply(cartesian_product, map(lambda([v], { v, v}), listify(V)))), fullcnf2fulldnf(F) := setdifference(all_tass(var_cs(F)), F), fullcnf2fulldnf(F)) Result: {{ gv(CSup),  gv(DiagF),  gv(DisT)}, { gv(CSup),  gv(DiagF), gv(DisT)}, { gv(CSup), gv(DiagF),  gv(DisT)}, { gv(CSup), gv(DiagF), gv(DisT)}, {gv(CSup),  gv(DiagF), gv(DisT)}, {gv(CSup), gv(DiagF),  gv(DisT)}} This differed from the expected result: {{ abs(gv(CSup)),  abs(gv(DiagF)),  abs(gv(DisT))}, { abs(gv(CSup)),  abs(gv(DiagF)), abs(gv(DisT))}, { abs(gv(CSup)), abs(gv(DiagF)),  abs(gv(DisT))}, { abs(gv(CSup)), abs(gv(DiagF)), abs(gv(DisT))}, {abs(gv(CSup)),  abs(gv(DiagF)),  abs(gv(DisT))}, {abs(gv(CSup)),  abs(gv(DiagF)), abs(gv(DisT))}, {abs(gv(CSup)), abs(gv(DiagF)),  abs(gv(DisT))}, {abs(gv(CSup)), abs(gv(DiagF)), abs(gv(DisT))}} 600/601 tests passed The following 1 problem failed: (574) ~~~ ~~~ Running tests in rtest5: ********************** Problem 8 (line 25) *************** Input: logcontract(2 log(x + 1) + 1) Result: 2 log((x + 1) ) + 1 This differed from the expected result: 2 log((x + 1) ) + 1 ********************** Problem 12 (line 35) *************** Input: 1/2 3/2 rootscontract(x y ) Result: 3 sqrt(x y ) This differed from the expected result: 3 sqrt(x y ) 81/83 tests passed The following 2 problems failed: (8 12) ~~~ ~~~ Running tests in rtest6: ********************** Problem 39 (line 148) *************** Input: 2 2 2 2 (kill(t, R), integrate(sqrt(sin (t) R + (1  cos(t)) R ), t, 0, 2 %pi)) Result: 0 This differed from the expected result: 8 R 38/39 tests passed The following 1 problem failed: (39) ~~~ ~~~ Running tests in rtest15: WARNING: redefining MAXIMA::$F in DEFUN WARNING: redefining MAXIMA::$F in DEFUN WARNING: redefining MAXIMA::$F in DEFUN WARNING: redefining MAXIMA::$F in DEFUN WARNING: redefining MAXIMA::$F in DEFUN WARNING: redefining MAXIMA::$F in DEFUN WARNING: redefining MAXIMA::$F in DEFUN ********************** Problem 149 (line 443) *************** Input: fpred(xyzzy) Result: false This differed from the expected result: unknown ********************** Problem 151 (line 447) *************** Input: fpred(xyzzy) Result: false This differed from the expected result: unknown ********************** Problem 226 (line 844) *************** Input: 1 integrate(, x, 1, 1 + %pi) 2 sin (x) + 1 Result: 0 This differed from the expected result: %pi  sqrt(2) 364/367 tests passed The following 3 problems failed: (149 151 226) ~~~ And for completeness, here's my build info: ~~~ Maxima version: "branch_5_41_base_104_g86c2e8ad0" Maxima build date: "20171217 15:50:56" Host type: "x86_64unknownopenbsd6.2" Lisp implementation type: "SBCL" Lisp implementation version: "1.3.10.openbsd.1" ~~~  Sent from sourceforge.net because maximabugs@... is subscribed to https://sourceforge.net/p/maxima/bugs/ To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/maxima/admin/bugs/options. Or, if this is a mailing list, you can unsubscribe from the mailing list. 
From: David Billinghurst <billingd@us...>  20180109 12:06:12

The rtest15 & rtest15 issue seems to be a bug in sbcl. See [bugs:#3382]  ** [bugs:#3373] Running the test suite twice causes errors** **Status:** open **Group:** None **Labels:** Tests **Created:** Sun Dec 17, 2017 10:29 PM UTC by Kris Katterjohn **Last Updated:** Tue Jan 09, 2018 11:00 AM UTC **Owner:** nobody If the test suite is run twice in a row in the same, fresh session, there are currently 7 failures on the second run. The failures occur in rtestnset, rtest5, rtest6 and rtest15. I thought there was already a ticket open for this, but I couldn't find it. This problem was most recently reported on the mailing list by Smirnov Denis on 20171126. Some of the actual results seem to really differ from the expected results. But I do notice that some of the actual and expected results appear to be the same visually, although Maxima says they are different. I have not investigated or tried fixing anything yet. ~~~ Running tests in rtestnset: ********************** Problem 574 (line 1804) *************** Input: (F : {{gv(CSup),  gv(DiagF),  gv(DisT)}, {gv(CSup), gv(DiagF), gv(DisT)}, {gv(CSup), gv(DiagF), gv(DisT)}}, var_cs(F) := map(abs, apply(union, listify(F))), all_tass(V) := map(setify, apply(cartesian_product, map(lambda([v], { v, v}), listify(V)))), fullcnf2fulldnf(F) := setdifference(all_tass(var_cs(F)), F), fullcnf2fulldnf(F)) Result: {{ gv(CSup),  gv(DiagF),  gv(DisT)}, { gv(CSup),  gv(DiagF), gv(DisT)}, { gv(CSup), gv(DiagF),  gv(DisT)}, { gv(CSup), gv(DiagF), gv(DisT)}, {gv(CSup),  gv(DiagF), gv(DisT)}, {gv(CSup), gv(DiagF),  gv(DisT)}} This differed from the expected result: {{ abs(gv(CSup)),  abs(gv(DiagF)),  abs(gv(DisT))}, { abs(gv(CSup)),  abs(gv(DiagF)), abs(gv(DisT))}, { abs(gv(CSup)), abs(gv(DiagF)),  abs(gv(DisT))}, { abs(gv(CSup)), abs(gv(DiagF)), abs(gv(DisT))}, {abs(gv(CSup)),  abs(gv(DiagF)),  abs(gv(DisT))}, {abs(gv(CSup)),  abs(gv(DiagF)), abs(gv(DisT))}, {abs(gv(CSup)), abs(gv(DiagF)),  abs(gv(DisT))}, {abs(gv(CSup)), abs(gv(DiagF)), abs(gv(DisT))}} 600/601 tests passed The following 1 problem failed: (574) ~~~ ~~~ Running tests in rtest5: ********************** Problem 8 (line 25) *************** Input: logcontract(2 log(x + 1) + 1) Result: 2 log((x + 1) ) + 1 This differed from the expected result: 2 log((x + 1) ) + 1 ********************** Problem 12 (line 35) *************** Input: 1/2 3/2 rootscontract(x y ) Result: 3 sqrt(x y ) This differed from the expected result: 3 sqrt(x y ) 81/83 tests passed The following 2 problems failed: (8 12) ~~~ ~~~ Running tests in rtest6: ********************** Problem 39 (line 148) *************** Input: 2 2 2 2 (kill(t, R), integrate(sqrt(sin (t) R + (1  cos(t)) R ), t, 0, 2 %pi)) Result: 0 This differed from the expected result: 8 R 38/39 tests passed The following 1 problem failed: (39) ~~~ ~~~ Running tests in rtest15: WARNING: redefining MAXIMA::$F in DEFUN WARNING: redefining MAXIMA::$F in DEFUN WARNING: redefining MAXIMA::$F in DEFUN WARNING: redefining MAXIMA::$F in DEFUN WARNING: redefining MAXIMA::$F in DEFUN WARNING: redefining MAXIMA::$F in DEFUN WARNING: redefining MAXIMA::$F in DEFUN ********************** Problem 149 (line 443) *************** Input: fpred(xyzzy) Result: false This differed from the expected result: unknown ********************** Problem 151 (line 447) *************** Input: fpred(xyzzy) Result: false This differed from the expected result: unknown ********************** Problem 226 (line 844) *************** Input: 1 integrate(, x, 1, 1 + %pi) 2 sin (x) + 1 Result: 0 This differed from the expected result: %pi  sqrt(2) 364/367 tests passed The following 3 problems failed: (149 151 226) ~~~ And for completeness, here's my build info: ~~~ Maxima version: "branch_5_41_base_104_g86c2e8ad0" Maxima build date: "20171217 15:50:56" Host type: "x86_64unknownopenbsd6.2" Lisp implementation type: "SBCL" Lisp implementation version: "1.3.10.openbsd.1" ~~~  Sent from sourceforge.net because maximabugs@... is subscribed to https://sourceforge.net/p/maxima/bugs/ To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/maxima/admin/bugs/options. Or, if this is a mailing list, you can unsubscribe from the mailing list. 
From: David Billinghurst <billingd@us...>  20180109 12:04:02

 **summary**: erf(1/7),numer; FAILS after FLOATINGPOINTOVERFLOW signalled > acosh(1/7),numer; FAILS after FLOATINGPOINTOVERFLOW signalled  ** [bugs:#3382] acosh(1/7),numer; FAILS after FLOATINGPOINTOVERFLOW signalled** **Status:** open **Group:** None **Created:** Tue Jan 09, 2018 11:59 AM UTC by David Billinghurst **Last Updated:** Tue Jan 09, 2018 12:03 PM UTC **Owner:** nobody This is distilled from [bugs:#3373] Running the test suite twice causes errors. numerical evaluation of acosh(1/7) fails after an expression that raises lisp error "arithmetic error FLOATINGPOINTOVERFLOW signalled" under 64bit Lisp SBCL 1.4.2 under windows 10. May be a lisp bug as it isn't seen with clisp. ~~~ Maxima 5.41post http://maxima.sourceforge.net using Lisp SBCL 1.4.2 Distributed under the GNU Public License. See the file COPYING. Dedicated to the memory of William Schelter. The function bug_report() provides bug reporting information. (%i1) acosh(1/7),numer; (%o1) 1.427448757889531 %i (%i2) 2*?most\negative\double\float; Maxima encountered a Lisp error: arithmetic error FLOATINGPOINTOVERFLOW signalled Operation was (* 1.7976931348623157e308 2.0). Automatically continuing. To enable the Lisp debugger set *debuggerhook* to nil. (%i3) acosh(1/7),numer; Maxima encountered a Lisp error: arithmetic error FLOATINGPOINTOVERFLOW signalled Automatically continuing. To enable the Lisp debugger set *debuggerhook* to nil. ~~~  Sent from sourceforge.net because maximabugs@... is subscribed to https://sourceforge.net/p/maxima/bugs/ To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/maxima/admin/bugs/options. Or, if this is a mailing list, you can unsubscribe from the mailing list. 
From: David Billinghurst <billingd@us...>  20180109 12:03:29

Looks like bug in sbcl1.4.2 (64bit) under windows 10 ~~~ This is SBCL 1.4.2, an implementation of ANSI Common Lisp. More information about SBCL is available at <http://www.sbcl.org/>;. SBCL is free software, provided as is, with absolutely no warranty. It is mostly in the public domain; some portions are provided under BSDstyle licenses. See the CREDITS and COPYING files in the distribution for more information. WARNING: the Windows port is fragile, particularly for multithreaded code. Unfortunately, the development team currently lacks the time and resources this platform demands. * (acosh (/ 1.0 7.0)) #C(0.0 1.4274487) * (cos (/ 1.0 7.0)) 0.98981327 * (* 2 mostpositivedoublefloat) debugger invoked on a FLOATINGPOINTOVERFLOW in thread #<THREAD "main thread" RUNNING {10027900C3}>: arithmetic error FLOATINGPOINTOVERFLOW signalled Operation was (* 1.7976931348623157d308 2.0d0). Type HELP for debugger help, or (SBEXT:EXIT) to exit from SBCL. restarts (invokable by number or by possiblyabbreviated name): 0: [ABORT] Exit debugger, returning to top level. (SBKERNEL:TWOARG* 2 1.7976931348623157d308) 0] 1 1 0] (cos (/ 1.0 7.0)) 0.98981327 0] (acosh (/ 1.0 7.0)) ; in: * 2 ; (ACOSH (/ 1.0 7.0)) ; ; caught STYLEWARNING: ; Lisp error during constant folding: ; arithmetic error FLOATINGPOINTOVERFLOW signalled ; ; compilation unit finished ; caught 1 STYLEWARNING condition debugger invoked on a FLOATINGPOINTOVERFLOW in thread #<THREAD "main thread" RUNNING {10027900C3}>: arithmetic error FLOATINGPOINTOVERFLOW signalled Type HELP for debugger help, or (SBEXT:EXIT) to exit from SBCL. restarts (invokable by number or by possiblyabbreviated name): 0: [ABORT] Reduce debugger level (to debug level 1). 1: Exit debugger, returning to top level. ("bogus stack frame") ~~~  ** [bugs:#3382] erf(1/7),numer; FAILS after FLOATINGPOINTOVERFLOW signalled** **Status:** open **Group:** None **Created:** Tue Jan 09, 2018 11:59 AM UTC by David Billinghurst **Last Updated:** Tue Jan 09, 2018 12:00 PM UTC **Owner:** nobody This is distilled from [bugs:#3373] Running the test suite twice causes errors. numerical evaluation of acosh(1/7) fails after an expression that raises lisp error "arithmetic error FLOATINGPOINTOVERFLOW signalled" under 64bit Lisp SBCL 1.4.2 under windows 10. May be a lisp bug as it isn't seen with clisp. ~~~ Maxima 5.41post http://maxima.sourceforge.net using Lisp SBCL 1.4.2 Distributed under the GNU Public License. See the file COPYING. Dedicated to the memory of William Schelter. The function bug_report() provides bug reporting information. (%i1) acosh(1/7),numer; (%o1) 1.427448757889531 %i (%i2) 2*?most\negative\double\float; Maxima encountered a Lisp error: arithmetic error FLOATINGPOINTOVERFLOW signalled Operation was (* 1.7976931348623157e308 2.0). Automatically continuing. To enable the Lisp debugger set *debuggerhook* to nil. (%i3) acosh(1/7),numer; Maxima encountered a Lisp error: arithmetic error FLOATINGPOINTOVERFLOW signalled Automatically continuing. To enable the Lisp debugger set *debuggerhook* to nil. ~~~  Sent from sourceforge.net because maximabugs@... is subscribed to https://sourceforge.net/p/maxima/bugs/ To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/maxima/admin/bugs/options. Or, if this is a mailing list, you can unsubscribe from the mailing list. 
From: David Billinghurst <billingd@us...>  20180109 12:00:00

 ** [bugs:#3382] erf(1/7),numer; FAILS after FLOATINGPOINTOVERFLOW signalled** **Status:** open **Group:** None **Created:** Tue Jan 09, 2018 11:59 AM UTC by David Billinghurst **Last Updated:** Tue Jan 09, 2018 11:59 AM UTC **Owner:** nobody This is distilled from [bugs:#3373] Running the test suite twice causes errors. numerical evaluation of acosh(1/7) fails after an expression that raises lisp error "arithmetic error FLOATINGPOINTOVERFLOW signalled" under 64bit Lisp SBCL 1.4.2 under windows 10. May be a lisp bug as it isn't seen with clisp. ~~~ Maxima 5.41post http://maxima.sourceforge.net using Lisp SBCL 1.4.2 Distributed under the GNU Public License. See the file COPYING. Dedicated to the memory of William Schelter. The function bug_report() provides bug reporting information. (%i1) acosh(1/7),numer; (%o1) 1.427448757889531 %i (%i2) 2*?most\negative\double\float; Maxima encountered a Lisp error: arithmetic error FLOATINGPOINTOVERFLOW signalled Operation was (* 1.7976931348623157e308 2.0). Automatically continuing. To enable the Lisp debugger set *debuggerhook* to nil. (%i3) acosh(1/7),numer; Maxima encountered a Lisp error: arithmetic error FLOATINGPOINTOVERFLOW signalled Automatically continuing. To enable the Lisp debugger set *debuggerhook* to nil. ~~~  Sent from sourceforge.net because maximabugs@... is subscribed to https://sourceforge.net/p/maxima/bugs/ To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/maxima/admin/bugs/options. Or, if this is a mailing list, you can unsubscribe from the mailing list. 
From: David Billinghurst <billingd@us...>  20180109 11:00:50

Looking at the failures in rtest15 Commit [757022] also fixed the failure from rtest_laplace The test in rtest15.mac that break rtest15 is ~~~ errcatch (bfloat (2*foo)); []; ~~~ I don't see an obvious fix here. rtest_integrate breaks rtest15 by setting domain:complex at the top. Add a general tidyup to bottom of file as commit [3f3fef] ~~~ +/* Tidy up */ +(reset(), + forget(n>0,notequal(v,0)), + remove(z,complex,n,integer), + kill(all), + 0); +0; + ~~~  ** [bugs:#3373] Running the test suite twice causes errors** **Status:** open **Group:** None **Labels:** Tests **Created:** Sun Dec 17, 2017 10:29 PM UTC by Kris Katterjohn **Last Updated:** Tue Jan 09, 2018 06:25 AM UTC **Owner:** nobody If the test suite is run twice in a row in the same, fresh session, there are currently 7 failures on the second run. The failures occur in rtestnset, rtest5, rtest6 and rtest15. I thought there was already a ticket open for this, but I couldn't find it. This problem was most recently reported on the mailing list by Smirnov Denis on 20171126. Some of the actual results seem to really differ from the expected results. But I do notice that some of the actual and expected results appear to be the same visually, although Maxima says they are different. I have not investigated or tried fixing anything yet. ~~~ Running tests in rtestnset: ********************** Problem 574 (line 1804) *************** Input: (F : {{gv(CSup),  gv(DiagF),  gv(DisT)}, {gv(CSup), gv(DiagF), gv(DisT)}, {gv(CSup), gv(DiagF), gv(DisT)}}, var_cs(F) := map(abs, apply(union, listify(F))), all_tass(V) := map(setify, apply(cartesian_product, map(lambda([v], { v, v}), listify(V)))), fullcnf2fulldnf(F) := setdifference(all_tass(var_cs(F)), F), fullcnf2fulldnf(F)) Result: {{ gv(CSup),  gv(DiagF),  gv(DisT)}, { gv(CSup),  gv(DiagF), gv(DisT)}, { gv(CSup), gv(DiagF),  gv(DisT)}, { gv(CSup), gv(DiagF), gv(DisT)}, {gv(CSup),  gv(DiagF), gv(DisT)}, {gv(CSup), gv(DiagF),  gv(DisT)}} This differed from the expected result: {{ abs(gv(CSup)),  abs(gv(DiagF)),  abs(gv(DisT))}, { abs(gv(CSup)),  abs(gv(DiagF)), abs(gv(DisT))}, { abs(gv(CSup)), abs(gv(DiagF)),  abs(gv(DisT))}, { abs(gv(CSup)), abs(gv(DiagF)), abs(gv(DisT))}, {abs(gv(CSup)),  abs(gv(DiagF)),  abs(gv(DisT))}, {abs(gv(CSup)),  abs(gv(DiagF)), abs(gv(DisT))}, {abs(gv(CSup)), abs(gv(DiagF)),  abs(gv(DisT))}, {abs(gv(CSup)), abs(gv(DiagF)), abs(gv(DisT))}} 600/601 tests passed The following 1 problem failed: (574) ~~~ ~~~ Running tests in rtest5: ********************** Problem 8 (line 25) *************** Input: logcontract(2 log(x + 1) + 1) Result: 2 log((x + 1) ) + 1 This differed from the expected result: 2 log((x + 1) ) + 1 ********************** Problem 12 (line 35) *************** Input: 1/2 3/2 rootscontract(x y ) Result: 3 sqrt(x y ) This differed from the expected result: 3 sqrt(x y ) 81/83 tests passed The following 2 problems failed: (8 12) ~~~ ~~~ Running tests in rtest6: ********************** Problem 39 (line 148) *************** Input: 2 2 2 2 (kill(t, R), integrate(sqrt(sin (t) R + (1  cos(t)) R ), t, 0, 2 %pi)) Result: 0 This differed from the expected result: 8 R 38/39 tests passed The following 1 problem failed: (39) ~~~ ~~~ Running tests in rtest15: WARNING: redefining MAXIMA::$F in DEFUN WARNING: redefining MAXIMA::$F in DEFUN WARNING: redefining MAXIMA::$F in DEFUN WARNING: redefining MAXIMA::$F in DEFUN WARNING: redefining MAXIMA::$F in DEFUN WARNING: redefining MAXIMA::$F in DEFUN WARNING: redefining MAXIMA::$F in DEFUN ********************** Problem 149 (line 443) *************** Input: fpred(xyzzy) Result: false This differed from the expected result: unknown ********************** Problem 151 (line 447) *************** Input: fpred(xyzzy) Result: false This differed from the expected result: unknown ********************** Problem 226 (line 844) *************** Input: 1 integrate(, x, 1, 1 + %pi) 2 sin (x) + 1 Result: 0 This differed from the expected result: %pi  sqrt(2) 364/367 tests passed The following 3 problems failed: (149 151 226) ~~~ And for completeness, here's my build info: ~~~ Maxima version: "branch_5_41_base_104_g86c2e8ad0" Maxima build date: "20171217 15:50:56" Host type: "x86_64unknownopenbsd6.2" Lisp implementation type: "SBCL" Lisp implementation version: "1.3.10.openbsd.1" ~~~  Sent from sourceforge.net because maximabugs@... is subscribed to https://sourceforge.net/p/maxima/bugs/ To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/maxima/admin/bugs/options. Or, if this is a mailing list, you can unsubscribe from the mailing list. 
From: David Billinghurst <billingd@us...>  20180109 06:25:08

Commit [757022] also fixes rtestnset breakage.  ** [bugs:#3373] Running the test suite twice causes errors** **Status:** open **Group:** None **Labels:** Tests **Created:** Sun Dec 17, 2017 10:29 PM UTC by Kris Katterjohn **Last Updated:** Tue Jan 09, 2018 06:18 AM UTC **Owner:** nobody If the test suite is run twice in a row in the same, fresh session, there are currently 7 failures on the second run. The failures occur in rtestnset, rtest5, rtest6 and rtest15. I thought there was already a ticket open for this, but I couldn't find it. This problem was most recently reported on the mailing list by Smirnov Denis on 20171126. Some of the actual results seem to really differ from the expected results. But I do notice that some of the actual and expected results appear to be the same visually, although Maxima says they are different. I have not investigated or tried fixing anything yet. ~~~ Running tests in rtestnset: ********************** Problem 574 (line 1804) *************** Input: (F : {{gv(CSup),  gv(DiagF),  gv(DisT)}, {gv(CSup), gv(DiagF), gv(DisT)}, {gv(CSup), gv(DiagF), gv(DisT)}}, var_cs(F) := map(abs, apply(union, listify(F))), all_tass(V) := map(setify, apply(cartesian_product, map(lambda([v], { v, v}), listify(V)))), fullcnf2fulldnf(F) := setdifference(all_tass(var_cs(F)), F), fullcnf2fulldnf(F)) Result: {{ gv(CSup),  gv(DiagF),  gv(DisT)}, { gv(CSup),  gv(DiagF), gv(DisT)}, { gv(CSup), gv(DiagF),  gv(DisT)}, { gv(CSup), gv(DiagF), gv(DisT)}, {gv(CSup),  gv(DiagF), gv(DisT)}, {gv(CSup), gv(DiagF),  gv(DisT)}} This differed from the expected result: {{ abs(gv(CSup)),  abs(gv(DiagF)),  abs(gv(DisT))}, { abs(gv(CSup)),  abs(gv(DiagF)), abs(gv(DisT))}, { abs(gv(CSup)), abs(gv(DiagF)),  abs(gv(DisT))}, { abs(gv(CSup)), abs(gv(DiagF)), abs(gv(DisT))}, {abs(gv(CSup)),  abs(gv(DiagF)),  abs(gv(DisT))}, {abs(gv(CSup)),  abs(gv(DiagF)), abs(gv(DisT))}, {abs(gv(CSup)), abs(gv(DiagF)),  abs(gv(DisT))}, {abs(gv(CSup)), abs(gv(DiagF)), abs(gv(DisT))}} 600/601 tests passed The following 1 problem failed: (574) ~~~ ~~~ Running tests in rtest5: ********************** Problem 8 (line 25) *************** Input: logcontract(2 log(x + 1) + 1) Result: 2 log((x + 1) ) + 1 This differed from the expected result: 2 log((x + 1) ) + 1 ********************** Problem 12 (line 35) *************** Input: 1/2 3/2 rootscontract(x y ) Result: 3 sqrt(x y ) This differed from the expected result: 3 sqrt(x y ) 81/83 tests passed The following 2 problems failed: (8 12) ~~~ ~~~ Running tests in rtest6: ********************** Problem 39 (line 148) *************** Input: 2 2 2 2 (kill(t, R), integrate(sqrt(sin (t) R + (1  cos(t)) R ), t, 0, 2 %pi)) Result: 0 This differed from the expected result: 8 R 38/39 tests passed The following 1 problem failed: (39) ~~~ ~~~ Running tests in rtest15: WARNING: redefining MAXIMA::$F in DEFUN WARNING: redefining MAXIMA::$F in DEFUN WARNING: redefining MAXIMA::$F in DEFUN WARNING: redefining MAXIMA::$F in DEFUN WARNING: redefining MAXIMA::$F in DEFUN WARNING: redefining MAXIMA::$F in DEFUN WARNING: redefining MAXIMA::$F in DEFUN ********************** Problem 149 (line 443) *************** Input: fpred(xyzzy) Result: false This differed from the expected result: unknown ********************** Problem 151 (line 447) *************** Input: fpred(xyzzy) Result: false This differed from the expected result: unknown ********************** Problem 226 (line 844) *************** Input: 1 integrate(, x, 1, 1 + %pi) 2 sin (x) + 1 Result: 0 This differed from the expected result: %pi  sqrt(2) 364/367 tests passed The following 3 problems failed: (149 151 226) ~~~ And for completeness, here's my build info: ~~~ Maxima version: "branch_5_41_base_104_g86c2e8ad0" Maxima build date: "20171217 15:50:56" Host type: "x86_64unknownopenbsd6.2" Lisp implementation type: "SBCL" Lisp implementation version: "1.3.10.openbsd.1" ~~~  Sent from sourceforge.net because maximabugs@... is subscribed to https://sourceforge.net/p/maxima/bugs/ To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/maxima/admin/bugs/options. Or, if this is a mailing list, you can unsubscribe from the mailing list. 
From: David Billinghurst <billingd@us...>  20180109 06:18:05

rtest5 breakage is fixed by the following cleanup patch at the end of rtest_laplace.mac. ~~~ @@ 650,3 +650,6 @@ FOO (x); (remove (n, integer), killcontext (mycontext)); done; + +(assume_pos_pred:false, assume_pos:false, 0); +0; ~~~ Commit [757022]  ** [bugs:#3373] Running the test suite twice causes errors** **Status:** open **Group:** None **Labels:** Tests **Created:** Sun Dec 17, 2017 10:29 PM UTC by Kris Katterjohn **Last Updated:** Tue Jan 09, 2018 05:37 AM UTC **Owner:** nobody If the test suite is run twice in a row in the same, fresh session, there are currently 7 failures on the second run. The failures occur in rtestnset, rtest5, rtest6 and rtest15. I thought there was already a ticket open for this, but I couldn't find it. This problem was most recently reported on the mailing list by Smirnov Denis on 20171126. Some of the actual results seem to really differ from the expected results. But I do notice that some of the actual and expected results appear to be the same visually, although Maxima says they are different. I have not investigated or tried fixing anything yet. ~~~ Running tests in rtestnset: ********************** Problem 574 (line 1804) *************** Input: (F : {{gv(CSup),  gv(DiagF),  gv(DisT)}, {gv(CSup), gv(DiagF), gv(DisT)}, {gv(CSup), gv(DiagF), gv(DisT)}}, var_cs(F) := map(abs, apply(union, listify(F))), all_tass(V) := map(setify, apply(cartesian_product, map(lambda([v], { v, v}), listify(V)))), fullcnf2fulldnf(F) := setdifference(all_tass(var_cs(F)), F), fullcnf2fulldnf(F)) Result: {{ gv(CSup),  gv(DiagF),  gv(DisT)}, { gv(CSup),  gv(DiagF), gv(DisT)}, { gv(CSup), gv(DiagF),  gv(DisT)}, { gv(CSup), gv(DiagF), gv(DisT)}, {gv(CSup),  gv(DiagF), gv(DisT)}, {gv(CSup), gv(DiagF),  gv(DisT)}} This differed from the expected result: {{ abs(gv(CSup)),  abs(gv(DiagF)),  abs(gv(DisT))}, { abs(gv(CSup)),  abs(gv(DiagF)), abs(gv(DisT))}, { abs(gv(CSup)), abs(gv(DiagF)),  abs(gv(DisT))}, { abs(gv(CSup)), abs(gv(DiagF)), abs(gv(DisT))}, {abs(gv(CSup)),  abs(gv(DiagF)),  abs(gv(DisT))}, {abs(gv(CSup)),  abs(gv(DiagF)), abs(gv(DisT))}, {abs(gv(CSup)), abs(gv(DiagF)),  abs(gv(DisT))}, {abs(gv(CSup)), abs(gv(DiagF)), abs(gv(DisT))}} 600/601 tests passed The following 1 problem failed: (574) ~~~ ~~~ Running tests in rtest5: ********************** Problem 8 (line 25) *************** Input: logcontract(2 log(x + 1) + 1) Result: 2 log((x + 1) ) + 1 This differed from the expected result: 2 log((x + 1) ) + 1 ********************** Problem 12 (line 35) *************** Input: 1/2 3/2 rootscontract(x y ) Result: 3 sqrt(x y ) This differed from the expected result: 3 sqrt(x y ) 81/83 tests passed The following 2 problems failed: (8 12) ~~~ ~~~ Running tests in rtest6: ********************** Problem 39 (line 148) *************** Input: 2 2 2 2 (kill(t, R), integrate(sqrt(sin (t) R + (1  cos(t)) R ), t, 0, 2 %pi)) Result: 0 This differed from the expected result: 8 R 38/39 tests passed The following 1 problem failed: (39) ~~~ ~~~ Running tests in rtest15: WARNING: redefining MAXIMA::$F in DEFUN WARNING: redefining MAXIMA::$F in DEFUN WARNING: redefining MAXIMA::$F in DEFUN WARNING: redefining MAXIMA::$F in DEFUN WARNING: redefining MAXIMA::$F in DEFUN WARNING: redefining MAXIMA::$F in DEFUN WARNING: redefining MAXIMA::$F in DEFUN ********************** Problem 149 (line 443) *************** Input: fpred(xyzzy) Result: false This differed from the expected result: unknown ********************** Problem 151 (line 447) *************** Input: fpred(xyzzy) Result: false This differed from the expected result: unknown ********************** Problem 226 (line 844) *************** Input: 1 integrate(, x, 1, 1 + %pi) 2 sin (x) + 1 Result: 0 This differed from the expected result: %pi  sqrt(2) 364/367 tests passed The following 3 problems failed: (149 151 226) ~~~ And for completeness, here's my build info: ~~~ Maxima version: "branch_5_41_base_104_g86c2e8ad0" Maxima build date: "20171217 15:50:56" Host type: "x86_64unknownopenbsd6.2" Lisp implementation type: "SBCL" Lisp implementation version: "1.3.10.openbsd.1" ~~~  Sent from sourceforge.net because maximabugs@... is subscribed to https://sourceforge.net/p/maxima/bugs/ To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/maxima/admin/bugs/options. Or, if this is a mailing list, you can unsubscribe from the mailing list. 
From: David Billinghurst <billingd@us...>  20180109 05:37:18

The following files interfere with rtest6: * rtestnset * rtest1 * rtest4 * rtest6 * rtest15 * rtest16 * rtest3 * rtest_trig * rtestint * rtest_taylor * rtest_gamma * rtest_integrate * rtest_sqrt * rtest_log * rtestdefstruct * rtest_limit * rtest_laplace The following files interfere with rtest15: * rtest15 * rtest_integrate  killed it as kept running * rtest_laplace The following files interfere with rtestnset: * rtest_laplace  ** [bugs:#3373] Running the test suite twice causes errors** **Status:** open **Group:** None **Labels:** Tests **Created:** Sun Dec 17, 2017 10:29 PM UTC by Kris Katterjohn **Last Updated:** Tue Jan 09, 2018 04:52 AM UTC **Owner:** nobody If the test suite is run twice in a row in the same, fresh session, there are currently 7 failures on the second run. The failures occur in rtestnset, rtest5, rtest6 and rtest15. I thought there was already a ticket open for this, but I couldn't find it. This problem was most recently reported on the mailing list by Smirnov Denis on 20171126. Some of the actual results seem to really differ from the expected results. But I do notice that some of the actual and expected results appear to be the same visually, although Maxima says they are different. I have not investigated or tried fixing anything yet. ~~~ Running tests in rtestnset: ********************** Problem 574 (line 1804) *************** Input: (F : {{gv(CSup),  gv(DiagF),  gv(DisT)}, {gv(CSup), gv(DiagF), gv(DisT)}, {gv(CSup), gv(DiagF), gv(DisT)}}, var_cs(F) := map(abs, apply(union, listify(F))), all_tass(V) := map(setify, apply(cartesian_product, map(lambda([v], { v, v}), listify(V)))), fullcnf2fulldnf(F) := setdifference(all_tass(var_cs(F)), F), fullcnf2fulldnf(F)) Result: {{ gv(CSup),  gv(DiagF),  gv(DisT)}, { gv(CSup),  gv(DiagF), gv(DisT)}, { gv(CSup), gv(DiagF),  gv(DisT)}, { gv(CSup), gv(DiagF), gv(DisT)}, {gv(CSup),  gv(DiagF), gv(DisT)}, {gv(CSup), gv(DiagF),  gv(DisT)}} This differed from the expected result: {{ abs(gv(CSup)),  abs(gv(DiagF)),  abs(gv(DisT))}, { abs(gv(CSup)),  abs(gv(DiagF)), abs(gv(DisT))}, { abs(gv(CSup)), abs(gv(DiagF)),  abs(gv(DisT))}, { abs(gv(CSup)), abs(gv(DiagF)), abs(gv(DisT))}, {abs(gv(CSup)),  abs(gv(DiagF)),  abs(gv(DisT))}, {abs(gv(CSup)),  abs(gv(DiagF)), abs(gv(DisT))}, {abs(gv(CSup)), abs(gv(DiagF)),  abs(gv(DisT))}, {abs(gv(CSup)), abs(gv(DiagF)), abs(gv(DisT))}} 600/601 tests passed The following 1 problem failed: (574) ~~~ ~~~ Running tests in rtest5: ********************** Problem 8 (line 25) *************** Input: logcontract(2 log(x + 1) + 1) Result: 2 log((x + 1) ) + 1 This differed from the expected result: 2 log((x + 1) ) + 1 ********************** Problem 12 (line 35) *************** Input: 1/2 3/2 rootscontract(x y ) Result: 3 sqrt(x y ) This differed from the expected result: 3 sqrt(x y ) 81/83 tests passed The following 2 problems failed: (8 12) ~~~ ~~~ Running tests in rtest6: ********************** Problem 39 (line 148) *************** Input: 2 2 2 2 (kill(t, R), integrate(sqrt(sin (t) R + (1  cos(t)) R ), t, 0, 2 %pi)) Result: 0 This differed from the expected result: 8 R 38/39 tests passed The following 1 problem failed: (39) ~~~ ~~~ Running tests in rtest15: WARNING: redefining MAXIMA::$F in DEFUN WARNING: redefining MAXIMA::$F in DEFUN WARNING: redefining MAXIMA::$F in DEFUN WARNING: redefining MAXIMA::$F in DEFUN WARNING: redefining MAXIMA::$F in DEFUN WARNING: redefining MAXIMA::$F in DEFUN WARNING: redefining MAXIMA::$F in DEFUN ********************** Problem 149 (line 443) *************** Input: fpred(xyzzy) Result: false This differed from the expected result: unknown ********************** Problem 151 (line 447) *************** Input: fpred(xyzzy) Result: false This differed from the expected result: unknown ********************** Problem 226 (line 844) *************** Input: 1 integrate(, x, 1, 1 + %pi) 2 sin (x) + 1 Result: 0 This differed from the expected result: %pi  sqrt(2) 364/367 tests passed The following 3 problems failed: (149 151 226) ~~~ And for completeness, here's my build info: ~~~ Maxima version: "branch_5_41_base_104_g86c2e8ad0" Maxima build date: "20171217 15:50:56" Host type: "x86_64unknownopenbsd6.2" Lisp implementation type: "SBCL" Lisp implementation version: "1.3.10.openbsd.1" ~~~  Sent from sourceforge.net because maximabugs@... is subscribed to https://sourceforge.net/p/maxima/bugs/ To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/maxima/admin/bugs/options. Or, if this is a mailing list, you can unsubscribe from the mailing list. 
From: David Billinghurst <billingd@us...>  20180109 04:52:32

The problem in rtest5 is due to rtest_laplace. Reproduce with ~~~ testsuite_files:[[rtest_laplace, 29, 49, 50, 51, 54, 59, 60, 61, 62, 78, 80]]; run_testsuite(); testsuite_files:[rtest5]; run_testsuite(); ~~~ I wrote scripts generate each combination with rtest5. I will look at the other cases shortly.  ** [bugs:#3373] Running the test suite twice causes errors** **Status:** open **Group:** None **Labels:** Tests **Created:** Sun Dec 17, 2017 10:29 PM UTC by Kris Katterjohn **Last Updated:** Sun Dec 17, 2017 10:29 PM UTC **Owner:** nobody If the test suite is run twice in a row in the same, fresh session, there are currently 7 failures on the second run. The failures occur in rtestnset, rtest5, rtest6 and rtest15. I thought there was already a ticket open for this, but I couldn't find it. This problem was most recently reported on the mailing list by Smirnov Denis on 20171126. Some of the actual results seem to really differ from the expected results. But I do notice that some of the actual and expected results appear to be the same visually, although Maxima says they are different. I have not investigated or tried fixing anything yet. ~~~ Running tests in rtestnset: ********************** Problem 574 (line 1804) *************** Input: (F : {{gv(CSup),  gv(DiagF),  gv(DisT)}, {gv(CSup), gv(DiagF), gv(DisT)}, {gv(CSup), gv(DiagF), gv(DisT)}}, var_cs(F) := map(abs, apply(union, listify(F))), all_tass(V) := map(setify, apply(cartesian_product, map(lambda([v], { v, v}), listify(V)))), fullcnf2fulldnf(F) := setdifference(all_tass(var_cs(F)), F), fullcnf2fulldnf(F)) Result: {{ gv(CSup),  gv(DiagF),  gv(DisT)}, { gv(CSup),  gv(DiagF), gv(DisT)}, { gv(CSup), gv(DiagF),  gv(DisT)}, { gv(CSup), gv(DiagF), gv(DisT)}, {gv(CSup),  gv(DiagF), gv(DisT)}, {gv(CSup), gv(DiagF),  gv(DisT)}} This differed from the expected result: {{ abs(gv(CSup)),  abs(gv(DiagF)),  abs(gv(DisT))}, { abs(gv(CSup)),  abs(gv(DiagF)), abs(gv(DisT))}, { abs(gv(CSup)), abs(gv(DiagF)),  abs(gv(DisT))}, { abs(gv(CSup)), abs(gv(DiagF)), abs(gv(DisT))}, {abs(gv(CSup)),  abs(gv(DiagF)),  abs(gv(DisT))}, {abs(gv(CSup)),  abs(gv(DiagF)), abs(gv(DisT))}, {abs(gv(CSup)), abs(gv(DiagF)),  abs(gv(DisT))}, {abs(gv(CSup)), abs(gv(DiagF)), abs(gv(DisT))}} 600/601 tests passed The following 1 problem failed: (574) ~~~ ~~~ Running tests in rtest5: ********************** Problem 8 (line 25) *************** Input: logcontract(2 log(x + 1) + 1) Result: 2 log((x + 1) ) + 1 This differed from the expected result: 2 log((x + 1) ) + 1 ********************** Problem 12 (line 35) *************** Input: 1/2 3/2 rootscontract(x y ) Result: 3 sqrt(x y ) This differed from the expected result: 3 sqrt(x y ) 81/83 tests passed The following 2 problems failed: (8 12) ~~~ ~~~ Running tests in rtest6: ********************** Problem 39 (line 148) *************** Input: 2 2 2 2 (kill(t, R), integrate(sqrt(sin (t) R + (1  cos(t)) R ), t, 0, 2 %pi)) Result: 0 This differed from the expected result: 8 R 38/39 tests passed The following 1 problem failed: (39) ~~~ ~~~ Running tests in rtest15: WARNING: redefining MAXIMA::$F in DEFUN WARNING: redefining MAXIMA::$F in DEFUN WARNING: redefining MAXIMA::$F in DEFUN WARNING: redefining MAXIMA::$F in DEFUN WARNING: redefining MAXIMA::$F in DEFUN WARNING: redefining MAXIMA::$F in DEFUN WARNING: redefining MAXIMA::$F in DEFUN ********************** Problem 149 (line 443) *************** Input: fpred(xyzzy) Result: false This differed from the expected result: unknown ********************** Problem 151 (line 447) *************** Input: fpred(xyzzy) Result: false This differed from the expected result: unknown ********************** Problem 226 (line 844) *************** Input: 1 integrate(, x, 1, 1 + %pi) 2 sin (x) + 1 Result: 0 This differed from the expected result: %pi  sqrt(2) 364/367 tests passed The following 3 problems failed: (149 151 226) ~~~ And for completeness, here's my build info: ~~~ Maxima version: "branch_5_41_base_104_g86c2e8ad0" Maxima build date: "20171217 15:50:56" Host type: "x86_64unknownopenbsd6.2" Lisp implementation type: "SBCL" Lisp implementation version: "1.3.10.openbsd.1" ~~~  Sent from sourceforge.net because maximabugs@... is subscribed to https://sourceforge.net/p/maxima/bugs/ To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/maxima/admin/bugs/options. Or, if this is a mailing list, you can unsubscribe from the mailing list. 