Question: How can I simplify a symbolic number?

Hey guys, 

I am solving big systems of equations and doing some other stuff with the results. So now I got two diffrent ways and it turns out, that the give back the same result but they present it in diffrent ways. So my quesion now is, how can I simplify a symbolic number to its shortest form. In my example you can see, that the diffrence of y_1 and y_2 is 0, so they describe the same number. However y_2 is a way more complicated expression. So here I know the easier expression, but what if I dont. What is the right command to force maple to find a simplier expression for y_2? I read about evala but its doent do the job as you can see in the attached file. I also tryd things like simplify, normal, expand but it didint worked out too. simplify_symbolic_numbers.mw

restart; y_1 := RootOf(_Z^5-2*_Z^4+9*_Z^3-14*_Z^2+9*_Z-2, .4687 .. .4727); y_2 := 2*RootOf(2*_Z^5-9*_Z^4+14*_Z^3-9*_Z^2+2*_Z-1, 2.109 .. 2.118)^4-9*RootOf(2*_Z^5-9*_Z^4+14*_Z^3-9*_Z^2+2*_Z-1, 2.109 .. 2.118)^3+14*RootOf(2*_Z^5-9*_Z^4+14*_Z^3-9*_Z^2+2*_Z-1, 2.109 .. 2.118)^2-9*RootOf(2*_Z^5-9*_Z^4+14*_Z^3-9*_Z^2+2*_Z-1, 2.109 .. 2.118)+2; evala(Normal(y_1-y_2)); evala(y_2)

0

 

2*RootOf(2*_Z^5-9*_Z^4+14*_Z^3-9*_Z^2+2*_Z-1, 2.109 .. 2.118)^4-9*RootOf(2*_Z^5-9*_Z^4+14*_Z^3-9*_Z^2+2*_Z-1, 2.109 .. 2.118)^3+14*RootOf(2*_Z^5-9*_Z^4+14*_Z^3-9*_Z^2+2*_Z-1, 2.109 .. 2.118)^2-9*RootOf(2*_Z^5-9*_Z^4+14*_Z^3-9*_Z^2+2*_Z-1, 2.109 .. 2.118)+2

(1)
 

NULL

Download simplify_symbolic_numbers.mw

Thank you for your help. Regards, Felix

Please Wait...