From 9923504909548be692a34512d824a229d80abd11 Mon Sep 17 00:00:00 2001
From: calquezar <alquezar@unizar.es>
Date: Fri, 25 Jun 2021 19:08:24 +0200
Subject: [PATCH] Upload files to 'notebooks'

---
 notebooks/todo.ipynb | 84 ++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 84 insertions(+)

diff --git a/notebooks/todo.ipynb b/notebooks/todo.ipynb
index f3c0727..d49dd95 100644
--- a/notebooks/todo.ipynb
+++ b/notebooks/todo.ipynb
@@ -856,6 +856,90 @@
     "show(w)"
    ]
   },
+  {
+   "cell_type": "code",
+   "execution_count": 177,
+   "metadata": {},
+   "outputs": [
+    {
+     "name": "stdout",
+     "output_type": "stream",
+     "text": [
+      "Defining t0, t1, t2, t3, t4, t5, t6, y0, y1, y2, y3, y4, y5, y6\n",
+      "q =  t2*y0*y1*y3 + t5*y1*y2*y3 + t3*y3*y4*y6\n",
+      "dq =  y0*y1*y2*y3 - y1*y2*y3*y5\n",
+      "w =  t0*y1*y2*y3 - t1*y2*y3*y5\n",
+      "dw =  y0*y1*y2*y3 - y1*y2*y3*y5\n"
+     ]
+    },
+    {
+     "data": {
+      "text/plain": [
+       "True"
+      ]
+     },
+     "execution_count": 177,
+     "metadata": {},
+     "output_type": "execute_result"
+    }
+   ],
+   "source": [
+    "# Ejemplo 3\n",
+    "n=6\n",
+    "a = Apln(n)\n",
+    "a.inject_variables(n)\n",
+    "q = t5*y1*y2*y3+t2*y0*y1*y3+t3*y3*y4*y6\n",
+    "dq = q.differential()\n",
+    "w = find_preimage_diff(dq)\n",
+    "print(\"q = \", q)\n",
+    "print(\"dq = \",dq)\n",
+    "print(\"w = \",w)\n",
+    "print(\"dw = \", w.differential())\n",
+    "w.differential()==dq"
+   ]
+  },
+  {
+   "cell_type": "code",
+   "execution_count": 178,
+   "metadata": {},
+   "outputs": [
+    {
+     "name": "stdout",
+     "output_type": "stream",
+     "text": [
+      "Defining t0, t1, t2, t3, t4, t5, t6, y0, y1, y2, y3, y4, y5, y6\n",
+      "q =  t2*y0*y1 + t5*y1*y2 + t5*y3*y4 + 5*y1*y2\n",
+      "dq =  y0*y1*y2 + y1*y2*y5 + y3*y4*y5\n",
+      "w =  t0*y1*y2 + t1*y2*y5 + t3*y4*y5\n",
+      "dw =  y0*y1*y2 + y1*y2*y5 + y3*y4*y5\n"
+     ]
+    },
+    {
+     "data": {
+      "text/plain": [
+       "True"
+      ]
+     },
+     "execution_count": 178,
+     "metadata": {},
+     "output_type": "execute_result"
+    }
+   ],
+   "source": [
+    "# Ejemplo 4\n",
+    "n=6\n",
+    "a = Apln(n)\n",
+    "a.inject_variables(n)\n",
+    "q = t5*y1*y2+t2*y0*y1+5*y1*y2+t5*y3*y4\n",
+    "dq = q.differential()\n",
+    "w = find_preimage_diff(dq)\n",
+    "print(\"q = \", q)\n",
+    "print(\"dq = \",dq)\n",
+    "print(\"w = \",w)\n",
+    "print(\"dw = \", w.differential())\n",
+    "w.differential()==dq"
+   ]
+  },
   {
    "cell_type": "markdown",
    "metadata": {},