version 1.1.1.1, 1999/10/08 02:12:02 |
version 1.3, 2004/05/13 05:33:10 |
|
|
|
%% $OpenXM: OpenXM/src/kan96xx/Doc/tower.sm1,v 1.2 2000/04/19 08:01:32 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 |
|
|
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. |
|
|
} 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. |