===================================================================
RCS file: /home/cvs/OpenXM/src/kan96xx/Doc/dhecart.sm1,v
retrieving revision 1.3
retrieving revision 1.4
diff -u -p -r1.3 -r1.4
--- OpenXM/src/kan96xx/Doc/dhecart.sm1	2004/09/14 11:51:20	1.3
+++ OpenXM/src/kan96xx/Doc/dhecart.sm1	2005/06/19 08:29:02	1.4
@@ -1,4 +1,4 @@
-% $OpenXM: OpenXM/src/kan96xx/Doc/dhecart.sm1,v 1.2 2004/07/31 02:23:02 takayama Exp $
+% $OpenXM: OpenXM/src/kan96xx/Doc/dhecart.sm1,v 1.3 2004/09/14 11:51:20 takayama Exp $
 % Stdbasis via the double homogenization:  dx x = x dx + h H
 % Homogenize=3
 (ecart_loaded) boundp { }
@@ -45,12 +45,13 @@
   /arg1 set
   [/in-dh.gb /aa /typev /setarg /f /v 
    /gg /wv /vec /ans /rr /mm
-   /env2 /ans.gb
+   /env2 /ans.gb /groebnerOptions
   ] pushVariables 
   [(CurrentRingp) (KanGBmessage)] pushEnv
   [
     /aa arg1 def
     aa isArray { } { ( << array >> dh.gb) error } ifelse
+    aa getAttributeList configureGroebnerOption /groebnerOptions set
     /setarg 0 def
     /wv 0 def
 
@@ -134,8 +135,10 @@
 
     [v] ecart.checkOrder 
 
-    dh.gb.verbose { (gb.options = ) dh.messagen gb.options dh.message } { } ifelse
+    groebnerOptions gb.options mergeGroebnerOptions /groebnerOptions set
+    gb.verbose { (groebnerOptions = ) messagen groebnerOptions message } { } ifelse
 
+
    dh.autoHomogenize not {
 % No automatic hH-homogenization.
        f { {. } map} map /f set   
@@ -149,9 +152,9 @@
    } ifelse
 
    dh.needSyz {
-     [f [(needSyz)] gb.options join ] groebner /gg set
+     [f [(needSyz)] groebnerOptions join ] groebner /gg set
    } {  
-     [f gb.options] groebner 0 get /gg set
+     [f groebnerOptions] groebner 0 get /gg set
    } ifelse
 
 
@@ -178,6 +181,7 @@
     } ifelse
 
     dh.end
+    ans gg getAttributeList setAttributeList /ans set
 
     ans getRing (oxRingStructure) dc /dh.gb.oxRingStructure set
     %% 
@@ -214,9 +218,18 @@
   (To set the current ring to the ring in which ff belongs )
   (      ff getRing ring_def  )
   ( )
+  (To set the current ring to the ring in which ff belongs )
+  (      ff getRing ring_def  )
+  ( )
   (Data:  dh.p1, dh.p2, dh.p3 )
   (In order to get a standard basis of the test data, type in dh.test.p1, ...)
   (  )
+  (Example 3: )
+  $ /gb.verbose 1 def $
+  $ [ [(2 x Dx + 3 y Dy+6) (2 y Dx + 3 x^2 Dy)] (x,y) $
+  $   [[(x) -1 (Dx) 1 (y) -1 (Dy) 1]]] $
+  $ [(gbCheck) 1] setAttributeList dh.gb getAttributeList :: $
+  ( )
 ]] putUsages
 
 %Test input.