===================================================================
RCS file: /home/cvs/OpenXM/doc/compalg/fglm.tex,v
retrieving revision 1.3
retrieving revision 1.4
diff -u -p -r1.3 -r1.4
--- OpenXM/doc/compalg/fglm.tex	2000/03/28 02:02:30	1.3
+++ OpenXM/doc/compalg/fglm.tex	2001/02/27 08:07:24	1.4
@@ -1,4 +1,4 @@
-%$OpenXM$
+%$OpenXM: OpenXM/doc/compalg/fglm.tex,v 1.3 2000/03/28 02:02:30 noro Exp $
 \chapter{Change of ordering}
 
 前節では, 主として Buchberger アルゴリズムの効率化について述べた. 
@@ -347,8 +347,7 @@ $p$ は $F$ につき compatible だから 
 ならない. しかし $f$ は $G$ について被約だから  
 $\phi_p(G)$ の頭項の集合は $G$ のそれと等しい. よって
 $\phi_p(f)$ は $\phi_p(G)$ について被約となり, $\phi_p(f) = 0$. これは
-矛盾. \qed
-\medskip
+矛盾. \qed\\
 次の定理は前定理の精密化である. すなわち, 昇順に計算された部分的な 
 $p$-compatible なグレブナ基底候補が実際にグレブナ基底の一部となって
 いることを保証する. これは, 途中までの結果を再利用できるという点で