===================================================================
RCS file: /home/cvs/OpenXM/src/asir-doc/exp/exp-ja.texi,v
retrieving revision 1.3
retrieving revision 1.18
diff -u -p -r1.3 -r1.18
--- OpenXM/src/asir-doc/exp/exp-ja.texi	2004/03/18 05:45:08	1.3
+++ OpenXM/src/asir-doc/exp/exp-ja.texi	2004/11/24 23:00:23	1.18
@@ -1,4 +1,4 @@
-%% $OpenXM: OpenXM/src/asir-doc/exp/exp-ja.texi,v 1.2 2004/03/17 09:25:02 takayama Exp $
+%% $OpenXM: OpenXM/src/asir-doc/exp/exp-ja.texi,v 1.17 2004/11/23 12:41:12 takayama Exp $
 \input texinfo
 @iftex
 @catcode`@#=6
@@ -38,9 +38,9 @@
 @title 実験的仕様の関数
 @subtitle Risa/Asir 実験的仕様関数説明書
 @subtitle 1.0 版
-@subtitle 2004 年 3 月
+@subtitle 2004 年 7 月
 
-@author  by Risa/Asir comitters
+@author  by Risa/Asir committers
 @page
 @vskip 0pt plus 1filll
 Copyright @copyright{} Risa/Asir committers
@@ -107,6 +107,26 @@ ChangeLog の項目は www.openxm.org の cvswe
 * tb_to_string::
 * write_to_tb::
 * dp_gr_main::
+* asir-port.sh::
+* asir-install.sh::
+* get_struct_name::
+* get_element_names::
+* get_element_at::
+* put_element_at::
+* dp_initial_term::
+* dp_order::
+* dp_weyl_gr_main::
+* list::
+* mapat::
+* set_print_function::
+* small_jacobi::
+* flatten_quote::
+* sprintf::
+* quote_to_funargs::
+* funargs_to_quote::
+* remove_paren::
+* set_secure_mode::
+* set_secure_flag::
 @end menu
 
 @comment --- ◯◯◯◯  関数 quotetotex, quotetotex_env の説明 ◯◯◯◯ 
@@ -164,12 +184,15 @@ symbol_table による変換が最初に適用される.
 alpha, beta, 等は自動的をギリシャ文字に変換するテーブルは
 内蔵ずみ.
 @item 
-dp_vars_prefix: 分散表現多項式は
-@tex 
-$x_0, x_1, \cdots$
-@end tex 
-の多項式として latex 形式に変換されるがこの
-x の部分を変更する.
+  dp_vars_prefix: 分散表現多項式は
+  @tex 
+  $x_0, x_1, \cdots$
+  @end tex 
+  の多項式として latex 形式に変換されるがこの
+  x の部分を変更する.
+@item 
+  dp_vars_origin: インデックスの始まりの値を指定する.
+  デフォールトは 0.
 @item
 dp_vars_hweyl: 分散表現多項式をワイル代数の元とみなして
 latex 形式に変換する.
@@ -184,6 +207,11 @@ $\partial_0, \partial_1, \cdots$
 @end tex 
 に変換する.
 奇数個の場合は最後の変数が同時化変数として h で表示される.
+@item
+  dp_dvars_prefix: dp_vars_hweyl が 1 の時に後半部分の prefix を指定する.
+  デフォールトは @tex $\partial$ @end tex
+@item
+  dp_dvars_origin: dp_vars_hweyl が 1 の時のインデックスの始まりの値.
 @item 
 conv_func: ユーザ定義の変換関数をよぶ.
 @item 
@@ -212,20 +240,27 @@ print_tex_form(contrib)
 @noindent
 ChangeLog
 @itemize @bullet
-@item この関数は 2004年2月末から3月にかけて asir を 
-knoppix 版 texmacs に対応させるために書かれた. 
-Asir-contrib の print_tex_form がその原型であり, それを効率化しまた
-出力形式を改善した.
-OpenXM/src/kxx/ox_texmacs.c, OpenXM/src/texmacs も参照.
-@item OpenXM/src/asir-contrib/packages/src/noro_print.rr 1.1--1.8, 
-noro_print_default.rr 1.1--1.3 も参照.
-@item 変更を受けたファイルは OpenXM_contrib2/asir2000 の下の次のファイル.
+@item 
+ この関数は 2004年2月末から3月にかけて asir を 
+ knoppix 版 texmacs に対応させるために書かれた. 
+ Asir-contrib の print_tex_form がその原型であり, それを効率化しまた
+ 出力形式を改善した.
+ OpenXM/src/kxx/ox_texmacs.c, OpenXM/src/texmacs も参照.
+@item 
+ OpenXM/src/asir-contrib/packages/src/noro_print.rr 1.1--1.8, 
+ noro_print_default.rr 1.1--1.3 も参照.
+@item 
+ 変更を受けたファイルは OpenXM_contrib2/asir2000 の下の次のファイル.
   builtin/strobj.c 1.14--1.43,
   include/ca.h 1.46, io/cexpr.c 1.18, io/pexpr.c 1.32, io.sexpr.c 1.29,
   parse/arith.c 1.12, parse/parse.h 1.28--1.29,
   parse/quote.c 1.7--1.8, 1.12.
 @item 
   knoppix/math は 福岡大学の濱田さんが中心となり開発されている.
+@item 
+  dp_dvars_prefix, *_origin は builtin/strobj.c 1.46 で導入された.
+@item
+  Todo: quotetoterminalform (分散表現多項式の見易い出力).
 @end itemize
 
 
@@ -377,10 +412,15 @@ Hello world!
 @noindent
 ChangeLog
 @itemize @bullet
-@item この関数は 2004-3 に print_tex_form を効率化するために書かれた.
-@item OpenXM_contrib2/asir2000 の下の以下のファイルを見よ.
+@item 
+ この関数は 2004-3 に print_tex_form を効率化するために書かれた.
+@item 
+ OpenXM_contrib2/asir2000 の下の以下のファイルを見よ.
 io/ox_asir.c 1.52, builtin/strobj.c 1.12--1.13, 1.16,
 engine/str.c 1.5, parse/quote.c 1.9.
+@item 
+ rtostr が text buffer 型のデータに関しておそかった. 速度の改善は
+ asir2000/io/pexpr_body.c 1.2, asir2000/parse/lex.c 1.32.
 @end itemize
 
 
@@ -414,7 +454,7 @@ engine/str.c 1.5, parse/quote.c 1.9.
 @item b
 ???
 @item sw
-Sugar strategy を適用するときの weight vector.
+Sugar strategy を適用するときの weight vector. 全ての要素は非負.
 @end table
 
 @itemize @bullet
@@ -425,26 +465,40 @@ Sugar strategy を適用するときの weight vector.
  dp_gr_main の新しいインタフェースでは順序をある文法に従い指定する.
 @comment  ~taka/this03/misc-2003/A2/dp
 @item 順序 order は次の文法で定義する.  @{, @} は 0 回以上の繰り返しを意味する.
-@verbatim
+@example
   order         : '[' orderElement { ',' orderElement } ']'
-  orderElemnt   :  weightVec | builtinOrder
+  orderElement   :  weightVec | builtinOrder
   weightVec     : '[' weightElement { ',' weightElement } ']'
   builtiniOrder : '[' orderName  ',' setOfVariables ']'
   weightElement :   NUMBER | setOfVariables ',' NUMBER
   setOfVariables:  V | range(V,V)
-  ornderName    : @grlex | @glex | @lex
-@end verbatim
+  orderName    : @@grlex | @@glex | @@lex
+@end example
 ここで @code{V} は 変数名, @code{NUMBER} は整数をあわらす.
 例1:  @code{v=[x,y,z,u,v], order=[[x,10,y,5,z,1],[@@grlex,range(x,v)]]}
 は @code{x},@code{y},@code{z} がそれぞれ weight 10, 5, 1 をもつ
 順序で比較したあと, @code{[x,y,z,u,v]} についての 
 graded reverse lexicographic order を tie-breaker として用いることを意味する.
-参考書: SST, S, 等.
+参考書: B.Sturmfels: Gr\"obner Bases and Convex Polytopes (1995).
+M.Saito, B.Sturmfels, N.Takayama:
+Gr\"obner Deformations of Hypergeometric Differential Equations (2000).
+@item
+  順序要素 (orderElement) の指定方法は 
+ (1) 変数名または rangeで指定された変数の集合と重みの値の繰り返し
+ (2) 重みの値を変数リストの順番に並べる方法
+ (3) 変数名または rangeで指定された変数の集合と順序名の組
+ の三通りの基礎的方法がある.
+ 似た指定方法が Macaulay, Singular, CoCoA, Kan/sm1 等の環論システムで 
+ 使用されていた. Risa/Asir の指定方法はこれらのシステムの指定方法を参考に
+ さらに改良を加えたもので柔軟性が高い.
 @item 
   order の tie-breaker は grlex がデフォールト.
 @item 
   分散表現多項式を引数としたときは結果も分散表現多項式として戻る.
   order 指定にもちいるデフォールトの変数名はこのとき x0, x1, x2, ... となる.
+@item
+  オプションの値は option_list キーワードを用いてリストで与えてもよい.
+  下の例を参照.
 @end itemize
 
 @example
@@ -465,13 +519,15 @@ graded reverse lexicographic order を tie-breake
 [ 1 1 1 1 0 ]
 [ R R R R R ]
 [(47774098944)*<<0,0,0,0,13>>+ ... ]
+
+[1153] Opt=[["v",[x,y]], ["order",[[x,5,y,1]]]];  
+[[v,[x,y]],[order,[[x,5,y,1]]]]
+[1154]  dp_gr_main([x^2+y^2-1,x*y-1] | option_list=Opt);
+[ 5 1 ]
+[ R R ]
+[-y^4+y^2-1,x+y^3-y]
 @end example
 
-@table @t
-@item 参照
-@ref{xyz_abc}
-@end table
-
 @comment --- ChangeLog を書く. 動機. ソースコードの位置. 変更日時 など CVSサーバを見るため
 @noindent
 ChangeLog
@@ -498,6 +554,9 @@ parse/arith.c 1.11,
 parse/glob.c 1.44-1.45,
 parse/lex.c 1.29,
 parse/parse.h 1.23--1.26
+@item
+ Todo: return キーワードで戻り値のデータを quote のリストにできるように.
+  attribute, ring 構造体.
 @end itemize
 
 @comment --- ◯◯◯◯  関数 syz_pqr, xyz_stu の説明 ◯◯◯◯ 
@@ -519,7 +578,7 @@ parse/parse.h 1.23--1.26
 @itemize @bullet
 @item
 asir-port.sh は knoppix 専用である.
-このコマンドは asir のバイナリおよび FFL で配布できない部分を
+このコマンドは asir のバイナリおよび FLL で配布できない部分を
  ftp.math.kobe-u.ac.jp よりダウンロードして
 /home/knoppix/.asir-tmp へセーブして, 実行する.
 .asirrc および .TeXmacs/plugins/ox/progs/init-ox.scm もダウンロードする.
@@ -545,7 +604,849 @@ ChangeLog
   Makefile 1.1--1.8, asir-install.sh 1.1--1.2, asir-port.sh 1.1--1.6.
 @end itemize
 
+
+@node get_struct_name,,, 実験的仕様の関数
+@subsection @code{get_struct_name}, @code{get_element_names}, @code{get_element_at}, @code{put_element_at}
+@findex get_struct_name
+@findex get_element_names
+@findex get_element_at
+@findex put_element_at
+
+@comment --- 関数の簡単な説明 ---
+@comment --- @itemx は複数に対して説明を一つつける場合に使う ---
+@table @t
+@item get_struct_name(@var{s})
+@itemx get_element_names(@var{s})
+@itemx get_element_at(@var{s},@var{key})
+@itemx put_element_at(@var{s},@var{key},@var{obj})
+:: 構造体 @var{s} に対する操作
+@end table
+
+@table @var
+@item return
+文字列 (get_struct_name),
+文字列のリスト (get_element_names),
+オブジェクト (get_element_at),
+オブジェクト (put_element_at)
+@item s
+構造体
+@item key
+文字列
+@item obj
+オブジェクト
+@end table
+
+@itemize @bullet
+@item
+ @code{get_struct_name(s)} は, 構造体 @var{s} の名前を戻す.
+@item
+ @code{get_element_names(s)} は, 構造体のメンバーの名前のリストを戻す. 
+@item
+ @code{get_element_at(s,key)} は構造体 s のメンバー key の値を戻す.
+@item
+ @code{put_element_at(s,key,obj)} は構造体 s のメンバー key の値を obj に設定する.
+@end itemize
+
+@example
+[219]  struct point { x, y, color};
+[220]  P = newstruct(point);
+{0,0,0}
+[221]  P->x = 10$ P->y=5$ P->color="red"$
+[222]  get_element_names(P);
+[x,y,color]
+[223] put_element_at(P,"color","blue");
+blue
+[224] P->color;
+bule
+@end example
+
+@table @t
+@item 参照
+@ref{newstruct}, @ref{struct}
+@end table
+
+@comment --- ChangeLog を書く. 動機. ソースコードの位置. 変更日時 など CVSサーバを見るため
+@comment --- openxm の外部からの寄与も述べる. Credit.
+@noindent
+ChangeLog
+@itemize @bullet
+@item  構造体の定義を知らずに構造体を扱うユーザ関数を書くときに便利.
+       asir-contrib の noro_print.rr を見よ.
+@item  OpenXM_contrib2/asir2000/builtin/compobj.c 1.8.
+@end itemize
+
+@comment --- ◯◯◯◯  関数 dp_gr_main の説明 ◯◯◯◯ 
+@node dp_weyl_gr_main,,, 実験的仕様の関数
+@subsection @code{dp_weyl_gr_main}
+@findex dp_weyl_gr_main
+
+@comment --- 関数の簡単な説明 ---
+@comment --- @itemx は複数に対して説明を一つつける場合に使う ---
+@table @t
+@item dp_weyl_gr_main(@var{f} | v=@var{vv}, order=@var{oo}, homo=@var{n}, matrix=@var{m}, block=@var{b}, sugarweight=@var{sw})
+:: dp_weyl_gr_main の新しいインタフェース.  dp_gr_main と同じ形式である.
+@end table
+
+@table @var
+@item return
+リスト (グレブナ基底. 再帰表現多項式か分散表現多項式のリスト)
+@item f
+リスト  (入力多項式系. 再帰表現多項式か分散表現多項式のリスト)
+@item vv
+リスト  (変数のリスト)
+@item oo
+リスト  (順序をあらわすリスト)
+@item n
+0 か1 (homogenization をするか). [テストまだ]
+@item m
+順序を matrix で表現する場合 (cf. dp_ord). [テストまだ]
+@item b
+???
+@item sw
+Sugar strategy を適用するときの weight vector. 全ての要素は非負. [テストまだ]
+@end table
+
+@itemize @bullet
+@item
+ @code{dp_weyl_gr_main(@var{f})} は, @var{f} のグレブナ基底を計算する.
+ グレブナ基底は順序を変えるとその形が変わる.   asir ではいままで順序の指定方法が
+ 系統だっていなかった. 
+ dp_weyl_gr_main の新しいインタフェースでは順序をある文法に従い指定する.
+ 指定方法については dp_gr_main のマニュアルを参照.
+@item 
+ 分散表現多項式の各モノミアルの長さが偶数のときはワイル代数
+ K[x_1, ..., x_n, d_1, ..., d_n]
+で計算がおこなわれる. ワイル代数では x_i と d_i は非可換な掛け算規則 
+ d_i x_i = x_i d_i +1 をみたし, x_i と x_j や d_i と d_j は可換である.
+ また i と j が異なる場合は x_i と d_j も可換である.
+@item 
+ 分散表現多項式の各モノミアルの長さが奇数のときは同次化ワイル代数
+ K[x_1, ..., x_n, d_1, ..., d_n, h]
+で計算がおこなわれる. 同次化ワイル代数では x_i と d_i は非可換な掛け算規則 
+ d_i x_i = x_i d_i + h^2 
+をみたし, h は任意の元と可換, その他の変数もワイル代数と同様な可換性の規則をみたす.
+ 詳しくは dp_gr_main で参照した Saito, Sturmfels, Takayama の教科書をみよ.
+@end itemize
+
+@example
+[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[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]
+
+[1244] 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>>,(1)*<<0,0,0,0,0,1,1,0>>+(-1)*<<0,0,0,0,1,0,0,1>>,(1)*<<0,0,0,0,1,0,2,0>>+(-1)*<<0,0,0,0,0,2,0,1>>,(-1)*<<0,0,0,0,0,3,0,0>>+(1)*<<0,0,0,0,2,0,1,0>>,(1)*<<0,0,0,0,0,0,3,0>>+(-1)*<<0,0,0,0,0,1,0,2>>]
+
+dp_weyl_gr_main(FF | v=V, order=[[0,0,0,0,1,1,1,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 ]
+ ...
+
+@end example
+
+@table @t
+@item 参照
+@ref{dp_gr_main}
+@end table
+
+@comment --- ChangeLog を書く. 動機. ソースコードの位置. 変更日時 など CVSサーバを見るため
+@noindent
+ChangeLog
+@itemize @bullet
+@item dp_gr_main のインタフェースが dp_weyl_gr_main へも導入された.
+@item 
+  OpenXM_contrib2/asir2000 の下の次の各ファイルが修正をうけた.
+builtin/dp-supp.c 1.32--1.33
+builtin/dp.c 1.49--1.50
+@end itemize
+
+@comment --- ◯◯◯◯  関数 dp_initial_term の説明 ◯◯◯◯ 
+@node dp_initial_term,,, 実験的仕様の関数
+@subsection @code{dp_initial_term}
+@findex dp_initial_term
+
+@comment --- 関数の簡単な説明 ---
+@table @t
+@item dp_initial_term(@var{f} | v=@var{vv}, order=@var{oo})
+:: dp_initial_term は与えられた weight に対する先頭項の和を戻す.
+@end table
+
+@table @var
+@item return
+分散表現多項式または分散表現多項式のリスト.
+@item f
+分散表現多項式か分散表現多項式のリスト.
+@item vv
+リスト  (変数のリスト)
+@item oo
+リスト  (順序をあらわすリスト)
+@end table
+
+@itemize @bullet
+@item
+ dp_initial_term は与えられた weight w に対する先頭項の和を戻す.
+ これは多くの教科書で @tex ${\rm in}_w(f)$ @end tex 
+ と書かれている.
+@item
+ 順序を表すリストは dp_gr_main で定義した文法に従う.
+ このリストの先頭が weight vector で無い場合はエラーとなる.
+ たとえば order=[[@@lex,...]] はエラーとなる.
+@item 
+ 結果は与えられた順序に関してソートされてるわけではない.
+@end itemize
+
+@example
+[1220] F=<<2,0,0>>+<<1,1,0>>+<<0,0,1>>;
+(1)*<<2,0,0>>+(1)*<<1,1,0>>+(1)*<<0,0,1>>
+[1220] dp_initial_term(F | order=[[1,1,1]]);
+[ 1 1 1 ]
+[ R R R ]
+(1)*<<2,0,0>>+(1)*<<1,1,0>>
+[1221] dp_initial_term(F | v=[x,y,z], order=[[x,1]]);
+[ 1 0 0 ]
+[ R R R ]
+(1)*<<2,0,0>>
+@end example
+
+@table @t
+@item 参照
+@ref{dp_gr_main}, @ref{dp_weyl_gr_main}, @ref{dp_order}, @ref{dp_hm}
+@end table
+
+@comment --- ChangeLog を書く. 動機. ソースコードの位置. 変更日時 など CVSサーバを見るため
+@noindent
+ChangeLog
+@itemize @bullet
+@item 
+  OpenXM_contrib2/asir2000 の下の次の各ファイルが修正をうけた.
+builtin/dp-supp.c 1.32
+builtin/dp.c 1.49
+@end itemize
+
+@comment --- ◯◯◯◯  関数 dp_order の説明 ◯◯◯◯ 
+@node dp_order,,, 実験的仕様の関数
+@subsection @code{dp_order}
+@findex dp_order
+
+@comment --- 関数の簡単な説明 ---
+@table @t
+@item dp_order(@var{f} | v=@var{vv}, order=@var{oo})
+:: dp_order は与えられた weight に対する次数の最大値を戻す.
+@end table
+
+@table @var
+@item return
+数か数のリスト
+@item f
+分散表現多項式か分散表現多項式のリスト.
+@item vv
+リスト  (変数のリスト)
+@item oo
+リスト  (順序をあらわすリスト)
+@end table
+
+@itemize @bullet
+@item
+ 順序を表すリストは dp_gr_main で定義した文法に従う.
+ このリストの先頭が weight vector で無い場合はエラーとなる.
+ たとえば order=[[@@lex,...]] はエラーとなる.
+@item
+ dp_order は与えられた weight w に対する次数の最大値を戻す.
+ これを @tex ${\rm ord}_w(f)$ @end tex 
+ と書く論文や教科書もある.
+@item 
+ 引数がリストの場合各要素の次数が計算される.
+@end itemize
+
+@example
+[1220] F=<<2,0,0>>+<<1,1,0>>+<<0,0,1>>;
+(1)*<<2,0,0>>+(1)*<<1,1,0>>+(1)*<<0,0,1>>
+[1222] dp_order(F | order=[[1,1,1]]);
+[ 1 1 1 ]
+[ R R R ]
+2
+[1223] dp_order(F | v=[x,y,z], order=[[x,1]]);
+[ 1 0 0 ]
+[ R R R ]
+@end example
+
+@table @t
+@item 参照
+@ref{dp_gr_main}, @ref{dp_weyl_gr_main}, @ref{dp_initial_term}, @ref{dp_hm}
+@end table
+
+@comment --- ChangeLog を書く. 動機. ソースコードの位置. 変更日時 など CVSサーバを見るため
+@noindent
+ChangeLog
+@itemize @bullet
+@item 
+  OpenXM_contrib2/asir2000 の下の次の各ファイルが修正をうけた.
+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+2,x+z+2,x+y+2]
+@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
+
+
+@node small_jacobi,,, 実験的仕様の関数
+@subsection @code{small_jacobi}
+@findex small_jacobi
+
+@comment --- 関数の簡単な説明 ---
+@table @t
+@item small_jacobi(@var{a},@var{m})
+:: Jacobi 記号の計算
+@end table
+
+@table @var
+@item return
+整数
+@item arg1, arg2
+整数
+@end table
+
+@itemize @bullet
+@item 
+ @var{m} が素数のときは Legendre 記号とよばれ,
+ x^2 = @var{a} mod @var{m} に解があるとき 1, 解がないとき -1 をもどす.
+@item
+Jacobi 記号は Legendre 記号の積で定義される (初等整数論の本参照).
+@item
+ この関数は machine int の範囲で jacobi 記号を計算する.
+@end itemize
+
+@example
+[1286] small_jacobi(2,3);
+-1
+[1287] small_jacobi(2,7);
+1
+@end example
+
+@table @t
+@item 参照
+http://members.jcom.home.ne.jp/yokolabo/asirlib/  
+も見てね.
+@end table
+
+@comment --- ChangeLog を書く. 動機. ソースコードの位置. 変更日時 など CVSサーバを見るため
+@noindent
+ChangeLog
+@itemize @bullet
+@item この関数の由来は不明.
+@end itemize
+
+
+@node quote_flatten,,, 実験的仕様の関数
+@subsection @code{quote_flatten}
+@findex quote_flatten
+
+@comment --- 関数の簡単な説明 ---
+@table @t
+@item quote_flatten(@var{q},@var{op})
+:: quote の括弧をとりさる.
+@end table
+
+@table @var
+@item return
+Quote
+@item q
+Quote
+@item op
+演算子を表す文字列.
+@end table
+
+@itemize @bullet
+@item
+Quote 型のデータは木構造をしている
+( quotetolist 参照 ).
+@code{quote_flatten()} は, @var{q} の中にあられる演算子 @var{op} 
+の子供ノードを平等にする.
+つまり演算子 @var{op} に関する括弧づけがあった場合それをすべてとりさる.
+たとえば (1+2)+(3+4) という表現を 1+2+3+4 に変換する.
+@item 
+ 現在の実装では n-ary の演算子は定義されていないので,
+ 1+2+3 は実は (1+2)+3 と表現されている.
+ つまり + 演算子は左結合的である.
+@end itemize
+
+@example
+[1288] flatten_quote(quote((1+2)+(3+4*(x+3))),"+");
+quote(1+2+3+4*(x+3))
+[1289] flatten_quote(quote( (x*y)*(p*3)-(x*y)*z),"*");
+quote(x*y*p*3-x*y*z)
+[1290] quotetolist(quote(1+2+3));
+[b_op,+,[b_op,+,[internal,1],[internal,2]],[internal,3]]
+@end example
+
+@table @t
+@item 参照
+@ref{quotetolist}, @ref{print_tex_form}(contrib)
+@end table
+
+@comment --- ChangeLog を書く. 動機. ソースコードの位置. 変更日時 など CVSサーバを見るため
+@noindent
+ChangeLog
+@itemize @bullet
+@item 
+ この関数は 2004-7-7 から 2004-7-8 にかけて
+ quote に関する操作を研究するために実験的に書かれた.
+ OpenXM/fb で蓄積された公式の不要な括弧をとりはずし, tex 形式に変換するのに
+ 応用.
+@item
+ 変更をうけたソースコードは 
+ builtin/strobj.c 1.47,
+ parse/eval.c 1.35,
+ parse/parse.h 1.31,
+ parse/quote.c 1.14--1.16.
+@end itemize
+
+@node assoc,,, 実験的仕様の関数
+@subsection @code{assoc}
+@findex assoc
+
+@comment --- 関数の簡単な説明 ---
+@table @t
+@item assoc(@var{a},@var{b})
+:: 連想リストをつくる
+@end table
+
+@table @var
+@item return
+List
+@item a
+List
+@item b
+List
+@end table
+
+@itemize @bullet
+@item リスト @var{a}, @var{b} より
+[[@var{a}[0],@var{b}[0]], [@var{a}[1],@var{b}[1]], ...]
+なる新しいリストを生成する.
+@end itemize
+
+下の例では @code{A} に動物の名前が,
+@code{B} に足の本数が入っている.
+@code{assoc(A,B)} で動物と足の本数をペアにしたリストを生成する.
+
+@example
+[1192]  A=["dog","cat","snake"];
+[dog,cat,snake]
+[1193] B=[4,4,0];
+[4,4,0]
+[1194] assoc(A,B);
+[[dog,4],[cat,4],[snake,0]]
+@end example
+
+@table @t
+@item 参照
+@ref{cons}, @ref{append}
+@end table
+
+@comment --- ChangeLog を書く. 動機. ソースコードの位置. 変更日時 など CVSサーバを見るため
+@noindent
+ChangeLog
+@itemize @bullet
+@item 
+ この関数は 2004-6-28 に書かれた.
+ 変更をうけたソースコードは 
+ builtin/list.c 1.9
+ parse/eval.c 1.35,
+ parse/parse.h 1.31,
+ parse/quote.c 1.14--1.16.
+@end itemize
+
+
+@node sprintf,,, 実験的仕様の関数
+@subsection @code{sprintf}
+@findex sprintf
+
+@table @t
+@item sprintf(@var{format}[,@var{args}])
+:: C に似たプリント関数
+@end table
+
+@table @var
+@item return
+文字列
+@item format
+文字列
+@item args
+オブジェクト
+@end table
+
+@itemize @bullet
+@item
+フォーマット文字列 @var{format } にしたがい @var{args} を文字列に変換する.
+@item
+フォーマット文字列の中に @code{%a} (any) が利用可能.
+@var{args} の個数はフォーマット文字列の中の @code{%a} の個数に等しくすること.
+@end itemize
+
+@example
+[0] sprintf("%a: rat = %a",10,x^2-1);
+  10: rat = x^2-1
+@end example
+
+@table @t
+@item 参照
+@ref{rtostr}
+@end table
+
+@comment --- ChangeLog を書く. 動機. ソースコードの位置. 変更日時 など CVSサーバを見るため
+@comment --- openxm の外部からの寄与も述べる. Credit.
+@noindent
+ChangeLog
+@itemize @bullet
+@item 
+ この関数は 2004-7-13 にコミットされた.
+ 変更をうけたソースコードは builtin/strobj (1.50) である.
+@item 
+ @code{%a} は Maple の sprintf の真似か.
+@end itemize
+
+
+@node quote_to_funargs,,, 実験的仕様の関数
+@subsection @code{quote_to_funargs}, @code{funargs_to_quote}, @code{remove_paren}
+@findex quote_to_funargs
+@findex funargs_to_quote
+@findex remove_paren
+
+@table @t
+@item quote_to_funargs(@var{q})
+::  quote を funarg 形式(リスト) へ.
+@item funargs_to_quote(@var{f})
+::  funarg 形式を quote へ.
+@item remove_paren(@var{q})
+::  上の関数を用いて書かれた余分な括弧を取り去る simplifier (asir-contrib マニュアルへ: todo)
+@end table
+
+@table @var
+@item return
+quote(funargs_to_quote, remove_paren) か リスト(quote_to_funargs)
+@item q
+quote
+@item f
+リスト 
+@end table
+
+@itemize @bullet
+@item
+ @code{quote_to_funargs} は quote 型のデータ (内部的には FNODE) を
+quote への復元可能な形でリストへ変換する.
+@code{quotetolist} は quote をリストへ変換するが, 一部の情報を捨てるため
+もとの quote の復元はできない.
+@item
+ @code{quote_to_funargs} の戻り値は [fid, op, arg1, arg2] なる形式をしている.
+ここで op はなにか謎 (Todo)
+@item
+ 下の例で
+ quote_to_funargs(FA[2]);
+[34,[b_op,+,[internal,x],[internal,1]]]
+となるが, この 34 も謎 (Todo).
+@end itemize
+
+次の例では (x+1)+(x+2) の括弧をはずして x+1+x+2 に変換している.
+@example
+[0] ctrl("print_quote",1) $
+
+[1] Q=quote((x+1)+(x+2));
+[b_op,+,[u_op,(),[b_op,+,[internal,x],[internal,1]]],
+        [u_op,(),[b_op,+,[internal,x],[internal,2]]]]
+
+[2] FA=quote_to_funargs(Q);
+[0,<...quoted...>,
+  [u_op,(),[b_op,+,[internal,x],[internal,1]]],
+  [u_op,(),[b_op,+,[internal,x],[internal,2]]]]
+
+[3] FA2=quote_to_funargs(FA[2])[1];
+[b_op,+,[internal,x],[internal,1]]
+
+[4] FA3=quote_to_funargs(FA[3])[1];
+[b_op,+,[internal,x],[internal,2]]
+
+[5] funargs_to_quote([FA[0],FA[1],FA2,FA3]);
+[b_op,+,[b_op,+,[internal,x],[internal,1]],
+        [b_op,+,[internal,x],[internal,2]]]
+@end example
+
+次の例は OpenXM/asir-contrib 版の asir で実行.
+@example
+[1287] load("noro_simplify.rr");
+1
+[1293] noro_simplify.remove_paren(quote( f(1-(x))));
+quote(f(1-x))
+@end example
+
+@table @t
+@item 参照
+@ref{quotetolist}
+@end table
+
+
+@noindent
+ChangeLog
+@itemize @bullet
+@item 
+ このマニュアルは覚え書きである. 開発者が本格的なのを書くだろう.
+@item 
+ これらの関数は 2004-7-8 から開発のはじまっている quote の simplification 関連
+ の実験的関数である.
+ 変更をうけたソースコードは多岐にわたるのでまだ書かない.
+@item 
+ 括弧を取り去る問題は OpenXM/fb が蓄えている公式を tex で綺麗に表示するのが動機の一つ.
+@item 
+ 2004-6-26 の計算代数セミナーにおいて, 中川さんが simplifier についていろいろ問題提起
+をした (計算代数セミナービデオ参照).
+@end itemize
+
+@node set_secure_flag,,, 実験的仕様の関数
+@subsection @code{set_secure_flag}, @code{set_secure_mode}
+@findex set_secure_flag
+@findex set_secure_mode
+
+@comment --- 関数の簡単な説明 ---
+@comment --- @itemx は複数に対して説明を一つつける場合に使う ---
+@table @t
+@item set_secure_flag(@var{fname},@var{m})
+@itemx set_secure_mode(@var{m})
+:: 関数の実行権限を設定する.  (web サービス用)
+@end table
+
+@table @var
+@item return
+整数
+@item fname
+文字列
+@item m
+整数
+@end table
+
+@itemize @bullet
+@item @code{set_secure_flag}, @code{set_secure_mode} は 
+asir を web サーバ等で公開するために加えられた関数. 
+@code{set_secure_flag} で公開する関数を指定する.
+@code{secure_mode} が 1 の場合は @code{set_secure_flag} で指定された
+関数しか実行できない.
+関数の実行途中では @code{secure_mode} が 0 となっているので,
+任意の関数を実行できる.
+またエラーの時等は, @code{secure_mode} は 1 に自動的に復帰する.
+ただし @code{def} は実行できない. 
+公開する関数では, その処理中は任意の関数が実行できるので,
+security に十分注意した実装をする必要がある.
+@item
+@code{set_secure_flag} は, @var{fname} の secure flag を @var{m} 
+にする.
+公開する命令は 1 に設定する.
+@item
+@var{set_secure_mode(1)} で @code{secure_mode} が 1 となり,
+公開された関数しか実行できなくなる.
+quit 等も実行できないので注意.
+@item  @code{ timer } の引数として secure_flag を設定していない関数を
+指定して実行してもエラーが表示されない.
+このときは, @code{ ctrl("error_in_timer",1) } を実行しておく.
+@end itemize
+
+@example
+[1194] set_secure_flag("print_input_form_",1);
+1
+[1195] set_secure_flag("fctr",1);
+1
+[220] set_secure_mode(1);
+1
+[1197] fctr((x-1)^3);
+[[1,1],[x-1,3]]
+[1198] fctr(shell("ls"));
+evalf : shell not permitted
+return to toplevel
+@end example
+
+@table @t
+@item 参照
+@ref{timer}
+@end table
+
+@noindent
+ChangeLog
+@itemize @bullet
+@item @code{set_secure_flag}, @code{set_secure_mode} は asir を 
+web サーバ等で公開するために加えられた関数. 
+sm1 の同様な関数 RestrictedMode で採用された方法を用いている. 
+つまり, @code{set_secure_flag} で公開する関数を指定する.
+@code{secure_mode} が 1 の場合は @code{set_secure_flag} で指定された
+関数しか実行できない.
+v関数の実行途中では @code{secure_mode} が 0 となっているので,
+任意の関数を実行できる.
+@item この関数は 2004-10-27 から 2004-11-22 にかけて開発された.
+@item cgiasir.sm1, cgi-asir.sh と組み合わせて cgi サービスを提供するために
+利用する.
+cgi-asir.sh では
+@code{CGI_ASIR_ALLOW} 環境変数で公開するコマンドを指定する.
+@item  
+  1.24--1.25      OpenXM_contrib2/asir2000/builtin/miscf.c 
+@item
+  1.36--1.38      OpenXM_contrib2/asir2000/parse/eval.c 
+@item
+  1.6--1.7       OpenXM_contrib2/asir2000/parse/function.c 
+@item
+  1.33      OpenXM_contrib2/asir2000/parse/parse.h
+@end itemize
+
+@comment --- ◯◯◯◯  以下他の関数について真似して記述する. ◯◯◯◯ 
+
 @comment 新しい関数の説明を書くためのテンプレートである. 消すな.
+@comment --- ◯◯◯◯  関数 syz_pqr, xyz_stu の説明 ◯◯◯◯ 
+@comment --- 複数の関数をまとめて説明する例 ---
+@node xyz_pqr,,, 実験的仕様の関数
+@subsection @code{xyz_pqr}, @code{syz_stu}
+@findex xyz_pqr
+@findex xyz_stu
+
 @comment --- 関数の簡単な説明 ---
 @comment --- @itemx は複数に対して説明を一つつける場合に使う ---
 @table @t
@@ -598,9 +1499,6 @@ ChangeLog
  変更をうけたソースコードは xxxyy.rr, ppp.c である.
 @item この関数は 2000 頃にはじめてのバージョンが書かれた. ソースは ppp.c である.
 @end itemize
-
-@comment --- ◯◯◯◯  以下他の関数について真似して記述する. ◯◯◯◯ 
-
 
 @comment --- おまじない ---
 @node Index,,, Top