[BACK]Return to k0-tower.sm1 CVS log [TXT][DIR] Up to [local] / OpenXM / src / k097 / lib / minimal

Diff for /OpenXM/src/k097/lib/minimal/k0-tower.sm1 between version 1.1 and 1.3

version 1.1, 2000/05/03 06:42:07 version 1.3, 2000/08/02 05:14:30
Line 1 
Line 1 
 %%  $OpenXM$  %%  $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.
Line 17  tower.version [(Version)] system_variable gt
Line 17  tower.version [(Version)] system_variable gt
   error    error
 } { } ifelse  } { } ifelse
   
 /debug.res0 0 def  /debug.res0 1 def
 /debug.sResolution 0 def  /debug.sResolution 0 def
 /stat.tower 0 def  /stat.tower 0 def
 /tower.verbose 0 def  /tower.verbose 0 def
Line 146  tower.verbose
Line 146  tower.verbose
     stat.tower { (Done. Number of skelton is ) messagen betti message } { } ifelse      stat.tower { (Done. Number of skelton is ) messagen betti message } { } ifelse
   
     debug.res0      debug.res0
       { (init of original g : ) messagen g {init} map  message        { (  ) message
           (g=) messagen g message
           (init of original g : ) messagen g {init} map  message
         (length of skelton ) messagen betti message          (length of skelton ) messagen betti message
         (schreyerSkelton g : ) messagen skel message          (schreyerSkelton g : ) messagen skel message
         (Doing reduction ) messagen          (Doing reduction ) messagen
Line 168  tower.verbose
Line 170  tower.verbose
        si  g  i get mul         si  g  i get mul
        sj  g  j get mul  add         sj  g  j get mul  add
        grG reduction /tmp set  % si g[i] + sj g[j] + \sum tmp[2][k] g[k] = 0.         grG reduction /tmp set  % si g[i] + sj g[j] + \sum tmp[2][k] g[k] = 0.
          debug.res0 {
            (   ) message
            (pair=) messagen pair message
            (reducing ) messagen
            si  g  i get mul
            sj  g  j get mul  add   message
            (by g=) messagen g message
            (The result is tmp=) messagen tmp message
            (   ) message
          } { } ifelse
        tmp 0 get (0). eq {         tmp 0 get (0). eq {
            tower.verbose { (.) messagen  [(flush)] extension pop } { } ifelse             tower.verbose { (.) messagen  [(flush)] extension pop } { } ifelse
        }         }
Line 398  tower.verbose
Line 410  tower.verbose
   
   
 /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
Line 429  tower.verbose
Line 441  tower.verbose
   [ [(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.
Legend:
Removed from v.1.1  
changed lines
  Added in v.1.3
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>