Question: nasty minus sign inconsistencies

in maple 11, i have two problems with simplification of powers of "negative" variables.

 

problem i: A^(1/2) *A^2 <> A^(-3/2)*A^4

the two following expressions should be equal but differ by a minus sign:

 

> simplify((-q0)^(-1/2)*(-k0)^(1/2)*q0*k0^2*(q0*k0)^(-1/2));

                               1/2      5/2
                          (-q0)    (-k0)
                          -----------------
                                    1/2
                             (q0 k0)

> simplify((-q0)^(-1/2)*(-k0)^(-3/2)*q0*k0^4*(q0*k0)^(-1/2));

                                1/2      5/2
                           (-q0)    (-k0)
                         - -----------------
                                     1/2
                              (q0 k0)

 

problem ii: exp(A+B) <> exp(A)*exp(B)

the two following expressions should be equal but differ by a minus sign:


> simplify(exp(-1/2*ln(-q0)+1/2*ln(-k0))*q0*k0^2/(q0*k0)^(1/2)) assuming q0<0,k0<0;

                                   2
                                 k0

> simplify(exp(-1/2*ln(-q0))*exp(1/2*ln(-k0))*q0*k0^2/(q0*k0)^(1/2)) assuming q0<0,k0<0;

                                    2
                                 -k0


 

Please Wait...