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

simpalg(RAT)
     :: $BM-M}<0$K4^$^$l$kBe?tE*?t$r4JC12=$9$k(B.

RETURN
     $BM-M}<0(B

RAT
     $BM-M}<0(B

   * `sp' $B$GDj5A$5$l$F$$$k(B.

   * $B?t(B, $BB?9`<0(B, $BM-M}<0$K4^$^$l$kBe?tE*?t$r(B, $B4^$^$l$k(B `root' $B$NDj5A(B
     $BB?9`<0$K$h$j4JC12=$9$k(B.

   * $B?t$N>l9g(B, $BJ,Jl$,$"$l$PM-M}2=$5$l(B, $B7k2L$O(B `root' $B$NB?9`<0$H$J$k(B.

   * $BB?9`<0$N>l9g(B, $B3F78?t$,4JC12=$5$l$k(B.

   * $BM-M}<0$N>l9g(B, $BJ,JlJ,;R$,B?9`<0$H$7$F4JC12=$5$l$k(B.

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

