Skip to content

Commit b8c3450

Browse files
authored
docs: fix paper math typos (#54)
1 parent 72fe844 commit b8c3450

File tree

1 file changed

+3
-3
lines changed

1 file changed

+3
-3
lines changed

paper.md

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -40,18 +40,18 @@ This is a highly specialised software package aimed mostly at computational math
4040

4141
In the following section we shall describe the mathematical foundations for the previously mentioned family of cyptosystems.
4242
Consider a polynomial convolution ring $\mathcal{R} = \mathbb{Z}[x] / (x^N - 1)$ with $N > 2$ being prime.
43-
Let $\mathcal{R}_p$ and $\mathcal{R}_q$ denote derived modular structures with coefficients from $\mathbb{Z}/\mathbb{Z}_p$ and $\mathbb{Z}/\mathbb{Z}_q$, respectively.
43+
Let $\mathcal{R}_p$ and $\mathcal{R}_q$ denote derived modular structures with coefficients from $\mathbb{Z}/p\mathbb{Z}$ and $\mathbb{Z}/q\mathbb{Z}$, respectively.
4444
Every element of $\mathcal{R}$, $\mathcal{R}_p$, $\mathcal{R}_q$ may be writted down as:
4545

4646
\begin{equation}\label{eq:element}
47-
f = \sum_{i=0}^{N-1} f_i x_i \equiv [f_0, \ldots ,f_{N-1}]
47+
f = \sum_{i=0}^{N-1} f_i x^i \equiv [f_0, \ldots ,f_{N-1}]
4848
\end{equation}
4949

5050
where the addition operation $+$ refers to a regular element-wise addition of coefficients (modular for $\mathcal{R}_p$ and $\mathcal{R}_q$).
5151
Multiplication $\star$ within this structure is defined as:
5252

5353
\begin{equation}\label{eq:ringmul}
54-
f \star g = \sum_{i=0}^k f_i g_{k-i} + \sum_{i=k+1}^{N-1} f_i g_{N+k-i}
54+
f \star g = \sum_{i=0}^{N-1} (\sum_{k=0}^i f_k g_{i-k} + \sum_{k=i+1}^{N-1} f_k g_{N+i-k})x^i
5555
\end{equation}
5656

5757
with a final reduction modulo $p$ or $q$ in the modular quotient rings.

0 commit comments

Comments
 (0)