1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
pub trait ModularArithmetic {
type T;
fn modulus(&self) -> Self::T;
fn add(
&self,
lhs: Self::T,
rhs: Self::T,
) -> Self::T;
fn neg(
&self,
x: Self::T,
) -> Self::T;
fn sub(
&self,
lhs: Self::T,
rhs: Self::T,
) -> Self::T {
self.add(lhs, self.neg(rhs))
}
fn mul(
&self,
lhs: Self::T,
rhs: Self::T,
) -> Self::T;
fn inv(
&self,
x: Self::T,
) -> Self::T;
fn div(
&self,
lhs: Self::T,
rhs: Self::T,
) -> Self::T {
self.mul(lhs, self.inv(rhs))
}
}