===================================================================
RCS file: /home/cvs/OpenXM/src/asir-doc/exp/exp-ja.texi,v
retrieving revision 1.6
retrieving revision 1.9
diff -u -p -r1.6 -r1.9
--- OpenXM/src/asir-doc/exp/exp-ja.texi	2004/04/16 01:57:51	1.6
+++ OpenXM/src/asir-doc/exp/exp-ja.texi	2004/06/27 10:08:56	1.9
@@ -1,4 +1,4 @@
-%% $OpenXM: OpenXM/src/asir-doc/exp/exp-ja.texi,v 1.5 2004/03/27 05:58:50 takayama Exp $
+%% $OpenXM: OpenXM/src/asir-doc/exp/exp-ja.texi,v 1.8 2004/06/23 08:52:18 takayama Exp $
 \input texinfo
 @iftex
 @catcode`@#=6
@@ -38,7 +38,7 @@
 @title 実験的仕様の関数
 @subtitle Risa/Asir 実験的仕様関数説明書
 @subtitle 1.0 版
-@subtitle 2004 年 4 月
+@subtitle 2004 年 6 月
 
 @author  by Risa/Asir comitters
 @page
@@ -116,6 +116,9 @@ ChangeLog の項目は www.openxm.org の cvswe
 * dp_initial_term::
 * dp_order::
 * dp_weyl_gr_main::
+* list::
+* mapat::
+* set_print_function::
 @end menu
 
 @comment --- ◯◯◯◯  関数 quotetotex, quotetotex_env の説明 ◯◯◯◯ 
@@ -726,13 +729,8 @@ Sugar strategy を適用するときの weight vector. 
 [1220] F=sm1.gkz([ [[1,1,1,1],[0,1,3,4]], [0,0]]);  /* Command in asir-contrib*/
 [[x4*dx4+x3*dx3+x2*dx2+x1*dx1,4*x4*dx4+3*x3*dx3+x2*dx2,-dx1*dx4+dx2*dx3,-dx2^2*dx4+dx1*dx3^2,dx1^2*dx3-dx2^3,-dx2*dx4^2+dx3^3],[x1,x2,x3,x4]]
 [1221] V=[x1,x2,x3,x4,dx1,dx2,dx3,dx4]$
-[1222] dp_weyl_gr_main(F | v=V, order=[[dx1,1,dx2,1,dx3,1,dx4,1]]);
-
-[ 0 0 0 0 1 1 1 1 ]
-[ R R R R R R R R ]
-internal error (SEGV)
-return to toplevel
-
+[1222] dp_weyl_gr_main(F[0] | v=V, order=[[dx1,1,dx2,1,dx3,1,dx4,1]]);
+...
 [1238] FF=map(dp_ptod,F[0],V);
 [(1)*<<1,0,0,0,1,0,0,0>>+(1)*<<0,1,0,0,0,1,0,0>>+(1)*<<0,0,1,0,0,0,1,0>>+(1)*<<0,0,0,1,0,0,0,1>>,(1)*<<0,1,0,0,0,1,0,0>>+(3)*<<0,0,1,0,0,0,1,0>>+(4)*<<0,0,0,1,0,0,0,1>>,0,0,0,0]
 
@@ -741,11 +739,10 @@ return to toplevel
 
 dp_weyl_gr_main(FF | v=V, order=[[0,0,0,0,1,1,1,1]]);
 
-[1246] dp_weyl_gr_main(F | v=V, order=[[dx1,1,dx2,1,dx3,1,dx4,1]]);
+[1246] dp_weyl_gr_main(FF | v=V, order=[[dx1,1,dx2,1,dx3,1,dx4,1]]);
 [ 0 0 0 0 1 1 1 1 ]
 [ R R R R R R R R ]
-internal error (SEGV)
-return to toplevel
+ ...
 
 @end example
 
@@ -890,6 +887,151 @@ builtin/dp-supp.c 1.32
 builtin/dp.c 1.49
 @end itemize
 
+
+@comment  mapat
+@node mapat,,, 実験的仕様の関数
+@subsection @code{mapat}
+@findex mapat
+
+@table @t
+@item mapat(@var{fname},@var{pos}[,@var{arg0}, @var{arg1}, ...])
+:: @var{pos} に対する map 関数
+@end table
+
+@table @var
+@item return
+オブジェクト
+@item pos
+整数
+@item arg0, arg1, arg2, ...
+オブジェクト
+@end table
+
+@itemize @bullet
+@item
+@code{map} 関数は 0 番目の引数に対してしか動作しないが, @code{mapat}
+関数は指定した番号の引数に対して @code{map} 関数を実行する.
+@item
+@code{mapat(fname,0,A0,A1,...)} は
+@code{map(fname,A0,A1,...)} に等価である.
+@item
+次の副作用がある. まだ書いてない.
+@end itemize
+
+@example
+[219] mapat(deg,1,x^2+y^3+x+y,[x,y]);
+[2,3]
+[220] mapat(subst,1,x+y+z,[x,y,z],2) 
+[y+z+1,x+z+1,x+y+1]
+@end example
+
+@table @t
+@item 参照
+@ref{map}
+@end table
+
+@comment --- ChangeLog を書く. 動機. ソースコードの位置. 変更日時 など CVSサーバを見るため
+@comment --- openxm の外部からの寄与も述べる. Credit.
+@noindent
+ChangeLog
+@itemize @bullet
+@item この関数は 2004-6-22 にコミットされた.
+ 変更をうけたソースコードは builtin/pf.c, subst.c である.
+@end itemize
+
+@comment  list
+@node list,,, 実験的仕様の関数
+@subsection @code{list}
+@findex list
+
+@table @t
+@item list([@var{arg0}, @var{arg1}, ...])
+:: list を生成する.
+@end table
+
+@table @var
+@item return
+リスト
+@item arg0, arg1, arg2, ...
+オブジェクト
+@end table
+
+@itemize @bullet
+@item
+@var{arg0}, @var{arg1}, ... を要素とするリストを生成する.
+@end itemize
+
+@example
+[219] list(1,2,3);
+[1,2,3]
+[220] list(1,2,[3,4]);
+[1,2,[3,4]]
+@end example
+
+@table @t
+@item 参照
+@ref{cons}
+@end table
+
+@comment --- ChangeLog を書く. 動機. ソースコードの位置. 変更日時 など CVSサーバを見るため
+@comment --- openxm の外部からの寄与も述べる. Credit.
+@noindent
+ChangeLog
+@itemize @bullet
+@item この関数は 2004-6-22 にコミットされた.
+ 変更をうけたソースコードは builtin/list.c である.
+@end itemize
+
+
+@node set_print_function,,, 実験的仕様の関数
+@subsection @code{set_print_function}
+@findex set_print_function
+
+@comment --- 関数の簡単な説明 ---
+@table @t
+@item set_print_function([@var{fname}])
+:: 画面表示用の関数を登録
+@end table
+
+@table @var
+@item return
+整数
+@item fname
+文字列
+@end table
+
+@itemize @bullet
+@item
+@code{set_print_function} は @code{fname(F)} を通常の画面表示関数の代わりによぶ.
+@code 引数がない場合は画面表示関数をデフォールトへ戻す.
+@code Asir-contrib はこの関数を用いて出力関数を Asir-contrib 用に変更している.
+@end itemize
+
+@example
+[219] def my_output(F) {  
+           print("Out: ",0); print(rtostr(F));
+      }
+[220] set_print_function("my_output");
+Out: 0
+[221]  1+2;
+Out: 3
+@end example
+
+@table @t
+@item 参照
+@ref{rtostr}
+@end table
+
+@noindent
+ChangeLog
+@itemize @bullet
+@item この関数は 2001-9-4 に asir-contrib のために導入された.
+ 変更をうけたソースコードは builtin/print.c 1.11 である.
+@end itemize
+
+
+@comment --- ◯◯◯◯  以下他の関数について真似して記述する. ◯◯◯◯ 
+
 @comment 新しい関数の説明を書くためのテンプレートである. 消すな.
 @comment --- ◯◯◯◯  関数 syz_pqr, xyz_stu の説明 ◯◯◯◯ 
 @comment --- 複数の関数をまとめて説明する例 ---
@@ -950,11 +1092,6 @@ ChangeLog
  変更をうけたソースコードは xxxyy.rr, ppp.c である.
 @item この関数は 2000 頃にはじめてのバージョンが書かれた. ソースは ppp.c である.
 @end itemize
-
-
-
-@comment --- ◯◯◯◯  以下他の関数について真似して記述する. ◯◯◯◯ 
-
 
 @comment --- おまじない ---
 @node Index,,, Top