===================================================================
RCS file: /home/cvs/OpenXM/src/kan96xx/Doc/hol.sm1,v
retrieving revision 1.12
retrieving revision 1.13
diff -u -p -r1.12 -r1.13
--- OpenXM/src/kan96xx/Doc/hol.sm1	2003/07/05 01:53:32	1.12
+++ OpenXM/src/kan96xx/Doc/hol.sm1	2003/07/29 08:36:39	1.13
@@ -1,4 +1,4 @@
-% $OpenXM: OpenXM/src/kan96xx/Doc/hol.sm1,v 1.11 2003/06/26 08:14:45 takayama Exp $
+% $OpenXM: OpenXM/src/kan96xx/Doc/hol.sm1,v 1.12 2003/07/05 01:53:32 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.
@@ -272,6 +272,7 @@ message-quiet
 /gb.v 1 def
 /gb.verbose 0 def
 /gb.options [ ] def
+/gb.characteristic 0 def
 /gb {
   /arg1 set
   [/in-gb /aa /typev /setarg /f /v 
@@ -357,18 +358,18 @@ message-quiet
       } {  } ifelse
       wv isInteger {        
         [v ring_of_differential_operators 
-        0] define_ring
+        gb.characteristic] define_ring
         /termorder 1 def
       }{
        degreeShift isInteger {
          [v ring_of_differential_operators 
           wv weight_vector
-         0] define_ring
+         gb.characteristic] define_ring
          wv gb.isTermOrder /termorder set
        }{
          [v ring_of_differential_operators 
           wv weight_vector
-          0
+          gb.characteristic
           [(degreeShift) degreeShift]
           ] define_ring
          wv gb.isTermOrder /termorder set
@@ -477,12 +478,12 @@ message-quiet
       } {  } ifelse
       wv isInteger {        
         [v ring_of_polynomials
-        0] define_ring
+        gb.characteristic] define_ring
         /termorder 1 def
       }{
         [v ring_of_polynomials
          wv weight_vector
-        0] define_ring
+        gb.characteristic] define_ring
         wv gb.isTermOrder /termorder set
       } ifelse
     } {