1 | initial version |
Two extra ideas:
Try the method radical_expression():
sage: QQbar(sin(pi/16)).radical_expression() sqrt(-1/2sqrt(1/4sqrt(2) + 1/2) + 1/2)
Try with the giac package:
sage: giac('norm(trig2exp(sin(pi/16)))')._sage_() 1/2*sqrt(-sqrt(sqrt(2) + 2) + 2)
(the expressions are the same).
2 | No.2 Revision |
Two extra ideas:
Try the method radical_expression():
sage: QQbar(sin(pi/16)).radical_expression()
Try with the giac package:
sage: giac('norm(trig2exp(sin(pi/16)))')._sage_()
1/2*sqrt(-sqrt(sqrt(2) + 2) + (the expressions are the same). same).