OpenXM/doc/compalg/fglm.tex - diff

Return to fglm.tex CVS log

Up to [local] / OpenXM / doc / compalg

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

version 1.4, 2001/02/27 08:07:24

Line 1

%$OpenXM: OpenXM/doc/compalg/fglm.tex,v 1.3 2000/03/28 02:02:30 noro Exp $

\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 346 $p$ $B$O(B $F$ $B$K$D$-(B compatible $B$@$+$i(B

Line 347 $p$ $B$O(B $F$ $B$K$D$-(B compatible $B$@$+$i(B

$B$J$i$J$$(B. $B$7$+$7(B $f$ $B$O(B $G$ $B$K$D$$$FHoLs$@$+$i(B

$\phi_p(G)$ $B$NF,9`$N=89g$O(B $G$ $B$N$=$l$HEy$7$$(B. $B$h$C$F(B

$\phi_p(f)$ $B$O(B $\phi_p(G)$ $B$K$D$$$FHoLs$H$J$j(B, $\phi_p(f) = 0$. $B$3$l$O(B

$BL7=b(B. \qed

$BL7=b(B. \qed\\

\medskip

$B<!$NDjM}$OA0DjM}$N@:L)2=$G$"$k(B. $B$9$J$o$A(B, $B>:=g$K7W;;$5$l$?ItJ,E*$J(B

$p$-compatible $B$J%0%l%V%J4pDl8uJd$,<B:]$K%0%l%V%J4pDl$N0lIt$H$J$C$F(B

$B$$$k$3$H$rJ]>Z$9$k(B. $B$3$l$O(B, $BESCf$^$G$N7k2L$r:FMxMQ$G$-$k$H$$$&E@$G(B

Line 659 $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.