version 1.35, 2004/09/09 03:14:46 |
version 1.36, 2004/09/09 11:42:22 |
|
|
% $OpenXM: OpenXM/src/kan96xx/Kan/dr.sm1,v 1.34 2004/09/01 05:06:09 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. |
|
|
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 |