===================================================================
RCS file: /home/cvs/OpenXM/src/asir-doc/parts/builtin/function.texi,v
retrieving revision 1.1.1.1
retrieving revision 1.4
diff -u -p -r1.1.1.1 -r1.4
--- 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	2003/04/20 08:01:28	1.4
@@ -1,11 +1,19 @@
+@comment $OpenXM: OpenXM/src/asir-doc/parts/builtin/function.texi,v 1.3 2002/09/03 01:50:59 noro Exp $
+\BJP
 @node $BH!?t$KBP$9$kA`:n(B,,, $BAH$_9~$_H!?t(B
 @section $BH!?t$KBP$9$kA`:n(B
+\E
+\BEG
+@node Operations on functions,,, Built-in Function
+@section Operations on functions
+\E
 
 @menu
 * functor args funargs::
 @end menu
 
-@node functor args funargs,,, $BH!?t$KBP$9$kA`:n(B
+\JP @node functor args funargs,,, $BH!?t$KBP$9$kA`:n(B
+\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} $B$NH!?t;R$r<h$j=P$9(B. 
+\JP :: @var{func} $B$NH!?t;R$r<h$j=P$9(B. 
+\EG :: Functor of function form @var{func}.
 @item args(@var{func})
-:: @var{func} $B$N0z?t%j%9%H$r<h$j=P$9(B. 
+\JP :: @var{func} $B$N0z?t%j%9%H$r<h$j=P$9(B. 
+\EG :: List of arguments of function form @var{func}.
 @item funargs(@var{func})
-:: @code{cons(functor(@var{func}),args(@var{func}))} $B$rJV$9(B. 
+\JP :: @code{cons(functor(@var{func}),args(@var{func}))} $B$rJV$9(B. 
+\EG :: @code{cons(functor(@var{func}),args(@var{func}))}.
 @end table
 
 @table @var
 @item return
-@code{functor()} : $BITDj85(B, @code{args()}, @code{funargs()} : $B%j%9%H(B
+\JP @code{functor()} : $BITDj85(B, @code{args()}, @code{funargs()} : $B%j%9%H(B
+\EG @code{functor()} : indeterminate, @code{args()}, @code{funargs()} : list
 @item func
-$BH!?t7A<0$rI=$9ITDj85(B
+\JP $BH!?t7A<0$rI=$9ITDj85(B
+\EG function form
 @end table
 
 @itemize @bullet
+\BJP
 @item
 $BH!?t7A<0$K4X$7$F$O(B, @code{vtype()} $B$r;2>H(B. 
 @item
@@ -35,6 +49,18 @@ x $B$r0z?t$H$9$kH!?t8F$S=P$7$^$?$OH!?t7A<0$,F~NO$G$-$
 @item
 $B5U$K(B, $B<h$j=P$7$?H!?t;R$rCM$K;}$D%W%m%0%i%`JQ?t$r(B @code{F} $B$H$9$l$P(B (@code{*F})(x) $B$G(B
 x $B$r0z?t$H$9$kH!?t8F$S=P$7$^$?$OH!?t7A<0$,F~NO$G$-$k(B. 
+\E
+\BEG
+@item
+See @ref{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
@@ -44,14 +70,16 @@ sin
 [x]
 [0] funargs(sin(3*cos(y)));
 [sin,3*cos(y)]
-[1] for (L=[sin,cos,tan];L!=[];L=cdr(L)) @{A=car(L); print(eval((*A)(@@pi/3)));@}
+[1] for (L=[sin,cos,tan];L!=[];L=cdr(L)) @{A=car(L); 
+print(eval((*A)(@@pi/3)));@}
 0.86602540349122136831
 0.5000000002
 1.7320508058
 @end example
 
 @table @t
-@item $B;2>H(B
+\JP @item $B;2>H(B
+\EG @item References
 @fref{vtype}.
 @end table