=================================================================== RCS file: /home/cvs/OpenXM/src/kan96xx/Kan/dr.sm1,v retrieving revision 1.12 retrieving revision 1.15 diff -u -p -r1.12 -r1.15 --- OpenXM/src/kan96xx/Kan/dr.sm1 2003/05/15 00:49:17 1.12 +++ OpenXM/src/kan96xx/Kan/dr.sm1 2003/07/17 09:10:54 1.15 @@ -1,4 +1,4 @@ -% $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.14 2003/07/14 12:49:51 takayama Exp $ %% dr.sm1 (Define Ring) 1994/9/25, 26 %% This file is error clean. @@ -2544,28 +2544,30 @@ newline ] putUsages /ord_w_all { /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 /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 /zzz (0) rrr ,, def fff init /fff-in set fff fff-in sub /fff set - /ddd 0 def { + /ddd-tmp 0 def 0 2 www length 1 sub { /iii set fff-in << www iii get rrr ,, >> degree << www iii 1 add get >> mul - ddd add /ddd set + ddd-tmp add /ddd-tmp set } for + ddd-tmp ddd gt { /ddd ddd-tmp def } { } ifelse fff zzz eq { exit } { } ifelse fff init /fff-in set fff fff-in sub /fff set } loop - /ord_w.LLL + /ord_w_all.LLL /arg1 ddd def ] pop popVariables @@ -3724,6 +3726,44 @@ $ [ff ff] fromVectors :: $ ] pop popVariables 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 + +[(beginEcart) + [ + (beginEcart) + (Set the environments for the ecart division algorithm.) + ] +] putUsages + +/beginEcart { + (red@) (ecart) switch_function + [(Ecart) 1] system_variable +} def + +[(endEcart) + [ + (endEcart) + (End of using the ecart division algorithm.) + ] +] putUsages + +/endEcart { + (red@) (standard) switch_function + [(Ecart) 0] system_variable } def ;