===================================================================
RCS file: /home/cvs/OpenXM/src/kan96xx/Doc/hol.sm1,v
retrieving revision 1.27
retrieving revision 1.28
diff -u -p -r1.27 -r1.28
--- OpenXM/src/kan96xx/Doc/hol.sm1	2012/09/16 01:53:08	1.27
+++ OpenXM/src/kan96xx/Doc/hol.sm1	2012/10/12 01:20:29	1.28
@@ -1,4 +1,4 @@
-% $OpenXM: OpenXM/src/kan96xx/Doc/hol.sm1,v 1.26 2008/01/18 00:48:07 takayama Exp $
+% $OpenXM: OpenXM/src/kan96xx/Doc/hol.sm1,v 1.27 2012/09/16 01:53:08 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.
@@ -816,6 +816,10 @@ message-quiet
   ( )
   $Example 7: [ [( (x Dx)^2 + (y Dy)^2 + 1) ( x y Dx Dy -1)] (x,y) $
   $     [ [ (Dx) 1 ] ] ] [(gbCheck) 1] setAttributeList gb getAttributeList ::$
+  (  )
+  $Example 8: /gb.options [(StopDegree) 11] def Onverbose $
+  $ [ [(x^10+y^10-1) (x^5*y^5 -1)] (x,y) $
+  $     [ [ (x) 1 ] ]]  gb pmat ; $
   (  )
   (cf. gb, groebner, groebner_sugar, syz. )
 ]] putUsages