| 1 | initial version |
You may try :
sage: %cpaste
Pasting code; enter '--' alone on the line to stop or use Ctrl-D.
:a(x)=(2*x-3)^(1/3)+4
:b(x)=((x-4)^3+3)/2
:--
sage: b(a(x))
x
sage: a(b(x))
((x - 4)^3)^(1/3) + 4
sage: a(b(x)).canonicalize_radical()
x
But beware : such "obvious" simplifications are not always legitimate (think of negative powers or negative exponends...).
Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.