Return to bfct.tex CVS log

Up to [local] / OpenXM / doc / Papers

Annotation of OpenXM/doc/Papers/bfct.tex, Revision 1.3

1.3     ! noro        1: % $OpenXM: OpenXM/doc/Papers/bfct.tex,v 1.2 2001/02/06 08:38:31 noro Exp $
1.1       noro        2: \documentclass{jarticle}
                      3: \usepackage[theorem,useeps,FVerb]{jssac}
                      4: \title{Risa/Asir $B$K$*$1$k(B Weyl Algebra $B>e$N%0%l%V%J4pDl7W;;$*$h$S$=$N1~MQ(B}
                      5: \author{$BLnO$(B $B@59T(B\affil{$B?@8MBg3X(B}\mail{noro@math.kobe-u.ac.jp}}
                      6: \art{$BO@J8(B}
                      7:
                      8: \begin{document}
                      9: \maketitle
                     10:
                     11: \section{Weyl Algebra}
                     12:
1.3     ! noro       13: $B$5$^$6$^$J7W;;5!Be?t%7%9%F%`>e$G(B Weyl Algebra $B$K4X$9$k1i;;$,<BAu$5$l$F(B
        !            14: $B$$$k(B. $BBeI=E*$J$b$N$H$7$F(B, Kan/sm1 \cite{Kan}, Macaulay2
        !            15: \cite{Mac2}\cite{Tsai}, Maple Ore algebra package,
        !            16: Singular \cite{Singular}$B$J$I$,$"$k(B. $B0J2<$G$O(B Risa/Asir $B$K$*$1$k(B Weyl
        !            17: Algebra $B4XO"5!G=$N<BAu$K$D$$$F=R$Y$k$,(B, $B$3$3$G=R$Y$i$l$F$$$k2~NI$=$NB>(B
        !            18: $B$O(B, $BJ88%$H$7$F;2>H$9$k$3$H$O$G$-$J$$$b$N$N(B, $B>e5-%7%9%F%`$=$l$>$l$K$*$$(B
        !            19: $B$F:N$jF~$l$i$l$F$$$k$H9M$($i$l$k(B.
        !            20:
1.1       noro       21: \subsection{Leibnitz rule}
                     22:
                     23: $BBN(B $K$ $B>e$N(B $n$ $B<!85(B Weyl Algebra
                     24: $$D_n = K\langle x_1,\cdots,x_n,\partial_1,\cdots,\partial_n \rangle$$
                     25: $B$K$*$1$k@Q$N7W;;$O(B, $B$h$/CN$i$l$F$$$k$h$&$K(B Leibnitz rule $B$G7W;;$G$-$k(B.
                     26: $B$9$J$o$A(B, $2n$ $BJQ?tB?9`<04D(B
                     27: $K[x,\xi]=K[x_1,\cdots,x_n,\xi_1,\cdots,\xi_n]$ $B$+$i(B
                     28: $D_n$ $B$X$N(B $K$ $B@~7A<LA|(B $\Psi$ $B$r(B
                     29: $\Psi(x^\alpha \xi^\beta) = x^\alpha \partial^\beta$
                     30: $B$GDj5A$9$k$H$-(B,
                     31: $$\Psi(f)\Psi(g) = \Psi(\sum_{k_1,\ldots,k_n \ge 0} {1 \over {k_1!\cdots k_n!}}
                     32: {{\partial^k f} \over {\partial \xi^k}} {{\partial^k g} \over {\partial x^k}})$$
                     33: ($f,g\in K[x,\xi]$) $B$H$J$k(B. Weyl Algebra $B$K$*$1$k7W;;$N8zN(2=$N$?$a$K$O(B
                     34: $B@Q$N8zN(2=$,=EMW$G$"$j(B, $B$=$N$?$a$K$O(B Leibnitz rule $B$r$I$&;H$&$+$,80$H$J$k(B.
                     35: $BFC$K(B, $B%0%l%V%J4pDl7W;;$r9M$($k>l9g(B, monomial $\times$ polynomial $B$N9bB.(B
                     36: $B2=$,I,MW$G$"$k(B.
                     37:
                     38: \subsection{Asir $B$K$*$1$k<BAu(B}
                     39:
                     40: Asir $B$K$*$1$k=i4|$N<BAu$G$O(B, $B$3$l$r(B
                     41:
                     42: $m$ : monomial, $f= \sum f_j$ ($f_j$ : monomial) $B$KBP$7(B
                     43: $mf = \sum mf_j$
                     44:
                     45: $B$H$7$F7W;;$7$F$$$?(B. $B$3$3$G(B monomial $B$I$&$7$N@Q$O(B
                     46: $$x^k D^l\cdot x^a D^b = (x_1^{k_1}(D_1^{l_1}x_1^{a_1})D_1^{b_1})\cdots
                     47: (x_n^{k_n}(D_n^{l_n}x_n^{a_n})D_n^{b_n})$$
                     48: $B$H$7$F(B, $B1&JU$N(B $D_i^{k_i}x_i^{a_i}$ $B$r(B Leibnitz rule $B$K$h$j(B
                     49: $$D_i^{l_i}x_i^{a_i} = \sum_{j=0}^{Min(l_i,a_i)}j!{l_i\choose j}
                     50: {a_i\choose j}x_i^{a_i-j}D_i^{l_i-j}$$
                     51: $B$H$7(B, $B$3$l$i$N@Q$r(B, $BDL>o$N2D49$JB?9`<0$H$7$FE83+$9$k(B, $B$H$$$&J}K!(B
                     52: $B$r:N$C$F$$$?(B. $B$7$+$7(B, $B$3$N(B monomial $B$N@Q<+BN$,B?9`<0$H$J$k$?$a(B,
                     53: $B$3$l$i$rB-$79g$o$;$k:]$K$K9`$NHf3S$*$h$S%j%9%H$N$D$J$.49$($,B??t(B
                     54: $B@8$8(B, $BFC$K(B $f$ $B$N9`?t$,B?$$>l9g$K8zN($,0-$$$3$H$,J,$+$C$?(B.
                     55:
                     56: \subsection{$B2~NI(B}
                     57:
                     58: Leibnitz rule $B$K8=$l$kHyJ,$r(B $f\in K[x,\xi]$$B$K:nMQ$5$;$F$b(B monomial
                     59: $B$N=g=x$OJQ$o$i$J$$$3$H$KCm0U$9$l$P(B, $B:8$+$i$+$1$k(B monomial $m$ $B$r8GDj(B
                     60: $B$7$?$H$-(B, $BA09`$N(B monomial $B$I$&$7$N@Q$K$*$$$F(B
                     61:
                     62: \begin{enumerate}
                     63: \item $D_i^{l_i}x_i^{a_i}$ $B$rJQ7A$7$FF@$i$l$kOB$r>o$K(B $\sum_{j=0}^{l_i}$
                     64: $B$H$9$k(B. $l_i>Min(l_i,a_i)$ $B$N>l9g(B, $B78?t$O(B 0 $B$H$7$F$*$/(B.
                     65:
                     66: \item $BE,Ev$J=g=x$rDj$a$F(B, $B@Q$r9=@.$9$k(B monomial $B$r@0Ns$7(B, $BBP1~$9$k0LCV$N(B
                     67: monomial $B$I$&$7$NOB$r$^$::n$k(B. $B$3$l$O4{$K@0Ns$5$l$F$$$k(B $f_j$ $B$HF1=g$G$h$$(B.
                     68:
                     69: \item $B:G8e$K$=$l$i$rB-$79g$o$;$k(B.
                     70: \end{enumerate}
                     71: $BMW$9$k$K(B, Leibnitz rule $B$K$*$$$F(B, $BHyJ,$K4X$9$kOB$r@h$K7W;;$9$k$H$$$&$3(B
                     72: $B$H$@$,(B, $B$3$l$G(B $m$ $B$N(B $\partial$ $B$K4X$9$k<!?t$,$h$[$I9b$/$J$$8B$j8zN((B
                     73: $B2=$9$k(B. ($B$3$l$O(B, Kan/sm1 $B$G4{$K9T$o$l$F$$$?(B. ) $B$5$i$K(B, $B<!$N2~NI$,9M$((B
                     74: $B$i$l$k(B.
                     75:
                     76: \begin{itemize}
                     77: \item
                     78: $(x_1^{k_1}(D_1^{l_1}x_1^{a_1})D_1^{b_1})\cdots
                     79: (x_n^{k_n}(D_n^{l_n}x_n^{a_n})D_n^{b_n})$
                     80: $B$N(B $B7W;;$r(B incremental $B$K9T$&(B.
                     81:
                     82: $B$3$l$O(B ${1 \over {k_1!\cdots k_n!}}$ $B$K8=$l$k6&DL$NItJ,@Q$r=EJ#$7$F7W(B
                     83: $B;;$7$J$$$H$$$&$3$H$G$"$j(B, $B<!?t$,9b$$>l9g$KM-8z$+$b$7$l$J$$(B.
                     84:
                     85: \item $l_i, a_i$ $B$,(B 0 $B$N>l9g$N(B shortcut.
                     86:
                     87: $B0lHL$K<!?t$,(B 0 $B$K$J$kItJ,$,B?$$$G$3$l$O=EMW$G$"$k(B.
                     88:
                     89: \item exponent vector, monomial $B$J$I$rI=$99=B$BN$N%a%b%j4IM}$r<+A0$G9T$&(B.
                     90:
                     91: $B$3$l$O(B, Weyl $B$K8B$i$:(B, $BM-8BBN>e$N>l9g$K$O0lHL$KMQ$$$F$$$k(B. $B$3$l$b(B
                     92: $B8zN($KBg$-$/1F6A$9$k(B.
                     93: \end{itemize}
                     94: $B0J>e$N2~NI$r2C$($k$3$H$G(B, $B=i4|<BAu$KHf3S$7$F==J,8zN(2=$9$k$3$H$,$G$-$?(B.
                     95:
                     96: \subsection{Weyl Algebra $B$K$*$1$k(B Buchberger $B%"%k%4%j%:%`(B}
                     97:
                     98: $BB?9`<04D>e$N(B Buchberger $B%"%k%4%j%:%`<BAu$K$*$$$F$O(B, $B<o!9$N(B criteria $B$*(B
                     99: $B$h$S(Bselection strategy $B$,9M0F$5$l<BMQ2=$5$l$F$$$k$,(B, Weyl Algebra $B$K$*(B
                    100: $B$$$F$b(BBuchberger's criterion (S-polynomial $B$r9=@.$9$kB?9`<0$NF,9`$N(B
                    101: GCD $B$,(B 1 $B$N>l9g$K$O$=$N(B S-polynomial $B$O(B 0 $B$K@55,2=$5$l$k(B) $B0J30$O$=$N$^$^(B
                    102: $B;H$($k(B. $B$h$C$F(B, $B$"$H$O@Q$rA0@a$N$b$N$K49$($l$P(B, $BB?9`<04DMQ$N%I%i%$%P(B,
                    103: $B%5%V%k!<%A%s$,;H$((B, $BMF0W$K(B Weyl Algebra $B>e$N(B Buchberger $B%"%k%4%j%:%`$N(B
                    104: $B<BAu$,F@$i$l$k(B.
                    105:
                    106: \section{b-function $B$N7W;;(B}
                    107: \label{orig}
                    108:
                    109: \subsection{b-function}
                    110: $D=D_n=K\langle x_1,\cdots,x_n,\partial_1,\cdots,\partial_n\rangle$
                    111: ($\partial_i = \partial/\partial x_i$), $f \in K[x_1,\cdots,x_n]$ $B$H$9(B
                    112: $B$k$H$-(B$P(s)f^{s+1}=b_f(s)f^s$ $B$J$k(B $P(s) \in D[s]$ $B$,B8:_$9$k$h$&$J:G>.(B
                    113: $B<!?t$N(B $b_f(s) \in K[s]$ $B$r(B $f$ $B$N(B (global) $b$-function $B$H8F$V(B
                    114: \footnote{$BK\Mh$O(B $\tilde b(s)$ $B$H=q$/$Y$-$@$,(B, $BK\9F$G$O(B $b(s)$ $B$H(B
                    115: $B=q$/$3$H$K$9$k(B.}.
                    116: $BBg0$5W(B\cite{oaku-bfct} $B$K$h$j(B $b$-function $B$O0J2<$N$h$&$K7W;;$G$-$k(B. $B$^$:(B,
                    117: $n+1$ $B<!85$N(B Weyl Algebra $D_{n+1}=K\langle
                    118: t,x_1,\cdots,x_n,\partial_t,\partial_1,\cdots,\partial_n\rangle$ $B$r9M(B
                    119: $B$($k(B.
                    120:
                    121: \begin{Def}
                    122: $D_{n+1}$ $B$N85(B
                    123: $P = \sum c_{\mu\nu\alpha\beta}t^\mu x^\alpha \partial_t^\nu \partial^\beta$
                    124: $B$KBP$7(B, $${\rm ord}_F(P) := \max\{\nu-\mu | $B$"$k(B \alpha, \beta $B$KBP$7(B
                    125: c_{\mu\nu\alpha\beta} \neq 0 \}$$
                    126: $$\hat{\sigma}(P) :=
                    127: \sum_{\nu-\mu={\rm ord}_F(P)} c_{\mu\nu\alpha\beta}t^\mu x^\alpha \partial_t^\nu \partial^\beta$$
                    128: \end{Def}
                    129:
                    130: \begin{Def}
                    131: ${\rm ord}_F(P) = m$ $B$J$k(B $P \in D_{n+1}$ $B$KBP$7(B, $\psi(P) \in D[s]$ $B$r(B
                    132: $$
                    133: \psi(P)(t\partial_t) =
                    134: \left\{
                    135: \parbox[c]{2in}{
                    136: $\hat{\sigma}(t^mP)$ \quad\quad  $(m\ge 0)$\\
                    137: $\hat{\sigma}(\partial_t^{-m}P)$ \quad $(m< 0)$
                    138: }
                    139: \right.
                    140: $$
                    141: $B$GDj5A$9$k(B.
                    142: \end{Def}
                    143:
                    144: \begin{Th}
                    145: $$I=Id(t-y_1f,\partial_1+y_1 (\partial f/\partial x_1) \partial_t, \cdots,
1.2       noro      146: \partial_n+ y_1 (\partial f/\partial x_n) \partial_t)$$
1.1       noro      147: $B$KBP$7(B, $G_1$ $B$r(B $I_1 = I \cap D$ $B$N%0%l%V%J4pDl$H$9$k(B. $B$3$N;~(B,
                    148: $$Id(\psi(G_1)) \cap K[s] = Id(b(-s-1))$$
                    149: \end{Th}
                    150: $BBg0$5W(B \cite{oaku-bfct} $B$G$O(B
                    151: $$(Id(\psi(G_1)) \cap K[x,s]) \cap K[s]$$$B$J$kFsCJ3,$N(B elimination $B$K$h(B
                    152: $B$k7W;;$rDs0F$7$F$$$k(B. $B$3$l$O(B, local $B$J(B b-function$B$N7W;;$K(B
                    153: $(Id(\psi(G_1)) \cap K[x,s])$ $B$,I,MW$H$J$k$?$a$H9M$($i$l$k$,(B, global
                    154: b-function $B$N$_$r5a$a$k>l9g$K$O(B, $BD>@\(B $K[s]$ $B$H$N8r$o$j$r5a$a$F9=$o$J(B
                    155: $B$$(B. $B$h$C$F(B, $BG$0U$N=g=x$K4X$9$k(B $Id(\psi(G_1))$ $B$N%0%l%V%J4pDl$,5a$^$C$F(B
                    156: $B$$$l$P(B, $b(s)$ $B$O2D49B?9`<04D$N>l9g$HF1MM$K(B, $BL$Dj78?tK!$h$j5a$a$k(B
                    157: $B$3$H$,$G$-$k(B.
                    158:
                    159: \subsection{\Q $B>e$N(B Weyl Algebra $B$K$*$1$k:G>.B?9`<0$N(B modular $B7W;;(B}
                    160: \label{mod1}
                    161:
1.2       noro      162: $D$ $B$r(B $\Q$ $B>e$N(B Weyl Algebra, $J$ $B$r(B $D$ $B$N(B ideal, $P \in D$ $B$+$D(B $P$ $B$O@0(B
1.1       noro      163: $B?t78?t$H$7(B, $J\cap \Q[P] \neq \{0\}$ $B$H$9$k(B. $B$3$N;~(B, $J\cap \Q[P] =
                    164: Id(b(P))$ $B$H$9$l$P(B
                    165: $b(s)$ $B$O(B$D/J$ $B$K$*$1$k(B $P$ $B$N(B \Q $B>e$N:G>.B?9`<0$H$J$k(B.
                    166: $B$3$3$G(B, $b(s) \in \Z[s]$ $B$+$D(B \Z $B>e86;OE*$H<h$l$k(B.
                    167:
                    168: $J$ $B$N(B, $B=g=x(B $<$ $B$K4X$9$k%0%l%V%J4pDl$G(B, $B3F85$NF,78?t$,(B 1 $B$G$"$k$b$N$r(B $G$
1.2       noro      169: $B$H$7(B, $G$ $B$N3F85$N78?t$,(B $\Z_{(p)} = \{a/b | a\in \Z, b \notin
1.1       noro      170: p\Z\}$ $B$KB0$9$k$h$&$J(B $p$$B$rA*$V(B. $\phi_p$ $B$r(B $\Z_{(p)}$ $B$+$i(B $GF(p)$
                    171: $B$X$NI8=`E*<M1F(B ($B$*$h$S$=$N(B $D$ $B$X$N3HD%(B) $B$H$9$k(B.
                    172:
                    173: \begin{Lem}
                    174: $\phi_p(G)$ $B$O(B $Id(\phi_p(G))$ $B$N(B $<$ $B$K4X$9$k%0%l%V%J4pDl$G(B, $\phi_p(b(P)) \in
                    175: Id(\phi_p(G))$.
                    176: \end{Lem}
                    177: \begin{Proof}
                    178: $G$ $B$+$i:n$i$l$k(B S-polynomial $B$N(B $G$ $B$K$h$k(B 0 $B$X$N(B reduction $B$,(B $Z_{(p)}$ $B>e(B
                    179: $B$G9T$($k(B. $B$h$C$F(B, $B$=$N(B $\phi_p$ $B$K$h$kA|$,$=$N$^$^(B $\phi_p(G)$ $B$K$h$k(B
                    180: reduction $B$K$J$k$+$i(B, $\phi_p(G)$ $B$O(B $Id(\phi_p(G))$ $B$N%0%l%V%J4pDl$H(B
                    181: $B$J$k(B. $B8eH>$bF1MM$G$"$k(B.
                    182: \end{Proof}
                    183:
                    184: $B2>Dj$K$h$j(B $\phi_p(b(s))$ $B$O(B 0$B$G$J$$$+$i(B, $\phi_p(P)$
                    185: $B$N(B $\phi_p(D)/Id(\phi_p(G))$ $B$K$*$1$k:G>.B?9`<0(B $b_p(s)$ $B$,B8:_$7$F(B
                    186: $b_p(s) | \phi_p(b(s))$ $B$,@.$jN)$D(B. $BFC$K(B $\deg(b_p(s)) \le \deg(b(s))$.
                    187:
                    188: \begin{Th}
                    189: \label{invimg}
                    190: $b_p(s)$ $B$r(B $\phi_p(D)/Id(\phi_p(G))$ $B$K$*$1$k(B $\phi_p(P)$ $B$N:G>.B?9`(B
                    191: $B<0$H$9$k$H$-(B, $\deg(f(s)) = \deg(b_p(s))$, $f(P)
                    192: \in Id(G)$$B$J$k(B $f \in \Z[s]$ $B$,B8:_$9$l$P(B, $f(s) = b(s)$.
                    193: \end{Th}
                    194: \begin{Proof}
                    195: $B2>Dj$h$j(B $b(s)|f(s)$. $B0lJ}$G(B $\deg(f(s)) = \deg(b_p(s)) \le \deg(b(s))$ $B$@$+$i(B
                    196: $b(s)=f(s)$.
                    197: \end{Proof}
                    198:
                    199: \begin{Alg}
                    200: \label{modbfct}
                    201: \begin{tabbing}
                    202: Input: \= $B9`=g=x(B $<$, $<$ $B$K4X$9$k%0%l%V%J4pDl(B $G \subset D$ ($BF,78?t$,(B 1),\\
                    203:       \> $Id(G) \cap \Q[P] \neq \{0\}$ $B$J$k(B $P\in D$ ($B@0?t78?t(B)\\
                    204: Output: $Id(G) \cap \Q[P] = Id(b(P))$ $B$J$k(B $b(s) \in \Q[s]$\\
                    205: do \= \{\\
                    206:    \> $p \leftarrow G \in \Z_{(p)}$ $B$J$kL$;HMQ$NAG?t(B\\
                    207:    \> $b_p \leftarrow$ $\phi_p(P)$ $B$N(B $\phi_p(D)/Id(\phi_p(G))$ $B$K$*$1$k:G>.B?9`<0(B\\
                    208:    \> $d \leftarrow deg(b_p)$\\
                    209:    \> $c \leftarrow NF(P^d,G)+\sum_{i=0}^{d-1}c_i NF(P^i,G)$ ($c_i$ $B$OL$Dj78?t(B)\\
                    210:    \> $C \leftarrow \{C_t(c_0,\cdots,c_{d-1})=0 | C_t$ $B$O(B $c$ $B$N3F(B {\rm monomial} $B$N78?t(B\}\\
                    211:    \> if \= $C$ $B$,2r(B $\{c_0=a_0,\cdots,c_{d-1}=a_{d-1}\}$ $B$r;}$D(B \{\\
                    212:    \>    \> return $s^d+\sum_{i=0}^{d-1}a_is^i$\\
                    213:    \> \}\\
                    214: \}
                    215: \end{tabbing}
                    216: \end{Alg}
                    217: $BK!(B $p$ $B$G$N:G>.B?9`<0$O(B, $NF(\phi_p(P^k),Id(\phi_p(G)))$ $B$r=g$K7W;;$7$F(B
                    218: $B@~7A4X78$rC5$9$3$H$GF@$i$l$k(B.
                    219: $b(s) \in \Z[s]$ $B$H$7$?;~$N<g78?t$r3d$i$J$$(B $p$ $B$KBP$7$F$ODjM}(B \ref{invimg}
                    220: $B$N(B $f$$B$OB8:_$9$k$+$i(B, $B%"%k%4%j%:%`(B \ref{modbfct} $B$ODd;_$9$k(B. $B$^$?(B, $C$ $B$,(B
                    221: $B2r$r;}$D$J$i(B, $BK!(B $p$ $B$G$N0l0U@-$h$j$=$l$O0l0UE*$K7h$^$k(B.
                    222: $C$ $B$N5a2r$O(B, $BK!(B $p$ $B$G$N0l0U@-$rMxMQ$7$F(B, Hensel $B9=@.$K$h$j8zN($h$/5a$a$k(B
                    223: $B$3$H$,$G$-$k(B. $B>\:Y$O(B \cite{RUR} $B$r;2>H(B.
                    224:
                    225: \subsection{$B%[%m%N%_%C%/$J(B ideal $B$KBP$9$k(B $b$-function}
                    226: \label{mod2}
                    227:
                    228: ideal $I \subset D_n$,$w \in \R^n \setminus \{0\}$ $B$KBP$7(B,
                    229: weight $(-w,w)$ $B$K4X$9$k(B initial ideal $in_{(-w,w)}(I)$ $B$,(B, Weyl Algebra
                    230: $B$K$*$1$k%0%l%V%J4pDl7W;;$K$h$j5a$^$k(B (\cite{SST} Theorem 1.1.6).
                    231: $I$ $B$N(B characteristic variety $B$N<!85$,(B $n$ $B$G$"$k(B
                    232: $B$H$-(B $I$ $B$O%[%m%N%_%C%/$H8F$P$l$k$,(B, $B$3$N$H$-(B \cite{SST} Theorem 5.1.2
                    233: $B$K$h$j(B
                    234: $$in_{(-w,w)}(I) \cap K[s] = Id(b(s))$$ ($s =
                    235: w_1\theta_1+\cdots+w_n\theta_n, \theta_i = x_i\partial_i$) $B$J$k(B 0 $B$G$J(B
                    236: $B$$B?9`<0(B $b(s)$ $B$,B8:_$9$k(B. $B$3$N(B $b(s)$ $B$r(B, $I$ $B$N(B (global) $b$-function
                    237: $B$H8F$V(B.
                    238: $BFC$K(B, $BB?9`<0(B $f$ $B$KBP$7(B,
                    239: $$I_f=Id(t-f,\partial_1+(\partial f/\partial x_1) \partial_t, \cdots,
                    240: \partial_n+ (\partial f/\partial x_n) \partial_t)$$$B$H$*$/;~(B, $I_f$
                    241: $B$O%[%m%N%_%C%/$G(B, $t$ $B$r@hF,$NJQ?t$H$9$k;~(B $I_f$ $B$N(B
                    242: $w=(1,0,\cdots,0)$ $B$K4X$9$k(B global $b$-function $B$r(B $B(s)$$B$H$9$l$P(B,
                    243: $b_f(s) = B(-s-1)$ $B$,@.$jN)$D(B. $B$h$C$F(B, $D/in_{(-w,w)}(I_f)$ $B$K$*$1$k(B
                    244: $t\partial_t$ $B$N:G>.B?9`<0$+$i(B $b_f(s)$ $B$r5a$a$k$3$H$b$G$-$k(B.
                    245: $B$3$3$G(B, $in_{(-w,w)}(I_f)$ $B$N7W;;$K$O(B non-term order $B$K$h$k%0%l%V%J4pDl(B
                    246: $B7W;;$,I,MW$H$J$k$,(B, \cite{SST} $B$G=R$Y$i$l$F$$$k@F<!2=$K$h$j(B
                    247: $B$"$k(B term order $B$N$b$H$G$N%0%l%V%J4pDl7W;;$K5"Ce$G$-$k(B.
                    248:
                    249: \subsection{$B%?%$%_%s%0%G!<%?(B}
                    250:
                    251: Section \ref{orig} $B$G>R2p$7$?(B, $BFsCJ3,$N>C5n$K$h$kJ}K!(B ($BJ}K!(B 1)$B$H(B,
                    252: $Id(\psi(G_1))\cap K[s]$$B$r(B Section \ref{mod1} $B$G=R$Y$?$h$&$K:G>.B?9`<0(B
                    253: $B$H$7$F5a$a$kJ}K!(B ($BJ}K!(B 2), $B$*$h$S(B Section \ref{mod2} $B$G=R$Y$?J}K!(B ($BJ}(B
                    254: $BK!(B 3)$B$K$h$k7W;;;~4V$r$5$^$6$^$JB?9`<0$KBP$7$FHf3S$9$k(B. $B$$$:$l$b(B,
                    255: $b$-function $B$N7W;;$O(Bmodular $B7W;;$G:G>.B?9`<05a$a$kJ}K!$K$h$j9T$C(B
1.2       noro      256: $B$?(B. $BNcBj$O(B\cite{oaku-bfct}, \cite{yano-bfct} $B$+$i:N$C$?(B. $BI=(B 2 $B$N(B
1.1       noro      257: $x^a+xy^{b-1}+y^b$ $B$K4X$7$F$O(B, $BK\9V5fO?Cf$NBg0$5W(B, $B9b;3N>;a$K$h$k9F$r(B
                    258: $B;2>H(B. $B7W;;$O(B, PentiumIII 1GHz $B>e$G9T$C$?(B. $BC10L$OIC$G%,!<%Y%C%8%3%l%/%7%g(B
                    259: $B%s;~4V$O=|$$$F$"$k(B. ``--'' $B$O(B, $BB>$NJ}K!$HHf3S$7$F;~4V$,$+$+$j2a$.$k$?(B
                    260: $B$aCfCG$7$?$3$H$r0UL#$9$k(B.  $BI=(B 1$B$G$O7W;;$,Hf3SE*MF0W$J$b$N$,07$o$l$F$*(B
                    261: $B$j(B, $B3FJ}K!$GBg:9$O$J$$$,(B, $BI=(B 2 $B$G$O(B, $BJ}K!(B 1 $B$G$O7W;;$,:$Fq$J$b$N$,(B, $BJ}(B
                    262: $BK!(B 2, 3 $B$K$h$j7W;;$G$-$F$$$k(B. $B$^$?(B, $B<!?t$,>e$,$k$K$D$l(B, $BJ}K!(B 3$B$,M%0L$H(B
                    263: $B$J$k(B. $B$3$l$O(B, $BJ}K!(B 2 $B$K8=$l$k%0%l%V%J4pDl7W;;$,(B, $BJ}K!(B 3 $B$K$*$1$k(B
                    264: $in_{(-w,w)}(I_f)$ $B$N7W;;$KHf$Y$F:$Fq$H$J$k$?$a$G$"$k(B. $B$3$l$OI=(B 3 $B$K$*(B
                    265: $B$$$F$5$i$K82Cx$H$J$j(B, $BJ}K!(B 2 $B$G$O7W;;$G$-$J$$Nc$b=P(B
                    266: $B$FMh$k(B. $B<B:]$K$O(B, $BJ}K!(B 3 $B$G$O(B, $B:G>.B?9`<0$N7W;;$,(B
                    267: dominant $B$H$J$kNc$b$7$P$7$P8+$i$l$k(B.
                    268:
                    269: \begin{table}[hbtp]
                    270: \begin{tabular}{c|c|c|c|c} \hline
                    271:  & $\deg(b(s))$ & $BJ}K!(B 1  & $BJ}K!(B 2 & $BJ}K!(B 3 \\ \hline
                    272: $x^5+x^3y^3+y^5$ & 7 &1.4 &2.4 &1.3 \\ \hline
                    273: $x^3+y^3+z^3+x^2y^2z^2+xyz$ & 5 &3.5 &3.9 & 10\\ \hline
                    274: $x^6+y^4+z^3$ &18 &0.4 &0.7 & 0.2 \\ \hline
                    275: $x^4+y^4+z^3+xyz$ &8 &0.3 &0.6 & 0.3\\ \hline
                    276: $(x^3-y^2z^2)^2$ &14 &0.7 &1.5 & 0.2\\ \hline
                    277: $y(x^5-y^2z^2)$ &18 &0.8 &0.5 & 0.1 \\ \hline
                    278: $y((y+1)x^3-y^2z^2)$ &11 &0.6 &1.1 & 0.7 \\ \hline
                    279: \end{tabular}
                    280: \caption{\cite{oaku-bfct} $B$+$i$NNcBj(B}
                    281: \end{table}
                    282:
                    283:
                    284: \begin{table}[hbtp]
                    285: \begin{tabular}{c|c|c|c|c} \hline
                    286:  & $\deg(b(s))$ & $BJ}K!(B 1  & $BJ}K!(B 2 & $BJ}K!(B 3 \\ \hline
                    287: $x^4+xy^4+y^5$ &13 &135 &5.0 & 3.4 \\ \hline
                    288: $x^4+xy^5+y^6$ &13 &15 &2.9 & 2.1 \\ \hline
                    289: $x^4+xy^6+y^7$ &19 &719 &5.1 & 6.9 \\ \hline
                    290: $x^4+xy^7+y^8$ &11 &19 &7.3 & 4.0 \\ \hline
                    291: $x^4+xy^8+y^9$ &25 &-- &14 & 11 \\ \hline
                    292: $x^4+xy^9+y^{10}$ &23 &-- &22 & 14\\ \hline
                    293: $x^5+xy^5+y^6$ &21 &-- &158 & 21\\ \hline
                    294: $x^5+xy^6+y^7$ &25 &-- &32 & 19\\ \hline
                    295: \end{tabular}
                    296:
                    297: \caption{\cite{yano-bfct} $B$+$i$NNcBj(B}
                    298: \end{table}
                    299:
                    300: \begin{table}[hbtp]
                    301: \begin{tabular}{c|c|c|c} \hline
                    302:  & $\deg(b(s))$ & $BJ}K!(B 2 & $BJ}K!(B 3 \\ \hline
                    303: $x^6+y^{12}z^8$ & 50 & 71 & 1.8 \\ \hline
                    304: $x_1x_2^3+x_3x_4^5+x_5x_6^7$ &106 & 404 & 14 \\ \hline
                    305: $(x_1x_2)^3+(x_3x_4)^3+(x_5x_6)^3$ &23 & -- & 27 \\ \hline
                    306: $(x_1x_2)^2+(x_3x_4)^2+(x_5x_6)^2+(x_7x_8)^2$ &16 & -- & 61 \\ \hline
                    307: \end{tabular}
                    308:
                    309: \caption{\cite{yano-bfct} $B$+$i$NNcBj(B (non-isolated singularities)}
                    310: \end{table}
                    311:
                    312: \section{$B$*$o$j$K(B}
                    313:
1.3     ! noro      314: Risa/Asir $B$K$*$1$k(B, Weyl Algebra $B4XO"5!G=$N<BAu$*$h$S(B, $B$=$N1~MQ$H$7$F(B
        !           315: $b$-function$B$N7W;;J}K!$N2~NI$K$D$$$F=R$Y$?(B. $b$-function $B7W;;$O(B
        !           316: Kan/sm1, Macaulay 2 $B$K$b<BAu$5$l$$$F$k$,(B, $BK\9F$G=R$Y$?$h$&$J(B, $B:G>.B?9`(B
        !           317: $B<0$rL$Dj78?tK!$G5a$a$kJ}K!$rMQ$$$?Nc$O$J$$$h$&$G$"$k(B. $B0lJ}$G(B
        !           318: $b$-function $B$O(B$f$ $B$N6I=j%b%N%I%m%_!<$H4X78$9$k$3$H$,CN$i$l$F$$$k$,(B,
        !           319: Singular $B$K$*$$$F$O(B, $BA4$/0[$J$kN)>l$+$i(B isolated singularity $B$G$N%b%N(B
        !           320: $B%I%m%_!<9TNs$r5a$a$k5!G=$rDs6!$7$F$$$k(B. $B$3$l$K$D$$$F(B, $B8zN($NLL$+$i(B
        !           321: $B$NHf3S$bI,MW$H9M$($i$l$k$,(B, $BF@$i$l$k7k2L$,0[$J$k$3$H$b$"$j$^$@>\:Y(B
        !           322: $B$JHf3S$O9T$C$F$$$J$$(B.
        !           323:
        !           324: $BK\9F$G=R$Y$?J}K!$K$h$j(B, $B$h$j9-$$HO0O$NB?9`<0$*$h$S%$%G%"%k$KBP$7$F(B
        !           325: $b$-function $B$,7W;;$G$-$k$h$&$K$J$C$?$3$H$O3N$+$G$"$k(B. $B$7$+$7(B, $B4{$KB>(B
        !           326: $B$NJ}K!$G7k2L$,CN$i$l$F$$$k$b$N$G$b7W;;IT2DG=$JLdBj$OB8:_$7(B, $B$^$?$$$o$f(B
        !           327: $B$kB?=E(B $b$-function $B$KBP$7$F$O(B, $B:G>.B?9`<0$K$h$kJ}K!$OL5NO$G$"$k(B. $B$3$l(B
        !           328: $B$i$KBP=h$9$k$?$a$K$O$5$i$J$k2~NI(B, $B$"$k$$$O?7$7$$J}K!$,I,MW$G$"$m$&(B.
1.1       noro      329:
                    330: \begin{thebibliography}{99}
                    331:
1.3     ! noro      332: \bibitem{Mac2} Grayson, D., Stillman, M.:
        !           333: Macaulay 2, a software system for research in algebraic geometry.
        !           334: {\tt http://www.math.ucuc.edu/Macaulay2}.
        !           335:
        !           336: \bibitem{Singular} Greuel, G.-M., Pfister, G., Sch\"onemann, H.:
        !           337: SINGULAR, A Computer Algebra System for Polynomial Computations.
        !           338: {\tt http://www.singular.uni-kl.de/}.
        !           339:
        !           340: \bibitem{Tsai} Leykin, A., Tsai, H.:
        !           341: D-module package for Macaulay 2.
        !           342: {\tt http://www.math.cornell.edu/\verb+~+tsai}.
        !           343:
1.1       noro      344: \bibitem{RUR} Noro, M., Yokoyama, K.:
                    345: A Modular Method to Compute the Rational Univariate
                    346: Representation of Zero-Dimensional Ideals.
                    347: J. Symb. Comp., {\bf 28},1 (1999) 243--263.
                    348:
                    349: \bibitem{oaku-bfct} Oaku, T.:
                    350: Algorithm for the $b$-function and
                    351: $D$-modules associated to a polynomial. J. Pure Appl. Algebra, {\bf
                    352: 117} \& {\bf 118} (1997) 495--518.
                    353:
                    354: \bibitem{deRham} Oaku, T., Takayama, N.:
                    355: An algorithm for de Rham cohomology groups of the
                    356: complement of an affine variety via $D$-module computation.
                    357: J. Pure Appl. Algebra, {\bf 139} (1999), 201--233.
                    358:
                    359: \bibitem{algDmod} Oaku, T., Takayama, N.:
                    360: Algorithms for $D$-modules ---restriction, tensor product,
                    361: localization, and local cohomology groups.
                    362: J. Pure Appl.\ Algebra (in press).
                    363:
                    364: \bibitem{SST}
                    365: Saito, M., Sturmfels, B., Takayama, N.:
                    366: Gr\"obner Deformations of Hypergeometric Differential Equations.
                    367: Algorithms and Computation in Mathematics {\bf 6}, Springer (2000).
1.3     ! noro      368:
        !           369: \bibitem{Kan} Takayama, N.:
        !           370: Kan --- A system for doing algebraic analysis by computer.
        !           371: {\tt http://www.math.kobe-u.ac.jp/KAN}.
1.1       noro      372:
                    373: \bibitem{yano-bfct} Yano, T.:
                    374: On the theory of $b$-functions.
                    375: Publ. RIMS Kyoto Univ. {\bf 14} (1978), 111--202.
                    376: \end{thebibliography}
                    377:
                    378: \end{document}
                    379: