Of course.
The code is attached as a wxm file. It is worse than I though, the answer you get is all wrong. You have to have
pw.mac to see the problem. If you replace the assuming() with simp_assuming() you will see it gets the wrong answer and
also leaves facts on the facts() list. I do load unwind_protect.
The function simpiif() is close to the top of pw.mac. The function pulliniif(), I don't think is the problem since it
works okay with the assuming function which is also in pw.mac near the top.
I have attached pw.mac in a private email.
Rich
--------------------------------------------------
From: "Barton Willis" <willisb at unk.edu>
Sent: Monday, September 20, 2010 10:08 PM
To: "Richard Hennessy" <rich.hennessy at verizon.net>
Cc: "Maxima List" <maxima at math.utexas.edu>
Subject: Re: [Maxima] Possible bug in simp_assuming()
> Does your code load "unwind_protect"? Have you tried tracing forget? Maybe you could post an example.
>
> --Barton
>
> -----maxima-bounces at math.utexas.edu wrote: -----
>
>
>>I have created a simplifying function iif(). The code is below. For some
>>reason if I use simp_assuming() instead of my
>>own concoction it does not work right.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: a problem with if and pwint.wxm
Type: application/octet-stream
Size: 1183 bytes
Desc: not available
URL: <http://www.math.utexas.edu/pipermail/maxima/attachments/20100920/b25b1e01/attachment-0001.obj>;