環 $\mathbb{Z}/n\mathbb{Z}$ (Dom::IntegerMod())

$R=\mathbb{Z}/18\mathbb{Z}$ を使いたいときには

R:=Dom::IntegerMod(18)

というのを使います。

整数 $n$ を $R$ の元とみなすには $R(n)$ という記法を用いればよろしい。 そのあと $R$ のなかでの計算をおこなうには、

R(3)*R(5);
R(1)/R(7);
R(2)+R(5);

などと、すればいいのです。

有理数も $\frac{p}{q}$ も $q$ が $R$ で可逆である限り $R$ の元とみなすことができます。

R(1/7);

                                 13 mod 18

という具合です。

$3$ などの非可逆な元を分母に持つ有理数は $R$ の元には直せません。

R(1/3);

Error: illegal arguments

とエラーが表示されます。(但し、

 R(10/14);

                                 11 mod 18

のように ($10/14=5/7$ とさきに約分できる場合は大丈夫です。)

もう一つの注意点としては、

 R(1)+1;

			FAIL

のように、$R$ の単位元としての $1$ と単なる $1$ とは内部的に区別されて いることです。