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

Return to dr.sm1 CVS log

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

-version 1.14, 2003/07/14 12:49:51
+version 1.17, 2003/07/17 23:37:01
 Line 1
 Line 1
 Line 1
- % $OpenXM: OpenXM/src/kan96xx/Kan/dr.sm1,v 1.13 2003/05/16 08:58:52 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 3740  $ [ff ff] fromVectors :: $
 Line 3740  $ [ff ff] fromVectors :: $
 Line 3740  $ [ff ff] fromVectors :: $
  /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
  ;