version 1.4, 2005/06/19 08:29:02 |
version 1.5, 2005/06/30 08:03:09 |
|
|
% $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 |
% Stdbasis via the double homogenization: dx x = x dx + h H |
% Homogenize=3 |
% Homogenize=3 |
(ecart_loaded) boundp { } |
(ecart_loaded) boundp { } |
|
|
( ) |
( ) |
(Example 3: ) |
(Example 3: ) |
$ /gb.verbose 1 def $ |
$ /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]]] $ |
$ [[(x) -1 (Dx) 1 (y) -1 (Dy) 1]]] $ |
$ [(gbCheck) 1] setAttributeList dh.gb getAttributeList :: $ |
$ [(gbCheck) 1] setAttributeList dh.gb getAttributeList :: $ |
( ) |
( ) |