version 1.3, 2004/05/13 05:33:10 |
version 1.4, 2004/08/31 04:45:42 |
|
|
%% $OpenXM: OpenXM/src/kan96xx/Doc/tower.sm1,v 1.2 2000/04/19 08:01:32 takayama Exp $ |
%% $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/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 |
|
|
/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_int /w-vectors set |
[ |
[ |
0 1 << w-vectors length 1 sub >> |
0 1 << w-vectors length 1 sub >> |
{ |
{ |