===================================================================
RCS file: /home/cvs/OpenXM/src/kan96xx/Doc/ecart.sm1,v
retrieving revision 1.7
retrieving revision 1.9
diff -u -p -r1.7 -r1.9
--- OpenXM/src/kan96xx/Doc/ecart.sm1	2003/08/18 06:36:50	1.7
+++ OpenXM/src/kan96xx/Doc/ecart.sm1	2003/08/22 23:55:21	1.9
@@ -1,4 +1,4 @@
-% $OpenXM: OpenXM/src/kan96xx/Doc/ecart.sm1,v 1.6 2003/08/13 03:52:25 takayama Exp $ 
+% $OpenXM: OpenXM/src/kan96xx/Doc/ecart.sm1,v 1.8 2003/08/21 12:28:58 takayama Exp $ 
 %[(parse) (hol.sm1) pushfile] extension
 %[(parse) (appell.sm1) pushfile] extension
 
@@ -7,6 +7,14 @@
 /ecart.end   { endEcart } def
 /ecart.autoHomogenize 1 def
 /ecart.needSyz 0 def
+/ecartd.begin { 
+  ecart.begin
+  [(EcartAutomaticHomogenization) 1] system_variable
+} def
+/ecartd.end {  
+  ecart.end 
+  [(EcartAutomaticHomogenization) 0] system_variable
+} def
 
 /ecart.dehomogenize {
  /arg1 set
@@ -157,7 +165,9 @@
   $             [ [ (Dx) 1 ] [(x) -1 (y) -1 (Dx) 1 (Dy) 1]] ] ecart.gb pmat ; $
   (Example 2: )
   $ [ [(2 x Dx + 3 y Dy+6) (2 y Dx + 3 x^2 Dy)] (x,y) $
-  $   [[(x) -1 (Dx) 1 (y) -1 (Dy) 1]]] ecart.gb  pmat ;$
+  $   [[(x) -1 (Dx) 1 (y) -1 (Dy) 1]]] ecart.gb  /ff set ff pmat ;$
+  (To set the current ring to the ring in which ff belongs )
+  (      ff getRing ring_def  )
   (  )
   $Example 3: [ [( (x Dx)^2 + (y Dy)^2 -1) (  x y Dx Dy -1)] (x,y) $
   $             [ [ (Dx) 1 (Dy) 1] ] ] ecart.gb pmat ; $
@@ -430,12 +440,14 @@
   (array a; array b;)
   $b : [syzygy gb tmat input];  gb = tmat * input $
   $Example 1: [ [( (x Dx)^2 + (y Dy)^2 -1) (  x y Dx Dy -1)] (x,y) $
-  $             [ [ (Dx) 1 (Dy) 1] ] ] ecart.syz /ff set $
+  $             [ [ (Dx) 1 (Dy) 1] [(x) -1 (y) -1 (Dx) 1 (Dy) 1]] ] ecart.syz /ff set $
   $ ff 0 get ff 3 get mul pmat $
   $ ff 2 get  ff 3 get mul [ff 1 get ] transpose sub pmat ; $
   (  )
+  (To set the current ring to the ring in which ff belongs )
+  (      ff getRing ring_def  )
   $Example 2: [[ [(x^2) (y+x)] [(x+y) (y^3)] [(2 x^2+x y) (y+x+x y^3)]] (x,y) $
-  $             [ [ (x) -1 (y) -1] ]  [[0 1] [-3 1] ] ] ecart.syz pmat ; $
+  $             [ [(Dx) 1 (Dy) 1] [ (x) -1 (y) -1] ]  [[0 1] [-3 1] ] ] ecart.syz pmat ; $
   (  )
   (cf. ecart.gb)
   (    /ecart.autoHomogenize 0 def )
@@ -766,8 +778,7 @@
     %%BUG: case of v is integer
     v ecart.checkOrder
 
-    ecart.begin
-    [(EcartAutomaticHomogenization) 1] system_variable
+    ecartd.begin
 
     ecart.gb.verbose { (gb.options = ) messagen gb.options message } { } ifelse
 
@@ -802,8 +813,7 @@
       ifelse
     } ifelse
 
-    ecart.end
-    [(EcartAutomaticHomogenization) 0] system_variable
+    ecartd.end
 
     %% 
     env1 restoreOptions  %% degreeShift changes "grade"