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

tolexm(PLIST,VLIST1,ORDER,VLIST2,MOD)
     :: $BK!(B MOD $B$G$N4pDlJQ49$K$h$k%0%l%V%J4pDl7W;;(B

minipolym(PLIST,VLIST1,ORDER,POLY,V,MOD)
     :: $BK!(B MOD $B$G$N%0%l%V%J4pDl$K$h$kB?9`<0$N:G>.B?9`<0$N7W;;(B

RETURN
     `tolexm()' : $B%j%9%H(B, `minipolym()' : $BB?9`<0(B

PLIST, VLIST1, VLIST2
     $B%j%9%H(B

ORDER
     $B?t(B, $B%j%9%H$^$?$O9TNs(B

MOD
     $BAG?t(B

   * $BF~NO(B PLIST $B$O$$$:$l$b(B $BJQ?t=g=x(B VLIST1, $B9`=g=x7?(B ORDER, $BK!(B MOD
     $B$K$*$1$k%0%l%V%J4pDl$G$J$1$l$P$J$i$J$$(B.

   * `minipolym()' $B$O(B `minipoly' $B$KBP1~$9$k7W;;$rK!(B MOD$B$G9T$&(B.

   * `tolexm()' $B$O(B FGLM $BK!$K$h$k4pDlJQ49$K$h$j(B VLIST2,
     $B<-=q<0=g=x$K$h$k%0%l%V%J4pDl$r7W;;$9$k(B.

     [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+...

$B;2>H(B
     *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.

