Question: why I can't isolate the negative sign from odd radicals and powers !

I found that i can use  simplify under assumption to gain the result :

simplify((-p^3)^(1/3), assume = negative);
                               -p

simplify((p^3)^(1/3), assume = positive);
                               p


But confusing ! I expected the simplify command just with the option=symbolic works at the same manner ?


 

My purpose :

simplify((-p^7)^(1/7), assume = negative);

-p

(1)

simplify((p^7)^(1/7), assume = positive);

p

(2)

Without negative sign the simple symbolic result appears :

simplify((p^3)^(1/3), symbolic);

p

(3)

In power 3 the Imaginary part is included too !

simplify(((-p)^3)^(1/3), symbolic);

(1/2)*p*(I*3^(1/2)+1)

(4)

NOT WORKING !

simplify((p^7)^(1/7), symbolic);

p

(5)

simplify((-p^7)^(1/7), symbolic);

p*(-1)^(1/7)

(6)

simplify((-p^7)^(1/7), symbolic, radical);

(-p^7)^(1/7)

(7)

``

``


 

Download odd_negative_powers.mwodd_negative_powers.mw

 

Please Wait...