Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

canonicalize_radical() can do the job:

bool((sqrt(x^3-x^2)-x*sqrt(x-1)).canonicalize_radical()==0)

returns True