version 1.37, 2010/02/06 01:32:31 |
version 1.38, 2010/02/10 05:49:58 |
|
|
%% $OpenXM: OpenXM/src/asir-doc/exp/exp-ja.texi,v 1.36 2010/02/05 07:45:48 nisiyama Exp $ |
%% $OpenXM: OpenXM/src/asir-doc/exp/exp-ja.texi,v 1.37 2010/02/06 01:32:31 takayama Exp $ |
\input texinfo |
\input texinfo |
@iftex |
@iftex |
@catcode`@#=6 |
@catcode`@#=6 |
|
|
@item $B$3$N4X?t$O(B 2009-12 $B$+$i(B 2010-01 $B$K$+$1$F:G=i$NHG$,=q$+$l$?(B. |
@item $B$3$N4X?t$O(B 2009-12 $B$+$i(B 2010-01 $B$K$+$1$F:G=i$NHG$,=q$+$l$?(B. |
@item @code{OpenXM/src/asir-contrib/packages/src/tk_pfn.rr} 1.1, 1.2 |
@item @code{OpenXM/src/asir-contrib/packages/src/tk_pfn.rr} 1.1, 1.2 |
@item $B$3$N%b%8%e!<%k$NA0?H$O(B @code{tk_pf2.rr} $B$G$"$k(B. $B$3$l$OFHN)JQ?t$,(B 2 $B8D$N>l9g$G$"$k(B. |
@item $B$3$N%b%8%e!<%k$NA0?H$O(B @code{tk_pf2.rr} $B$G$"$k(B. $B$3$l$OFHN)JQ?t$,(B 2 $B8D$N>l9g$G$"$k(B. |
|
@end itemize |
|
|
|
@node fj_simp.simplify,,, $B<B83E*;EMM$N4X?t(B |
|
@subsection @code{fj_simp.simplify} |
|
@findex fj_simp.simplify |
|
|
|
@comment --- $B4X?t$N4JC1$J@bL@(B --- |
|
@comment --- @itemx $B$OJ#?t$KBP$7$F@bL@$r0l$D$D$1$k>l9g$K;H$&(B --- |
|
@table @t |
|
@item fj_simp.simplify(@var{arg1}) |
|
:: arg1 $B$r4JC12=$9$k(B. |
|
@end table |
|
|
|
@table @var |
|
@item return |
|
$BB?9`<0(B, $BM-M}<0(B $B$^$?$O(B quote |
|
@item arg1 |
|
$BB?9`<0(B $B$^$?$O(B $BM-M}<0(B |
|
@end table |
|
|
|
@itemize @bullet |
|
@item |
|
$B8=:_$N%P!<%8%g%s$G$O(B fj_simp.simplify $B$G$J$/(B, $BC1$K(B simplify $B$H$h$V(B. |
|
@item |
|
$B$3$N4X?t$O(B |
|
Joel S. Cohen, Computer Algebra and Symbolic Computation, |
|
http://web.cs.du.edu/~jscohen/MathematicalMethods/index.htm |
|
$B$K5-=R$5$l$F$$$k(B Automatic simplification algorithm $B$H(B |
|
B.F.Caviness, R.J.Fateman, Simplification of Radical Expressions (1976) |
|
$B$K5-=R$5$l$F$$$k(B radcan $B%"%k%4%j%:%`$N<BAu$G$"$k(B. |
|
@item |
|
$BJ#AGB?CM4X?t$H$7$F$O(B (x*y)^a = x^a*x^b $B$O0lHL$K$O@.N)$7$J$$$N$G(B, $B7k2L$rJ#AG4X?t$K;H$&$H$-$O(B |
|
$BCm0U$,I,MW$G$"$k(B. (x^a = exp(a*log(x)) $B$J$N$G(B) |
|
@end itemize |
|
|
|
@example |
|
load("fj_simplify.rr"); |
|
[1434] simplify((x^(1/2))^3); |
|
((x)^(3/2)) |
|
[1435] simplify((2^(1/2))^2); |
|
2 |
|
[1436] simplify((2+2^(1/2))^3); |
|
14*((2)^(1/2))+20 |
|
[1437] simplify(exp(x)*exp(-x+y)); |
|
((@@e)^(y)) |
|
@end example |
|
|
|
@table @t |
|
@item $B;2>H(B |
|
@ref{quote} |
|
@end table |
|
|
|
@noindent |
|
ChangeLog |
|
@itemize @bullet |
|
@item |
|
$B>-MhE*$K$O(B module $B2=$7$F(B fj_simp module $B$K4^$a$kM=Dj(B. |
|
poly_simplify $B$+$i(B fj_simp.simplify $B$r8F$V(B. |
|
@item |
|
Todo: exp $B0J30$NFC<l4X?t$K$D$$$F$N(Bsimplification $B$N5!G=(B. |
|
@item |
|
$B$3$N4X?t$O(B 2010.01 $B$K(B M.Fujimoto $B$K$h$j:G=i$NHG$,=q$+$l$?(B. |
|
OpenXM/src/asir-contrib/packages/src/fj_simplify.rr |
@end itemize |
@end itemize |
|
|
@comment ----------- $B0J2<$O8+K\(B. $B>C$9$J(B. |
@comment ----------- $B0J2<$O8+K\(B. $B>C$9$J(B. |