`p_terms'
---------

p_terms(POLY,VLIST,ORDER)
     :: 多項式にあらわれる単項をリストにする.

RETURN
     リスト

POLY
     多項式

VLIST
     リスト

ORDER
     数, リストまたは行列

   * `gr' で定義されている.

   * 多項式を単項に展開した時に現れる項をリストにして返す.  VLIST
     および ORDER により定まる項順序により, 順序の高いもの
     がリストの先頭に来るようにソートされる.

   * グレブナ基底はしばしば係数が巨大になるため, 実際にどの項が現れて
     いるのかを見るためなどに用いる.

     [233] G=gr(katsura(5),[u5,u4,u3,u2,u1,u0],2)$
     [234] p_terms(G[0],[u5,u4,u3,u2,u1,u0],2);
     [u5,u0^31,u0^30,u0^29,u0^28,u0^27,u0^26,u0^25,u0^24,u0^23,u0^22,
     u0^21,u0^20,u0^19,u0^18,u0^17,u0^16,u0^15,u0^14,u0^13,u0^12,u0^11,
     u0^10,u0^9,u0^8,u0^7,u0^6,u0^5,u0^4,u0^3,u0^2,u0,1]

