Ask Your Question
1

simplify_full() does not simplify

asked 2020-07-13 14:08:17 +0200

ortollj gravatar image

Hi

var('a,b,z')
assume(z,'complex')
assume(a,'real') ;assume(b,'real')
f(a,b,r)=(a^2 + b^2 - sqrt(a^2 + b^2 - r^2) * sqrt(a^2 + b^2) * sqrt((a^2 + b^2 - r^2) / (a^2 + b^2))) / (a - I*b)
show(f)
show(f.simplify_full())

discussion in relation

edit retag flag offensive close merge delete

1 Answer

Sort by ยป oldest newest most voted
4

answered 2020-07-14 10:08:47 +0200

eric_g gravatar image

SInce there are sqrt's in your expression, you may try canonicalize_radical():

sage: f
(a, b, r) |--> (a^2 + b^2 - sqrt(a^2 + b^2 - r^2)*sqrt(a^2 + b^2)*sqrt((a^2 + b^2 - r^2)/(a^2 + b^2)))/(a - I*b)
sage: f.canonicalize_radical()
(a, b, r) |--> r^2/(a - I*b)
edit flag offensive delete link more

Comments

thank you @eric_g, I did not know that function.

canonicalize_radical

ortollj gravatar imageortollj ( 2020-07-14 13:09:22 +0200 )edit

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: 2020-07-13 14:08:17 +0200

Seen: 304 times

Last updated: Jul 14 '20