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

dp_mbase(DPLIST)
     :: Computes the monomial basis

RETURN
     list of distributed polynomial

DPLIST
     list of distributed polynomial

   * Assuming that DPLIST is a list of distributed polynomials which is
     a Groebner basis with respect to the current ordering type and
     that the ideal I generated by DPLIST in K[X] is zero-dimensional,
     this function computes the monomial basis of a finite dimenstional
     K-vector space K[X]/I.

   * The number of elements in the monomial basis is equal to the
     K-dimenstion of K[X]/I.

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

References
     *Note `gr hgr gr_mod': gr hgr gr_mod.

