Spotted by Claude:
In the float case, we have -%pi, in the rational case, we have %pi:
(%i1) assume(a > 0, b > 0)$
(%i2) polarform((-a)^0.5 * (-b)^0.5);
(%o2) %e^-(1.0*%i*%pi)*a^0.5*b^0.5
(%i3) polarform((-a)^(1/2) * (-b)^(1/2));
(%o3) %e^(%i*%pi)*sqrt(a)*sqrt(b)
This is actually about
cargrather thanpolarform.Note that the documentation for
cargsays:So
-%pishould not occur (exclusive endpoint). The float answer is wrong.Last edit: David Scherfgen 12 hours ago