`dp_nf'
-------

dp_nf(INDEXLIST,DPOLY,DPOLYARRAY,FULLREDUCE)
     :: $@J,;6I=8=B?9`<0$N@55,7A$r5a$a$k(J.

RETURN
     $@J,;6I=8=B?9`<0(J
INDEXLIST
     $@%j%9%H(J
DPOLY
     $@J,;6I=8=B?9`<0(J
DPOLYARRAY
     $@G[Ns(J
FULLREDUCE
     $@%U%i%0(J

   * $@J,;6I=8=B?9`<0(J DPOLY $@$N@55,7A$r5a$a$k(J.
   * DPOLYARRAY $@$OJ,;6I=8=B?9`<0$rMWAG$H$9$k%Y%/%H%k(J, INDEXLIST $@$O@55,(J
     $@2=7W;;$KMQ$$$k(J DPOLYARRAY $@$NMWAG$N%$%s%G%C%/%9$N%j%9%H(J.
   * FULLREDUCE $@$,(J 0 $@$G$J$$$H$-A4$F$N9`$KBP$7$F4JLs$r9T$&(J. FULLREDUCE
     $@$,(J 0 $@$N$H$-F,9`$N$_$KBP$7$F4JLs$r9T$&(J.
   * INDEXLIST $@$G;XDj$5$l$?B?9`<0$O(J, $@A0$NJ}$N$b$N$,M%@hE*$K;H$o$l$k(J.
   * $@0lHL$K$O(J INDEXLIST $@$NM?$(J}$K$h$jH!?t$NCM$O0[$J$k2DG=@-$,$"$k$,(J, 
     $@%0%l%V%J4pDl$KBP$7$F$O0l0UE*$KDj$^$k(J.

     [0] load("gr")$
     [45] load("katsura")$
     [50] K=katsura(4)$
     [51] length(K)$
     5
     [52] Ord=2$
     [53] dp_ord(2)$
     [54] DP1=newvect(5)$
     [55] V=[u0,u1,u2,u3,u4]$
     [56] for(I=0;I<5;I++)DP1[I]=dp_ptod(K[I],V);
     [57] G=gr(K,V)$
     [58] length(G);
     5
     [59] DP2=newvect(5)$
     [60] for(I=0;I<5;I++)DP2[I]=dp_ptod(G[I],V);
     [61] T=dp_ptod((u0-u1+u2-u3+u4)^2,V)$
     [62] 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
     [63] 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
     [64] dp_dtop(dp_nf([0,1,2,3,4],T,DP2,1),V);
     -1138087976845165778088612297273078520347097001020471455633353049221045677593
     0005716505560062087150928400876150217079820311439477560587583488*u4^15+...
     [65] dp_dtop(dp_nf([4,3,2,1,0],T,DP2,1),V);
     -1138087976845165778088612297273078520347097001020471455633353049221045677593
     0005716505560062087150928400876150217079820311439477560587583488*u4^15+...
     [66] @64==@65;
     1

$@;2>H(J
     `dp_dtop', `dp_ord', `p_nf'

