`dp_mbase'
----------

dp_mbase(DPLIST)
     :: monomial $B4pDl$N7W;;(B

RETURN
     $BJ,;6I=8=B?9`<0$N%j%9%H(B

DPLIST
     $BJ,;6I=8=B?9`<0$N%j%9%H(B

   * $B$"$k=g=x$G%0%l%V%J4pDl$H$J$C$F$$$kB?9`<0=89g$N(B,
     $B$=$N=g=x$K4X$9$kJ,;6I=8=(B $B$G$"$k(B DPLIST $B$K$D$$$F(B, DPLIST $B$,(B K[X]
     $BCf$G@8@.$9$k%$%G%"%k(B I $B$,(B 0 $B<!85$N;~(B, K $B>eM-8B<!85@~7A6u4V$G$"$k(B
     K[X]/I $B$N(B monomial $B$K$h$k4pDl$r5a$a$k(B.

   * $BF@$i$l$?4pDl$N8D?t$,(B, K[X]/I $B$N(B K-$B@~7A6u4V$H$7$F$N<!85$KEy$7$$(B.

     [215] K=katsura(5)$
     [216] V=[u5,u4,u3,u2,u1,u0]$
     [217] G0=gr(K,V,0)$
     [218] H=map(dp_ptod,G0,V)$
     [219] map(dp_ptod,dp_mbase(H),V)$
     [u0^5,u4*u0^3,u3*u0^3,u2*u0^3,u1*u0^3,u0^4,u3^2*u0,u2*u3*u0,u1*u3*u0,
     u1*u2*u0,u1^2*u0,u4*u0^2,u3*u0^2,u2*u0^2,u1*u0^2,u0^3,u3^2,u2*u3,u1*u3,
     u1*u2,u1^2,u4*u0,u3*u0,u2*u0,u1*u0,u0^2,u4,u3,u2,u1,u0,1]

$B;2>H(B
     *Note `gr hgr gr_mod': gr hgr gr_mod.

