Canonicalize radical not simplifying expression

relma2
11 ●4

I have the expression 7/6528*(103*sqrt(sqrt(17) + 17)*(sqrt(17) - 17) + 252*sqrt(17)*sqrt(-sqrt(17) + 17))/(sqrt(sqrt(17) + 17)*(sqrt(17) - 17)), which I know is a rational number based on a theorem proved from a paper. In fact, it is supposed to equal 35/816. However, SageMath does not simplify this to a rational number with full_simplify() or with canonicalize_radical().

How do I force SageMath to simplify this properly?

add a comment

2 Answers

Sort by » oldest newest most voted

answered 0 years ago

Emmanuel Charpentier
7804 ●8 ●52 ●155

Alternatives to @Max Alekseyev's excellent answer :

sage: s._giac_().simplify()
35/816
# Gratis-but-not-free Wolfram Engine :
sage: s._mathematica_().FullSimplify()
35/816

HTH,

link

Comments

An alternative to invoke giac's simplification:

sage: simplify(s, algorithm='giac')
35/816

eric_g ( 0 years ago )

add a comment

answered 0 years ago

Max Alekseyev

6922 ●9 ●52 ●161

updated 0 years ago

Converting expession to an algebraic number and computing its radical expression does the trick here:

s = 7/6528*(103*sqrt(sqrt(17) + 17)*(sqrt(17) - 17) + 252*sqrt(17)*sqrt(-sqrt(17) + 17))/(sqrt(sqrt(17) + 17)*(sqrt(17) - 17)) 
print( QQbar(s).radical_expression() )

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

Canonicalize radical not simplifying expression

2 Answers

Comments

Your Answer

Question Tools

Stats

Related questions

Canonicalize radical not simplifying expression savecancel

2 Answers

Comments

Your Answer

Question Tools

Stats

Related questions

Canonicalize radical not simplifying expression