===================================================================
RCS file: /home/cvs/OpenXM/src/kan96xx/Kan/dr.sm1,v
retrieving revision 1.1
retrieving revision 1.4
diff -u -p -r1.1 -r1.4
--- OpenXM/src/kan96xx/Kan/dr.sm1	1999/10/08 02:12:02	1.1
+++ OpenXM/src/kan96xx/Kan/dr.sm1	2000/06/15 07:33:29	1.4
@@ -1,8 +1,9 @@
+% $OpenXM: OpenXM/src/kan96xx/Kan/dr.sm1,v 1.3 2000/02/02 09:07:59 takayama Exp $
 %% dr.sm1 (Define Ring) 1994/9/25, 26
 %% This file is error clean.
 
 @@@.quiet {   }
-{ (macro package : dr.sm1,   9/26,1995 --- Version 9/8, 1999. ) message } ifelse
+{ (macro package : dr.sm1,   9/26,1995 --- Version 6/15, 2000. ) message } ifelse
 
 /ctrlC-hook {
 %%% define your own routing in case of error.
@@ -1527,7 +1528,7 @@
     /obj arg1 def
     obj isArray 
     { 
-       ( [ )
+       [(LeftBracket)] system_variable %%( [ )
        obj {toString.tmp2} map /r set
        /n r length 1 sub def
        [0 1  n  {
@@ -1539,7 +1540,7 @@
           ifelse
         } for
        ] aload length cat_n
-       ( ] )
+       [(RightBracket)] system_variable %%( ] )
        3 cat_n
      }
      {
@@ -3027,6 +3028,50 @@ newline
    arg1
 } def
 
+/distraction2* {
+  /arg1 set
+  [/in-distraction2* /aa /f /vlist /xlist /dlist /slist ] pushVariables
+  [(CurrentRingp)] pushEnv
+  [
+     /aa arg1 def
+     /f aa 0 get def
+     /vlist aa 1 get def
+     /xlist aa 2 get def
+     /dlist aa 3 get def
+     /slist aa 4 get def
+     vlist isArray 
+     {
+        vlist { toString } map   /vlist set
+     }
+     {
+        vlist toString to_records  /vlist set
+      } ifelse
+     xlist isArray 
+     {
+        xlist { toString } map   /xlist set
+     }
+     {
+        xlist toString to_records  /xlist set
+      } ifelse
+     slist isArray 
+     {
+        slist { toString } map   /slist set
+     }
+     {
+        slist toString to_records  /slist set
+      } ifelse
+     [vlist from_records ring_of_differential_operators 0] define_ring pop
+     f toString .
+     xlist { . } map
+     dlist { toString . } map
+     slist { toString . } map
+     distraction2 /arg1 set
+  ] pop
+  popEnv
+  popVariables
+  arg1
+} def
+
 /message-quiet  {
   @@@.quiet { pop } { message } ifelse
 } def
@@ -3487,6 +3532,33 @@ $ [ff ff] fromVectors :: $ 
 [(nl)
 [(nl is the newline character.)
  $Example: [(You can break line) nl (here.)] cat message$
+]] putUsages
+
+/to_int {
+  /arg1 set
+  [/to-int /ob /ans] pushVariables
+  [
+    /ob arg1 def
+    /ans ob def
+    ob isArray {
+      ob {to_int} map /ans set
+      /LLL.to_int goto
+    } {  } ifelse
+    ob isInteger {
+      ob (universalNumber) dc /ans set
+      /LLL.to_int goto
+    } {  } ifelse
+    /LLL.to_int
+    /arg1 ans def
+  ] pop
+  popVariables
+  arg1
+} def
+[(to_int)
+[(obj to_int obj2)
+ (All integers in obj are changed to universalNumber.)
+ (Example: /ff [1 2 [(hello) (0).]] def  ff { tag } map ::)
+ (         ff to_int { tag } map :: )
 ]] putUsages
 
 ;