OpenXM/src/kan96xx/Kan/dr.sm1 - diff

Return to dr.sm1 CVS log

Up to [local] / OpenXM / src / kan96xx / Kan

-version 1.13, 2003/05/16 08:58:52
+version 1.17, 2003/07/17 23:37:01
 Line 1
 Line 1
 Line 1
- % $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.
 Line 3726  $ [ff ff] fromVectors :: $
 Line 3726  $ [ff ff] fromVectors :: $
 Line 3726  $ [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
  ;