version 1.22, 2003/08/26 12:46:04 |
version 1.23, 2003/09/12 02:52:50 |
|
|
% $OpenXM: OpenXM/src/kan96xx/Kan/dr.sm1,v 1.21 2003/08/24 05:25:58 takayama Exp $ |
% $OpenXM: OpenXM/src/kan96xx/Kan/dr.sm1,v 1.22 2003/08/26 12:46:04 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 3753 $ [ff ff] fromVectors :: $ |
|
Line 3753 $ [ff ff] fromVectors :: $ |
|
] |
] |
] putUsages |
] putUsages |
|
|
|
/ecart.debug_reduction1 0 def |
/beginEcart { |
/beginEcart { |
(red@) (ecart) switch_function |
(red@) (ecart) switch_function |
[(Ecart) 1] system_variable |
[(Ecart) 1] system_variable |
Line 3760 $ [ff ff] fromVectors :: $ |
|
Line 3761 $ [ff ff] fromVectors :: $ |
|
[(ReduceLowerTerms) 0] system_variable |
[(ReduceLowerTerms) 0] system_variable |
[(AutoReduce) 0] system_variable |
[(AutoReduce) 0] system_variable |
[(EcartAutomaticHomogenization) 0] system_variable |
[(EcartAutomaticHomogenization) 0] system_variable |
|
ecart.debug_reduction1 { |
|
(red@) (debug) switch_function |
|
} { } ifelse |
} def |
} def |
|
|
[(endEcart) |
[(endEcart) |