OpenXM/doc/compalg/fglm.tex - diff

Return to fglm.tex CVS log

Up to [local] / OpenXM / doc / compalg

version 1.1.1.1, 2000/03/01 02:25:51

version 1.3, 2000/03/28 02:02:30

Line 1

%$OpenXM$

\chapter{Change of ordering}

$BA0@a$G$O(B, $B<g$H$7$F(B Buchberger $B%"%k%4%j%:%`$N8zN(2=$K$D$$$F=R$Y$?(B.

Line 659 $hC(6)$ \> A homogenization of C(6). \\

Line 660 $hC(6)$ \> A homogenization of C(6). \\

\subsection{Change of ordering}

$BM=$a7W;;$7$F$"$k(B DRL \gr $B4pDl$+$i=PH/$7$F(B, LEX \gr $B4pDl7W;;$9$k(B. $BMQ$$(B

$BM=$a7W;;$7$F$"$k(B DRL ($BA4<!?t5U<-=q<0=g=x(B)$B%0%l%V%J4pDl$+$i=PH/$7$F(B, LEX

$B$k%"%k%4%j%:%`$O(B, TL (tl\_guess$()$; $B%"%k%4%j%:%`(B \ref{tlguess}), HTL

($B<-=q<0=g=x(B)$B%0%l%V%J4pDl$r7W;;$9$k(B. $BMQ$$$k%"%k%4%j%:%`$O(B, TL

($B@F<!2=(B+tl\_guess$()$+$BHs@F2=(B), LA (candidate\_by\_linear\_algebra$()$;

(tl\_guess$()$; $B%"%k%4%j%:%`(B \ref{tlguess}), HTL ($B@F<!2=(B

$B%"%k%4%j%:%`(B \ref{mfglm} (0 $B<!85%7%9%F%`$N$_(B))$B$G$"$k(B. $BI=(B

+tl\_guess$()$+$BHs@F2=(B), LA (candidate\_by\_linear\_algebra$()$;$B%"%k%4(B

$B%j%:%`(B \ref{mfglm} (0 $B<!85%7%9%F%`$N$_(B))$B$G$"$k(B. $BI=(B

\ref{mcotab} $B$O(B DRL $B$+$i(B LEX $B$X$NJQ49$K$+$+$k;~4V$r$7$a$9(B. {\it DRL}

$B$O(B, DRL $B$N7W;;;~4V$r<($9(B. $B%0%l%V%J4pDl%A%'%C%/$r>J$/8z2L$r<($9$?$a$K(B,

tl\_ckeck$()$ ($B%"%k%4%j%:%`(B \ref{tlcheck}) $B$N;~4V$b<($9(B.