Explorar el Código

add description for what how the vanishing polynomial is calculated as X^N - 1

narodnik hace 4 años
padre
commit
1f80182fd8
Se han modificado 1 ficheros con 10 adiciones y 0 borrados
  1. 10 0
      doc/vanishing-poly.md

+ 10 - 0
doc/vanishing-poly.md

@@ -0,0 +1,10 @@
+We have a vanishing polynomial $Z(X) = X^N - 1$. Implicitly we are proving that
+
+$$X^N = 1$$
+
+What are the solutions to this polynomial? Well the answer is $\omega$ which is any root of $1$.
+
+Therefore the solution to the formula $X^N - 1$ will be all the values of $X^N = 1$ or
+
+$$X^N - 1 = (\omega - 1)(\omega^2 - 1)\cdots(\omega^{N - 1} - 1)$$
+