version 1.16, 2003/07/17 12:11:09 |
version 1.17, 2003/07/17 23:37:01 |
|
|
% $OpenXM: OpenXM/src/kan96xx/Kan/dr.sm1,v 1.15 2003/07/17 09:10:54 takayama Exp $ |
% $OpenXM: OpenXM/src/kan96xx/Kan/dr.sm1,v 1.16 2003/07/17 12:11:09 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 3755 $ [ff ff] fromVectors :: $ |
|
Line 3755 $ [ff ff] fromVectors :: $ |
|
[(CheckHomogenization) 0] system_variable |
[(CheckHomogenization) 0] system_variable |
[(ReduceLowerTerms) 0] system_variable |
[(ReduceLowerTerms) 0] system_variable |
[(AutoReduce) 0] system_variable |
[(AutoReduce) 0] system_variable |
|
[(EcartAutomaticHomogenization) 0] system_variable |
} def |
} def |
|
|
[(endEcart) |
[(endEcart) |