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

dp_mbase(DPLIST)
     :: monomial 基底の計算

RETURN
     分散表現多項式のリスト

DPLIST
     分散表現多項式のリスト

   * ある順序でグレブナ基底となっている多項式集合の,
     その順序に関する分散表現 である DPLIST について, DPLIST が K[X]
     中で生成するイデアル I が 0 次元の時, K 上有限次元線形空間である
     K[X]/I の monomial による基底を求める.

   * 得られた基底の個数が, K[X]/I の K-線形空間としての次元に等しい.

     [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]

参照
     *Note `gr hgr gr_mod': gr hgr gr_mod.

