===================================================================
RCS file: /home/cvs/OpenXM/src/asir-doc/exp/exp-ja.texi,v
retrieving revision 1.56
retrieving revision 1.58
diff -u -p -r1.56 -r1.58
--- OpenXM/src/asir-doc/exp/exp-ja.texi	2018/03/28 07:44:06	1.56
+++ OpenXM/src/asir-doc/exp/exp-ja.texi	2020/09/06 03:26:47	1.58
@@ -1,9 +1,9 @@
-%% $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
 @iftex
 @catcode`@#=6
 @def@fref#1{@xrefX[#1,,@code{#1},,,]}
-@def@b#1{{@bf@gt #1}}
+@def@b#1{{@bf #1}}
 @catcode`@#=@other
 @end iftex
 @overfullrule=0pt
@@ -12,7 +12,8 @@
 @comment --- おまじない終り ---
 
 @comment --- GNU info ファイルの名前 ---
-@setfilename xyzman
+@setfilename exp
+@documentlanguage ja
 
 @comment --- タイトル ---
 @settitle 実験的仕様の関数
@@ -94,7 +95,7 @@ ChangeLog の項目は www.openxm.org の cvswe
 * dp_weyl_gr_main::
 * eval_quote::
 * f_res::
-* fj_simp.simplify::
+* fj_simplify.simplify::
 * flatten_quote::
 * function::
 * get_struct_name get_element_names get_element_at put_element_at::
@@ -3777,14 +3778,14 @@ ChangeLog
 
 
 
-@node fj_simp.simplify,,, 実験的仕様の関数
-@subsection @code{fj_simp.simplify}
-@findex fj_simp.simplify
+@node fj_simplify.simplify,,, 実験的仕様の関数
+@subsection @code{fj_simplify.simplify}
+@findex fj_simplify.simplify
 
 @comment --- 関数の簡単な説明 ---
 @comment --- @itemx は複数に対して説明を一つつける場合に使う ---
 @table @t
-@item fj_simp.simplify(@var{arg1})
+@item fj_simplify.simplify(@var{arg1})
 :: arg1 を簡単化する.
 @end table
 
@@ -3796,8 +3797,6 @@ ChangeLog
 @end table
 
 @itemize @bullet
-@item 
-現在のバージョンでは fj_simp.simplify でなく, 単に simplify とよぶ.
 @item
 この関数は
 Joel S. Cohen, Computer Algebra and Symbolic Computation,
@@ -3811,14 +3810,14 @@ B.F.Caviness, R.J.Fateman, Simplification of Radical E
 @end itemize
 
 @example
-load("fj_simplify.rr");
-[1434] simplify((x^(1/2))^3);
+import("fj_simplify.rr");
+[1434] fj_simplify.simplify((x^(1/2))^3);
 ((x)^(3/2))
-[1435] simplify((2^(1/2))^2);
+[1435] fj_simplify.simplify((2^(1/2))^2);
 2
-[1436] simplify((2+2^(1/2))^3);
+[1436] fj_simplify.simplify((2+2^(1/2))^3);
 14*((2)^(1/2))+20
-[1437] simplify(exp(x)*exp(-x+y));
+[1437] fj_simplify.simplify(exp(x)*exp(-x+y));
 ((@@e)^(y))
 @end example
 
@@ -3830,9 +3829,6 @@ load("fj_simplify.rr");
 @noindent
 ChangeLog
 @itemize @bullet
-@item 
-将来的には module 化して fj_simp module に含める予定. 
-poly_simplify から fj_simp.simplify を呼ぶ.
 @item 
 Todo: exp 以外の特殊関数についてのsimplification の機能.
 @item