version 1.34, 2004/09/01 05:06:09 |
version 1.36, 2004/09/09 11:42:22 |
|
|
% $OpenXM: OpenXM/src/kan96xx/Kan/dr.sm1,v 1.33 2004/08/31 05:30:20 takayama Exp $ |
% $OpenXM: OpenXM/src/kan96xx/Kan/dr.sm1,v 1.35 2004/09/09 03:14:46 takayama Exp $ |
%% dr.sm1 (Define Ring) 1994/9/25, 26 |
%% dr.sm1 (Define Ring) 1994/9/25, 26 |
%% This file is error clean. |
%% This file is error clean. |
|
|
|
|
} def |
} def |
%%end of function |
%%end of function |
|
|
/rest { % returns remainder of a given list |
/rest { |
[ 2 1 roll aload length -1 roll pop ] |
/arg1 set [(Krest) arg1] extension |
} def |
} def |
[(rest) |
[(rest) |
[(array rest the-rest-of-the-array) |
[(array rest the-rest-of-the-array) |
Line 4189 $ [ff ff] fromVectors :: $ |
|
Line 4189 $ [ff ff] fromVectors :: $ |
|
( ma (dog) getNode ) |
( ma (dog) getNode ) |
]] putUsages |
]] putUsages |
|
|
|
/cons { |
|
/arg2 set /arg1 set |
|
[/aa /bb] pushVariables |
|
[ |
|
/aa arg1 def /bb arg2 def |
|
[aa] (list) dc bb join /arg1 set |
|
] pop |
|
popVariables |
|
arg1 |
|
} def |
|
[(cons) |
|
[(obj list cons list) |
|
]] putUsages |
|
|
/usages { |
/usages { |
/arg1 set |
/arg1 set |