I may have to roll back pw.mac to 6.4 too.
From: Richard Hennessy
Sent: Monday, June 04, 2012 1:10 PM
To: Stavros Macrakis
Cc: maxima at math.utexas.edu ; Barton Willis
Subject: Re: [Maxima] pw.mac
Well, as a first step I have to rewrite simp_given() (again) using contexts since I did not save the version that gave 31 error because, well, it didn?t work. After that maybe I should just post it to see if anyone sees any bug?s in it. I will need time to look at the errors to see if there is a clear case of a bug in contexts. So I probably will not post today. I am in school, I am taking two courses right now in the first summer session. Time is hard to come by these days. But re-rewriting simp_given() in terms of contexts shouldn?t take too long though.
Rich
From: Stavros Macrakis
Sent: Monday, June 04, 2012 11:23 AM
To: Richard Hennessy
Cc: Barton Willis ; maxima at math.utexas.edu
Subject: Re: [Maxima] pw.mac
The nature of the simplifications should be orthogonal to the mechanism used to implement contexts -- unless of course there is a bug in contexts. Can you supply a minimal, self-contained, reproducible example of a bug in contexts? I also wonder about the use of macros in your implementation. That makes me wonder if the real problem is one of multiple evaluations rather than something related to contexts and simplification.
-s
On Mon, Jun 4, 2012 at 7:42 AM, Richard Hennessy <rich.hennessy at verizon.net> wrote:
rtest_pw.mac has some very non-trivial simplifications in it. 31 errors.
Rich
-----Original Message----- From: Barton Willis
Sent: Sunday, June 03, 2012 10:14 PM
To: Stavros Macrakis ; Richard Hennessy
Cc: maxima at math.utexas.edu
Subject: RE: [Maxima] pw.mac
I believe Barton has succeeded with it. Take a look at his code.
Specifically for examples of using contexts, see the code in abs_integrate.mac (committed some weeks ago).
Relevant functions include newcontext, killcontext, and supcontext. I didn't encounter any bugs or things
that I thought might be bugs in the context mechanisms, but I was doing simple stuff, I think.
Also, if you search the mailing list (earlier this year I think), you'll find various proposals for a context
based evaluate_assuming function.
--Barton
--------------------------------------------------------------------------------
_______________________________________________
Maxima mailing list
Maxima at math.utexas.edu
http://www.math.utexas.edu/mailman/listinfo/maxima