Kris Katterjohn

Docs: remove outdated notes about transl and prederror:false

I've already closed [#4376] as not-a-bug since I posted a comment some time ago showing that that was the documented behavior of ev. I'm inclined to close this ticket as not-a-bug as well for pretty much the same reason, since makelist is directly using ev. I'll leave this ticket open for now and close at a later date if there is no further discussion.

ev(a+b,[a,b]:[2,3]) doesn't bind a and b or give an error

This ticket has been sitting for a while, so I'm closing this as not-a-bug based on my previous comment which showed that this is the documented behavior. Please comment and/or re-open if you disagree.

Hi Stavros. Perhaps I wasn't explicit enough, or perhaps I'm misunderstanding what you're looking for, but I did provide an example above showing a simple and purely Maxima-level mathematical function that yields different results for 0.0 and -0.0 under a lisp implementation that supports negative zeros. This provides a way to distinguish between 0.0 and -0.0 without relying on their print representation. The results from another implementation that does not support negative zeros (which is allowed...

Hi Stavros, Under some lisp implementations like SBCL that support negative zeros: (%i4) is (equal (0.0, -0.0)); (%o4) true (%i5) is (0.0 = -0.0); (%o5) true (%i6) foo (r) := atan2 (r, -1.0)$ (%i7) foo (0.0); (%o7) 3.141592653589793 (%i8) foo (-0.0); (%o8) -3.141592653589793 Also recall that CL allows, but doesn't require, support for negative zeros. So under some other implementations like CLISP, %o8 should be the same as %o7.

transl: remove the obsolete and unused POSSIBLE-PREDICATE-OP-P

transl: abort on atomic MQAPPLY ops