From: Stavros Macrakis
Sent: Saturday, June 02, 2012 3:32 PM
To: Richard Hennessy
Cc: Barton Willis ; 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