===================================================================
RCS file: /home/cvs/OpenXM/src/kan96xx/Doc/hol.sm1,v
retrieving revision 1.9
retrieving revision 1.10
diff -u -p -r1.9 -r1.10
--- OpenXM/src/kan96xx/Doc/hol.sm1	2000/12/29 07:19:37	1.9
+++ OpenXM/src/kan96xx/Doc/hol.sm1	2001/01/04 12:29:33	1.10
@@ -1,4 +1,4 @@
-% $OpenXM: OpenXM/src/kan96xx/Doc/hol.sm1,v 1.8 2000/08/01 05:53:18 takayama Exp $
+% $OpenXM: OpenXM/src/kan96xx/Doc/hol.sm1,v 1.9 2000/12/29 07:19:37 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.
@@ -295,6 +295,11 @@ message-quiet
        /v aa 1 get def
        /setarg 1 def
     } { } ifelse
+    typev [ArrayP RingP] eq
+    {  /f aa 0 get def
+       /v aa 1 get def
+       /setarg 1 def
+    } { } ifelse
     typev [ArrayP ArrayP] eq
     {  /f aa 0 get def
        /v aa 1 get from_records def
@@ -318,7 +323,11 @@ message-quiet
     [(KanGBmessage) gb.verbose ] system_variable
 
     %%% Start of the preprocess
-    f getRing /rr set
+    v tag RingP eq {
+       /rr v def 
+    }{
+      f getRing /rr set
+    } ifelse
     %% To the normal form : matrix expression.
     f gb.toMatrixOfString /f set
     /mm gb.itWasMatrix def
@@ -1339,6 +1348,11 @@ message-quiet
        /v aa 1 get def
        /setarg 1 def
     } { } ifelse
+    typev [ArrayP RingP] eq
+    {  /f aa 0 get def
+       /v aa 1 get def
+       /setarg 1 def
+    } { } ifelse
     typev [ArrayP ArrayP] eq
     {  /f aa 0 get def
        /v aa 1 get from_records def
@@ -1362,7 +1376,11 @@ message-quiet
     [(KanGBmessage) gb.verbose ] system_variable
 
     %%% Start of the preprocess
-    f getRing /rr set
+    v tag RingP eq {
+      /rr v def
+    }{
+      f getRing /rr set
+    } ifelse
     %% To the normal form : matrix expression.
     f gb.toMatrixOfString /f set
     /mm gb.itWasMatrix def
@@ -1445,6 +1463,7 @@ message-quiet
   $ [(Homogenize_vec) 0] system_variable (grade) (module1v) switch_function$ 
   (a : [f ];    array f;  f is a set of generators of an ideal in a ring.)
   (a : [f v];   array f; string v;  v is the variables. )
+  (a : [f r];   array f; ring r )
   (a : [f v w]; array f; string v; array of array w; w is the weight matirx.)
   (  )
   $Example 1: [ [( (x Dx)^2 + (y Dy)^2 -h^4) ( x y Dx Dy -h^4)] (x,y) $
@@ -1487,6 +1506,11 @@ message-quiet
        /v aa 1 get def
        /setarg 1 def
     } { } ifelse
+    typev [ArrayP RingP] eq
+    {  /f aa 0 get def
+       /v aa 1 get def
+       /setarg 1 def
+    } { } ifelse
     typev [ArrayP ArrayP] eq
     {  /f aa 0 get def
        /v aa 1 get from_records def
@@ -1512,7 +1536,11 @@ message-quiet
 
 
     %%% Start of the preprocess
-    f getRing /rr set
+    v tag RingP eq {
+       /rr v def 
+    }{
+      f getRing /rr set
+    } ifelse
     %% To the normal form : matrix expression.
     f gb.toMatrixOfString /f set
     /mm gb.itWasMatrix def
@@ -1596,6 +1624,7 @@ message-quiet
   $ [(Homogenize_vec) 0] system_variable (grade) (module1v) switch_function$ 
   (a : [f ];    array f;  f is a set of generators of an ideal in a ring.)
   (a : [f v];   array f; string v;  v is the variables.)
+  (a : [f r];   array f; ring r )
   (a : [f v w]; array f; string v; array of array w; w is the weight matirx.)
   $Example 1: [ [( (x Dx)^2 + (y Dy)^2 -h^4) ( x y Dx Dy -h^4)] (x,y) $
   $             [ [ (Dx) 1 ] ] ] syz_h pmat ; $