You defined e1
as an expression involving x
:
sage: e1 = x^3 + 4*x - 7
You can plot it directly as a function of x
:
sage: plot(e1, (x,-15,15), ymin=-15, ymax=15)
You solved the expression for x
(you could shorten your code):
sage: ans = solve(e1, x)
sage: print(ans)
You get three solutions, two complex conjugate and one real. Since you started
from a degree three polynomial with integer coefficients, Sage was able to find
the roots algebraically (with square roots and cube roots, see Roots of a cubic
function).
Exact formulas are nice, but now how do we get a numerical value?
You can get hold of the last solution like this:
sage: a = ans[2].rhs()
and substitute it in your expression to check that the expression becomes zero there.
sage: e1.subs(x=a)
This gives you a messy expression, because all the cube roots and square roots
need to be simplified, which Sage does not do automatically.
You could ask for a numerical value of the expression evaluated at this value.
sage: e1.subs(x=a).n()
-1.33226762955019e-15
It's very close to zero (roughly 1.33 * 10^-15) but not exactly zero, because the
approximations involved in taking numerical values did not cancel out perfectly.
You could ask sage to simplify the messy algebraic expression, which in this case works.
sage: e1.subs(x=a).full_simplify()
0
Now let's get a numerical value of the real root.
sage: a.n()
1.25538315684475
To check again, you can substitute this numerical value into the expression
and see that it is zero up to the displayed precision.
sage: e1.subs(x=a.n())
0.000000000000000
Of course, if you were only interested in the numerical value, you could have
used a numerical method, as mentioned in calc314's answer. Since the graph lets
you see the root is between 1 and 2, you can specify these bounds.
sage: find_root(e1,1,2)
1.255383156844765