version 1.12, 2003/05/15 00:49:17 |
version 1.14, 2003/07/14 12:49:51 |
|
|
% $OpenXM: OpenXM/src/kan96xx/Kan/dr.sm1,v 1.11 2003/05/15 00:42:07 takayama Exp $ |
% $OpenXM: OpenXM/src/kan96xx/Kan/dr.sm1,v 1.13 2003/05/16 08:58:52 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. |
|
|
|
|
] putUsages |
] putUsages |
/ord_w_all { |
/ord_w_all { |
/arg2 set /arg1 set |
/arg2 set /arg1 set |
[/ord_w-in /fff /fff-in /www /rrr /iii /ddd /zzz] pushVariables |
[/ord_w_all-in /fff /fff-in /www /rrr /iii /ddd /zzz /ddd-tmp] pushVariables |
[ |
[ |
/fff arg1 def |
/fff arg1 def |
/www arg2 def |
/www arg2 def |
fff (0). eq { /ddd -intInfinity def /ord_w.LLL goto} { } ifelse |
fff (0). eq { /ddd -intInfinity def /ord_w_all.LLL goto} { } ifelse |
|
/ddd -intInfinity def |
fff (ring) dc /rrr set |
fff (ring) dc /rrr set |
/zzz (0) rrr ,, def |
/zzz (0) rrr ,, def |
fff init /fff-in set |
fff init /fff-in set |
fff fff-in sub /fff set |
fff fff-in sub /fff set |
/ddd 0 def |
|
{ |
{ |
|
/ddd-tmp 0 def |
0 2 www length 1 sub { |
0 2 www length 1 sub { |
/iii set |
/iii set |
fff-in << www iii get rrr ,, >> degree |
fff-in << www iii get rrr ,, >> degree |
<< www iii 1 add get >> mul |
<< www iii 1 add get >> mul |
ddd add /ddd set |
ddd-tmp add /ddd-tmp set |
} for |
} for |
|
ddd-tmp ddd gt { /ddd ddd-tmp def } { } ifelse |
fff zzz eq { exit } { } ifelse |
fff zzz eq { exit } { } ifelse |
fff init /fff-in set |
fff init /fff-in set |
fff fff-in sub /fff set |
fff fff-in sub /fff set |
} loop |
} loop |
/ord_w.LLL |
/ord_w_all.LLL |
/arg1 ddd def |
/arg1 ddd def |
] pop |
] pop |
popVariables |
popVariables |
Line 3724 $ [ff ff] fromVectors :: $ |
|
Line 3726 $ [ff ff] fromVectors :: $ |
|
] pop |
] pop |
popVariables |
popVariables |
arg1 |
arg1 |
|
} def |
|
|
|
[(execve) |
|
[ |
|
(command execve) |
|
([arg0 arg1 arg2 ...] execve ) |
|
(It executes the command by the system call execve.) |
|
(cf. system, forkExec) |
|
] |
|
] putUsages |
|
|
|
/execve { |
|
/execve.arg set |
|
[(forkExec) execve.arg [ ] 1] extension |
} def |
} def |
|
|
; |
; |