`setmod'
--------

setmod([P])
     :: $BM-8BBN$r(B GF(P) $B$K@_Dj$9$k(B.

RETURN
     $B@0?t(B

N
     2^27 $BL$K~$NAG?t(B

   * $BM-8BBN$r(B GF(P) $B$K@_Dj$9$k(B. $B@_DjCM$rJV$9(B.

   * $BM-8BBN$N85$N7?$r;}$D?t$O(B,
     $B$=$l<+?H$O$I$NM-8BBN$KB0$9$k$+$N>pJs$r;}$?$:(B,
     $B8=:_@_Dj$5$l$F$$$kAG?t(B P $B$K$h$j(B GF(P) $B>e$G$N1i;;$,E,MQ$5$l$k(B.

   * $B0L?t$NBg$-$JM-8BBN$K4X$7$F$O(B *note $BM-8BBN$K4X$9$k1i;;(B::.

     [0] A=dp_mod(dp_ptod(2*x,[x]),3,[]);
     (2)*<<1>>
     [1] A+A;
     addmi : invalid modulus
     return to toplevel
     [1] setmod(3);
     3
     [2] A+A;
     (1)*<<1>>

$B;2>H(B
     *Note `dp_mod dp_rat': dp_mod dp_rat, *Note `$B?t$N7?(B': $B?t$N7?(B.

