| version 1.56, 2018/03/28 07:44:06 | version 1.58, 2020/09/06 03:26:47 | 
|  |  | 
| %% $OpenXM: OpenXM/src/asir-doc/exp/exp-ja.texi,v 1.55 2018/03/27 02:58:46 takayama Exp $ | %% $OpenXM: OpenXM/src/asir-doc/exp/exp-ja.texi,v 1.57 2018/10/17 00:33:49 takayama Exp $ | 
| \input texinfo-ja | \input texinfo-ja | 
| @iftex | @iftex | 
| @catcode`@#=6 | @catcode`@#=6 | 
| @def@fref#1{@xrefX[#1,,@code{#1},,,]} | @def@fref#1{@xrefX[#1,,@code{#1},,,]} | 
| @def@b#1{{@bf@gt #1}} | @def@b#1{{@bf #1}} | 
| @catcode`@#=@other | @catcode`@#=@other | 
| @end iftex | @end iftex | 
| @overfullrule=0pt | @overfullrule=0pt | 
|  |  | 
| @comment --- $B$*$^$8$J$$=*$j(B --- | @comment --- $B$*$^$8$J$$=*$j(B --- | 
|  |  | 
| @comment --- GNU info $B%U%!%$%k$NL>A0(B --- | @comment --- GNU info $B%U%!%$%k$NL>A0(B --- | 
| @setfilename xyzman | @setfilename exp | 
|  | @documentlanguage ja | 
|  |  | 
| @comment --- $B%?%$%H%k(B --- | @comment --- $B%?%$%H%k(B --- | 
| @settitle $B<B83E*;EMM$N4X?t(B | @settitle $B<B83E*;EMM$N4X?t(B | 
| 
| Line 94  ChangeLog $B$N9`L\$O(B www.openxm.org $B$N(B cvswe |  | 
| Line 95  ChangeLog $B$N9`L\$O(B www.openxm.org $B$N(B cvswe |  | 
| * dp_weyl_gr_main:: | * dp_weyl_gr_main:: | 
| * eval_quote:: | * eval_quote:: | 
| * f_res:: | * f_res:: | 
| * fj_simp.simplify:: | * fj_simplify.simplify:: | 
| * flatten_quote:: | * flatten_quote:: | 
| * function:: | * function:: | 
| * get_struct_name get_element_names get_element_at put_element_at:: | * get_struct_name get_element_names get_element_at put_element_at:: | 
|  |  | 
|  |  | 
|  |  | 
|  |  | 
| @node fj_simp.simplify,,, $B<B83E*;EMM$N4X?t(B | @node fj_simplify.simplify,,, $B<B83E*;EMM$N4X?t(B | 
| @subsection @code{fj_simp.simplify} | @subsection @code{fj_simplify.simplify} | 
| @findex fj_simp.simplify | @findex fj_simplify.simplify | 
|  |  | 
| @comment --- $B4X?t$N4JC1$J@bL@(B --- | @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 --- | @comment --- @itemx $B$OJ#?t$KBP$7$F@bL@$r0l$D$D$1$k>l9g$K;H$&(B --- | 
| @table @t | @table @t | 
| @item fj_simp.simplify(@var{arg1}) | @item fj_simplify.simplify(@var{arg1}) | 
| :: arg1 $B$r4JC12=$9$k(B. | :: arg1 $B$r4JC12=$9$k(B. | 
| @end table | @end table | 
|  |  | 
|  |  | 
| @end table | @end table | 
|  |  | 
| @itemize @bullet | @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 | @item | 
| $B$3$N4X?t$O(B | $B$3$N4X?t$O(B | 
| Joel S. Cohen, Computer Algebra and Symbolic Computation, | Joel S. Cohen, Computer Algebra and Symbolic Computation, | 
| 
| Line 3811  B.F.Caviness, R.J.Fateman, Simplification of Radical E |  | 
| Line 3810  B.F.Caviness, R.J.Fateman, Simplification of Radical E |  | 
| @end itemize | @end itemize | 
|  |  | 
| @example | @example | 
| load("fj_simplify.rr"); | import("fj_simplify.rr"); | 
| [1434] simplify((x^(1/2))^3); | [1434] fj_simplify.simplify((x^(1/2))^3); | 
| ((x)^(3/2)) | ((x)^(3/2)) | 
| [1435] simplify((2^(1/2))^2); | [1435] fj_simplify.simplify((2^(1/2))^2); | 
| 2 | 2 | 
| [1436] simplify((2+2^(1/2))^3); | [1436] fj_simplify.simplify((2+2^(1/2))^3); | 
| 14*((2)^(1/2))+20 | 14*((2)^(1/2))+20 | 
| [1437] simplify(exp(x)*exp(-x+y)); | [1437] fj_simplify.simplify(exp(x)*exp(-x+y)); | 
| ((@@e)^(y)) | ((@@e)^(y)) | 
| @end example | @end example | 
|  |  | 
| 
| Line 3830  load("fj_simplify.rr"); |  | 
| Line 3829  load("fj_simplify.rr"); |  | 
| @noindent | @noindent | 
| ChangeLog | ChangeLog | 
| @itemize @bullet | @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 | @item | 
| Todo: exp $B0J30$NFC<l4X?t$K$D$$$F$N(Bsimplification $B$N5!G=(B. | Todo: exp $B0J30$NFC<l4X?t$K$D$$$F$N(Bsimplification $B$N5!G=(B. | 
| @item | @item |