| version 1.19, 2004/04/29 12:04:45 |
version 1.20, 2004/05/04 08:03:30 |
|
|
| % $OpenXM: OpenXM/src/kan96xx/Doc/ecart.sm1,v 1.18 2003/09/30 00:06:56 takayama Exp $ |
% $OpenXM: OpenXM/src/kan96xx/Doc/ecart.sm1,v 1.19 2004/04/29 12:04:45 takayama Exp $ |
| %[(parse) (hol.sm1) pushfile] extension |
%[(parse) (hol.sm1) pushfile] extension |
| %[(parse) (appell.sm1) pushfile] extension |
%[(parse) (appell.sm1) pushfile] extension |
| |
|
|
|
| [(ecartd.reduction) |
[(ecartd.reduction) |
| [ (f basis ecartd.reduction r) |
[ (f basis ecartd.reduction r) |
| (f is reduced by basis by the tangent cone algorithm.) |
(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 is the return value format of reduction.) |
| (basis is the argument format of ecartd.gb.) |
(r=[h,c0,syz,input], h = c0 f + \sum syz_i g_i) |
| (The first element of basis must be a standard basis.) |
(basis is given in the argument format of ecartd.gb.) |
| (cf. reduction, ecartd.gb, ecartd.reduction.test ) |
(cf. reduction, ecartd.gb, ecartd.reduction.test ) |
| $Example:$ |
$Example:$ |
| $ [[( 2*(1-x-y) Dx + h ) ( 2*(1-x-y) Dy + h )] $ |
$ [[( 2*(1-x-y) Dx + h ) ( 2*(1-x-y) Dy + h )] $ |
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to ecart.sm1 CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM / src / kan96xx / Doc