===================================================================
RCS file: /home/cvs/OpenXM/src/kan96xx/Doc/hol.sm1,v
retrieving revision 1.6
retrieving revision 1.11
diff -u -p -r1.6 -r1.11
--- OpenXM/src/kan96xx/Doc/hol.sm1	2000/06/09 08:02:01	1.6
+++ OpenXM/src/kan96xx/Doc/hol.sm1	2003/06/26 08:14:45	1.11
@@ -1,4 +1,4 @@
-% $OpenXM: OpenXM/src/kan96xx/Doc/hol.sm1,v 1.5 2000/06/08 08:35:01 takayama Exp $
+% $OpenXM: OpenXM/src/kan96xx/Doc/hol.sm1,v 1.10 2001/01/04 12:29:33 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.
@@ -13,6 +13,7 @@ hol.version [(Version)] system_variable gt
 $hol.sm1, basic package for holonomic systems (C) N.Takayama, 2000, 06/08 $ 
 message-quiet
 
+/gb.warning 0 def
 /rank.v [(x) (y) (z)] def   %% default value of v (variables).
 /rank.ch [ ] def  %% characteristic variety.
 /rank.verbose 0 def
@@ -275,6 +276,7 @@ message-quiet
   /arg1 set
   [/in-gb /aa /typev /setarg /f /v 
    /gg /wv /termorder /vec /ans /rr /mm
+   /degreeShift
   ] pushVariables 
   [(CurrentRingp) (KanGBmessage)] pushEnv
   [
@@ -283,6 +285,7 @@ message-quiet
     aa isArray { } { ( << array >> gb) error } ifelse
     /setarg 0 def
     /wv 0 def
+    /degreeShift 0 def
     aa { tag } map /typev set
     typev [ ArrayP ] eq
     {  /f aa 0 get def
@@ -294,6 +297,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
@@ -311,13 +319,31 @@ message-quiet
        /wv aa 2 get def
        /setarg 1 def
     } { } ifelse
+    typev [ArrayP StringP ArrayP ArrayP] eq
+    {  /f aa 0 get def
+       /v aa 1 get def
+       /wv aa 2 get def
+       /degreeShift aa 3 get def
+       /setarg 1 def
+    } { } ifelse
+    typev [ArrayP ArrayP ArrayP ArrayP] eq
+    {  /f aa 0 get def
+       /v aa 1 get from_records def
+       /wv aa 2 get def
+       /degreeShift aa 3 get def
+       /setarg 1 def
+    } { } ifelse
 
     setarg { } { (gb : Argument mismatch) error } ifelse
     
     [(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
@@ -332,15 +358,26 @@ message-quiet
         0] define_ring
         /termorder 1 def
       }{
-        [v ring_of_differential_operators 
-         wv weight_vector
-        0] define_ring
-        wv gb.isTermOrder /termorder set
+       degreeShift isInteger {
+         [v ring_of_differential_operators 
+          wv weight_vector
+         0] define_ring
+         wv gb.isTermOrder /termorder set
+       }{
+         [v ring_of_differential_operators 
+          wv weight_vector
+          0
+          [(degreeShift) degreeShift]
+          ] define_ring
+         wv gb.isTermOrder /termorder set
+       } ifelse
       } ifelse
     } {
       %% Use the ring structre given by the input.
       v isInteger not {
-        (Warning : the given ring definition is not used.) message
+        gb.warning {
+         (Warning : the given ring definition is not used.) message
+        } { } ifelse
       } {  } ifelse
       rr ring_def
       /wv rr gb.getWeight def
@@ -448,7 +485,9 @@ message-quiet
     } {
       %% Use the ring structre given by the input.
       v isInteger not {
-        (Warning : the given ring definition is not used.) message
+        gb.warning {
+         (Warning : the given ring definition is not used.) message
+        } { } ifelse
       } {  } ifelse
       rr ring_def
       /wv rr gb.getWeight def
@@ -709,6 +748,8 @@ message-quiet
   (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 v w]; array f; string v; array of array w; w is the weight matirx.)
+  (a : [f v w ds]; array f; string v; array of array w; w is the weight matirx.)
+  (                array ds; ds is the degree shift )
   (  )
   $Example 1: [ [( (x Dx)^2 + (y Dy)^2 -1) ( x y Dx Dy -1)] (x,y) $
   $             [ [ (Dx) 1 ] ] ] gb pmat ; $
@@ -770,6 +811,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
@@ -781,6 +827,12 @@ message-quiet
        /wv aa 2 get def
        /setarg 1 def
     } { } ifelse
+    typev [ArrayP RingP ArrayP] eq
+    {  /f aa 0 get def
+       /v aa 1 get def
+       /wv aa 2 get def
+       /setarg 1 def
+    } { } ifelse
     typev [ArrayP ArrayP ArrayP] eq
     {  /f aa 0 get def
        /v aa 1 get from_records def
@@ -795,7 +847,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
@@ -823,7 +879,9 @@ message-quiet
     }{
       %% Use the ring structre given by the input.
       v isInteger not {
-        (Warning : the given ring definition is not used.) message
+        gb.warning {
+         (Warning : the given ring definition is not used.) message
+        } { } ifelse
       } {  } ifelse
       rr ring_def
       /wv rr gb.getWeight def
@@ -863,6 +921,7 @@ message-quiet
   (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 v w]; array f; string v; array of array w; w is the weight matirx.)
+  ( v may be a ring object. )
   $Example 1: [(x,y) ring_of_polynomials 0] define_ring $
   $           [ [(x^2+y^2-4). (x y -1).] ] syz :: $
   $Example 2: [ [(x^2+y^2) (x y)]   (x,y)  [ [(x) -1 (y) -1] ] ] syz :: $
@@ -1225,7 +1284,9 @@ message-quiet
     } {
       %% Use the ring structre given by the input.
       v isInteger not {
-        (Warning : the given ring definition is not used.) message
+        gb.warning {
+         (Warning : the given ring definition is not used.) message
+        } { } ifelse
       } {  } ifelse
       rr ring_def
       /wv rr gb.getWeight def
@@ -1314,6 +1375,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
@@ -1337,7 +1403,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
@@ -1360,7 +1430,9 @@ message-quiet
     } {
       %% Use the ring structre given by the input.
       v isInteger not {
-        (Warning : the given ring definition is not used.) message
+        gb.warning {
+         (Warning : the given ring definition is not used.) message
+        } { } ifelse
       } {  } ifelse
       rr ring_def
       /wv rr gb.getWeight def
@@ -1418,6 +1490,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) $
@@ -1460,6 +1533,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
@@ -1485,7 +1563,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
@@ -1513,7 +1595,9 @@ message-quiet
     }{
       %% Use the ring structre given by the input.
       v isInteger not {
-        (Warning : the given ring definition is not used.) message
+        gb.warning {
+         (Warning : the given ring definition is not used.) message
+        } { } ifelse
       } {  } ifelse
       rr ring_def
       /wv rr gb.getWeight def
@@ -1567,6 +1651,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 ; $
@@ -1680,6 +1765,8 @@ message-quiet
     jjgg 0 get { [ (toe_) 3 -1 roll ] gbext } map
     /jjgg set
 
+    gb.verbose { (Comparing) message iigg message (and) message jjgg message }
+    {  } ifelse
     gb.verbose { ( ii < jj ?) messagen } {  } ifelse
     iigg length /n set
     0 1 n 1 sub {