[BACK]Return to ecart.sm1 CVS log [TXT][DIR] Up to [local] / OpenXM / src / kan96xx / Doc

Diff for /OpenXM/src/kan96xx/Doc/ecart.sm1 between version 1.19 and 1.20

version 1.19, 2004/04/29 12:04:45 version 1.20, 2004/05/04 08:03:30
Line 1 
Line 1 
 % $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
   
Line 1656 
Line 1656 
 [(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 )] $

Legend:
Removed from v.1.19  
changed lines
  Added in v.1.20

FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>