version 1.14, 2003/07/14 12:49:51 |
version 1.18, 2003/08/20 01:39:16 |
|
|
% $OpenXM: OpenXM/src/kan96xx/Kan/dr.sm1,v 1.13 2003/05/16 08:58:52 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 3740 $ [ff ff] fromVectors :: $ |
|
Line 3744 $ [ff ff] fromVectors :: $ |
|
/execve { |
/execve { |
/execve.arg set |
/execve.arg set |
[(forkExec) execve.arg [ ] 1] extension |
[(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 |
|
|
; |
; |