`dp_gr_main', `dp_gr_mod_main'
------------------------------

dp_gr_main(PLIST,VLIST,HOMO,MODULAR,ORDER)
dp_gr_mod_main(PLIST,VLIST,HOMO,MODULAR,ORDER)
     :: $B%0%l%V%J4pDl$N7W;;(B ($BAH$_9~$_H!?t(B)

RETURN
     $B%j%9%H(B

PLIST, VLIST
     $B%j%9%H(B

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

HOMO
     $B%U%i%0(B

MODULAR
     $B%U%i%0$^$?$OAG?t(B

   * $B$3$l$i$NH!?t$O(B, $B%0%l%V%J4pDl7W;;$N4pK\E*AH$_9~$_H!?t$G$"$j(B, `gr()',
     `hgr()', `gr_mod()' $B$J$I$O$9$Y$F$3$l$i$NH!?t$r8F$S=P$7$F7W;;(B
     $B$r9T$C$F$$$k(B.

   * $B%U%i%0(B HOMO $B$,(B 0 $B$G$J$$;~(B, $BF~NO$r@F<!2=$7$F$+$i(B Buchberger
     $B%"%k%4%j%:%`(B $B$r<B9T$9$k(B.

   * `dp_gr_mod_main()' $B$KBP$7$F$O(B, MODULAR $B$O(B, GF(MODULAR) $B>e(B
     $B$G$N7W;;$r0UL#$9$k(B.  `dp_gr_main()' $B$KBP$7$F$O(B, MODULAR
     $B$O<!$N$h$&$J0UL#$r;}$D(B.
       1. MODULAR $B$,(B 1 $B$N;~(B, trace-lifting $B$K$h$k7W;;$r9T$&(B. $BAG?t$O(B
          `lprime(0)' $B$+$i=g$K@.8y$9$k$^$G(B `lprime()'
          $B$r8F$S=P$7$F@8@.$9$k(B.

       2. MODULAR $B$,(B 2 $B0J>e$N<+A3?t$N;~(B, $B$=$NCM$rAG?t$H$_$J$7$F(B
          trace-lifting $B$r9T$&(B. $B$=$NAG?t$G<:GT$7$?>l9g(B, 0 $B$rJV$9(B.

       3. MODULAR $B$,Ii$N>l9g(B, -MODULAR
          $B$KBP$7$F>e=R$N5,B'$,E,MQ$5$l$k$,(B, trace-lifting $B$N:G=*(B
          $BCJ3,$N%0%l%V%J4pDl%A%'%C%/$H%$%G%"%k%a%s%P%7%C%W%A%'%C%/$,>JN,$5$l$k(B.

   * `gr(P,V,O)' $B$O(B `dp_gr_main(P,V,0,1,O)', `hgr(P,V,O)' $B$O(B
     `dp_gr_main(P,V,1,1,O)', `gr_mod(P,V,O,M)' $B$O(B
     `dp_gr_mod_main(P,V,0,M,O)' $B$r$=$l$>$l<B9T$9$k(B.

   * HOMO, MODULAR $B$NB>$K(B, `dp_gr_flags()' $B$G@_Dj$5$l$k(B
     $B$5$^$6$^$J%U%i%0$K$h$j7W;;$,@)8f$5$l$k(B.

$B;2>H(B
     *Note `dp_ord': dp_ord, *Note `dp_gr_flags dp_gr_print':
     dp_gr_flags dp_gr_print, *Note `gr hgr gr_mod': gr hgr gr_mod,
     *Note `$B7W;;$*$h$SI=<($N@)8f(B': $B7W;;$*$h$SI=<($N@)8f(B.

