From 75b381e77d8b32c360b08a430d218dcb00d922da Mon Sep 17 00:00:00 2001
From: J08nY
Date: Fri, 21 Nov 2025 14:19:02 +0100
Subject: Error model cases.

---
 analysis/scalarmults/graphs.ipynb | 40 +++++++++++++++++++++++++++++++++++----
 1 file changed, 36 insertions(+), 4 deletions(-)

diff --git a/analysis/scalarmults/graphs.ipynb b/analysis/scalarmults/graphs.ipynb
index 909155c..65518d4 100644
--- a/analysis/scalarmults/graphs.ipynb
+++ b/analysis/scalarmults/graphs.ipynb
@@ -79,14 +79,14 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 4,
+   "execution_count": 44,
    "id": "8246fb1b-dc70-4b47-ae2e-94755e7f25db",
    "metadata": {},
    "outputs": [
     {
      "data": {
       "application/vnd.jupyter.widget-view+json": {
-       "model_id": "90ae5c96136440a9b105b10cd389f0e1",
+       "model_id": "3492a14eae2142b8b462b8dcffa2cff6",
        "version_major": 2,
        "version_minor": 0
       },
@@ -403,7 +403,7 @@
     {
      "data": {
       "application/vnd.jupyter.widget-view+json": {
-       "model_id": "1b567b43c19a40dc9bf9774712da5fe9",
+       "model_id": "99fba4751fe14a5e80b9296d8fd35916",
        "version_major": 2,
        "version_minor": 0
       },
@@ -506,6 +506,19 @@
     "# TODO: Should or should not contain (2, 1) in add?"
    ]
   },
+  {
+   "cell_type": "code",
+   "execution_count": null,
+   "id": "410afece-9c97-437c-a8ed-09a92def4e8b",
+   "metadata": {},
+   "outputs": [],
+   "source": [
+    "# check_condition=\"necessary\", precomp_to_affine=fully\n",
+    "add \t [(0, 1), (2, 1), (4, 2), (24, 1)]\n",
+    "affine \t [(1,), (2,), (3,), (100,)]\n",
+    "dbl \t [(1,), (2,), (6,), (12,), (25,), (50,)]"
+   ]
+  },
   {
    "cell_type": "code",
    "execution_count": 21,
@@ -527,6 +540,25 @@
     "# "
    ]
   },
+  {
+   "cell_type": "markdown",
+   "id": "061014ba-adb2-489c-bfb1-9dc9d04fc8f0",
+   "metadata": {},
+   "source": [
+    "### Cases\n",
+    "\n",
+    "|   | to_affine | add     | precomp_to_affine |   |\n",
+    "|---|-----------|---------|-------------------|---|\n",
+    "| 1 | corrupt   | corrupt | true              |   |\n",
+    "| 2 | corrupt   | error   | true              |   |\n",
+    "| 3 | error     | corrupt | true              |   |\n",
+    "| 4 | error     | error   | true              |   |\n",
+    "| 5 | corrupt   | corrupt | false             |   |\n",
+    "| 6 | corrupt   | error   | false             |   |\n",
+    "| 7 | error     | corrupt | false             |   |\n",
+    "| 8 | error     | error   | false             |   |"
+   ]
+  },
   {
    "cell_type": "markdown",
    "id": "25a651e8-3f10-47bb-8c82-bd70f17d4376",
@@ -717,7 +749,7 @@
     {
      "data": {
       "application/vnd.jupyter.widget-view+json": {
-       "model_id": "9f6efff8293f44d2acadc052ab03878f",
+       "model_id": "66f3b617dc744d78b7188f3bc5365b62",
        "version_major": 2,
        "version_minor": 0
       },
-- 
cgit v1.2.3-70-g09d2