Why doesn't Sage evaluate to zero on its own found roots?

First time here? Check out the FAQ!

Phoenix
47 ●3 ●6 ●13

calc314
4191 ●22 ●48 ●113

g(x) = x^4 - 6*x^2 - 2*sqrt(5)*x + 2*x + 1/2*sqrt(5) - 1/2

g(x).solve(x)

This gave,

[x == -1/2*sqrt(-2*sqrt(5) + 10) - 1, x == 1/2*sqrt(-2*sqrt(5) + 10) - 1, x == -1/2*sqrt(2*sqrt(5) + 6) + 1, x == 1/2*sqrt(2*sqrt(5) + 6) + 1]

But then g(1/2*sqrt(-2*sqrt(5) + 10) -1 ).simplify() is not zero! (same for the other roots!)

What is going on!?

add a comment

1 Answer

Sort by » oldest newest most voted

answered 10 years ago

calc314
4191 ●22 ●48 ●113

If you use g(-1/2*sqrt(-2*sqrt(5) + 10) - 1).simplify_full(), you do get 0. When there are lots of square roots in an expression, Sage (actually, Maxima) requires that you do simplify_full to simplify those effectively.

link

add a comment

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

1 follower

Stats

Asked: 10 years ago

Seen: 276 times

Last updated: Jan 21 '15

Why doesn't Sage evaluate to zero on its own found roots? savecancel

1 Answer