  Simplification of fractional powers of positive rational numbers and of sums,
products and powers of such numbers is taught in beginning algebra. Such
numbers can often be expressed in many ways, as this article discusses in some
detail. Since they are such a restricted subset of algebraic numbers, it might
seem that good simplification of them must already be implemented in all widely
used computer algebra systems. However, the algorithm taught in beginning
algebra uses integer factorization, which can consume unacceptable time for the
large numbers that often arise within computer algebra. Therefore some systems
apparently use various ad hoc techniques that can return an incorrect result
because of not simplifying to 0 the difference between two equivalent such
expressions. Even systems that avoid this flaw often do not return the same
result for all equivalent such input forms, or return an unnecessarily bulky
result that does not have any other compensating useful property. This article
identifies some of these deficiencies, then describes the advantages and
disadvantages of various alternative forms and how to overcome the deficiencies
without costly integer factorization.
