Does Maple 2017 have cwmaple.exe?
                                                                                

"object at address is binary"

When was ?define, forall stripped from Maple?
Define used to accept all of these: Group, Linear, forall, antisymmetric, associative, binary, commutative, identity, inverse, symmetric, type, unary, zero. Was this function moved to another package?

How does one undo an overload?                                                                        

How does one compute the location of the minimum algebraically (rather than numerically) of the following expression:
F:=((z^2+(z^2+2*z+2)^(1/2)*(z^2+1)^(1/2)+z+1)^(1/2)*(-z^2+(z^2-2*z+2)^(1/2)*(z^2+1)^(1/2)+z-1)^(1/2)-(z^2+(z^2-2*z+2)^(1/2)*(z^2+1)^(1/2)-z+1)^(1/2)*(-z^2+(z^2+2*z+2)^(1/2)*(z^2+1)^(1/2)-z-1)^(1/2)+2*z)/(2*z^2+2);