version 1.2, 2000/05/06 07:58:37 |
version 1.3, 2000/08/02 05:14:30 |
|
|
%% $OpenXM: OpenXM/src/k097/lib/minimal/k0-tower.sm1,v 1.1 2000/05/03 06:42:07 takayama Exp $ |
%% $OpenXM: OpenXM/src/k097/lib/minimal/k0-tower.sm1,v 1.2 2000/05/06 07:58:37 takayama Exp $ |
|
|
%% It is used to check the mmLarger_tower, 1997, 10/26 at Heidelberg. |
%% It is used to check the mmLarger_tower, 1997, 10/26 at Heidelberg. |
%% It is used to check the mmLarger_tower, 1997, 10/27 -- 29 at Oberwolfach. |
%% It is used to check the mmLarger_tower, 1997, 10/27 -- 29 at Oberwolfach. |
|
|
|
|
|
|
/setupEnvForResolution { |
/setupEnvForResolution { |
getOptions /opts set |
getOptions /setupEnvForResolution.opts set |
[(Homogenize_vec)] system_variable 1 eq |
[(Homogenize_vec)] system_variable 1 eq |
{ [(Homogenize_vec) 0] system_variable |
{ [(Homogenize_vec) 0] system_variable |
(grade) (module1v) switch_function |
(grade) (module1v) switch_function |
|
|
[ [(AvoidTheSameRing) 0] system_variable |
[ [(AvoidTheSameRing) 0] system_variable |
[(gbListTower) [[ ]] (list) dc] system_variable |
[(gbListTower) [[ ]] (list) dc] system_variable |
] pop popEnv |
] pop popEnv |
opts restoreOptions |
setupEnvForResolution.opts restoreOptions |
} def |
} def |
|
|
%%%%% 1998, 4/11. To get frame for homogenized resolutions. |
%%%%% 1998, 4/11. To get frame for homogenized resolutions. |