Radical Simplifier & Rationalizer (with steps)

Integers with n≥2, c>0, m>0. Negative radicands with even n are not real; treated as input errors in v1.

Monomials: multiply by √[n]{c^{n−1}}. Binomials: multiply by the conjugate (p−q√m) for denominator p²−q²m. Reduce as needed.