version 1.27, 2004/05/15 12:00:48 |
version 1.30, 2004/07/29 08:13:42 |
|
|
% $OpenXM: OpenXM/src/kan96xx/Doc/ecart.sm1,v 1.26 2004/05/14 02:35:03 takayama Exp $ |
% $OpenXM: OpenXM/src/kan96xx/Doc/ecart.sm1,v 1.29 2004/05/28 08:11:31 takayama Exp $ |
%[(parse) (hol.sm1) pushfile] extension |
(hol_loaded) boundp { } |
|
{ [(parse) (hol.sm1) pushfile] extension } ifelse |
%[(parse) (appell.sm1) pushfile] extension |
%[(parse) (appell.sm1) pushfile] extension |
|
|
(ecart.sm1 : ecart division for D, 2003/07/25 ) message-quiet |
(ecart.sm1 : ecart division for D, 2003/07/25 ) message-quiet |
|
|
(x,y) [[(Dx) 1 (Dy) 1] [(x) -1 (y) -1 (Dx) 1 (Dy) 1]]] /ggg set |
(x,y) [[(Dx) 1 (Dy) 1] [(x) -1 (y) -1 (Dx) 1 (Dy) 1]]] /ggg set |
(Dx) ggg ecartd.reduction /gg4 set |
(Dx) ggg ecartd.reduction /gg4 set |
gg4 message |
gg4 message |
[gg2 gg3 gg4] |
|
|
(----------- reduction by h=1 ---------------) message |
|
[[( 2*(1-x-y) Dx + 1 ) ( 2*(1-x-y) Dy + 1 )] |
|
(x,y) [[(Dx) 1 (Dy) 1] [(x) -1 (y) -1 (Dx) 1 (Dy) 1]]] /ggg set |
|
[(Homogenize) 0] system_variable |
|
(Dx) ggg ecartd.reduction /gg5 set |
|
[(Homogenize) 1] system_variable |
|
gg5 message |
|
|
|
[gg2 gg3 gg4 gg5] |
} def |
} def |
|
|
/ecarth.reduction { |
/ecarth.reduction { |
|
|
$ (Dx+Dy) ggg ecartd.reduction :: $ |
$ (Dx+Dy) ggg ecartd.reduction :: $ |
]] putUsages |
]] putUsages |
|
|
|
/ecartd.reduction_noh { |
|
/arg2 set |
|
/arg1 set |
|
[/in-ecarth.reduction_noh /gbasis /flist] pushVariables |
|
[(Homogenize)] pushEnv |
|
[ |
|
/gbasis arg2 def |
|
/flist arg1 def |
|
[(Homogenize) 0] system_variable |
|
flist gbasis ecartd.reduction /arg1 set |
|
] pop |
|
popEnv |
|
popVariables |
|
arg1 |
|
} def |
|
|
|
[(ecartd.reduction_noh) |
|
[ (f basis ecartd.reduction_noh r) |
|
(f is reduced by basis by the tangent cone algorithm.) |
|
(The first element of basis <g_1,...,g_m> must be a standard basis.) |
|
(r is the return value format of reduction.) |
|
(r=[h,c0,syz,input], h = c0 f + \sum syz_i g_i) |
|
(basis is given in the argument format of ecartd.gb and) |
|
(it should not contain the variable h. cf. dehomogenize) |
|
$h[0,1](D)-homogenization is NOT used.$ |
|
(cf. reduction, ecartd.gb, ecartd.reduction ) |
|
$Example:$ |
|
$ [[( 2*(1-x-y) Dx + 1 ) ( 2*(1-x-y) Dy + 1 )] $ |
|
$ (x,y) [[(Dx) 1 (Dy) 1] [(x) -1 (y) -1 (Dx) 1 (Dy) 1]]] /ggg set $ |
|
$ (Dx+Dy) ggg ecartd.reduction_noh :: $ |
|
]] putUsages |
|
|
/ecart.stdOrder { |
/ecart.stdOrder { |
/arg1 set |
/arg1 set |
[/in-ecart.stdOrder /vv /tt /dvv /wv1 /wv2 |
[/in-ecart.stdOrder /vv /tt /dvv /wv1 /wv2 |
|
|
|
|
( ) message-quiet |
( ) message-quiet |
|
|
|
/ecart_loaded 1 def |
|
|