I've finally tracked down a problem I was having to a behavior in Maple I find, possibly, understandable, but need to figure out how to prevent. Specifically, in expressions of the form x^y, where both x and y may sometimes be zero, the behavior I require is for Maple to evaluate y first so x^0=1 whatever the value of x is. (Maple does evaulate 0^0=1 itself, I note.)
An example where this sort of thing comes up is in an expression like
This should evauate to 1 when x=0. (Don't believe I would really want that? How about
sum( binomial(5,k)*a^k*b^(5-k) , k=0..5)
when b=0? Would not the expected answer be a^5? But that isn't what Maple 15 gives. It gives zero.)
Something like this was buried in a much more complex expression where splitting out the terms with zero exponents would be very difficult, but if I can sort out these examples I can fix the problem I'm actually working on, I think.