`tolexm', `minipolym'
---------------------

tolexm(PLIST,VLIST1,ORDER,VLIST2,MOD)
     :: 法 MOD での基底変換によるグレブナ基底計算

minipolym(PLIST,VLIST1,ORDER,POLY,V,MOD)
     :: 法 MOD でのグレブナ基底による多項式の最小多項式の計算

RETURN
     `tolexm()' : リスト, `minipolym()' : 多項式

PLIST  VLIST1  VLIST2
     リスト

ORDER
     数, リストまたは行列

MOD
     素数

   * 入力 PLIST はいずれも 変数順序 VLIST1, 項順序型 ORDER, 法 MOD
     におけるグレブナ基底でなければならない.

   * `minipolym()' は `minipoly' に対応する計算を法 MODで行う.

   * `tolexm()' は FGLM 法による基底変換により VLIST2,
     辞書式順序によるグレブナ基底を計算する.

     [197] tolexm(G0,V,0,V,31991);
     [8271*u0^31+10435*u0^30+816*u0^29+26809*u0^28+...,...]
     [198] minipolym(G0,V,0,u0,z,31991);
     z^32+11405*z^31+20868*z^30+21602*z^29+...

参照
     *Note `lex_hensel lex_tl tolex tolex_d tolex_tl': lex_hensel
     lex_tl tolex tolex_d tolex_tl, *Note `gr_minipoly minipoly':
     gr_minipoly minipoly.

