version 1.2, 2004/07/31 02:23:02 |
version 1.3, 2004/09/14 11:51:20 |
|
|
% $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 |
% Stdbasis via the double homogenization: dx x = x dx + h H |
% Homogenize=3 |
% Homogenize=3 |
(ecart_loaded) boundp { } |
(ecart_loaded) boundp { } |
|
|
|
|
dh.begin |
dh.begin |
|
|
v ecart.checkOrder |
[v] ecart.checkOrder |
|
|
dh.gb.verbose { (gb.options = ) dh.messagen gb.options dh.message } { } ifelse |
dh.gb.verbose { (gb.options = ) dh.messagen gb.options dh.message } { } ifelse |
|
|