version 1.1.1.1, 1999/10/08 02:12:02 |
version 1.3, 2000/01/20 01:34:48 |
|
|
|
% $OpenXM: OpenXM/src/kan96xx/Kan/var.sm1,v 1.2 1999/11/08 09:15:01 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 { } |
|
|
} 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) |
|
|
[(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 |
|
|
} 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 |
|
|