Kris Katterjohn

support tracing simplifying functions

Merged. Closing this ticket.

ChangeLog entry for bug #4356

Merge branch 'kjak-bug4356-simp-trace'

Thanks, and I agree. Which is why I'm just curious if there is even a consensus on what the result should be even when simply multiplying two literal zeros like 0*0.0. (And I'm not suggesting that we start officially using terms like "exact zero" in Maxima. As I said in the other bug report, I was just temporarily borrowing that from Scheme.)

See the already existing bug [#3184]. This sort of thing has been discussed elsewhere too. In that [#3184] I question whether or not we actually want to apply float contagion in some cases involving multiplication of floats with an exact zero 0. I suppose applying float contagion in these cases is the "obvious" thing to do, but it's not actually obvious to me that Maxima should do it in these cases.

I was able to sit down earlier today and push my changes to a new branch, kjak-bug4356-simp-trace. You can check it out with git or browse it here: https://sourceforge.net/p/maxima/code/ci/kjak-bug4356-simp-trace/tree/ This includes tracing simplifying functions, the Call/Simp output changes, and the changes to how args are printed out and read in at trace breakpoints. Stavros (or anyone): if you want to play around with this but don't want to checkout this branch with git, I was able to load the...

Distinguish between simp and non-simp functions in trace output