[BACK]Return to var.sm1 CVS log [TXT][DIR] Up to [local] / OpenXM / src / kan96xx / Kan

Diff for /OpenXM/src/kan96xx/Kan/var.sm1 between version 1.1 and 1.4

version 1.1, 1999/10/08 02:12:02 version 1.4, 2004/09/16 23:53:44
Line 1 
Line 1 
   % $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  %% 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  %%(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  /sm1.var.Verbose 0 def
 /@@@.quiet.var 1 def  /@@@.quiet.var 1 def
 @@@.quiet.var {   }  @@@.quiet.var {   }
Line 120 
Line 123 
 } def  } def
   
 %%% Usages.  %%% 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)
  [(db.where shows the db.VariableStack)   [(db.where shows the db.VariableStack)
Line 217  initv 
Line 214  initv 
 %%% if you like rigorous naming system execute the following command.  %%% if you like rigorous naming system execute the following command.
 /strictMode {  /strictMode {
 [(Strict2) 1] system_variable  [(Strict2) 1] system_variable
 [(chattrs) 1] extension  [(or_attrs) 1] extension
 [(chattr) 0 /arg1] extension  [(chattr) 0 /arg1] extension
 [(chattr) 0 /arg2] extension  [(chattr) 0 /arg2] extension
 [(chattr) 0 /arg3] extension  [(chattr) 0 /arg3] extension
 [(chattr) 0 /v1] extension  %% used in join.  [(chattr) 0 /v1] extension  %% used in join.
 [(chattr) 0 /v2] extension  [(chattr) 0 /v2] extension
 [(chattr) 0 /@.usages] 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 {   }  @@@.quiet.var {   }
 { (var.sm1 : Strict control of the name space is enabled. (cf. extension)) message }  { (var.sm1 : Strict control of the name space is enabled. (cf. extension)) message }
 ifelse  ifelse
Line 238  ifelse
Line 239  ifelse
 } def  } def
 [(debugMode)  [(debugMode)
  [(debugMode overrides on the functions pushVariables and popVariables)   [(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  ] putUsages
   
Legend:
Removed from v.1.1  
changed lines
  Added in v.1.4
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>