8.10.32 `primedec_mod'
----------------------

primedec_mod(PLIST,VLIST,ORD,MOD,STRATEGY)
     :: $B%$%G%"%k$NJ,2r(B

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

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

ORD
     $B?t(B, $B%j%9%H$^$?$O9TNs(B

MOD
     $B@5@0?t(B

STRATEGY
     $B@0?t(B

   * `primedec_mod()' $B$O(B `primdec_mod' $B$GDj5A$5$l$F$$$k(B. `[Yokoyama]'
     $B$NAG%$%G%"%kJ,2r%"%k%4%j%:%`(B $B$r<BAu$7$F$$$k(B.

   * `primedec_mod()' $B$OM-8BBN>e$G$N%$%G%"%k$N(B
     $B:,4p$NAG%$%G%"%kJ,2r$r9T$$(B, $BAG%$%G%"%k$N%j%9%H$rJV$9(B.

   * `primedec_mod()' $B$O(B, GF(MOD) $B>e$G$NJ,2r$rM?$($k(B.
     $B7k2L$N3F@.J,$N@8@.85$O(B, $B@0?t78?tB?9`<0$G$"$k(B.

   * $B7k2L$K$*$$$F(B, $BB?9`<0%j%9%H$H$7$FI=<($5$l$F$$$k3F%$%G%"%k$OA4$F(B
     [VLIST,ORD] $B$G;XDj$5$l$k9`=g=x$K4X$9$k%0%l%V%J4pDl$G$"$k(B.

   * STRATEGY $B$,(B 0 $B$G$J$$$H$-(B, incremental $B$K(B component $B$N6&DL(B
     $BItJ,$r7W;;$9$k$3$H$K$h$k(B early termination $B$r9T$&(B. $B0lHL$K(B,
     $B%$%G%"%k$N<!85$,9b$$>l9g$KM-8z$@$,(B, 0 $B<!85$N>l9g$J$I(B, $B<!85$,>.$5$$(B
     $B>l9g$K$O(B overhead $B$,Bg$-$$>l9g$,$"$k(B.

   * $B7W;;ESCf$GFbIt>pJs$r8+$?$$>l9g$K$O!"(B $BA0$b$C$F(B `dp_gr_print(2)'
     $B$r<B9T$7$F$*$1$P$h$$(B.

     [0] load("primdec_mod")$
     [246] PP444=[x^8+x^2+t,y^8+y^2+t,z^8+z^2+t]$
     [247] primedec_mod(PP444,[x,y,z,t],0,2,1);
     [[y+z,x+z,z^8+z^2+t],[x+y,y^2+y+z^2+z+1,z^8+z^2+t],
     [y+z+1,x+z+1,z^8+z^2+t],[x+z,y^2+y+z^2+z+1,z^8+z^2+t],
     [y+z,x^2+x+z^2+z+1,z^8+z^2+t],[y+z+1,x^2+x+z^2+z+1,z^8+z^2+t],
     [x+z+1,y^2+y+z^2+z+1,z^8+z^2+t],[y+z+1,x+z,z^8+z^2+t],
     [x+y+1,y^2+y+z^2+z+1,z^8+z^2+t],[y+z,x+z+1,z^8+z^2+t]]
     [248]

$B;2>H(B
     *Note `modfctr': modfctr, *Note `dp_gr_main dp_gr_mod_main
     dp_gr_f_main dp_weyl_gr_main dp_weyl_gr_mod_main
     dp_weyl_gr_f_main': dp_gr_main dp_gr_mod_main dp_gr_f_main
     dp_weyl_gr_main dp_weyl_gr_mod_main dp_weyl_gr_f_main, *Note
     `$B9`=g=x$N@_Dj(B': $B9`=g=x$N@_Dj(B.  *Note `dp_gr_flags dp_gr_print':
     dp_gr_flags dp_gr_print.

