OpenXM/src/asir-contrib/packages/doc/sm1.oxweave - diff

Return to sm1.oxweave CVS log

Up to [local] / OpenXM / src / asir-contrib / packages / doc

version 1.11, 2003/07/27 13:18:46

version 1.12, 2003/07/28 01:17:39

Line 1

/*$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.11 2003/07/27 13:18:46 takayama Exp $ */

/*&C-texi

@c DO NOT EDIT THIS FILE oxphc.texi

Line 1354 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.