===================================================================
RCS file: /home/cvs/OpenXM/src/kan96xx/Doc/dhecart.sm1,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -p -r1.2 -r1.3
--- OpenXM/src/kan96xx/Doc/dhecart.sm1	2004/07/31 02:23:02	1.2
+++ OpenXM/src/kan96xx/Doc/dhecart.sm1	2004/09/14 11:51:20	1.3
@@ -1,4 +1,4 @@
-% $OpenXM: OpenXM/src/kan96xx/Doc/dhecart.sm1,v 1.1 2004/07/29 08:13:42 takayama Exp $
+% $OpenXM: OpenXM/src/kan96xx/Doc/dhecart.sm1,v 1.2 2004/07/31 02:23:02 takayama Exp $
 % Stdbasis via the double homogenization:  dx x = x dx + h H
 % Homogenize=3
 (ecart_loaded) boundp { }
@@ -132,7 +132,7 @@
 
     dh.begin
 
-    v ecart.checkOrder 
+    [v] ecart.checkOrder 
 
     dh.gb.verbose { (gb.options = ) dh.messagen gb.options dh.message } { } ifelse