| 1 | initial version |
canonicalize_radical() can do the job:
bool((sqrt(x^3-x^2)-x*sqrt(x-1)).canonicalize_radical()==0)
returns True
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.