Return to function.texi CVS log

Up to [local] / OpenXM / src / asir-doc / parts / builtin

Annotation of OpenXM/src/asir-doc/parts/builtin/function.texi, Revision 1.4

1.4     ! noro        1: @comment $OpenXM: OpenXM/src/asir-doc/parts/builtin/function.texi,v 1.3 2002/09/03 01:50:59 noro Exp $
1.2       noro        2: \BJP
1.1       noro        3: @node $BH!?t$KBP$9$kA`:n(B,,, $BAH$_9~$_H!?t(B
                      4: @section $BH!?t$KBP$9$kA`:n(B
1.2       noro        5: \E
                      6: \BEG
                      7: @node Operations on functions,,, Built-in Function
                      8: @section Operations on functions
                      9: \E
1.1       noro       10:
                     11: @menu
                     12: * functor args funargs::
                     13: @end menu
                     14:
1.2       noro       15: \JP @node functor args funargs,,, $BH!?t$KBP$9$kA`:n(B
                     16: \EG @node functor args funargs,,, Operations on functions
1.1       noro       17: @subsection @code{functor}, @code{args}, @code{funargs}
                     18: @findex functor
                     19: @findex args
                     20: @findex funargs
                     21:
                     22: @table @t
                     23: @item functor(@var{func})
1.2       noro       24: \JP :: @var{func} $B$NH!?t;R$r<h$j=P$9(B.
                     25: \EG :: Functor of function form @var{func}.
1.1       noro       26: @item args(@var{func})
1.2       noro       27: \JP :: @var{func} $B$N0z?t%j%9%H$r<h$j=P$9(B.
                     28: \EG :: List of arguments of function form @var{func}.
1.1       noro       29: @item funargs(@var{func})
1.2       noro       30: \JP :: @code{cons(functor(@var{func}),args(@var{func}))} $B$rJV$9(B.
                     31: \EG :: @code{cons(functor(@var{func}),args(@var{func}))}.
1.1       noro       32: @end table
                     33:
                     34: @table @var
                     35: @item return
1.2       noro       36: \JP @code{functor()} : $BITDj85(B, @code{args()}, @code{funargs()} : $B%j%9%H(B
                     37: \EG @code{functor()} : indeterminate, @code{args()}, @code{funargs()} : list
1.1       noro       38: @item func
1.2       noro       39: \JP $BH!?t7A<0$rI=$9ITDj85(B
                     40: \EG function form
1.1       noro       41: @end table
                     42:
                     43: @itemize @bullet
1.2       noro       44: \BJP
1.1       noro       45: @item
                     46: $BH!?t7A<0$K4X$7$F$O(B, @code{vtype()} $B$r;2>H(B.
                     47: @item
                     48: $BH!?t7A<0(B @var{func} $B$NH!?t;R(B, $B0z?t%j%9%H$r<h$j=P$9(B.
                     49: @item
                     50: $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
                     51: x $B$r0z?t$H$9$kH!?t8F$S=P$7$^$?$OH!?t7A<0$,F~NO$G$-$k(B.
1.2       noro       52: \E
                     53: \BEG
                     54: @item
1.3       noro       55: See @ref{vtype} for function form.
1.2       noro       56: @item
                     57: Extract the functor and  the arguments of function form @var{func}.
                     58: @item
                     59: Assign a program variable, say @code{F}, to the functor obtained
                     60: by @code{functor()}.  Then, you can type (@code{*F})(x)
                     61: (, or (@code{*F})(x,y,...)
                     62: depending on the arity,) to input a function form with argument x.
                     63: \E
1.1       noro       64: @end itemize
                     65:
                     66: @example
                     67: [0] functor(sin(x));
                     68: sin
                     69: [0] args(sin(x));
                     70: [x]
                     71: [0] funargs(sin(3*cos(y)));
                     72: [sin,3*cos(y)]
1.4     ! noro       73: [1] for (L=[sin,cos,tan];L!=[];L=cdr(L)) @{A=car(L);
        !            74: print(eval((*A)(@@pi/3)));@}
1.1       noro       75: 0.86602540349122136831
                     76: 0.5000000002
                     77: 1.7320508058
                     78: @end example
                     79:
                     80: @table @t
1.2       noro       81: \JP @item $B;2>H(B
                     82: \EG @item References
1.1       noro       83: @fref{vtype}.
                     84: @end table
                     85: