Thank you everyone for your enthusiastic responces.
@Shengui
I read abot the "Root Object" and yes, I understand now that it is indeed a very nice way of representation. It's just different from the way we are used to see things.
@Vitaliy
Unfortunately I live behind a university proxy/firewall and Mathematica is unable to access Wolfram Alpha!
@Bruce
Wouldn't Mathematica use that Cubics formula by default when it detects a cubic equation? If not then this option can be really useful.
Now, I am not sure whether I should continue discussion in this thread or create seperate threads for my next question. Let me contnue discussion here.
If someone suggest for seperate thread I will.
Now assume that following variable contains one of the three roots of a symbolic cubic polynomial, I have taken the one root which is my probable result.
x3prob = ((1 - I Sqrt[3]) (z10^2 +
2 y10 \[Gamma]1) \[Gamma]2^5 \[Gamma]1^7 + (1 +
I Sqrt[3]) (3 y10 z10 \[Gamma]2^6 \[Gamma]4^2 \[Gamma]1^11 +
z10^3 \[Gamma]2^6 \[Gamma]4^2 \[Gamma]1^10 +
2 y10 \[Gamma]2^5 Sqrt[\[Gamma]1^3 (z10^2 +
2 y10 \[Gamma]1) \[Gamma]2] \[Gamma]4^2 \[Gamma]1^10 -
2 y10 \[Gamma]2^7 Sqrt[\[Gamma]1^3 (z10^2 +
2 y10 \[Gamma]1) \[Gamma]2] \[Gamma]1^10 +
z10^2 \[Gamma]2^5 Sqrt[\[Gamma]1^3 (z10^2 +
2 y10 \[Gamma]1) \[Gamma]2] \[Gamma]4^2 \[Gamma]1^9 -
z10^2 \[Gamma]2^7 Sqrt[\[Gamma]1^3 (z10^2 +
2 y10 \[Gamma]1) \[Gamma]2] \[Gamma]1^9 +
Sqrt[\[Gamma]1^18 \[Gamma]2^10 ((\[Gamma]1 \[Gamma]2 \
\[Gamma]4^2 z10^3 +
Sqrt[\[Gamma]1^3 (z10^2 +
2 y10 \[Gamma]1) \[Gamma]2] (\[Gamma]4^2 - \
\[Gamma]2^2) z10^2 + 3 y10 \[Gamma]1^2 \[Gamma]2 \[Gamma]4^2 z10 -
2 y10 \[Gamma]1 Sqrt[\[Gamma]1^3 (z10^2 +
2 y10 \[Gamma]1) \[Gamma]2] (\[Gamma]2 - \[Gamma]4) (\
\[Gamma]2 + \[Gamma]4))^2 - \[Gamma]1^3 (z10^2 +
2 y10 \[Gamma]1)^3 \[Gamma]2^5)])^(
2/3))/(2 \[Gamma]1^4 \[Gamma]2^2 (3 y10 z10 \[Gamma]2^6 \
\[Gamma]4^2 \[Gamma]1^11 +
z10^3 \[Gamma]2^6 \[Gamma]4^2 \[Gamma]1^10 +
2 y10 \[Gamma]2^5 Sqrt[\[Gamma]1^3 (z10^2 +
2 y10 \[Gamma]1) \[Gamma]2] \[Gamma]4^2 \[Gamma]1^10 -
2 y10 \[Gamma]2^7 Sqrt[\[Gamma]1^3 (z10^2 +
2 y10 \[Gamma]1) \[Gamma]2] \[Gamma]1^10 +
z10^2 \[Gamma]2^5 Sqrt[\[Gamma]1^3 (z10^2 +
2 y10 \[Gamma]1) \[Gamma]2] \[Gamma]4^2 \[Gamma]1^9 -
z10^2 \[Gamma]2^7 Sqrt[\[Gamma]1^3 (z10^2 +
2 y10 \[Gamma]1) \[Gamma]2] \[Gamma]1^9 +
Sqrt[\[Gamma]1^18 \[Gamma]2^10 ((\[Gamma]1 \[Gamma]2 \
\[Gamma]4^2 z10^3 +
Sqrt[\[Gamma]1^3 (z10^2 +
2 y10 \[Gamma]1) \[Gamma]2] (\[Gamma]4^2 - \
\[Gamma]2^2) z10^2 + 3 y10 \[Gamma]1^2 \[Gamma]2 \[Gamma]4^2 z10 -
2 y10 \[Gamma]1 Sqrt[\[Gamma]1^3 (z10^2 +
2 y10 \[Gamma]1) \[Gamma]2] (\[Gamma]2 - \[Gamma]4) (\
\[Gamma]2 + \[Gamma]4))^2 - \[Gamma]1^3 (z10^2 +
2 y10 \[Gamma]1)^3 \[Gamma]2^5)])^(1/3))
To see if it really is my desired root, I need to check its real and imaginary parts, but when I use the command "Re" and "Im", I get same thing back.
In[38]:= Re[x3prob]
Out[38]= 1/2 Re(((1-I Sqrt[3]) \[Gamma]1^7 \[Gamma]2^5 (2 \[Gamma]1 y10+z10^2)+(1+I Sqrt[3]) (-2 \[Gamma]1^10 \[Gamma]2^7 y10 Sqrt[\[Gamma]1^3 \[Gamma]2 (2 \[Gamma]1 y10+z10^2)]+2 \[Gamma]1^10 \[Gamma]2^5 \[Gamma]4^2 y10 Sqrt[\[Gamma]1^3 \[Gamma]2 (2 \[Gamma]1 y10+z10^2)]-\[Gamma]1^9 \[Gamma]2^7 z10^2 Sqrt[\[Gamma]1^3 \[Gamma]2 (2 \[Gamma]1 y10+z10^2)]+\[Gamma]1^9 \[Gamma]2^5 \[Gamma]4^2 z10^2 Sqrt[\[Gamma]1^3 \[Gamma]2 (2 \[Gamma]1 y10+z10^2)]+Sqrt[\[Gamma]1^18 \[Gamma]2^10 ((z10^2 (\[Gamma]4^2-\[Gamma]2^2) Sqrt[\[Gamma]1^3 \[Gamma]2 (2 \[Gamma]1 y10+z10^2)]-2 \[Gamma]1 y10 (\[Gamma]2-\[Gamma]4) (\[Gamma]2+\[Gamma]4) Sqrt[\[Gamma]1^3 \[Gamma]2 (2 \[Gamma]1 y10+z10^2)]+3 \[Gamma]1^2 \[Gamma]2 \[Gamma]4^2 y10 z10+\[Gamma]1 \[Gamma]2 \[Gamma]4^2 z10^3)^2-\[Gamma]1^3 \[Gamma]2^5 (2 \[Gamma]1 y10+z10^2)^3)]+3 \[Gamma]1^11 \[Gamma]2^6 \[Gamma]4^2 y10 z10+\[Gamma]1^10 \[Gamma]2^6 \[Gamma]4^2 z10^3)^(2/3))/(\[Gamma]1^4 \[Gamma]2^2 (-2 \[Gamma]1^10 \[Gamma]2^7 y10 Sqrt[\[Gamma]1^3 \[Gamma]2 (2 \[Gamma]1 y10+z10^2)]+2 \[Gamma]1^10 \[Gamma]2^5 \[Gamma]4^2 y10 Sqrt[\[Gamma]1^3 \[Gamma]2 (2 \[Gamma]1 y10+z10^2)]-\[Gamma]1^9 \[Gamma]2^7 z10^2 Sqrt[\[Gamma]1^3 \[Gamma]2 (2 \[Gamma]1 y10+z10^2)]+\[Gamma]1^9 \[Gamma]2^5 \[Gamma]4^2 z10^2 Sqrt[\[Gamma]1^3 \[Gamma]2 (2 \[Gamma]1 y10+z10^2)]+Sqrt[\[Gamma]1^18 \[Gamma]2^10 ((z10^2 (\[Gamma]4^2-\[Gamma]2^2) Sqrt[\[Gamma]1^3 \[Gamma]2 (2 \[Gamma]1 y10+z10^2)]-2 \[Gamma]1 y10 (\[Gamma]2-\[Gamma]4) (\[Gamma]2+\[Gamma]4) Sqrt[\[Gamma]1^3 \[Gamma]2 (2 \[Gamma]1 y10+z10^2)]+3 \[Gamma]1^2 \[Gamma]2 \[Gamma]4^2 y10 z10+\[Gamma]1 \[Gamma]2 \[Gamma]4^2 z10^3)^2-\[Gamma]1^3 \[Gamma]2^5 (2 \[Gamma]1 y10+z10^2)^3)]+3 \[Gamma]1^11 \[Gamma]2^6 \[Gamma]4^2 y10 z10+\[Gamma]1^10 \[Gamma]2^6 \[Gamma]4^2 z10^3)^(1/3)))
In[43]:= Im[x3prob]
Out[43]= 1/2 Im(((1-I Sqrt[3]) \[Gamma]1^7 \[Gamma]2^5 (2 \[Gamma]1 y10+z10^2)+(1+I Sqrt[3]) (-2 \[Gamma]1^10 \[Gamma]2^7 y10 Sqrt[\[Gamma]1^3 \[Gamma]2 (2 \[Gamma]1 y10+z10^2)]+2 \[Gamma]1^10 \[Gamma]2^5 \[Gamma]4^2 y10 Sqrt[\[Gamma]1^3 \[Gamma]2 (2 \[Gamma]1 y10+z10^2)]-\[Gamma]1^9 \[Gamma]2^7 z10^2 Sqrt[\[Gamma]1^3 \[Gamma]2 (2 \[Gamma]1 y10+z10^2)]+\[Gamma]1^9 \[Gamma]2^5 \[Gamma]4^2 z10^2 Sqrt[\[Gamma]1^3 \[Gamma]2 (2 \[Gamma]1 y10+z10^2)]+Sqrt[\[Gamma]1^18 \[Gamma]2^10 ((z10^2 (\[Gamma]4^2-\[Gamma]2^2) Sqrt[\[Gamma]1^3 \[Gamma]2 (2 \[Gamma]1 y10+z10^2)]-2 \[Gamma]1 y10 (\[Gamma]2-\[Gamma]4) (\[Gamma]2+\[Gamma]4) Sqrt[\[Gamma]1^3 \[Gamma]2 (2 \[Gamma]1 y10+z10^2)]+3 \[Gamma]1^2 \[Gamma]2 \[Gamma]4^2 y10 z10+\[Gamma]1 \[Gamma]2 \[Gamma]4^2 z10^3)^2-\[Gamma]1^3 \[Gamma]2^5 (2 \[Gamma]1 y10+z10^2)^3)]+3 \[Gamma]1^11 \[Gamma]2^6 \[Gamma]4^2 y10 z10+\[Gamma]1^10 \[Gamma]2^6 \[Gamma]4^2 z10^3)^(2/3))/(\[Gamma]1^4 \[Gamma]2^2 (-2 \[Gamma]1^10 \[Gamma]2^7 y10 Sqrt[\[Gamma]1^3 \[Gamma]2 (2 \[Gamma]1 y10+z10^2)]+2 \[Gamma]1^10 \[Gamma]2^5 \[Gamma]4^2 y10 Sqrt[\[Gamma]1^3 \[Gamma]2 (2 \[Gamma]1 y10+z10^2)]-\[Gamma]1^9 \[Gamma]2^7 z10^2 Sqrt[\[Gamma]1^3 \[Gamma]2 (2 \[Gamma]1 y10+z10^2)]+\[Gamma]1^9 \[Gamma]2^5 \[Gamma]4^2 z10^2 Sqrt[\[Gamma]1^3 \[Gamma]2 (2 \[Gamma]1 y10+z10^2)]+Sqrt[\[Gamma]1^18 \[Gamma]2^10 ((z10^2 (\[Gamma]4^2-\[Gamma]2^2) Sqrt[\[Gamma]1^3 \[Gamma]2 (2 \[Gamma]1 y10+z10^2)]-2 \[Gamma]1 y10 (\[Gamma]2-\[Gamma]4) (\[Gamma]2+\[Gamma]4) Sqrt[\[Gamma]1^3 \[Gamma]2 (2 \[Gamma]1 y10+z10^2)]+3 \[Gamma]1^2 \[Gamma]2 \[Gamma]4^2 y10 z10+\[Gamma]1 \[Gamma]2 \[Gamma]4^2 z10^3)^2-\[Gamma]1^3 \[Gamma]2^5 (2 \[Gamma]1 y10+z10^2)^3)]+3 \[Gamma]1^11 \[Gamma]2^6 \[Gamma]4^2 y10 z10+\[Gamma]1^10 \[Gamma]2^6 \[Gamma]4^2 z10^3)^(1/3)))In[38]:= Re[x3prob]
Out[38]= 1/2 Re(((1-I Sqrt[3]) \[Gamma]1^7 \[Gamma]2^5 (2 \[Gamma]1 y10+z10^2)+(1+I Sqrt[3]) (-2 \[Gamma]1^10 \[Gamma]2^7 y10 Sqrt[\[Gamma]1^3 \[Gamma]2 (2 \[Gamma]1 y10+z10^2)]+2 \[Gamma]1^10 \[Gamma]2^5 \[Gamma]4^2 y10 Sqrt[\[Gamma]1^3 \[Gamma]2 (2 \[Gamma]1 y10+z10^2)]-\[Gamma]1^9 \[Gamma]2^7 z10^2 Sqrt[\[Gamma]1^3 \[Gamma]2 (2 \[Gamma]1 y10+z10^2)]+\[Gamma]1^9 \[Gamma]2^5 \[Gamma]4^2 z10^2 Sqrt[\[Gamma]1^3 \[Gamma]2 (2 \[Gamma]1 y10+z10^2)]+Sqrt[\[Gamma]1^18 \[Gamma]2^10 ((z10^2 (\[Gamma]4^2-\[Gamma]2^2) Sqrt[\[Gamma]1^3 \[Gamma]2 (2 \[Gamma]1 y10+z10^2)]-2 \[Gamma]1 y10 (\[Gamma]2-\[Gamma]4) (\[Gamma]2+\[Gamma]4) Sqrt[\[Gamma]1^3 \[Gamma]2 (2 \[Gamma]1 y10+z10^2)]+3 \[Gamma]1^2 \[Gamma]2 \[Gamma]4^2 y10 z10+\[Gamma]1 \[Gamma]2 \[Gamma]4^2 z10^3)^2-\[Gamma]1^3 \[Gamma]2^5 (2 \[Gamma]1 y10+z10^2)^3)]+3 \[Gamma]1^11 \[Gamma]2^6 \[Gamma]4^2 y10 z10+\[Gamma]1^10 \[Gamma]2^6 \[Gamma]4^2 z10^3)^(2/3))/(\[Gamma]1^4 \[Gamma]2^2 (-2 \[Gamma]1^10 \[Gamma]2^7 y10 Sqrt[\[Gamma]1^3 \[Gamma]2 (2 \[Gamma]1 y10+z10^2)]+2 \[Gamma]1^10 \[Gamma]2^5 \[Gamma]4^2 y10 Sqrt[\[Gamma]1^3 \[Gamma]2 (2 \[Gamma]1 y10+z10^2)]-\[Gamma]1^9 \[Gamma]2^7 z10^2 Sqrt[\[Gamma]1^3 \[Gamma]2 (2 \[Gamma]1 y10+z10^2)]+\[Gamma]1^9 \[Gamma]2^5 \[Gamma]4^2 z10^2 Sqrt[\[Gamma]1^3 \[Gamma]2 (2 \[Gamma]1 y10+z10^2)]+Sqrt[\[Gamma]1^18 \[Gamma]2^10 ((z10^2 (\[Gamma]4^2-\[Gamma]2^2) Sqrt[\[Gamma]1^3 \[Gamma]2 (2 \[Gamma]1 y10+z10^2)]-2 \[Gamma]1 y10 (\[Gamma]2-\[Gamma]4) (\[Gamma]2+\[Gamma]4) Sqrt[\[Gamma]1^3 \[Gamma]2 (2 \[Gamma]1 y10+z10^2)]+3 \[Gamma]1^2 \[Gamma]2 \[Gamma]4^2 y10 z10+\[Gamma]1 \[Gamma]2 \[Gamma]4^2 z10^3)^2-\[Gamma]1^3 \[Gamma]2^5 (2 \[Gamma]1 y10+z10^2)^3)]+3 \[Gamma]1^11 \[Gamma]2^6 \[Gamma]4^2 y10 z10+\[Gamma]1^10 \[Gamma]2^6 \[Gamma]4^2 z10^3)^(1/3)))
In[43]:= Im[x3prob]
Out[43]= 1/2 Im(((1-I Sqrt[3]) \[Gamma]1^7 \[Gamma]2^5 (2 \[Gamma]1 y10+z10^2)+(1+I Sqrt[3]) (-2 \[Gamma]1^10 \[Gamma]2^7 y10 Sqrt[\[Gamma]1^3 \[Gamma]2 (2 \[Gamma]1 y10+z10^2)]+2 \[Gamma]1^10 \[Gamma]2^5 \[Gamma]4^2 y10 Sqrt[\[Gamma]1^3 \[Gamma]2 (2 \[Gamma]1 y10+z10^2)]-\[Gamma]1^9 \[Gamma]2^7 z10^2 Sqrt[\[Gamma]1^3 \[Gamma]2 (2 \[Gamma]1 y10+z10^2)]+\[Gamma]1^9 \[Gamma]2^5 \[Gamma]4^2 z10^2 Sqrt[\[Gamma]1^3 \[Gamma]2 (2 \[Gamma]1 y10+z10^2)]+Sqrt[\[Gamma]1^18 \[Gamma]2^10 ((z10^2 (\[Gamma]4^2-\[Gamma]2^2) Sqrt[\[Gamma]1^3 \[Gamma]2 (2 \[Gamma]1 y10+z10^2)]-2 \[Gamma]1 y10 (\[Gamma]2-\[Gamma]4) (\[Gamma]2+\[Gamma]4) Sqrt[\[Gamma]1^3 \[Gamma]2 (2 \[Gamma]1 y10+z10^2)]+3 \[Gamma]1^2 \[Gamma]2 \[Gamma]4^2 y10 z10+\[Gamma]1 \[Gamma]2 \[Gamma]4^2 z10^3)^2-\[Gamma]1^3 \[Gamma]2^5 (2 \[Gamma]1 y10+z10^2)^3)]+3 \[Gamma]1^11 \[Gamma]2^6 \[Gamma]4^2 y10 z10+\[Gamma]1^10 \[Gamma]2^6 \[Gamma]4^2 z10^3)^(2/3))/(\[Gamma]1^4 \[Gamma]2^2 (-2 \[Gamma]1^10 \[Gamma]2^7 y10 Sqrt[\[Gamma]1^3 \[Gamma]2 (2 \[Gamma]1 y10+z10^2)]+2 \[Gamma]1^10 \[Gamma]2^5 \[Gamma]4^2 y10 Sqrt[\[Gamma]1^3 \[Gamma]2 (2 \[Gamma]1 y10+z10^2)]-\[Gamma]1^9 \[Gamma]2^7 z10^2 Sqrt[\[Gamma]1^3 \[Gamma]2 (2 \[Gamma]1 y10+z10^2)]+\[Gamma]1^9 \[Gamma]2^5 \[Gamma]4^2 z10^2 Sqrt[\[Gamma]1^3 \[Gamma]2 (2 \[Gamma]1 y10+z10^2)]+Sqrt[\[Gamma]1^18 \[Gamma]2^10 ((z10^2 (\[Gamma]4^2-\[Gamma]2^2) Sqrt[\[Gamma]1^3 \[Gamma]2 (2 \[Gamma]1 y10+z10^2)]-2 \[Gamma]1 y10 (\[Gamma]2-\[Gamma]4) (\[Gamma]2+\[Gamma]4) Sqrt[\[Gamma]1^3 \[Gamma]2 (2 \[Gamma]1 y10+z10^2)]+3 \[Gamma]1^2 \[Gamma]2 \[Gamma]4^2 y10 z10+\[Gamma]1 \[Gamma]2 \[Gamma]4^2 z10^3)^2-\[Gamma]1^3 \[Gamma]2^5 (2 \[Gamma]1 y10+z10^2)^3)]+3 \[Gamma]1^11 \[Gamma]2^6 \[Gamma]4^2 y10 z10+\[Gamma]1^10 \[Gamma]2^6 \[Gamma]4^2 z10^3)^(1/3)))
What should I do to get the symbolic expressions of real and imaginary parts of that root?
Finally I will find the real and imaginary parts of all roots and from that I can comment about which roots I am supposed to discard.
In fact this cubic equation is in time so non-real roots are to be discarded, also negative real roots are also to be discarded, etc.