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
>
>
>
>
>
>
>
>
>
>
>