===================================================================
RCS file: /home/cvs/OpenXM/src/kan96xx/Kan/var.sm1,v
retrieving revision 1.1.1.1
retrieving revision 1.4
diff -u -p -r1.1.1.1 -r1.4
--- OpenXM/src/kan96xx/Kan/var.sm1	1999/10/08 02:12:02	1.1.1.1
+++ OpenXM/src/kan96xx/Kan/var.sm1	2004/09/16 23:53:44	1.4
@@ -1,8 +1,11 @@
-
-
+% $OpenXM: OpenXM/src/kan96xx/Kan/var.sm1,v 1.3 2000/01/20 01:34:48 takayama Exp $
 %% start of var.sm1.  1997, 2/27
 %%(type in initv to initialize the variable stack and type in test.var to start a test) message
 
+(var.sm1 : Version 3/7, 1997) message
+%% Execute debugMode to override pushVariables and popVariables by
+%% localVariables and restroreVariables.
+
 /sm1.var.Verbose 0 def
 /@@@.quiet.var 1 def
 @@@.quiet.var {   }
@@ -120,12 +123,6 @@
 } def
 
 %%% Usages.
-[(resolution)
- [(Efficient resolution is still be tested. See Kan/debug/tower-sugar.sm1)
-  (DMacaulay provides a function to compute resolution in the ring of)
-  (homogenized differential operators. See http://www.math.kobe-u.ac.jp/KAN)
- ]
-] putUsages
 
 [(db.where)
  [(db.where shows the db.VariableStack)
@@ -217,13 +214,17 @@ initv 
 %%% if you like rigorous naming system execute the following command.
 /strictMode {
 [(Strict2) 1] system_variable
-[(chattrs) 1] extension
+[(or_attrs) 1] extension
 [(chattr) 0 /arg1] extension
 [(chattr) 0 /arg2] extension
 [(chattr) 0 /arg3] extension
 [(chattr) 0 /v1] extension  %% used in join.
 [(chattr) 0 /v2] extension
 [(chattr) 0 /@.usages] extension
+[(chattr) 0 /@@@expand.arg1] extension
+[(chattr) 0 /f-expand] extension
+[(chattr) 0 /f-ans] extension
+[(chattr) 0 /in-expand] extension
 @@@.quiet.var {   }
 { (var.sm1 : Strict control of the name space is enabled. (cf. extension)) message }
 ifelse
@@ -238,7 +239,8 @@ ifelse
 } def
 [(debugMode)
  [(debugMode overrides on the functions pushVariables and popVariables)
-  (and enables to use db.where)
+  (and enables to use db.where.  Never execute debugMode inside a block of)
+  (pushVariables and popVariables)
  ]
 ] putUsages