You can subscribe to this list here.
2014 
_{Jan}

_{Feb}
(232) 
_{Mar}
(323) 
_{Apr}
(383) 
_{May}
(359) 
_{Jun}
(435) 
_{Jul}
(252) 
_{Aug}
(172) 
_{Sep}
(265) 
_{Oct}
(263) 
_{Nov}
(350) 
_{Dec}
(359) 

2015 
_{Jan}
(267) 
_{Feb}
(220) 
_{Mar}
(311) 
_{Apr}
(269) 
_{May}
(388) 
_{Jun}
(397) 
_{Jul}

_{Aug}

_{Sep}

_{Oct}

_{Nov}

_{Dec}

From: edgar <edgarrft@we...>  20150502 19:47:40

Hi maxima list, >> From: Ronald Modesitt >> Sent: Saturday, May 02, 2015 9:32 AM >> To: maximadiscuss@... >> Subject: [Maximadiscuss] Plot2d parametric plot errors from >> mb2eplotfit >> >> System Configuration: >> >> Linux Mint 17.1, >> >> Dell Precision 690, 8 Gb >> >> Maxima Configuration: >> >> wxMaxima version 13.04.2 >> >> Maxima version: 5.32.1 >> myoptions: [maxima_userdir, stardisp, float, numer, display2d, >> %edispflag, exptdispflag, fpprintprec, leftjust] >> >> The following plot statement from the mbe2plotfit tutorial, in >> wxMaxima >> >> plot2d ([uˆ3,[parametric, cos(t), sin(t), [’t,%pi,%pi]]], >> [’u,1.1,1.1],[’x,1.5,1.5],[’y,1.5,1.5], >> [gnuplot_preamble,"set size ratio 1;"])$ >> >> gives the error message: >> >> plotoptionsparser: unknown plot option: [u, 1.1,1.1] >> >> Xmaxima gives the same result. >> >> Parametric plot examples from Maxima book all work. >> >> I would appreciate a review by someone to help me find my error. >> >> Thanks in advance. >> >> Ron >> >> Ronald F. Modesitt >> 1215 Ptarmigan Dr. >> Longmont, CO 80504 >> 3034853887 >> > > Am Sat, 2 May 2015 12:17:11 0700 > schrieb "Edwin Woollett" <woollett@...>: > > On my windows xp box, with gcl binary 5.31.2, I have no problems. > Here are a series of test examples I ran with no problems as you > describe: ========================================================== > > Maxima 5.31.2 http://maxima.sourceforge.net > using Lisp GNU Common Lisp (GCL) GCL 2.6.8 (a.k.a. GCL) > 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. > "20150502" >  > with display2d:false in all the following, > > (%i1) plot2d(u^3,['u,1.1,1.1],['x,1.5,1.5],['y,1.5,1.5])$ > > (%i2) plot2d([parametric,cos(t),sin(t),['t,%pi,%pi]], > ['x,1.5,1.5],['y,1.5,1.5])$ > > (%i3) plot2d([parametric,cos(t),sin(t),['t,%pi,%pi]], > ['x,1.5,1.5],['y,1.5,1.5], > [gnuplot_preamble,"set size ratio 1"])$ > > (%i4) plot2d( [ u^3, [parametric,cos(t),sin(t), ['t,%pi,%pi] ] ], > ['u,1.1,1.1],['x,1.5,1.5],['y,1.5,1.5])$ > > (%i5) plot2d( [ u^3, [parametric,cos(t),sin(t), ['t,%pi,%pi] ] ], > ['u,1.1,1.1],['x,1.5,1.5],['y,1.5,1.5], > [gnuplot_preamble,"set size ratio 1"])$ > > (%i6) plot2d( [ u^3, [parametric,cos(t),sin(t), ['t,%pi,%pi] ] ], > ['u,1.1,1.1],['x,1.5,1.5],['y,1.5,1.5], > [gnuplot_preamble,"set size ratio 1;"])$ > > here is my build info: >  > (%i8) build_info(); > (%o8) ?%build_info("5.31.2","20131007 23:05:06","i686pcmingw32", > "GNU Common Lisp (GCL)","GCL 2.6.8") > (%i9) display2d:true$ > (%i10) build_info(); > (%o10) > Maxima version: "5.31.2" > Maxima build date: "20131007 23:05:06" > Host type: "i686pcmingw32" > Lisp implementation type: "GNU Common Lisp (GCL)" > Lisp implementation version: "GCL 2.6.8" > ============================================ > > Ted In case it helps to find the problem: On Debian Linux, Ted's examples (%i4), (%i5), and (%i4) all produce the same error: plotoptionsparser: unknown plot option: [u,1.1,1.1]  an error. To debug this try: debugmode(true); If I set debugmode(true); and type :bt in the debugger I don't get a backtrace. :( Maybe this is something Linux or nonWindows specific. My build_info: (%i7) build_info(); (%o7) Maxima version: "5.35.1" Maxima build date: "20150207 10:27:10" Host type: "x86_64unknownlinuxgnu" Lisp implementation type: "SBCL" Lisp implementation version: "1.2.8" I'm using gnuplot 4.6 patchlevel 0  edgar  The author of this email does not necessarily endorse the following advertisements, which are the sole responsibility of the advertiser: 
From: Albrecht, Helmut <Helmut.A<lbrecht@ph...>  20150502 19:25:06

Hello again, first of all, I will pay tribute to you and your work in developing and maintaining maxima. The most important reasons for choosing maxima at our university: It is open source and free of charge (students normally only have a little money) and it is available for Windows and OS X. Unfortunately the most recent downloadversion for OS X dates back to April 2013, while the WindowsVersion has been updated much more frequently. Is there a special reason for neglecting OS X in the past two years? Of course I tried the "homebrew"installation as recommended on the wxMaximaHomepage. I succeeded in installing maxima 5.34.1 but I failed in installing wxMaxima, because I got only wxmaxima version 13.4.2, which dates back to 2013. Please keep in mind that most people buying and using a Mac are only users  and no UNIXexperts. I would appreciate your answer in this matter. Best regards Helmut Albrecht ************************************* Prof. Dr. Helmut Albrecht Institut für Mathematik Pädagogische Hochschule 73525 Schwäbisch Gmünd 07171983455 (fon) 07171983370 (fax) PS: Wollten Sie schon immer wissen, warum Elefanten dicke Beine haben? http://www.amazon.de/WarumElefantendickeBeinehaben/dp/3833496932 
From: Edwin Woollett <woollett@ch...>  20150502 19:19:54

in the interests of “full disclosure”, I should say that I was using (as always) XMaxima! Ted From: Ronald Modesitt Sent: Saturday, May 02, 2015 9:32 AM To: maximadiscuss@... Subject: [Maximadiscuss] Plot2d parametric plot errors from mb2eplotfit System Configuration: Linux Mint 17.1, Dell Precision 690, 8 Gb Maxima Configuration: wxMaxima version 13.04.2 Maxima version: 5.32.1 myoptions: [maxima_userdir, stardisp, float, numer, display2d, %edispflag, exptdispflag, fpprintprec, leftjust] The following plot statement from the mbe2plotfit tutorial, in wxMaxima plot2d ([uˆ3,[parametric, cos(t), sin(t), [’t,%pi,%pi]]], [’u,1.1,1.1],[’x,1.5,1.5],[’y,1.5,1.5], [gnuplot_preamble,"set size ratio 1;"])$ gives the error message: plotoptionsparser: unknown plot option: [u, 1.1,1.1] Xmaxima gives the same result. Parametric plot examples from Maxima book all work. I would appreciate a review by someone to help me find my error. Thanks in advance. Ron Ronald F. Modesitt 1215 Ptarmigan Dr. Longmont, CO 80504 3034853887   One dashboard for servers and applications across PhysicalVirtualCloud Widest outofthebox monitoring support with 50+ applications Performance metrics, stats and reports that give you Actionable Insights Deep dive visibility with transaction tracing using APM Insight. http://ad.doubleclick.net/ddm/clk/290420510;117567292;y  _______________________________________________ Maximadiscuss mailing list Maximadiscuss@... https://lists.sourceforge.net/lists/listinfo/maximadiscuss 
From: Edwin Woollett <woollett@ch...>  20150502 19:17:11

Hi Ron, On my windows xp box, with gcl binary 5.31.2, I have no problems. Here are a series of test examples I ran with no problems as you describe: ========================================================== Maxima 5.31.2 http://maxima.sourceforge.net using Lisp GNU Common Lisp (GCL) GCL 2.6.8 (a.k.a. GCL) 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. "20150502"  with display2d:false in all the following, (%i1) plot2d(u^3,['u,1.1,1.1],['x,1.5,1.5],['y,1.5,1.5])$ (%i2) plot2d([parametric,cos(t),sin(t),['t,%pi,%pi]], ['x,1.5,1.5],['y,1.5,1.5])$ (%i3) plot2d([parametric,cos(t),sin(t),['t,%pi,%pi]], ['x,1.5,1.5],['y,1.5,1.5], [gnuplot_preamble,"set size ratio 1"])$ (%i4) plot2d( [ u^3, [parametric,cos(t),sin(t), ['t,%pi,%pi] ] ], ['u,1.1,1.1],['x,1.5,1.5],['y,1.5,1.5])$ (%i5) plot2d( [ u^3, [parametric,cos(t),sin(t), ['t,%pi,%pi] ] ], ['u,1.1,1.1],['x,1.5,1.5],['y,1.5,1.5], [gnuplot_preamble,"set size ratio 1"])$ (%i6) plot2d( [ u^3, [parametric,cos(t),sin(t), ['t,%pi,%pi] ] ], ['u,1.1,1.1],['x,1.5,1.5],['y,1.5,1.5], [gnuplot_preamble,"set size ratio 1;"])$ here is my build info:  (%i8) build_info(); (%o8) ?%build_info("5.31.2","20131007 23:05:06","i686pcmingw32", "GNU Common Lisp (GCL)","GCL 2.6.8") (%i9) display2d:true$ (%i10) build_info(); (%o10) Maxima version: "5.31.2" Maxima build date: "20131007 23:05:06" Host type: "i686pcmingw32" Lisp implementation type: "GNU Common Lisp (GCL)" Lisp implementation version: "GCL 2.6.8" ============================================ Ted From: Ronald Modesitt Sent: Saturday, May 02, 2015 9:32 AM To: maximadiscuss@... Subject: [Maximadiscuss] Plot2d parametric plot errors from mb2eplotfit System Configuration: Linux Mint 17.1, Dell Precision 690, 8 Gb Maxima Configuration: wxMaxima version 13.04.2 Maxima version: 5.32.1 myoptions: [maxima_userdir, stardisp, float, numer, display2d, %edispflag, exptdispflag, fpprintprec, leftjust] The following plot statement from the mbe2plotfit tutorial, in wxMaxima plot2d ([uˆ3,[parametric, cos(t), sin(t), [’t,%pi,%pi]]], [’u,1.1,1.1],[’x,1.5,1.5],[’y,1.5,1.5], [gnuplot_preamble,"set size ratio 1;"])$ gives the error message: plotoptionsparser: unknown plot option: [u, 1.1,1.1] Xmaxima gives the same result. Parametric plot examples from Maxima book all work. I would appreciate a review by someone to help me find my error. Thanks in advance. Ron Ronald F. Modesitt 1215 Ptarmigan Dr. Longmont, CO 80504 3034853887   One dashboard for servers and applications across PhysicalVirtualCloud Widest outofthebox monitoring support with 50+ applications Performance metrics, stats and reports that give you Actionable Insights Deep dive visibility with transaction tracing using APM Insight. http://ad.doubleclick.net/ddm/clk/290420510;117567292;y  _______________________________________________ Maximadiscuss mailing list Maximadiscuss@... https://lists.sourceforge.net/lists/listinfo/maximadiscuss 
From: Ronald Modesitt <ronald.835@gm...>  20150502 16:32:30

System Configuration: Linux Mint 17.1, Dell Precision 690, 8 Gb Maxima Configuration: wxMaxima version 13.04.2 Maxima version: 5.32.1 myoptions: [maxima_userdir, stardisp, float, numer, display2d, %edispflag, exptdispflag, fpprintprec, leftjust] The following plot statement from the mbe2plotfit tutorial, in wxMaxima plot2d ([uˆ3,[parametric, cos(t), sin(t), [’t,%pi,%pi]]], [’u,1.1,1.1],[’x,1.5,1.5],[’y,1.5,1.5], [gnuplot_preamble,"set size ratio 1;"])$ gives the error message: plotoptionsparser: unknown plot option: [u, 1.1,1.1] Xmaxima gives the same result. Parametric plot examples from Maxima book all work. I would appreciate a review by someone to help me find my error. Thanks in advance. Ron Ronald F. Modesitt 1215 Ptarmigan Dr. Longmont, CO 80504 3034853887 
From: Andrej Vodopivec <andrej.vodopivec@gm...>  20150502 07:42:08

I have uploaded windows binaries compiled with sbcl and ccl. Andrej On Fri, May 1, 2015 at 2:19 AM, Robert Dodier <robert.dodier@...> wrote: > I've tagged 5.36.1 in Git and built rpms and tar.gz and uploaded them to > the Sourceforge file manager. http://sourceforge.net/p/maxima/files > > This release includes a few commits, including 034005b1 which fixes a > problem with wxMaxima. > > If someone can build a Windows installer, that will be terrific. > > best > > Robert Dodier > > >  > One dashboard for servers and applications across PhysicalVirtualCloud > Widest outofthebox monitoring support with 50+ applications > Performance metrics, stats and reports that give you Actionable Insights > Deep dive visibility with transaction tracing using APM Insight. > http://ad.doubleclick.net/ddm/clk/290420510;117567292;y > _______________________________________________ > Maximadiscuss mailing list > Maximadiscuss@... > https://lists.sourceforge.net/lists/listinfo/maximadiscuss 
From: Robert Dodier <robert.dodier@gm...>  20150501 18:08:52

On 20150501, Gunter Königsmann <gunter@...> wrote: > I would opt for uploading this installer to the "downloads" section of > sourceforge.net  or for making Wolfgang a official developer so he can > do it. I agree that's a good idea. I think I enabled permission for you (peterpall) to upload files to the file manager, so you can do it if you wish. I'll put Wolfgang on the list of developers too if he wishes  he just has to tell us his Sourceforge user id. best, Robert Dodier 
From: Gunter Königsmann <gunter@pe...>  20150501 15:26:38

I would opt for uploading this installer to the "downloads" section of sourceforge.net  or for making Wolfgang a official developer so he can do it. Kind regards, Gunter. On Fr, Mai 1, 2015 at 3:43 , Wolfgang Dautermann <wolfgang@...> wrote: > On 01.05.2015 02:19, Robert Dodier wrote: >> If someone can build a Windows installer, that will be terrific. > > A (crosscompiled, Clispbased) installer is available at: > http://wolfgang.dautermann.at/maxima/ > > Best regards, Wolfgang > >  > One dashboard for servers and applications across > PhysicalVirtualCloud > Widest outofthebox monitoring support with 50+ applications > Performance metrics, stats and reports that give you Actionable > Insights > Deep dive visibility with transaction tracing using APM Insight. > http://ad.doubleclick.net/ddm/clk/290420510;117567292;y > _______________________________________________ > Maximadiscuss mailing list > Maximadiscuss@... > https://lists.sourceforge.net/lists/listinfo/maximadiscuss 
From: Wolfgang Dautermann <wolfgang@da...>  20150501 13:44:07

On 01.05.2015 02:19, Robert Dodier wrote: > If someone can build a Windows installer, that will be terrific. A (crosscompiled, Clispbased) installer is available at: http://wolfgang.dautermann.at/maxima/ Best regards, Wolfgang 
From: Robert Dodier <robert.dodier@gm...>  20150501 00:19:54

I've tagged 5.36.1 in Git and built rpms and tar.gz and uploaded them to the Sourceforge file manager. http://sourceforge.net/p/maxima/files This release includes a few commits, including 034005b1 which fixes a problem with wxMaxima. If someone can build a Windows installer, that will be terrific. best Robert Dodier 
From: Stavros Macrakis (Σταῦρος Μακράκης) <macrakis@al...>  20150430 22:41:00

The abs case looks like a bug (please file it), sorry. On Thu, Apr 30, 2015 at 5:57 PM, Nijso Beishuizen <nijso@...> wrote: > Dear all, > > I have the following expression (the solution of Kamke ODE 1.63): > > res:(sqrt(x+1)*'integrate(abs(sqrt(y+1)+y)/(y^2+1),y)2)/sqrt(x+1)+%c; > > I try to see if it can be written explicitly in y: > > solve(res,y); > [] > > I don't know why this returns empty. Without abs(), it gives me > res:(sqrt(x+1)*'integrate((sqrt(y+1)+y)/(y^2+1),y)2)/sqrt(x+1)+%c; > grind(solve(res,y)); > ['integrate((sqrt(y+1)+y)/(y^2+1),y) = (%c*sqrt(x+1)2)/sqrt(x+1)]$ > > Why does it return empty instead of the original expression? Is it a > problem with abs? > > > Best, > Nijso > > > >  > One dashboard for servers and applications across PhysicalVirtualCloud > Widest outofthebox monitoring support with 50+ applications > Performance metrics, stats and reports that give you Actionable Insights > Deep dive visibility with transaction tracing using APM Insight. > http://ad.doubleclick.net/ddm/clk/290420510;117567292;y > _______________________________________________ > Maximadiscuss mailing list > Maximadiscuss@... > https://lists.sourceforge.net/lists/listinfo/maximadiscuss > 
From: Nijso Beishuizen <nijso@ho...>  20150430 21:58:06

Dear all, I have the following expression (the solution of Kamke ODE 1.63): res:(sqrt(x+1)*'integrate(abs(sqrt(y+1)+y)/(y^2+1),y)2)/sqrt(x+1)+%c; I try to see if it can be written explicitly in y: solve(res,y); [] I don't know why this returns empty. Without abs(), it gives me res:(sqrt(x+1)*'integrate((sqrt(y+1)+y)/(y^2+1),y)2)/sqrt(x+1)+%c; grind(solve(res,y)); ['integrate((sqrt(y+1)+y)/(y^2+1),y) = (%c*sqrt(x+1)2)/sqrt(x+1)]$ Why does it return empty instead of the original expression? Is it a problem with abs? Best, Nijso 
From: Robert Dodier <robert.dodier@gm...>  20150430 18:22:37

On 20150430, Pankaj Sejwal <pankajsejwal@...> wrote: > There is no reference to "announce_rules_firing" in documentation. > This could very well be useful, please update it into docs. Well, it's incomplete and needs more work. So I wouldn't want to advertise it. But thanks for the encouragement. > When I see such hidden features surfacing during discussions, It > surprises me totally. It could be great if you could please maintain a > separate document on Maxima site where such hidden facts are stored. Well, instead of maintaining such a list, we should just update the documentation accordingly .... best, Robert Dodier 
From: Jaime Villate <villate@fe...>  20150430 09:37:27

On 30042015 09:31, Luigi Marino wrote: > How I can know what is the new share package > or new command in last release Maxima 5.36.1 ? > Why do you not publish what is the new in the > last release respect the old (e.g. bugs corrected)? > Best regards. > Luigi Marino Hi, there has not been a 5.36.1 release yet, but if you want to see the changes introduced in release 5.36.0, please look at the boxed titled "Recent Releases in the Website: http://maxima.sourceforge.net/ Regards, Jaime Villate 
From: Jaime Villate <villate@fe...>  20150430 09:07:35

On 30042015 09:57, Pepe Sanchez wrote: > Dear Jaime > Thanks > 1) Unfortunately, all the binaries I found at > http://www.flapane.com/nix.php are for ppc processors. Either > universal binaries or Inter Core binaries could be needed for most > recent Mac models…. > Anyway…. > 2) As I have posted in another mail, the following sequence of > instructions allowed me to get “online” plots at wxMaxima > (my current versions: wxMaxima: 13.04.0 ; Gnuplot: 4.2.6 ; Maxima: > 5.30 ; Mac: Processor: Intel Core i7; MacOSX 10.10.3 ; Graphics: > AMD Radeon HD 6770M) > I copy again the sequence with a small error fixed in the > second line; of course, sudo will ask for administrator password > $> cd /usr > $> sudo mkdir p /X11R6/lib > $> cd /usr/X11R6/lib > $> sudo ln s /opt/X11/lib/libXpm.4.dylib libXpm.4.dylib > $>sudo ln s /opt/X11/lib/libX11.6.dylib libX11.6.dylib > $>sudo ln s /opt/X11/lib/libfontconfig.1.dylib libfontconfig.1.dylib > $>sudo ln s /opt/X11/lib/libfreetype.6.dylib libfreetype.6.dylib > > OK, thanks for that info. The above commands should be equivalent to: cd /usr/X11R6 sudo ln s /opt/X11/lib Or, for those of you who do not have a /usr/X11R6 directory in your system: cd /usr sudo ln s /opt/X11 X11R6 Regards, Jaime 
From: Pepe Sanchez <jose.sanchez@uv...>  20150430 08:57:31

Dear Jaime Thanks 1) Unfortunately, all the binaries I found at http://www.flapane.com/nix.php <http://www.flapane.com/nix.php>; are for ppc processors. Either universal binaries or Inter Core binaries could be needed for most recent Mac models…. Anyway…. 2) As I have posted in another mail, the following sequence of instructions allowed me to get “online” plots at wxMaxima (my current versions: wxMaxima: 13.04.0 ; Gnuplot: 4.2.6 ; Maxima: 5.30 ; Mac: Processor: Intel Core i7; MacOSX 10.10.3 ; Graphics: AMD Radeon HD 6770M) I copy again the sequence with a small error fixed in the second line; of course, sudo will ask for administrator password $> cd /usr $> sudo mkdir p /X11R6/lib $> cd /usr/X11R6/lib $> sudo ln s /opt/X11/lib/libXpm.4.dylib libXpm.4.dylib $>sudo ln s /opt/X11/lib/libX11.6.dylib libX11.6.dylib $>sudo ln s /opt/X11/lib/libfontconfig.1.dylib libfontconfig.1.dylib $>sudo ln s /opt/X11/lib/libfreetype.6.dylib libfreetype.6.dylib WIth best wishes Pepe > El 29/4/2015, a las 11:02, Jaime Villate <villate@...> escribió: > > On 28042015 16:38, Pepe Sanchez wrote: >> Hop! I have the same problem. >> I get this note: >> >> dyld: Library not loaded: /usr/X11R6/lib/libXpm.4.dylib >> >> Other plot_formats, as, e.g. openmath, did work >> [plot_format, openmath] >> >> Best >> >> > Hello Pepe, > could you please install Gnuplot again and tell us the result? You can download a precompiled Gnuplot for > MacOS from http://www.flapane.com/nix.php <http://www.flapane.com/nix.php>; > Please notice the warning in the Readme file in that site: > > "AquaTerm is needed in order to display plots. Download it at http://sourceforge.net/projects/aquaterm/ <http://sourceforge.net/projects/aquaterm/>"; > > [plot_format, xmaxima] (openmath is an old, deprecated name) works because xmaxima is a Tcl script > that only needs TcL/Tk. > > Regards, > Jaime > ________________________________________________________________ Jose SanchezMarin. Universitat de Valencia. Institut de Ciencia Molecular (ICMol). Cat. Jose Beltran Martinez, 2 Phone: +34 96 354 4444 E46980 Paterna FAX: +34 96 354 3576 Spain email: Jose.Sanchez@... <mailto:Jose.Sanchez@...> _________________________________________________________________ 
From: Luigi Marino <luigi_marino2@al...>  20150430 08:31:28

How I can know what is the new share package or new command in last release Maxima 5.36.1 ? Why do you not publish what is the new in the last release respect the old (e.g. bugs corrected)? Best regards. Luigi Marino 
From: Robert Dodier <robert.dodier@gm...>  20150430 06:08:22

On 20150429, Richard Fateman <fateman@...> wrote: > This is neat, but the basic notion that "if Maxima explains its steps then a > student will learn how to do it" is relying on students' methods being > comparable, which is not realistic. Well, if it's showing what Maxima did, it's not much of a learning tool, and that's OK by me. Maxima will do things in a way that's suitable for an automated program, maybe not for a human. A "show your steps" mode for Maxima would be comprehensible to a knowledgeable person. If nothing else, it might help find bugs. But I wouldn't claim it will help all students  it might help the more advanced ones, at least. best Robert Dodier 
From: Pankaj Sejwal <pankajsejwal@gm...>  20150430 05:53:40

Hi Stavros, On Thu, Apr 30, 2015 at 4:13 AM, Stavros Macrakis (Σταῦρος Μακράκης) < macrakis@...> wrote: > It's not clear what your goal is. > >  Is it pedagogical, to show learners how to solve problems themselves > by showing them Maxima's approach? > > No, actually it has nothing to do with Maxima, here Maxima is just front end. Since Maxima's integration functionality is refined, trusted and I don't know how it works, I didn't touch it. > > >  Is it for debugging or diagnosis of Maxima functionality: Maxima > failed to integrate X, why? > > >  >  Is it for debugging or diagnosis of userdefined rules? > > Yes one can do that. In a way declaring own assumptions. > >  >  Is it to experiment with Truth Management Systems, and math is just > a convenient domain? > > True . > >  Is it because you think TMSs are a good way to write computer > algebra systems? >  etc. > > I think TMS are good way to work with knowledge which CAS traditionally are bit weak at. I think its a good way to see interplay between facts and computations on all levels. > >  If it's for pedagogy, Maxima's approach may not be suitable. (As > others have said.) > > > If for debugging, then often the fact that a certain branch was *not* taken > is the bug. It's not enough to say that diff(x,x)=>1; the reason diff(x,x) > is 1 is that a) x is not a constant; b) x is the same as the variable of > differentiation. How would you report that? > > Why a pattern has been used can be stored as explanation and retrieved later. > In the end, you would essentially be reporting on singlestepping through > the entire program, which is not very useful. > > For debugging user rules, as Robert says, announce_rules_firing may be > useful, but again, sometimes the problem is understanding why some rule > *didn't* fire, (The curious incident of the dog in the nighttime > <https://en.wikipedia.org/wiki/Silver_Blaze>;.) or why they fired in a > certain order. > > In that case TMS can be improved to force order and see if one will reach to the same conclusion. One question solved in different ways teaches more than many questions in same ways. > > If the goal is primarily to understand TMSs, I guess it's not a Maxima > issue at all. > > Yes, its true. > > If you think TMSs are a good tool for writing computer algebra systems, > I'm not sure what you have in mind. I think you need many other techniques > than just a TMS. > > I am trying to learn but unfortunately there is no one book that explains how CAS are designed or does comparative an alysis between CAS + I don't have anyone to guide me (: . I learn more here. > > Finally, your example of derivatives is not very illuminating, because it > is a straight recursion with no backtracking; where AI search techniques > become interesting is when there *is* backtracking. > > Actually I was bit hesitant to share it because I knew that it will be a done and beaten thing to many but then opinions are important. > > What is the citation for SAINT implemented using a TMS? > > Generally "Building problem solver" books that this TMS belongs to has been cited many times but as it is not a new problem and addressed largely in other ways, citation could be less. But I find TMS very powerful. Thanks for your views. :)  Regards, Pankaj Sejwal ____________________________________________________ "The more I read, the more I acquire, the more certain I am that I know nothing.”  Voltaire 
From: Pankaj Sejwal <pankajsejwal@gm...>  20150430 05:29:17

Hi Robert, Message: 2 > Date: Wed, 29 Apr 2015 19:33:40 +0000 (UTC) > From: Robert Dodier <robert.dodier@...> > Subject: Re: [Maximadiscuss] Step by step differentiation in Maxima > To: maximadiscuss@... > MessageID: <slrnmk2cgk.2l2.robert.dodier@...> > > > (%i1) announce_rules_firing : true $ > (%i2) tellsimpafter (foo(1), 0); > (%i3) tellsimpafter (bar(0), 1); > (%i4) bar (foo (1)); > By foorule1 , foo(1) > 0 > By barrule1 , bar(0) > 1 > (%o4)  1 > > There is no reference to "announce_rules_firing" in documentation. This could very well be useful, please update it into docs. When I see such hidden features surfacing during discussions, It surprises me totally. It could be great if you could please maintain a separate document on Maxima site where such hidden facts are stored.  Regards, Pankaj Sejwal ____________________________________________________ "The more I read, the more I acquire, the more certain I am that I know nothing.”  Voltaire 
From: Pankaj Sejwal <pankajsejwal@gm...>  20150430 05:18:59

Hi, > Message: 1 > Date: Wed, 29 Apr 2015 07:18:12 0700 > From: Richard Fateman <fateman@...> > Subject: Re: [Maximadiscuss] Step by step differentiation in Maxima > To: maximadiscuss@... > MessageID: <5540E824.6000405@...> > ContentType: text/plain; charset=windows1252; format=flowed > > This is not really explaining Maxima. > It just a different program written in Lisp and loaded into Maxima. > > Yes, maxima totally works like a front end and only function used from Maxima is 'displa'. It has nothing to do with internals of Maxima. > If you want to know how Maxima computes derivatives, try this: > > > :lisp (trace sdiff) > > 'sdiff' is not mentioned in documentation any where. After using trace(sdiff) I am seeing that its more or less same as TMS's output. If you want to change the output of the trace to use $displa , then > (depending on the > underlying lisp's trace routines) that can usually be done. > > Note that many of the steps are repetitive. Many sub problems are > diff(x,x) > 1 > But that's the way it is done. > > Yes and they must be there to explain the complete train of operations. > > Tracing integration program pieces will be less enlightening since > Maxima doesn't > use the same methods as taught to students or methods in SAINT. > Unless someone sits down to learn theory of integration, everyone uses tables to get job done and so does CAS. I read a part of Joel's thesis and what I understood is that its all about finding hidden patterns in equations. Saint does the same. This TMS does the same. I am no expert on integration but its good to tell students about the subtle differences early. Explaining how to do a problem is (separate from Maxima) presumably > useful for > students. > Explaining common errors of students in attempting to do a problem > is also useful. This might require hypothesizes for misunderstanding. > RJF > I totally agree with you here. CAS are of more significance in those parts of the world where quality of faculty is poor . It would be even more effective if it could be merged with graphs(distant thought).  Regards, Pankaj Sejwal ____________________________________________________ "The more I read, the more I acquire, the more certain I am that I know nothing.”  Voltaire 
From: Stavros Macrakis (Σταῦρος Μακράκης) <macrakis@al...>  20150429 22:43:33

It's not clear what your goal is.  Is it pedagogical, to show learners how to solve problems themselves by showing them Maxima's approach?  Is it for debugging or diagnosis of Maxima functionality: Maxima failed to integrate X, why?  Is it for debugging or diagnosis of userdefined rules?  Is it to experiment with Truth Management Systems, and math is just a convenient domain?  Is it because you think TMSs are a good way to write computer algebra systems?  etc. If it's for pedagogy, Maxima's approach may not be suitable. (As others have said.) If for debugging, then often the fact that a certain branch was *not* taken is the bug. It's not enough to say that diff(x,x)=>1; the reason diff(x,x) is 1 is that a) x is not a constant; b) x is the same as the variable of differentiation. How would you report that? In the end, you would essentially be reporting on singlestepping through the entire program, which is not very useful. For debugging user rules, as Robert says, announce_rules_firing may be useful, but again, sometimes the problem is understanding why some rule *didn't* fire, (The curious incident of the dog in the nighttime <https://en.wikipedia.org/wiki/Silver_Blaze>;.) or why they fired in a certain order. If the goal is primarily to understand TMSs, I guess it's not a Maxima issue at all. If you think TMSs are a good tool for writing computer algebra systems, I'm not sure what you have in mind. I think you need many other techniques than just a TMS. Finally, your example of derivatives is not very illuminating, because it is a straight recursion with no backtracking; where AI search techniques become interesting is when there *is* backtracking. What is the citation for SAINT implemented using a TMS? s On Wed, Apr 29, 2015 at 3:04 AM, Pankaj Sejwal <pankajsejwal@...> wrote: > I have been trying to learn about Truth Maintenance Systems and there are > good explanations in "Building problem solvers". There is information > available for all kinds of TMS. They have recreated SAINT integration > program using TMS and they have also shown steps involved in reaching to > logical conclusions from start to finish of the solution. > > I have made changes to program to make it suitable for differentiation and > integrated it into Maxima and it is working fine for some set of rules that > I have put in. > example, > > differentiate(x+x*y+x*z,x); => z+y+1 > > explainresult(); > > Solved the problem: > Differentiate(Derivative(x*z+x*y+x,x)) > z+y+1 > => > Differentiate(Derivative(x,x)) > 1 > Differentiate(Derivative(x*y,x)) > y > Differentiate(Derivative(x*z,x)) > z > > > > showaograph(); //shows andor graph created during finding solution to > the problem > > LEVEL=0 > Differentiate(Derivative(x*z+x*y+x,x)) > SOLUTION= > z+y+1 > > Or subgoals: > [Derivative(x*z+x*y+x,x)] > LEVEL=1 > Derivative(x*z+x*y+x,x) > Solved in following steps > LEVEL=2 > Differentiate(Derivative(x*y,x)) > SOLUTION= > y > > Or subgoals: > [Derivative(x*y,x)] > LEVEL=2 > Differentiate(Derivative(x*z,x)) > SOLUTION= > z > > Or subgoals: > [Derivative(x*z,x)] > LEVEL=3 > Derivative(x*y,x) > Solved in following steps > LEVEL=3 > Derivative(x*z,x) > Solved in following steps > LEVEL=4 > Differentiate(Derivative(x*z,x)) > SOLUTION= > z > > Or subgoals: > [Derivative(x*z,x)] > LEVEL=5 > Derivative(x*z,x) > Solved in following steps > LEVEL=6 > Differentiate(Derivative(x,x)) > SOLUTION= > 1 > > If you try examples you might get wrong results or no results for > some(denoted as FAILED) because all correct rules(may be !) have not been > put in to differentiate all types of equations. Although, I have tried to > format it but 'displa' starts every thing from new line and it really > breaks the format. > Possible improvements: > 1) Include all the diff rules. > 2) Better organized display.(I need help here) > 3) Its also possible to specify the reason in words(any text or pattern) > for why a particular operation has been applied, I have removed it for now. > 3) Using TMS to solve Integration, Limits and Simplification because they > all require pattern matching. > > Step by step explanation could be a good teaching tool for students and > has been asked for many times. > > I am still working on adding rules to jsops.lisp and testing various > questions. Its like using differentiation table to match against a problem > and decide the next step saving the information on the way as nodes and > justification for why some operation is valid. > > CODE : > Please find the code at: https://github.com/pankajsejwal/TMSMAXIMA > And in case its not working or any other problem, please mail me. > > Note: > (defvar *jsaintrules* "/home/joker/Project Space/BPS/jtms/jsrules.lisp") > (defvar *jsaintoperators* "/home/joker/Project > Space/BPS/jtms/jsops.lisp") > Download jsrules.lisp and jsops.lisp and replace into code1.lisp with > their paths updated. > > There could be some rudimentary code in there but please ignore it for the > moment. > Suggestions and opinions are most welcome. > >  > Regards, > Pankaj Sejwal > ____________________________________________________ > "The more I read, the more I acquire, the more certain I am that I know > nothing.”  Voltaire > > >  > One dashboard for servers and applications across PhysicalVirtualCloud > Widest outofthebox monitoring support with 50+ applications > Performance metrics, stats and reports that give you Actionable Insights > Deep dive visibility with transaction tracing using APM Insight. > http://ad.doubleclick.net/ddm/clk/290420510;117567292;y > _______________________________________________ > Maximadiscuss mailing list > Maximadiscuss@... > https://lists.sourceforge.net/lists/listinfo/maximadiscuss > > 
From: Raymond Toy <toy.raymond@gm...>  20150429 22:25:13

>>>>> "Richard" == Richard Fateman <fateman@...> writes: Richard> Actually better than using lisp trace... Richard> use maxima's trace on a lisp function; Richard> trace(?sdiff); Richard> About announce_rules_firing ... Richard> This is neat, but the basic notion that "if Maxima explains its steps then a Richard> student will learn how to do it" is relying on students' methods being Richard> comparable, which is not realistic. Indeed. Definite integration is a common student task. But until you're in college, you probably won't know about contour integration, and maxima uses that a lot for definite integrals. So showing those steps will probably just confuse the student. But it might also intrigue one to learn more, which is a good thing.  Ray 
From: Raymond Toy <toy.raymond@gm...>  20150429 22:21:52

>>>>> "Richard" == Richard Fateman <fateman@...> writes: Richard> Trace sdiff but using Maxima's display program looks a Richard> little like this, if GCL is the underlying lisp.. Richard> :lisp (trace (sdiff :entry (displa (cons '($diff) si::arglist)) :exit (displa (cons '($result) Richard> values)))) Richard> but I haven't figured out how to remove the "regular" Richard> lisp output and indentation. What's wrong with doing this? trace(?sdiff); diff(x^2,x); 1 Enter sdiff [x , x] 2 Enter sdiff [x, x] 2 Exit sdiff 1 1 Exit sdiff 2 x (%o7) 2 x  Ray 
From: Richard Fateman <fateman@be...>  20150429 20:07:21

Actually better than using lisp trace... use maxima's trace on a lisp function; trace(?sdiff); About announce_rules_firing ... This is neat, but the basic notion that "if Maxima explains its steps then a student will learn how to do it" is relying on students' methods being comparable, which is not realistic. At least in teaching programming, one approach is to understand the mistakes made by students (that is, find a model that matches the errors!) and then correct that. There is also the issue of overcoming the barrier of 2way communication. E.g. student offers computer a piece of scratch paper showing his steps illegibly. computer offers a result in some unfamiliar notation.. RJF On 4/29/2015 12:33 PM, Robert Dodier wrote: > On 20150429, Richard Fateman <fateman@...> wrote: > >> If you want to know how Maxima computes derivatives, try this: >> >> :lisp (trace sdiff) > In the same vein, there is an Easter egg in tellsimpafter which causes a > rule to print out a message when it matches an expression. E.g.: > > (%i1) announce_rules_firing : true $ > (%i2) tellsimpafter (foo(1), 0); > (%i3) tellsimpafter (bar(0), 1); > (%i4) bar (foo (1)); > By foorule1 , foo(1) > 0 > By barrule1 , bar(0) > 1 > (%o4)  1 > > If all rules (builtin and userdefined alike) had this capability, one > could get a "show your steps" output. This would be relatively > straightforward since the existing simplification machinery would stay > the same, with only some added output. > > FWIW > > Robert Dodier > > >  > One dashboard for servers and applications across PhysicalVirtualCloud > Widest outofthebox monitoring support with 50+ applications > Performance metrics, stats and reports that give you Actionable Insights > Deep dive visibility with transaction tracing using APM Insight. > http://ad.doubleclick.net/ddm/clk/290420510;117567292;y > _______________________________________________ > Maximadiscuss mailing list > Maximadiscuss@... > https://lists.sourceforge.net/lists/listinfo/maximadiscuss 