I think we already discussed the old simp_assuming on this list. It was
written as a macro because what it *really* was was evaluate_assuming, not
simp_assuming. Not the same thing!
If I remember correctly, Barton no longer has a simp_assuming function
(though I think it's a good idea!); and his code now uses contexts rather
than unwind_protect.
-s
On Sat, Jun 2, 2012 at 5:26 PM, Richard Hennessy
<rich.hennessy at verizon.net>wrote:
>
>
> *From:* Stavros Macrakis <macrakis at alum.mit.edu>
> *Sent:* Saturday, June 02, 2012 3:32 PM
> *To:* Richard Hennessy <rich.hennessy at verizon.net>
> *Cc:* Barton Willis <willisb at unk.edu> ; maxima at math.utexas.edu
> *Subject:* Re: [Maxima] pw.mac
>
> I was wrong: your code works correctly with redundant assertions.
>
> I'd recommend you throw an error if member('inconsistent,_ans).
>
> By the way, why are you defining simp_given as a macro?
>
> -s
>
>>
>>
> It is based on Barton?s simp_assuming(), I did not change it to a function
> because it was working fine as is except for some cases where assumptions
> were not deleted correctly after calling it, in certain situations. I
> tracked that bug down, but it had nothing to do with being a macro.
>
> Rich
>