8.10.33 `bfunction', `bfct', `generic_bfct', `ann', `ann0'
----------------------------------------------------------

bfunction(F)
bfct(F)
generic_bfct(PLIST,VLIST,DVLIST,WEIGHT)
     :: B $B4X?t$N7W;;(B

ann(F)
ann0(F)
     :: $BB?9`<0$N%Y%-$N(B annihilator $B$N7W;;(B

RETURN
     $BB?9`<0$^$?$O%j%9%H(B

F
     $BB?9`<0(B

PLIST
     $BB?9`<0%j%9%H(B

VLIST DVLIST
     $BJQ?t%j%9%H(B

   * `bfct' $B$GDj5A$5$l$F$$$k(B.

   * `bfunction(F)', `bfct(F)' $B$OB?9`<0(B F $B$N(B global B $B4X?t(B `b(s)' $B$r(B
     $B7W;;$9$k(B. `b(s)' $B$O(B, Weyl $BBe?t(B `D' $B>e$N0lJQ?tB?9`<04D(B `D[s]' $B$N85(B
     `P(x,s)' $B$,B8:_$7$F(B, `P(x,s)f^(s+1)=b(s)f^s' $B$rK~$?$9$h$&$J(B $BB?9`<0(B
     `b(s)' $B$NCf$G(B, $B<!?t$,:G$bDc$$$b$N$G$"$k(B.

   * `generic_bfct(F,VLIST,DVLIST,WEIGHT)' $B$O(B, PLIST $B$G@8@.$5$l$k(B `D'
     $B$N:8%$%G%"%k(B `I' $B$N(B, $B%&%'%$%H(B WEIGHT $B$K4X$9$k(B global B
     $B4X?t$r7W;;$9$k(B.  VLIST $B$O(B `x'-$BJQ?t(B, VLIST $B$OBP1~$9$k(B `D'-$BJQ?t(B
     $B$r=g$KJB$Y$k(B.

   * `bfunction' $B$H(B `bfct' $B$G$OMQ$$$F$$$k%"%k%4%j%:%`$,(B $B0[$J$k(B.
     $B$I$A$i$,9bB.$+$OF~NO$K$h$k(B.

   * `ann(F)' $B$O(B, `F^s' $B$N(B annihilator ideal $B$N@8@.7O$rJV$9(B. `ann(F)'
     $B$O(B, `[A,LIST]' $B$J$k%j%9%H$rJV$9(B. $B$3$3$G(B, A $B$O(B F $B$N(B B
     $B4X?t$N:G>.@0?t:,(B, LIST $B$O(B `ann(F)' $B$N7k2L$N(B `s'$ $B$K(B, A $B$r(B
     $BBeF~$7$?$b$N$G$"$k(B.

   * $B>\:Y$K$D$$$F$O(B, [Saito,Sturmfels,Takayama] $B$r8+$h(B.

     [0] load("bfct")$
     [216] bfunction(x^3+y^3+z^3+x^2*y^2*z^2+x*y*z);
     -9*s^5-63*s^4-173*s^3-233*s^2-154*s-40
     [217] fctr(@);
     [[-1,1],[s+2,1],[3*s+4,1],[3*s+5,1],[s+1,2]]
     [218] F = [4*x^3*dt+y*z*dt+dx,x*z*dt+4*y^3*dt+dy,
     x*y*dt+5*z^4*dt+dz,-x^4-z*y*x-y^4-z^5+t]$
     [219] generic_bfct(F,[t,z,y,x],[dt,dz,dy,dx],[1,0,0,0]);
     20000*s^10-70000*s^9+101750*s^8-79375*s^7+35768*s^6-9277*s^5
     +1278*s^4-72*s^3
     [220] P=x^3-y^2$
     [221] ann(P);
     [2*dy*x+3*dx*y^2,-3*dx*x-2*dy*y+6*s]
     [222] ann0(P);
     [-1,[2*dy*x+3*dx*y^2,-3*dx*x-2*dy*y-6]]

$B;2>H(B
     *Note `Weyl $BBe?t(B': Weyl $BBe?t(B.

