===================================================================
RCS file: /home/cvs/OpenXM/src/kan96xx/Kan/dr.sm1,v
retrieving revision 1.13
retrieving revision 1.17
diff -u -p -r1.13 -r1.17
--- OpenXM/src/kan96xx/Kan/dr.sm1	2003/05/16 08:58:52	1.13
+++ OpenXM/src/kan96xx/Kan/dr.sm1	2003/07/17 23:37:01	1.17
@@ -1,4 +1,4 @@
-% $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.16 2003/07/17 12:11:09 takayama Exp $
 %% dr.sm1 (Define Ring) 1994/9/25, 26
 %% This file is error clean.
 
@@ -3726,6 +3726,48 @@ $ [ff ff] fromVectors :: $ 
   ] pop
   popVariables
   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
 
 ;