===================================================================
RCS file: /home/cvs/OpenXM/src/asir-doc/parts/builtin/poly.texi,v
retrieving revision 1.2
retrieving revision 1.4
diff -u -p -r1.2 -r1.4
--- OpenXM/src/asir-doc/parts/builtin/poly.texi	1999/12/21 02:47:34	1.2
+++ OpenXM/src/asir-doc/parts/builtin/poly.texi	2003/04/19 15:44:59	1.4
@@ -1,4 +1,4 @@
-@comment $OpenXM$
+@comment $OpenXM: OpenXM/src/asir-doc/parts/builtin/poly.texi,v 1.3 2002/09/03 01:50:59 noro Exp $
 \BJP
 @node 多項式および有理式の演算,,, 組み込み函数
 @section 多項式, 有理式の演算
@@ -63,7 +63,7 @@
 \E
 \BEG
 @item
-@xref{Types in Asir} for main variable.
+See @ref{Types in Asir} for main variable.
 @item
 Indeterminates (variables) are ordered by default as follows.
  
@@ -171,7 +171,7 @@ Lists variables according to the variable ordering.
 @code{strtov()} を用いる. 
 @item
 @code{uc()} で生成された不定元の不定元としての型 (@code{vtype}) は 1 である. 
-(@xref{不定元の型})
+(@xref{不定元の型}.)
 \E
 \BEG
 @item
@@ -363,7 +363,7 @@ Variable @var{var} must be specified.
 @item
 有理式の場合は, 分子と分母の項数の和が返される. 
 @item
-函数形式 (@xref{不定元の型}) は, 引数が何であっても単項とみなされる. (1 個の不定元と同じ. )
+函数形式 (@ref{不定元の型}) は, 引数が何であっても単項とみなされる. (1 個の不定元と同じ. )
 \E
 \BEG
 @item
@@ -740,11 +740,11 @@ x^5+2*x^4+x^3+x^2+2*x+1
 @item psubst(@var{rat}[,@var{var},@var{rat}]*)
 \BJP
 :: @var{rat} の @var{varn} に @var{ratn} を代入
-(@var{n=1,2},... で左から右に順次代入する). 
+(@var{n}=1,2,... で左から右に順次代入する). 
 \E
 \BEG
 :: Substitute @var{ratn} for @var{varn} in expression @var{rat}.
-(@var{n=1,2},@dots{}.
+(@var{n}=1,2,@dots{}.
 Substitution will be done successively from left to right
 if arguments are repeated.)
 \E
@@ -754,7 +754,7 @@ if arguments are repeated.)
 @item return
 \JP 有理式
 \EG rational expression
-@item rat,ratn
+@item rat ratn
 \JP 有理式
 \EG rational expression
 @item varn
@@ -913,7 +913,7 @@ sin(x)
 @item var
 \JP 不定元
 \EG indeterminate
-@item poly1,poly2
+@item poly1 poly2
 \JP 多項式
 \EG polynomial
 @item mod
@@ -1060,7 +1060,7 @@ multiples of @var{hint}.
 各既約因子の次数が @var{hint} の倍数であることがわかっている場合に
 @var{poly} の既約因子分解を @code{fctr()} より効率良く行う. 
 @var{poly} が, @var{d} 次の拡大体上における
-ある多項式のノルム (@xref{代数的数に関する演算}) で無平方である場合, 
+ある多項式のノルム (@ref{代数的数に関する演算}) で無平方である場合, 
 各既約因子の次数は @var{d} の倍数となる. このような場合に
 用いられる. 
 \E
@@ -1073,7 +1073,7 @@ more efficiently by the knowledge than @code{fctr()}.
 When @var{hint} is 1, @code{ufctrhint()} is the same as @code{fctr()} for
 uni-variate polynomials.
 An typical application where @code{ufctrhint()} is effective:
-Consider the case where @var{poly} is a norm (@xref{Algebraic numbers})
+Consider the case where @var{poly} is a norm (@ref{Algebraic numbers})
 of a certain polynomial over an extension field with its extension
 degree @var{d}, and it is square free;  Then, every irreducible factor
 has a degree that is a multiple of @var{d}.
@@ -1329,7 +1329,7 @@ y-z
 @item return
 \JP 多項式
 \EG polynomial
-@item poly1,poly2
+@item poly1 poly2
 \JP 多項式
 \EG polynomial
 @item mod