`katsura', `hkatsura', `cyclic', `hcyclic'
------------------------------------------

katsura(N)

hkatsura(N)

cyclic(N)

hcyclic(N)
     :: $BB?9`<0%j%9%H$N@8@.(B

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

N
     $B@0?t(B

   * `katsura()' $B$O(B `katsura', `cyclic()' $B$O(B `cyclic' $B$GDj5A$5$l$F$$$k(B.

   * $B%0%l%V%J4pDl7W;;$G$7$P$7$P%F%9%H(B, $B%Y%s%A%^!<%/$KMQ$$$i$l$k(B
     `katsura', `cyclic' $B$*$h$S$=$N@F<!2=$r@8@.$9$k(B.

   * `cyclic' $B$O(B `Arnborg', `Lazard', `Davenport' $B$J$I$N(B
     $BL>$G8F$P$l$k$3$H$b$"$k(B.

     [74] load("katsura")$
     [79] load("cyclic")$
     [89] katsura(5);
     [u0+2*u4+2*u3+2*u2+2*u1+2*u5-1,2*u4*u0-u4+2*u1*u3+u2^2+2*u5*u1,
     2*u3*u0+2*u1*u4-u3+(2*u1+2*u5)*u2,2*u2*u0+2*u2*u4+(2*u1+2*u5)*u3-u2+u1^2,
     2*u1*u0+(2*u3+2*u5)*u4+2*u2*u3+2*u1*u2-u1,
     u0^2-u0+2*u4^2+2*u3^2+2*u2^2+2*u1^2+2*u5^2]
     [90] hkatsura(5);
     [-t+u0+2*u4+2*u3+2*u2+2*u1+2*u5,
     -u4*t+2*u4*u0+2*u1*u3+u2^2+2*u5*u1,-u3*t+2*u3*u0+2*u1*u4+(2*u1+2*u5)*u2,
     -u2*t+2*u2*u0+2*u2*u4+(2*u1+2*u5)*u3+u1^2,
     -u1*t+2*u1*u0+(2*u3+2*u5)*u4+2*u2*u3+2*u1*u2,
     -u0*t+u0^2+2*u4^2+2*u3^2+2*u2^2+2*u1^2+2*u5^2]
     [91] cyclic(6);
     [c5*c4*c3*c2*c1*c0-1,
     ((((c4+c5)*c3+c5*c4)*c2+c5*c4*c3)*c1+c5*c4*c3*c2)*c0+c5*c4*c3*c2*c1,
     (((c3+c5)*c2+c5*c4)*c1+c5*c4*c3)*c0+c4*c3*c2*c1+c5*c4*c3*c2,
     ((c2+c5)*c1+c5*c4)*c0+c3*c2*c1+c4*c3*c2+c5*c4*c3,
     (c1+c5)*c0+c2*c1+c3*c2+c4*c3+c5*c4,c0+c1+c2+c3+c4+c5]
     [92] hcyclic(6);
     [-c^6+c5*c4*c3*c2*c1*c0,
     ((((c4+c5)*c3+c5*c4)*c2+c5*c4*c3)*c1+c5*c4*c3*c2)*c0+c5*c4*c3*c2*c1,
     (((c3+c5)*c2+c5*c4)*c1+c5*c4*c3)*c0+c4*c3*c2*c1+c5*c4*c3*c2,
     ((c2+c5)*c1+c5*c4)*c0+c3*c2*c1+c4*c3*c2+c5*c4*c3,
     (c1+c5)*c0+c2*c1+c3*c2+c4*c3+c5*c4,c0+c1+c2+c3+c4+c5]

$B;2>H(B
     *Note `dp_dtop': dp_dtop.

