===================================================================
RCS file: /home/cvs/OpenXM/src/asir-doc/parts/builtin/array.texi,v
retrieving revision 1.2
retrieving revision 1.12
diff -u -p -r1.2 -r1.12
--- OpenXM/src/asir-doc/parts/builtin/array.texi	1999/12/21 02:47:33	1.2
+++ OpenXM/src/asir-doc/parts/builtin/array.texi	2009/03/24 08:21:45	1.12
@@ -1,4 +1,4 @@
-@comment $OpenXM$
+@comment $OpenXM: OpenXM/src/asir-doc/parts/builtin/array.texi,v 1.11 2009/03/24 08:00:50 ohara Exp $
 \BJP
 @node 配列,,, 組み込み函数
 @section 配列
@@ -9,23 +9,33 @@
 \E
 
 @menu
-* newvect::
+* newvect vector vect::
+* ltov::
 * vtol::
-* newmat::
+* newbytearray::
+* newmat matrix::
+* mat matr matc::
 * size::
-* det::
+* det nd_det invmat::
+
 * qsort::
 @end menu
 
-\JP @node newvect,,, 配列
-\EG @node newvect,,, Arrays
-@subsection @code{newvect}
+\JP @node newvect vector vect,,, 配列
+\EG @node newvect vector vect,,, Arrays
+@subsection @code{newvect}, @code{vector}, @code{vect}
 @findex newvect
+@findex vector
+@findex vect
 
 @table @t
 @item newvect(@var{len}[,@var{list}])
+@item vector(@var{len}[,@var{list}])
 \JP :: 長さ @var{len} のベクトルを生成する. 
 \EG :: Creates a new vector object with its length @var{len}.
+@item vect([@var{elements}])
+\JP :: @var{elements} を要素とするベクトルを生成する.
+\EG :: Creates a new vector object by @var{elements}.
 @end table
 
 @table @var
@@ -38,12 +48,19 @@
 @item list
 \JP リスト
 \EG list
+@item elements
+\JP 要素の並び
+\EG elements of the vector
 @end table
 
 @itemize @bullet
 \BJP
 @item
-長さ @var{len} のベクトルを生成する. 第 2 引数がない場合, 
+@code{vect} は要素の並びからベクトルを生成する.
+@item
+@code{vector} は @code{newvect} の別名である.
+@item
+@code{newvect} は長さ @var{len} のベクトルを生成する. 第 2 引数がない場合, 
 各成分は 0 に初期化される. 第 2 引数がある場合, 
 インデックスの小さい成分から, リストの
 各要素により初期化される. 各要素は, 先頭から順に
@@ -69,8 +86,12 @@
 を書き換えることができる. 
 \E
 \BEG
+@item
+@code{vect} creates a new vector object by its elements.
+@item
+@code{vector} is an alias of @code{newvect}.
 @item 
-Creates a new vector object with its length @var{len} and its elements
+@code{newvect} creates a new vector object with its length @var{len} and its elements
 all cleared to value 0.
 If the second argument, a list, is given, the vector is initialized by
 the list elements.
@@ -134,18 +155,68 @@ separated simply by a `blank space', while those of a 
 [5,6]
 [4] size(A);
 [5]
-[5] def afo(V) @{ V[0] = x; @}
-[6] afo(A)$
-[7] A;
+[5] length(A);
+5
+[6] vect(1,2,3,4,[5,6]);
+[ 1 2 3 4 [5,6] ]
+[7] def afo(V) @{ V[0] = x; @}
+[8] afo(A)$
+[9] A;
 [ x 2 3 4 [5,6] ]
 @end example
 
 @table @t
 \JP @item 参照
 \EG @item References
-@fref{newmat}, @fref{size}.
+@fref{newmat matrix}, @fref{size}, @fref{ltov}, @fref{vtol}.
 @end table
 
+\JP @node ltov,,, 配列
+\EG @node ltov,,, Arrays
+@subsection @code{ltov}
+@findex ltov
+
+@table @t
+@item ltov(@var{list})
+\JP :: リストをベクトルに変換する. 
+\EG :: Converts a list into a vector.
+@end table
+
+@table @var
+@item return
+\JP ベクトル
+\EG vector
+@item list
+\JP リスト
+\EG list
+@end table
+
+@itemize @bullet
+\BJP
+@item
+リスト @var{list} を同じ長さのベクトルに変換する. 
+@item
+この関数は @code{newvect(length(@var{list}), @var{list})} に等しい.
+\E
+\BEG
+@item 
+Converts a list @var{list} into a vector of same length.
+See also @code{newvect()}.
+\E
+@end itemize
+
+@example
+[3] A=[1,2,3];
+[4] ltov(A);
+[ 1 2 3 ]
+@end example
+
+@table @t
+\JP @item 参照
+\EG @item References
+@fref{newvect vector vect}, @fref{vtol}.
+@end table
+
 \JP @node vtol,,, 配列
 \EG @node vtol,,, Arrays
 @subsection @code{vtol}
@@ -193,16 +264,74 @@ A conversion from a list to a vector is done by @code{
 @table @t
 \JP @item 参照
 \EG @item References
-@fref{newvect}.
+@fref{newvect vector vect}, @fref{ltov}.
 @end table
 
-\JP @node newmat,,, 配列
-\EG @node newmat,,, Arrays
-@subsection @code{newmat}
+\JP @node newbytearray,,, 配列
+\EG @node newbytearray,,, Arrays
+@subsection @code{newbytearray}
+@findex newbytearray
+
+@table @t
+@item newbytearray(@var{len},[@var{listorstring}])
+\JP :: 長さ @var{len} の byte array を生成する.
+\EG :: Creates a new byte array.
+@end table
+
+@table @var
+@item return
+byte array
+@item len
+\JP 自然数
+\EG non-negative integer
+@item listorstring
+\JP リストまたは文字列
+\EG list or string
+@end table
+
+@itemize @bullet
+@item
+\JP @code{newvect} と同様にして byte array を生成する.
+\EG This function generates a byte array. The specification is
+similar to that of @code{newvect}.
+@item
+\JP 文字列で初期値を指定することも可能である.
+\EG The initial value can be specified by a character string.
+@item
+\JP byte array の要素のアクセスは配列と同様である.
+\EG One can access elements of a byte array just as an array.
+@end itemize
+
+@example
+[182] A=newbytearray(3);
+|00 00 00|
+[183] A=newbytearray(3,[1,2,3]);
+|01 02 03|
+[184] A=newbytearray(3,"abc");  
+|61 62 63|
+[185] A[0];
+97
+[186] A[1]=123;
+123
+[187] A;
+|61 7b 63|
+@end example
+
+@table @t
+\JP @item 参照
+\EG @item References
+@fref{newvect vector vect}.
+@end table
+
+\JP @node newmat matrix,,, 配列
+\EG @node newmat matrix,,, Arrays
+@subsection @code{newmat}, @code{matrix}
 @findex newmat
+@findex matrix
 
 @table @t
-@item newmat(@var{row},@var{col} [,@var{[[a,b,}...@var{],[c,d,}...@var{],}...@var{]}])
+@item newmat(@var{row},@var{col} [,[[@var{a},@var{b},...],[@var{c},@var{d},...],...]])
+@item matrix(@var{row},@var{col} [,[[@var{a},@var{b},...],[@var{c},@var{d},...],...]])
 \JP :: @var{row} 行 @var{col} 列の行列を生成する. 
 \EG :: Creates a new matrix with @var{row} rows and @var{col} columns.
 @end table
@@ -211,10 +340,10 @@ A conversion from a list to a vector is done by @code{
 @item return
 \JP 行列
 \EG matrix
-@item row,col
+@item row col
 \JP 自然数
 \EG non-negative integer
-@item a,b,c,d
+@item a b c d
 \JP 任意
 \EG arbitrary
 @end table
@@ -222,6 +351,8 @@ A conversion from a list to a vector is done by @code{
 @itemize @bullet
 \BJP
 @item
+@code{matrix} は @code{newmat} の別名である.
+@item
 @var{row} 行 @var{col} 列の行列を生成する. 第 3 引数がない場合, 
 各成分は 0 に初期化される. 第 3 引数がある場合, 
 インデックスの小さい成分から, 各行が, リストの
@@ -238,6 +369,8 @@ A conversion from a list to a vector is done by @code{
 を書き換えることができる. 
 \E
 \BEG
+@item
+@code{matrix} is an alias of @code{newmat}.
 @item 
 If the third argument, a list, is given, the newly created matrix
 is initialized so that each element of the list (again a list)
@@ -280,9 +413,70 @@ return to toplevel
 @table @t
 \JP @item 参照
 \EG @item References
-@fref{newvect}, @fref{size}, @fref{det}.
+@fref{newvect vector vect}, @fref{size}, @fref{det nd_det invmat}.
 @end table
 
+\JP @node mat matr matc,,, 配列
+\EG @node mat matr matc,,, Arrays
+@subsection @code{mat}, @code{matr}, @code{matc}
+@findex mat
+@findex matr
+@findex matc
+
+@table @t
+@item mat(@var{vector}[,...])
+@item matr(@var{vector}[,...])
+\JP :: 行ベクトルの並びから行列を生成する. 
+\EG :: Creates a new matrix by list of row vectors.
+@item matc(@var{vector}[,...])
+\JP :: 列ベクトルの並びから行列を生成する. 
+\EG :: Creates a new matrix by list of column vectors.
+@end table
+
+@table @var
+@item return
+\JP 行列
+\EG matrix
+@item @var{vector}
+\JP 配列またはリスト
+\EG array or list
+@end table
+
+@itemize @bullet
+\BJP
+@item
+@code{mat} は @code{matr} の別名である.
+@item
+引数の各ベクトルは同じ長さをもつ.
+各要素は, 先頭から順に使われ, 足りない分は 0 が埋められる. 
+\E
+\BEG
+@item
+@code{mat} is an alias of @code{matr}.
+@item 
+Each vector has same length.
+Elements are used from the first through the last.
+If the list is short, 0's are filled in the remaining matrix elements.
+\E
+@end itemize
+
+@example
+[0] matr([1,2,3],[4,5,6],[7,8]);
+[ 1 2 3 ]
+[ 4 5 6 ]
+[ 7 8 0 ]
+[1] matc([1,2,3],[4,5,6],[7,8]);
+[ 1 4 7 ]
+[ 2 5 8 ]
+[ 3 6 0 ]
+@end example
+
+@table @t
+\JP @item 参照
+\EG @item References
+@fref{newmat matrix}
+@end table
+
 \JP @node size,,, 配列
 \EG @node size,,, Arrays
 @subsection @code{size}
@@ -314,9 +508,11 @@ or a list containing row size and column size of the g
 @itemize @bullet
 \BJP
 @item
-@var{vect} 又は, @var{mat} のサイズをリストで出力する. 
+@var{vect} の長さ, または @var{mat} の大きさをリストで出力する. 
 @item
-@var{list} のサイズは @code{length()}を, 有理式に現れる単項式の数は @code{nmono()} を用いる. 
+@var{vect} の長さは @code{length()} で求めることもできる.
+@item
+@var{list} の長さは @code{length()}を, 有理式に現れる単項式の数は @code{nmono()} を用いる. 
 \E
 \BEG
 @item 
@@ -335,10 +531,12 @@ in a rational expression.
 [ 0 0 0 0 ]
 [1] size(A);
 [4]
-[2] B = newmat(2,3,[[1,2,3],[4,5,6]]);
+[2] length(A);
+4
+[3] B = newmat(2,3,[[1,2,3],[4,5,6]]);
 [ 1 2 3 ]
 [ 4 5 6 ]
-[3] size(B);
+[4] size(B);
 [2,3]
 @end example
 
@@ -348,21 +546,27 @@ in a rational expression.
 @fref{car cdr cons append reverse length}, @fref{nmono}.
 @end table
 
-\JP @node det,,, 配列
-\EG @node det,,, Arrays
-@subsection @code{det}
+\JP @node det nd_det invmat,,, 配列
+\EG @node det nd_det invmat,,, Arrays
+@subsection @code{det}, @code{nd_det}, @code{invmat}
 @findex det
+@findex nd_det
+@findex invmat
 
 @table @t
 @item det(@var{mat}[,@var{mod}])
+@itemx nd_det(@var{mat}[,@var{mod}])
 \JP :: @var{mat} の行列式を求める. 
 \EG :: Determinant of @var{mat}.
+@item invmat(@var{mat})
+\JP :: @var{mat} の逆行列を求める. 
+\EG :: Inverse matrix of @var{mat}.
 @end table
 
 @table @var
 @item return
-\JP 式
-\EG expression
+\JP @code{det}: 式, @code{invmat}: リスト
+\EG @code{det}: expression, @code{invmat}: list
 @item mat
 \JP 行列
 \EG matrix
@@ -374,22 +578,37 @@ in a rational expression.
 @itemize @bullet
 \BJP
 @item
-行列 @var{mat} の行列式を求める. 
+@code{det} および @code{nd_det} は行列 @var{mat} の行列式を求める. 
+@code{invmat} は行列 @var{mat} の逆行列を求める. 逆行列は @code{[分母, 分子]}
+の形で返され, @code{分母}が行列, @code{分母/分子} が逆行列となる. 
 @item
 引数 @var{mod} がある時, GF(@var{mod}) 上での行列式を求める. 
 @item
 分数なしのガウス消去法によっているため, 多変数多項式を成分とする
 行列に対しては小行列式展開による方法のほうが効率がよい場合もある. 
+@item
+@code{nd_det} は有理数または有限体上の多項式行列の行列式
+計算専用である. アルゴリズムはやはり分数なしのガウス消去法だが,
+データ構造および乗除算の工夫により, 一般に @code{det} より高速に
+計算できる.
 \E
 \BEG
 @item 
-Determinant of matrix @var{mat}.
+@code{det} and @code{nd_det} compute the determinant of matrix @var{mat}.
+@code{invmat} computes the inverse matrix of matrix @var{mat}.
+@code{invmat} returns a list @code{[num,den]}, where @code{num}
+is a matrix and @code{num/den} represents the inverse matrix.
 @item 
 The computation is done over GF(@var{mod}) if @var{mod} is specitied.
 @item 
 The fraction free Gaussian algorithm is employed.  For matrices with
 multi-variate polynomial entries, minor expansion algorithm sometimes
 is more efficient than the fraction free Gaussian algorithm.
+@item
+@code{nd_det} can be used for computing the determinant of a matrix with
+polynomial entries over the rationals or finite fields. The algorithm
+is an improved vesion of the fraction free Gaussian algorithm
+and it computes the determinant faster than @code{det}.
 \E
 @end itemize
 
@@ -405,14 +624,32 @@ is more efficient than the fraction free Gaussian algo
 [ 1 u u^2 u^3 u^4 ]
 [ 1 v v^2 v^3 v^4 ]
 [95] fctr(det(A));
-[[1,1],[u-v,1],[-z+v,1],[-z+u,1],[-y+u,1],[y-v,1],[-y+z,1],[-x+u,1],[-x+z,1],
-[-x+v,1],[-x+y,1]]
+[[1,1],[u-v,1],[-z+v,1],[-z+u,1],[-y+u,1],[y-v,1],[-y+z,1],[-x+u,1],
+[-x+z,1],[-x+v,1],[-x+y,1]]
+[96] A = newmat(3,3)$
+[97] for(I=0;I<3;I++)for(J=0,B=A[I],W=V[I];J<3;J++)B[J]=W^J;
+[98] A;
+[ 1 x x^2 ]
+[ 1 y y^2 ]
+[ 1 z z^2 ]
+[99] invmat(A);
+[[ -z*y^2+z^2*y z*x^2-z^2*x -y*x^2+y^2*x ]
+[ y^2-z^2 -x^2+z^2 x^2-y^2 ]
+[ -y+z x-z -x+y ],(-y+z)*x^2+(y^2-z^2)*x-z*y^2+z^2*y]
+[100] A*B[0];
+[ (-y+z)*x^2+(y^2-z^2)*x-z*y^2+z^2*y 0 0 ]
+[ 0 (-y+z)*x^2+(y^2-z^2)*x-z*y^2+z^2*y 0 ]
+[ 0 0 (-y+z)*x^2+(y^2-z^2)*x-z*y^2+z^2*y ]
+[101] map(red,A*B[0]/B[1]);
+[ 1 0 0 ]
+[ 0 1 0 ]
+[ 0 0 1 ]
 @end example
 
 @table @t
 \JP @item 参照
 \EG @item References
-@fref{newmat}.
+@fref{newmat matrix}.
 @end table
 
 \JP @node qsort,,, 配列