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