書式

で用い、「式／数」の整数 n を法とした剰余類（の代表元）を返す。なお、完全代表系は、n が奇数のときは不等式 -n/2 < x < n/2、n が偶数のときは、-n/2 < x < n/2 または x = n/2 です。

(%i1) mod(15, 8);

(%o1)                            - 1


(%i2) mod(11*x^8-17*x^3+38,5);

                             8      3
(%o2)                       x  - 2 x  - 2

普通に余りを求めたい場合は remainder を用いる。なお、第 2 引数 n は、変数 modulus が設定してある場合（デフォルトは false）は省略出来る。

(%i3) modulus;

(%o3)                           FALSE


(%i4) modulus:5;

(%o4)                             5


(%i5) mod(12);

(%o5)                             2

なお、modulus に素数以外を代入しようとすると警告が出る（が、計算はしてくれるらしい）。

(%i6) modulus:4;

Warning: MODULUS being set to 4, a non-prime.

(%o6)                             4


(%i7) mod(10);

(%o7)                             2