First time here? Check out the FAQ!
answered 2022-01-30 09:07:37 +0100
canonicalize_radical() can do the job:
canonicalize_radical()
bool((sqrt(x^3-x^2)-x*sqrt(x-1)).canonicalize_radical()==0)
returns True
True