Canonicalize radical not simplifying expression

asked 2024-09-03 22:59:30 +0200

relma2
11 ●2

updated 2024-09-03 23:00:24 +0200

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?

edit retag flag offensive close merge delete

add a comment

2 Answers

Sort by » oldest newest most voted

answered 2024-09-05 10:29:12 +0200

Emmanuel Charpentier
7532 ●6 ●50 ●146

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,

edit flag offensive delete link

Comments

An alternative to invoke giac's simplification:

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

eric_g ( 2024-09-07 16:38:10 +0200 )edit

add a comment

answered 2024-09-04 01:15:57 +0200

Max Alekseyev

6342 ●7 ●44 ●149

updated 2024-09-04 01:16:43 +0200

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() )

edit flag offensive delete 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 edit

2 Answers

Comments

Your Answer

Question Tools

Stats

Related questions

Canonicalize radical not simplifying expression