`dp_mod', `dp_rat'
------------------

dp_mod(P,MOD,SUBST)
     :: $BM-M}?t78?tJ,;6I=8=B?9`<0$NM-8BBN78?t$X$NJQ49(B

dp_rat(P)
     :: $BM-8BBN78?tJ,;6I=8=B?9`<0$NM-M}?t78?t$X$NJQ49(B

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

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

MOD
     $BAG?t(B

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

   * `dp_nf_mod()', `dp_true_nf_mod()' $B$O(B, $BF~NO$H$7$FM-8BBN78?t$N(B
     $BJ,;6I=8=B?9`<0$rI,MW$H$9$k(B. $B$3$N$h$&$J>l9g(B, `dp_mod()' $B$K$h$j(B
     $BM-M}?t78?tJ,;6I=8=B?9`<0$rJQ49$7$FMQ$$$k$3$H$,$G$-$k(B. $B$^$?(B,
     $BF@$i$l$?(B $B7k2L$O(B, $BM-8BBN78?tB?9`<0$H$O1i;;$G$-$k$,(B,
     $BM-M}?t78?tB?9`<0$H$O1i;;$G$-$J$$(B $B$?$a(B, `dp_rat()'
     $B$K$h$jJQ49$9$kI,MW$,$"$k(B.

   * $BM-8BBN78?t$N1i;;$K$*$$$F$O(B, $B$"$i$+$8$a(B `setmod()'
     $B$K$h$jM-8BBN$N85$N(B $B8D?t$r;XDj$7$F$*$/I,MW$,$"$k(B.

   * SUBST $B$O(B, $B78?t$,M-M}<0$N>l9g(B, $B$=$NM-M}<0$NJQ?t$K$"$i$+$8$a?t$rBeF~(B
     $B$7$?8eM-8BBN78?t$KJQ49$9$k$H$$$&A`:n$r9T$&:]$N(B,
     $BBeF~CM$r;XDj$9$k$b$N$G(B, `[[VAR,VALUE],...]' $B$N7A$N%j%9%H$G$"$k(B.


$B;2>H(B
     *Note `dp_nf dp_nf_mod dp_true_nf dp_true_nf_mod': dp_nf dp_nf_mod
     dp_true_nf dp_true_nf_mod, *Note `subst psubst': subst psubst,
     *Note `setmod': setmod.

