===================================================================
RCS file: /home/cvs/OpenXM/src/asir-doc/parts/builtin/string.texi,v
retrieving revision 1.1.1.1
retrieving revision 1.3
diff -u -p -r1.1.1.1 -r1.3
--- OpenXM/src/asir-doc/parts/builtin/string.texi	1999/12/08 05:47:44	1.1.1.1
+++ OpenXM/src/asir-doc/parts/builtin/string.texi	1999/12/21 02:47:34	1.3
@@ -1,28 +1,41 @@
+@comment $OpenXM$
+\BJP
 @node 文字列に関する演算,,, 組み込み函数
 @section 文字列に関する演算
+\E
+\BEG
+@node Strings,,, Built-in Function
+@section Strings
+\E
 
 @menu
 * rtostr::
 * strtov::
+* eval_str::
 @end menu
 
-@node rtostr,,, 文字列に関する演算
+\JP @node rtostr,,, 文字列に関する演算
+\EG @node rtostr,,, Strings
 @subsection @code{rtostr}
 @findex rtostr
 
 @table @t
 @item rtostr(@var{obj})
-:: @var{obj} を文字列に変える. 
+\JP :: @var{obj} を文字列に変える. 
+\EG :: Convert @var{obj} into a string.
 @end table
 
 @table @var
 @item return
-文字列
+\JP 文字列
+\EG string
 @item obj
-任意
+\JP 任意
+\EG arbitrary
 @end table
 
 @itemize @bullet
+\BJP
 @item
 任意のオブジェクト @var{obj} を文字列に変える. 
 @item
@@ -30,6 +43,17 @@
 添字付きの不定元を生成する場合に多く用いられる. 
 @item
 逆に, 文字列を不定元に変換する時には, @code{strtov} を用いる. 
+\E
+\BEG
+@item
+Convert an arbitrary object @var{obj} into a string.
+@item
+This function is convenient to create variables with numbered
+(or indexed) names by converting integers into strings and appending them
+to some name strings.
+@item
+Use @code{strtov()} for inverse conversion from string to indeterminate.
+\E
 @end itemize
 
 @example
@@ -46,27 +70,33 @@ afo1
 @end example
 
 @table @t
-@item 参照
+\JP @item 参照
+\EG @item References
 @fref{strtov}, @fref{type}.
 @end table
 
-@node strtov,,, 文字列に関する演算
+\JP @node strtov,,, 文字列に関する演算
+\EG @node strtov,,, Strings
 @subsection @code{strtov}
 @findex strtov
 
 @table @t
 @item strtov(@var{str})
-:: @var{str} (文字列) を不定元に変える. 
+\JP :: @var{str} (文字列) を不定元に変える. 
+\EG :: Convert a string @var{str} into an indeterminate.
 @end table
 
 @table @var
 @item return
-不定元
+\JP 不定元
+\EG intederminate
 @item str
-不定元として変換可能な文字列
+\JP 不定元として変換可能な文字列
+\EG string which is valid to constitute an indeterminate.
 @end table
 
 @itemize @bullet
+\BJP
 @item
 不定元として変換可能な文字列を不定元に変える. 
 @item
@@ -75,6 +105,18 @@ afo1
 @item
 @code{rtostr()} と組合せて, プログラム中で自動的に不定元を生成したい時に
 用いられる. 
+\E
+\BEG
+@item
+Convert a string that is valid for an indeterminate into an indeterminate
+which have @var{str} as its print name.
+@item
+The valid string for an indeterminate is such a string that begins
+with a small alphabetical letter possibly followed by any string composed
+of alphabetical letters, digits or a symbol @samp{_}.
+@item
+Use the command to create indeterminates dynamically in programs.
+\E
 @end itemize
 
 @example
@@ -87,7 +129,61 @@ afo
 @end example
 
 @table @t
-@item 参照
+\JP @item 参照
+\EG @item References
 @fref{rtostr}, @fref{type}, @fref{uc}.
+@end table
+
+\JP @node eval_str,,, 文字列に関する演算
+\EG @node eval_str,,, Strings
+@subsection @code{eval_str}
+@findex eval_str
+
+@table @t
+@item eval_str(@var{str})
+\JP :: @var{str} (文字列) を評価する. 
+\EG :: Evaluates a string @var{str}.
+@end table
+
+@table @var
+@item return
+\JP オブジェクト
+\EG object
+@item str
+\JP @b{Asir} の parser が受理可能な文字列
+\EG string which can be accepted by @b{Asir} parser
+@end table
+
+@itemize @bullet
+\BJP
+@item
+@b{Asir} の parser が受理可能な文字列を評価してその結果を返す. 
+@item
+評価可能な文字列は, 式を表すものに限る. 
+@item
+論理的には @code{rtostr()} の逆関数となる. 
+\E
+\BEG
+@item
+This function evaluates a string which can be accepted by @b{Asir} parser
+and returns the result.
+@item
+The input string should represent an expression.
+@item
+This functions is the inversion function of @code{rtostr()}.
+\E
+@end itemize
+
+@example
+[0] eval_str("1+2");
+3
+[1] fctr(eval_str(rtostr((x+y)^10)));
+[[1,1],[x+y,10]]
+@end example
+
+@table @t
+\JP @item 参照
+\EG @item References
+@fref{rtostr}
 @end table