Skip to content

Commit d73d448

Browse files
Fixed a few typos (#2)
Fixed a few typos
1 parent 593ec8c commit d73d448

File tree

1 file changed

+3
-3
lines changed

1 file changed

+3
-3
lines changed

libfqfft/evaluation_domain/evaluation_domain.hpp

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -7,13 +7,13 @@
77
a choice of domain S with size ~m that has been selected so to optimize
88
- computations of Lagrange polynomials, and
99
- FFT/iFFT computations.
10-
An evaluation domain also provides other other functions, e.g., accessing
10+
An evaluation domain also provides other functions, e.g., accessing
1111
individual elements in S or evaluating its vanishing polynomial.
1212
1313
The descriptions below make use of the definition of a *Lagrange polynomial*,
1414
which we recall. Given a field F, a subset S=(a_i)_i of F, and an index idx
15-
in {0,...,|S-1|}, the idx-th Lagrange polynomial (wrt to subset S) is defined to be
16-
\f[ L_{idx,S}(z) := prod_{k \neq idx} (z - a_k) / prod_{k \neq idx} (a_{idx} - a_k) \f]
15+
in {0, ..., |S|-1}, the idx-th Lagrange polynomial (wrt to subset S) is defined to be
16+
\f[ L_{idx,S}(z) := prod_{k \neq idx} [(z - a_k) / (a_{idx} - a_k)] \f]
1717
Note that, by construction:
1818
\f[ \forall j \neq idx: L_{idx,S}(a_{idx}) = 1 \text{ and } L_{idx,S}(a_j) = 0 \f]
1919

0 commit comments

Comments
 (0)