=================================================================== RCS file: /home/cvs/OpenXM/src/asir-doc/parts/builtin/function.texi,v retrieving revision 1.1.1.1 retrieving revision 1.2 diff -u -p -r1.1.1.1 -r1.2 --- OpenXM/src/asir-doc/parts/builtin/function.texi 1999/12/08 05:47:44 1.1.1.1 +++ OpenXM/src/asir-doc/parts/builtin/function.texi 1999/12/21 02:47:33 1.2 @@ -1,11 +1,19 @@ +@comment $OpenXM$ +\BJP @node 函数に対する操作,,, 組み込み函数 @section 函数に対する操作 +\E +\BEG +@node Operations on functions,,, Built-in Function +@section Operations on functions +\E @menu * functor args funargs:: @end menu -@node functor args funargs,,, 函数に対する操作 +\JP @node functor args funargs,,, 函数に対する操作 +\EG @node functor args funargs,,, Operations on functions @subsection @code{functor}, @code{args}, @code{funargs} @findex functor @findex args @@ -13,21 +21,27 @@ @table @t @item functor(@var{func}) -:: @var{func} の函数子を取り出す. +\JP :: @var{func} の函数子を取り出す. +\EG :: Functor of function form @var{func}. @item args(@var{func}) -:: @var{func} の引数リストを取り出す. +\JP :: @var{func} の引数リストを取り出す. +\EG :: List of arguments of function form @var{func}. @item funargs(@var{func}) -:: @code{cons(functor(@var{func}),args(@var{func}))} を返す. +\JP :: @code{cons(functor(@var{func}),args(@var{func}))} を返す. +\EG :: @code{cons(functor(@var{func}),args(@var{func}))}. @end table @table @var @item return -@code{functor()} : 不定元, @code{args()}, @code{funargs()} : リスト +\JP @code{functor()} : 不定元, @code{args()}, @code{funargs()} : リスト +\EG @code{functor()} : indeterminate, @code{args()}, @code{funargs()} : list @item func -函数形式を表す不定元 +\JP 函数形式を表す不定元 +\EG function form @end table @itemize @bullet +\BJP @item 函数形式に関しては, @code{vtype()} を参照. @item @@ -35,6 +49,18 @@ @item 逆に, 取り出した函数子を値に持つプログラム変数を @code{F} とすれば (@code{*F})(x) で x を引数とする函数呼び出しまたは函数形式が入力できる. +\E +\BEG +@item +@xref{vtype} for function form. +@item +Extract the functor and the arguments of function form @var{func}. +@item +Assign a program variable, say @code{F}, to the functor obtained +by @code{functor()}. Then, you can type (@code{*F})(x) +(, or (@code{*F})(x,y,...) +depending on the arity,) to input a function form with argument x. +\E @end itemize @example @@ -51,7 +77,8 @@ sin @end example @table @t -@item 参照 +\JP @item 参照 +\EG @item References @fref{vtype}. @end table