=================================================================== RCS file: /home/cvs/OpenXM/src/kan96xx/Doc/tower.sm1,v retrieving revision 1.1.1.1 retrieving revision 1.4 diff -u -p -r1.1.1.1 -r1.4 --- OpenXM/src/kan96xx/Doc/tower.sm1 1999/10/08 02:12:02 1.1.1.1 +++ OpenXM/src/kan96xx/Doc/tower.sm1 2004/08/31 04:45:42 1.4 @@ -1,3 +1,4 @@ +%% $OpenXM: OpenXM/src/kan96xx/Doc/tower.sm1,v 1.3 2004/05/13 05:33:10 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. %% 1997, 11/7 s_ring_of_differential_operators at Kobe @@ -327,7 +328,7 @@ tower.verbose vars reverse /xList set %[z y x] vars {@@@.Dsymbol 2 1 roll 2 cat_n} map reverse /dList set %[Dz Dy Dx] - [(H)] xList join [(es) @@@.esymbol ] join /xList set + [@@@.Hsymbol] xList join [(es) @@@.esymbol ] join /xList set %% You cannot change the order of es and e, because %% mmLarger_tower automatically assumes es is at the bottom %% of [nn,n-1] variables. @@ -348,6 +349,7 @@ tower.verbose /univ vars 0 get reverse vars 1 get reverse join def + w-vectors to_int /w-vectors set [ 0 1 << w-vectors length 1 sub >> { @@ -586,7 +588,7 @@ tower.verbose } for ] /dList set - [(H)] xList join [(es) @@@.esymbol ] join /xList set + [@@@.Hsymbol] xList join [(es) @@@.esymbol ] join /xList set %% You cannot change the order of es and e, because %% mmLarger_tower automatically assumes es is at the bottom %% of [nn,n-1] variables.