`simpalg'
---------

simpalg(RAT)
     :: Simplifies algebraic numbers in a rational expression.

RETURN
     rational expression

RAT
     rational expression

   * Defined in the file `sp'.

   * Simplifies algebraic numbers contained in numbers, polynomials,
     and rational expressions by the defining polynomials of root's
     contained in them.

   * If the argument is a number having the denominator, it is
     rationalized and the result is a polynomial in root's.

   * If the argument is a polynomial, each coefficient is simplified.

   * If the argument is a rational expression, its denominator and
     numerator are simplified as a polynomial.

     [7] simpalg((1+A0)/(1-A0));
     simpalg undefined
     return to toplevel
     [7] load("sp")$
     [46] simpalg((1+A0)/(1-A0));
     (-2*#0-3)
     [47] simpalg((2-A0)/(2+A0)*x^2-1/(3+A0));
     (-2*#0+3)*x^2+(1/7*#0-3/7)
     [48] simpalg((x+1/(A0-1))/(x-1/(A0+1)));
     (x+(#0+1))/(x+(-#0+1))

