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

katsura(N)
hkatsura(N)
cyclic(N)
hcyclic(N)
     :: $@B?9`<0%j%9%H$N@8@.(J

RETURN
     $@%j%9%H(J
N
     $@@0?t(J

   * `katsura()' $@$O(J `katsura', `cyclic()' $@$O(J `cyclic'$@$GDj5A$5$l$F$$$k(J.
   * $@%0%l%V%J4pDl7W;;$G$7$P$7$P%F%9%H(J, $@%Y%s%A%^!<%/$KMQ$$$i$l$k(J 
     `katsura', `cyclic' $@$*$h$S$=$N@F<!2=$r@8@.$9$k(J.
   * `cyclic' $@$O(J `Arnborg', `Lazard', `Davenport' $@$J$I$NL>$G8F$P$l$k$3(J
     $@$H$b$"$k(J.

     [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]

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

