| version 1.15, 2003/07/17 09:10:54 |
version 1.16, 2003/07/17 12:11:09 |
|
|
| % $OpenXM: OpenXM/src/kan96xx/Kan/dr.sm1,v 1.14 2003/07/14 12:49:51 takayama Exp $ |
% $OpenXM: OpenXM/src/kan96xx/Kan/dr.sm1,v 1.15 2003/07/17 09:10:54 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 3752 $ [ff ff] fromVectors :: $ |
|
| Line 3752 $ [ff ff] fromVectors :: $ |
|
| /beginEcart { |
/beginEcart { |
| (red@) (ecart) switch_function |
(red@) (ecart) switch_function |
| [(Ecart) 1] system_variable |
[(Ecart) 1] system_variable |
| |
[(CheckHomogenization) 0] system_variable |
| |
[(ReduceLowerTerms) 0] system_variable |
| |
[(AutoReduce) 0] system_variable |
| } def |
} def |
| |
|
| [(endEcart) |
[(endEcart) |
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to dr.sm1 CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM / src / kan96xx / Kan