OpenXM/src/k097/lib/minimal/k0-tower.sm1 - diff

Return to k0-tower.sm1 CVS log

Up to [local] / OpenXM / src / k097 / lib / minimal

version 1.1, 2000/05/03 06:42:07

version 1.2, 2000/05/06 07:58:37

Line 1

%% $OpenXM$

%% $OpenXM: OpenXM/src/k097/lib/minimal/k0-tower.sm1,v 1.1 2000/05/03 06:42:07 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/27 -- 29 at Oberwolfach.

Line 17 tower.version [(Version)] system_variable gt

error

} { } ifelse

/debug.res0 0 def

/debug.res0 1 def

/debug.sResolution 0 def

/stat.tower 0 def

/tower.verbose 0 def

Line 146 tower.verbose

stat.tower { (Done. Number of skelton is ) messagen betti message } { } ifelse

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

(schreyerSkelton g : ) messagen skel message

(Doing reduction ) messagen

Line 168 tower.verbose

Line 170 tower.verbose

si g i get mul

sj g j get mul add

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 {

tower.verbose { (.) messagen [(flush)] extension pop } { } ifelse

}