=================================================================== RCS file: /home/cvs/OpenXM/src/asir-contrib/packages/doc/Attic/sm1.oxweave,v retrieving revision 1.11 retrieving revision 1.13 diff -u -p -r1.11 -r1.13 --- OpenXM/src/asir-contrib/packages/doc/Attic/sm1.oxweave 2003/07/27 13:18:46 1.11 +++ OpenXM/src/asir-contrib/packages/doc/Attic/sm1.oxweave 2003/07/28 01:36:36 1.13 @@ -1,4 +1,4 @@ -/*$OpenXM: OpenXM/src/asir-contrib/packages/doc/sm1.oxweave,v 1.10 2003/05/20 23:25:28 takayama Exp $ */ +/*$OpenXM: OpenXM/src/asir-contrib/packages/doc/sm1.oxweave,v 1.12 2003/07/28 01:17:39 takayama Exp $ */ /*&C-texi @c DO NOT EDIT THIS FILE oxphc.texi @@ -109,8 +109,6 @@ See the appendix. * sm1.rank:: * sm1.auto_reduce:: * sm1.slope:: -* sm1.gb_d:: -* sm1.syz_d:: * sm1.ahg:: * sm1.bfunction:: * sm1.generalized_bfunction:: @@ -502,7 +500,6 @@ x*dx+1 /*&eg-texi @c sort-sm1.gb @node sm1.gb,,, SM1 Functions -@node sm1.gb_d,,, SM1 Functions @subsection @code{sm1.gb} @findex sm1.gb @findex sm1.gb_d @@ -560,7 +557,6 @@ List /*&jp-texi @c sort-sm1.gb @node sm1.gb,,, SM1 Functions -@node sm1.gb_d,,, SM1 Functions @subsection @code{sm1.gb} @findex sm1.gb @findex sm1.gb_d @@ -1327,7 +1323,6 @@ basic_plus(basic_times(basic_power(x,4),1),basic_times /*&eg-texi @c sort-sm1.syz @node sm1.syz,,, SM1 Functions -@node sm1.syz_d,,, SM1 Functions @subsection @code{sm1.syz} @findex sm1.syz @findex sm1.syz_d @@ -1354,7 +1349,7 @@ Here @var{s} is the syzygy of @var{f} in the ring of d operators with the variable @var{v}. @var{g} is a Groebner basis of @var{f} with the weight vector @var{w}, and @var{m} is a matrix that translates the input matrix @var{f} to the Gr\"obner -basis @var {g}. +basis @var{g}. @var{t} is the syzygy of the Gr\"obner basis @var{g}. In summary, @var{g} = @var{m} @var{f} and @var{s} @var{f} = 0 hold as matrices. @@ -1371,7 +1366,6 @@ In summary, @var{g} = @var{m} @var{f} and /*&jp-texi @c sort-sm1.syz @node sm1.syz,,, SM1 Functions -@node sm1.syz_d,,, SM1 Functions @subsection @code{sm1.syz} @findex sm1.syz @findex sm1.syz_d