===================================================================
RCS file: /home/cvs/OpenXM/src/kan96xx/Doc/hol.sm1,v
retrieving revision 1.15
retrieving revision 1.16
diff -u -p -r1.15 -r1.16
--- OpenXM/src/kan96xx/Doc/hol.sm1	2004/05/04 08:03:30	1.15
+++ OpenXM/src/kan96xx/Doc/hol.sm1	2004/05/04 08:29:35	1.16
@@ -1,4 +1,4 @@
-% $OpenXM: OpenXM/src/kan96xx/Doc/hol.sm1,v 1.14 2004/05/04 07:48:47 takayama Exp $
+% $OpenXM: OpenXM/src/kan96xx/Doc/hol.sm1,v 1.15 2004/05/04 08:03:30 takayama Exp $
 %% hol.sm1, 1998, 11/8, 11/10, 11/14, 11/25, 1999, 5/18, 6/5. 2000, 6/8
 %% rank, rrank, characteristic
 %% This file is error clean.
@@ -1882,6 +1882,7 @@ message-quiet
   (r is the return value format of reduction;)
   (r=[h,c0,syz,input], h = c0 f + \sum syz_i g_i)
   (basis is given in the argument format of gb.)
+  $h[1,1](D)-homogenization is used.$
   (cf. reduction, gb, ecartd.gb, gb.reduction.test )
   $Example:$
   $ [[( 2*(h-x-y) Dx + h^2 ) ( 2*(h-x-y) Dy + h^2 )] $