From 37434d9b127c55e4aded8a558ae8a2baa0cbb468 Mon Sep 17 00:00:00 2001
From: J08nY
Date: Mon, 8 Apr 2024 15:42:28 +0200
Subject: Docs and ToC for RE notebooks.

---
 re/epa.ipynb |  5 ++++-
 re/zvp.ipynb | 13 ++++++++++++-
 2 files changed, 16 insertions(+), 2 deletions(-)

diff --git a/re/epa.ipynb b/re/epa.ipynb
index 4fd1289..9be3257 100644
--- a/re/epa.ipynb
+++ b/re/epa.ipynb
@@ -5,7 +5,10 @@
    "id": "18343664-ebec-4e95-88f2-0231082b6b6e",
    "metadata": {},
    "source": [
-    "# EPA-based reverse engineering"
+    "# EPA-based reverse engineering\n",
+    "This notebook showcases the EPA-based reverse-engineering technique for addition formulas.\n",
+    " - [Exploration](#Exploration)\n",
+    " - [Reverse-engineering](#Reverse-engineering)"
    ]
   },
   {
diff --git a/re/zvp.ipynb b/re/zvp.ipynb
index 4beff1c..3617418 100644
--- a/re/zvp.ipynb
+++ b/re/zvp.ipynb
@@ -5,7 +5,18 @@
    "id": "3ff024c8-7e90-4094-ab07-a051a601d9cd",
    "metadata": {},
    "source": [
-    "# ZVP-based reverse-engineering"
+    "# ZVP-based reverse-engineering\n",
+    "This notebook showcases the ZVP-based reverse-engineering technique for addition formulas.\n",
+    " - [Exploration](#Exploration)\n",
+    " - [Reverse-engineering](#Reverse-engineering)\n",
+    "   - [Computing addition chains](#Computing-addition-chains)\n",
+    "   - [Loading the formulas](#Loading-the-formulas)\n",
+    "   - [Computing the factor sets](#Computing-the-factor-sets)\n",
+    "   - [Accumulating polynomials](#Accumulating-polynomials)\n",
+    "   - [Computing ZVP points](#Computing-ZVP-points)\n",
+    "   - [Remapping](#Remapping)\n",
+    "   - [Distinguishing map and distinguishing tree building](#Distinguishing-map-and-distinguishing-tree-building)\n",
+    " - [Miscellaneous analysis](#Miscellaneous-analysis)\n"
    ]
   },
   {
-- 
cgit v1.3.1