[BACK]Return to tower.sm1 CVS log [TXT][DIR] Up to [local] / OpenXM / src / kan96xx / Doc

Diff for /OpenXM/src/kan96xx/Doc/tower.sm1 between version 1.1.1.1 and 1.5

version 1.1.1.1, 1999/10/08 02:12:02 version 1.5, 2004/08/31 05:30:20
Line 1 
Line 1 
   %% $OpenXM: OpenXM/src/kan96xx/Doc/tower.sm1,v 1.4 2004/08/31 04:45:42 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.
 %% 1997, 11/7   s_ring_of_differential_operators  at Kobe  %% 1997, 11/7   s_ring_of_differential_operators  at Kobe
Line 327  tower.verbose
Line 328  tower.verbose
      vars reverse /xList set         %[z y x]       vars reverse /xList set         %[z y x]
      vars {@@@.Dsymbol 2 1 roll 2 cat_n} map       vars {@@@.Dsymbol 2 1 roll 2 cat_n} map
      reverse /dList set              %[Dz Dy Dx]       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      %% You cannot change the order of es and e, because
     %% mmLarger_tower automatically assumes es is at the bottom      %% mmLarger_tower automatically assumes es is at the bottom
     %% of [nn,n-1] variables.      %% of [nn,n-1] variables.
Line 348  tower.verbose
Line 349  tower.verbose
     /univ vars 0 get reverse      /univ vars 0 get reverse
           vars 1 get reverse join            vars 1 get reverse join
     def      def
       w-vectors to_int32 /w-vectors set
     [      [
     0 1 << w-vectors length 1 sub >>      0 1 << w-vectors length 1 sub >>
     {      {
Line 586  tower.verbose
Line 588  tower.verbose
           } for            } for
      ] /dList set       ] /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       %% You cannot change the order of es and e, because
      %% mmLarger_tower automatically assumes es is at the bottom       %% mmLarger_tower automatically assumes es is at the bottom
      %% of [nn,n-1] variables.       %% of [nn,n-1] variables.

Legend:
Removed from v.1.1.1.1  
changed lines
  Added in v.1.5

FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>