From 1f80182fd872a57f31402260573d9ebbc8f9c614 Mon Sep 17 00:00:00 2001
From: narodnik <s>
Date: Sat, 11 Sep 2021 09:20:34 +0200
Subject: [PATCH] add description for what how the vanishing polynomial is
 calculated as X^N - 1

---
 doc/vanishing-poly.md | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100644 doc/vanishing-poly.md

diff --git a/doc/vanishing-poly.md b/doc/vanishing-poly.md
new file mode 100644
index 000000000..51b65e3ce
--- /dev/null
+++ b/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)$$
+