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