=================================================================== RCS file: /home/cvs/OpenXM/src/kan96xx/Doc/dhecart.sm1,v retrieving revision 1.4 retrieving revision 1.5 diff -u -p -r1.4 -r1.5 --- OpenXM/src/kan96xx/Doc/dhecart.sm1 2005/06/19 08:29:02 1.4 +++ OpenXM/src/kan96xx/Doc/dhecart.sm1 2005/06/30 08:03:09 1.5 @@ -1,4 +1,4 @@ -% $OpenXM: OpenXM/src/kan96xx/Doc/dhecart.sm1,v 1.3 2004/09/14 11:51:20 takayama Exp $ +% $OpenXM: OpenXM/src/kan96xx/Doc/dhecart.sm1,v 1.4 2005/06/19 08:29:02 takayama Exp $ % Stdbasis via the double homogenization: dx x = x dx + h H % Homogenize=3 (ecart_loaded) boundp { } @@ -226,7 +226,7 @@ ( ) (Example 3: ) $ /gb.verbose 1 def $ - $ [ [(2 x Dx + 3 y Dy+6) (2 y Dx + 3 x^2 Dy)] (x,y) $ + $ [ [(2 x Dx + 3 y Dy+6 h H) (2 y h Dx + 3 x^2 Dy)] (x,y) $ $ [[(x) -1 (Dx) 1 (y) -1 (Dy) 1]]] $ $ [(gbCheck) 1] setAttributeList dh.gb getAttributeList :: $ ( )