| version 1.13, 2003/05/16 08:58:52 |
version 1.18, 2003/08/20 01:39:16 |
|
|
| % $OpenXM: OpenXM/src/kan96xx/Kan/dr.sm1,v 1.12 2003/05/15 00:49:17 takayama Exp $ |
% $OpenXM: OpenXM/src/kan96xx/Kan/dr.sm1,v 1.17 2003/07/17 23:37:01 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 |
| |
|
| /cancelCoeff { |
/cancelCoeff { |
| |
/arg1 set |
| |
[(reduceContent) arg1] gbext 0 get |
| |
} def |
| |
/cancelCoeff_org { |
| /arg1 set |
/arg1 set |
| [/in-cancelCoeff /ff /gg /dd /dd2] pushVariables |
[/in-cancelCoeff /ff /gg /dd /dd2] pushVariables |
| [ /ff arg1 def |
[ /ff arg1 def |
| Line 3726 $ [ff ff] fromVectors :: $ |
|
| Line 3730 $ [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 |
| |
|
| |
[(beginEcart) |
| |
[ |
| |
(beginEcart) |
| |
(Set the environments for the ecart division algorithm.) |
| |
] |
| |
] putUsages |
| |
|
| |
/beginEcart { |
| |
(red@) (ecart) switch_function |
| |
[(Ecart) 1] system_variable |
| |
[(CheckHomogenization) 0] system_variable |
| |
[(ReduceLowerTerms) 0] system_variable |
| |
[(AutoReduce) 0] system_variable |
| |
[(EcartAutomaticHomogenization) 0] system_variable |
| |
} def |
| |
|
| |
[(endEcart) |
| |
[ |
| |
(endEcart) |
| |
(End of using the ecart division algorithm.) |
| |
] |
| |
] putUsages |
| |
|
| |
/endEcart { |
| |
(red@) (standard) switch_function |
| |
[(Ecart) 0] system_variable |
| } def |
} def |
| |
|
| ; |
; |