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

simpalg(RAT)
     :: 有理式に含まれる代数的数を簡単化する.

RETURN
     有理式

RAT
     有理式

   * `sp' で定義されている.

   * 数, 多項式, 有理式に含まれる代数的数を, 含まれる `root' の定義
     多項式により簡単化する.

   * 数の場合, 分母があれば有理化され, 結果は `root' の多項式となる.

   * 多項式の場合, 各係数が簡単化される.

   * 有理式の場合, 分母分子が多項式として簡単化される.

     [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))

