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 |