模（Mod）运算

定义：

$y$ $mod$ $x=x-y[\frac{x}{y}]$， $y\ne 0$

$x$ $mod$ $y$ 的值介于 $0$ 和 $y$ 之间：

$0$ $\ge$ $y$ $mod$ $x$ $>$ $y$ ，$y<0$
$0$ $\le$ $y$ $mod$ $x$ $<$ $y$ ，$y>0$
$x$ $mod$ $0=x$   ，$y=0$

模(Mod)在一些场合，可用符号$\%$表示，它是一个二元运算，例如：
A. 结合律

$((a+b)\%p+c)\%p=(a+(b+c)\%p)\%p$

$((a\ast b)\%p\ast c)\%p=(a\ast (b\ast c)\%p)\%p$

B. 交换律

$(a+b)\%p=(b+a)\%p$

$(a\ast b)\%p=(b\ast a)\%p$

C. 分配率

$(a+b)\%p=(a\%p+b\%p)\%p$

$((a+b)\%p\ast c)\%p=((a\ast c)\%p+(b\ast c)\%p)\%p$

D. 基本四则运算

$(a+b)\%p=(a\%p+b\%p)\%p$

$(a-b)\%p=(a\%p-b\%p)\%p$

$(a\ast b)\%p=(a\%p\ast b\%p)\%p$

$a^b\%p=((a\%p{)}^b\%p)$

$({\sum }_1^{n}x)\%p=({\sum }_1^{n}x\%p)\%p$

$\dots$

注：$[\frac{x}{y}]$表示$\frac{x}{y}$的结果向下取整，，$over\sim$