`dp_nf', `dp_nf_mod', `dp_true_nf', `dp_true_nf_mod'
----------------------------------------------------

dp_nf(INDEXLIST,DPOLY,DPOLYARRAY,FULLREDUCE)

dp_nf_mod(INDEXLIST,DPOLY,DPOLYARRAY,FULLREDUCE,MOD)
     :: $BJ,;6I=8=B?9`<0$N@55,7A$r5a$a$k(B.
     ($B7k2L$ODj?tG\$5$l$F$$$k2DG=@-$"$j(B)

dp_true_nf(INDEXLIST,DPOLY,DPOLYARRAY,FULLREDUCE)

dp_true_nf_mod(INDEXLIST,DPOLY,DPOLYARRAY,FULLREDUCE,MOD)
     :: $BJ,;6I=8=B?9`<0$N@55,7A$r5a$a$k(B. ($B??$N7k2L$r(B `[$BJ,;R(B, $BJ,Jl(B]'
     $B$N7A$GJV$9(B)

RETURN
     `dp_nf()' : $BJ,;6I=8=B?9`<0(B, `dp_true_nf()' : $B%j%9%H(B

INDEXLIST
     $B%j%9%H(B

DPOLY
     $BJ,;6I=8=B?9`<0(B

DPOLYARRAY
     $BG[Ns(B

FULLREDUCE
     $B%U%i%0(B

MOD
     $BAG?t(B

   * $BJ,;6I=8=B?9`<0(B DPOLY $B$N@55,7A$r5a$a$k(B.

   * `dp_nf_mod()', `dp_true_nf_mod()' $B$NF~NO$O(B, `dp_mod()' $B$J$I(B
     $B$K$h$j(B, $BM-8BBN>e$NJ,;6I=8=B?9`<0$K$J$C$F$$$J$1$l$P$J$i$J$$(B.

   * $B7k2L$KM-M}?t(B, $BM-M}<0$,4^$^$l$k$N$rHr$1$k$?$a(B, `dp_nf()' $B$O(B
     $B??$NCM$NDj?tG\$NCM$rJV$9(B. $BM-M}<078?t$N>l9g$N(B `dp_nf_mod()' $B$bF1MM(B
     $B$G$"$k$,(B, $B78?tBN$,M-8BBN$N>l9g(B `dp_nf_mod()' $B$O??$NCM$rJV$9(B.

   * `dp_true_nf()', `dp_true_nf_mod()' $B$O(B, `[NM,DN]'
     $B$J$k7A$N%j%9%H$rJV$9(B.  $B$?$@$7(B, NM $B$O78?t$KJ,?t(B,
     $BM-M}<0$r4^$^$J$$J,;6I=8=B?9`<0(B, DN $B$O(B $B?t$^$?$OB?9`<0$G(B NM/DN
     $B$,??$NCM$H$J$k(B.

   * DPOLYARRAY $B$OJ,;6I=8=B?9`<0$rMWAG$H$9$k%Y%/%H%k(B, INDEXLIST
     $B$O@55,2=7W;;$KMQ$$$k(B DPOLYARRAY $B$NMWAG$N%$%s%G%C%/%9(B $B$N%j%9%H(B.

   * FULLREDUCE $B$,(B 0 $B$G$J$$$H$-A4$F$N9`$KBP$7$F4JLs$r9T$&(B. FULLREDUCE
     $B$,(B 0 $B$N$H$-F,9`$N$_$KBP$7$F4JLs$r9T$&(B.

   * INDEXLIST $B$G;XDj$5$l$?B?9`<0$O(B, $BA0$NJ}$N$b$N$,M%@hE*$K;H$o$l$k(B.

   * $B0lHL$K$O(B INDEXLIST $B$NM?$(J}$K$h$jH!?t$NCM$O0[$J$k2DG=@-$,$"$k$,(B,
     $B%0%l%V%J4pDl$KBP$7$F$O0l0UE*$KDj$^$k(B.

   *
     $BJ,;6I=8=$G$J$$8GDj$5$l$?B?9`<0=89g$K$h$k@55,7A$rB??t5a$a$kI,MW$,$"$k>l9g(B
     $B$KJXMx$G$"$k(B. $BC10l$N1i;;$K4X$7$F$O(B, `p_nf', `p_true_nf' $B$r(B
     $BMQ$$$k$H$h$$(B.

     [0] load("gr")$
     [64] load("katsura")$
     [69] K=katsura(4)$
     [70] dp_ord(2)$
     [71] V=[u0,u1,u2,u3,u4]$
     [72] DP1=newvect(length(K),map(dp_ptod,K,V))$
     [73] G=gr(K,V,2)$
     [74] DP2=newvect(length(G),map(dp_ptod,G,V))$
     [75] T=dp_ptod((u0-u1+u2-u3+u4)^2,V)$
     [76] dp_dtop(dp_nf([0,1,2,3,4],T,DP1,1),V);
     u4^2+(6*u3+2*u2+6*u1-2)*u4+9*u3^2+(6*u2+18*u1-6)*u3+u2^2+(6*u1-2)*u2+9*u1^2-6*u1+1
     [77] dp_dtop(dp_nf([4,3,2,1,0],T,DP1,1),V);
     -5*u4^2+(-4*u3-4*u2-4*u1)*u4-u3^2-3*u3-u2^2+(2*u1-1)*u2-2*u1^2-3*u1+1
     [78] dp_dtop(dp_nf([0,1,2,3,4],T,DP2,1),V);
     -1138087976845165778088612297273078520347097001020471455633353049221045677593
     0005716505560062087150928400876150217079820311439477560587583488*u4^15+...
     [79] dp_dtop(dp_nf([4,3,2,1,0],T,DP2,1),V);
     -1138087976845165778088612297273078520347097001020471455633353049221045677593
     0005716505560062087150928400876150217079820311439477560587583488*u4^15+...
     [80] @78==@79;
     1

$B;2>H(B
     *Note `dp_dtop': dp_dtop, *Note `dp_ord': dp_ord, *Note `dp_mod
     dp_rat': dp_mod dp_rat, *Note `p_nf p_nf_mod p_true_nf
     p_true_nf_mod': p_nf p_nf_mod p_true_nf p_true_nf_mod.

