Update notebooks

Author: rossant

chapter08_ml/05_svm.ipynb

@@ -55,6 +55,8 @@
     "                     np.linspace(-3, 3, 500))\n",
     "\n",
     "# This function takes a SVM estimator as input.\n",
+    "\n",
+    "\n",
     "def plot_decision_function(est, title):\n",
     "    # We evaluate the decision function on the grid.\n",
     "    Z = est.decision_function(np.c_[xx.ravel(),\n",

chapter08_ml/08_clustering.ipynb

@@ -151,8 +151,8 @@
    "source": [
     "fig, axes = plt.subplots(2, 3,\n",
     "                         figsize=(10, 7),\n",
-    "                        sharex=True,\n",
-    "                        sharey=True)\n",
+    "                         sharex=True,\n",
+    "                         sharey=True)\n",
     "\n",
     "axes[0, 0].scatter(X[:, 0], X[:, 1],\n",
     "                   c=y, s=30,\n",

chapter09_numoptim/02_minimize.ipynb

@@ -139,7 +139,7 @@
     "ax.plot(x, y)\n",
     "ax.scatter(x0, f(x0), marker='o', s=300)\n",
     "ax.scatter(xmin, f(xmin), marker='v', s=300,\n",
-    "           zorder=20);\n",
+    "           zorder=20)\n",
     "ax.set_xlim(-20, 20)"
    ]
   },

chapter09_numoptim/04_energy.ipynb

@@ -30,7 +30,7 @@
     "nasdaq_df = pd.read_csv(\n",
     "    'https://github.com/ipython-books/'\n",
     "    'cookbook-2nd-data/blob/master/'\n",
-    "    'nasdaq.csv?raw=true', \n",
+    "    'nasdaq.csv?raw=true',\n",
     "    index_col='Date',\n",
     "    parse_dates=['Date'])"
    ]

chapter10_signal/02_filter.ipynb

@@ -75,7 +75,7 @@
    "outputs": [],
    "source": [
     "notes = 'C,C#,D,D#,E,F,F#,G,G#,A,A#,B,C'.split(',')\n",
-    "freqs = 440. * 2 ** (np.arange(3, 17) / 12.)\n",
+    "freqs = 440. * 2 ** (np.arange(3, 3 + len(notes)) / 12.)\n",
     "notes = list(zip(notes, freqs))"
    ]
   },

chapter11_image/07_synth.ipynb

@@ -168,7 +168,7 @@
    ],
    "source": [
     "fig, (ax1, ax2) = plt.subplots(2, 1, figsize=(8, 9),\n",
-    "                              sharex=True)\n",
+    "                               sharex=True)\n",
     "for i in range(iterations):\n",
     "    x = logistic(r, x)\n",
     "    # We compute the partial sum of the\n",
@@ -194,7 +194,7 @@
     "ax2.set_xlim(2.5, 4)\n",
     "ax2.set_ylim(-2, 1)\n",
     "ax2.set_title(\"Lyapunov exponent\")\n",
-    "plt.tight_layout();"
+    "plt.tight_layout()"
    ]
   }
  ],

chapter12_deterministic/01_bifurcation.ipynb

@@ -147,7 +147,7 @@
     "nsteps_list = [10, 1000, 10000]\n",
     "fig, axes = plt.subplots(1, len(nsteps_list),\n",
     "                         figsize=(12, 3),\n",
-    "                        sharey=True)\n",
+    "                         sharey=True)\n",
     "for i, nsteps in enumerate(nsteps_list):\n",
     "    ax = axes[i]\n",
     "    simulate(x, nsteps)\n",

chapter13_stochastic/01_markov.ipynb

@@ -121,8 +121,8 @@
    "outputs": [],
    "source": [
     "def get_path_length(path):\n",
-    "    return np.sum(geocalc(path[1:, 0], path[1:, 1],\n",
-    "                          path[:-1, 0], path[:-1, 1]))"
+    "    return np.sum(geocalc(path[1:, 1], path[1:, 0],\n",
+    "                          path[:-1, 1], path[:-1, 0]))"
    ]
   },
   {
@@ -170,10 +170,11 @@
    ],
    "source": [
     "# Compute the shortest path.\n",
-    "path = nx.shortest_path(sg,\n",
-    "                        source=tuple(nodes[pos0_i]),\n",
-    "                        target=tuple(nodes[pos1_i]),\n",
-    "                        weight='distance')\n",
+    "path = nx.shortest_path(\n",
+    "    sg,\n",
+    "    source=tuple(nodes[pos0_i]),\n",
+    "    target=tuple(nodes[pos1_i]),\n",
+    "    weight='distance')\n",
     "len(path)"
    ]
   },
@@ -198,10 +199,10 @@
     }
    ],
    "source": [
-    "roads = pd.DataFrame([sg.edges[path[i], path[i + 1]]\n",
-    "                      for i in range(len(path) - 1)],\n",
-    "                     columns=['FULLNAME', 'MTFCC',\n",
-    "                              'RTTYP', 'distance'])\n",
+    "roads = pd.DataFrame(\n",
+    "    [sg.edges[path[i], path[i + 1]]\n",
+    "     for i in range(len(path) - 1)],\n",
+    "    columns=['FULLNAME', 'MTFCC', 'RTTYP', 'distance'])\n",
     "roads"
    ]
   },
@@ -248,8 +249,8 @@
     "        p = get_path(path[i], path[i + 1])\n",
     "        if curp is None:\n",
     "            curp = p\n",
-    "        if (np.sum((p[0] - curp)**2) >\n",
-    "                np.sum((p[-1] - curp)**2)):\n",
+    "        if (np.sum((p[0] - curp) ** 2) >\n",
+    "                np.sum((p[-1] - curp) ** 2)):\n",
     "            p = p[::-1, :]\n",
     "        p_list.append(p)\n",
     "        curp = p[-1]\n",

chapter14_graphgeo/07_gps.ipynb

@@ -46,15 +46,15 @@
    "execution_count": 3,
    "metadata": {
     "podoc": {
-     "output_text": "[-√a, √a]"
+     "output_text": "Output"
     }
    },
    "outputs": [
     {
      "data": {
       "image/png": "iVBORw0KGgoAAAANSUhEUgAAAHAAAAAZBAMAAAAbNbfqAAAAMFBMVEX///8AAAAAAAAAAAAAAAAA\nAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAv3aB7AAAAD3RSTlMAu90iEM0ydqtEmVSJ\nZu+3WVRUAAAACXBIWXMAAA7EAAAOxAGVKw4bAAABgElEQVQ4EaWUv0vDQBTHv+SHbdNWiuBegkIH\nhwyK3QwujinqLP0P7CYO6ihOZnWRbA4KFtxc2smlCP4BjnYUKnaxCHqXSy53l2tFfct7+X7f571H\nAsGC6+HXUXJXUM9R6180Rjk9FszEbGrAMz3C1GLIsgY0W7PAtcTUgE53Fng9HdycxVn16WA6U8vz\nc/Kn8plakJ+TBytPWiIRH1MzD9KZ5s3VS9ohZXoOM/PgEem89OyRBKQPBXIOMyWwFJKGOmC9wqml\nvTxfkMrgJgWtbZfEchvHLaDQAZwxDJLkKAzJ8wE3xY3m1kc8E/M1BG0ZA1ZPwvicxBRBWG/AMwGC\nPnoqR9Qaqn1uSiBuPSxRsIvFsqeizjsMn5syuBHRmbA71UYFQYuUQpiT+BxmQgaLY8MnrdbpQ/MQ\nBl0uxrlPFWYq4NznvdB5J9S03B9EmSJvxN5uZqEv1LS0h36mKGAvyixL/ZTlSWYqp8IW3mVVaGPl\njqAoGwXnh/IfoPu3/2rjG9wtVmQy7mEXAAAAAElFTkSuQmCC\n",
       "text/plain": [
-       "[-√a, √a]"
+       "Output"
       ]
      },
      "metadata": {},
@@ -70,15 +70,15 @@
    "execution_count": 4,
    "metadata": {
     "podoc": {
-     "output_text": "(-∞ < x ∧ x < -2) ∨ (2 < x ∧ x < ∞)"
+     "output_text": "Output"
     }
    },
    "outputs": [
     {
      "data": {
       "image/png": "iVBORw0KGgoAAAANSUhEUgAAAV4AAAAUBAMAAAA3sUiXAAAAMFBMVEX///8AAAAAAAAAAAAAAAAA\nAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAv3aB7AAAAD3RSTlMAIma7zZnddlTvRIkQ\nMqvFy5UvAAAACXBIWXMAAA7EAAAOxAGVKw4bAAAEA0lEQVRIDa1WX4hUZRT/3TvjzLhz73TNFIoe\n7kbYQwWrkdSDOBKFBOJUbATBOoRpYOj4oPug6AjaU5D1EKw9OC/Vo1ux+aCwl1iREJZL0lMPu5Ik\nSdFCYa1tjOd3vjsz994dr9uwB+75zvnd8/t939zv3wCWj9W34bSk5aeRAXLbE9L6AYhZFGv0uRAV\nKsdNetnwxrY4Mkh8Q0g7/g/RenDxLMp34VRZ6Gp1SL8DzjymWwr0cysQFtoMYNf60TvYae2skwH5\nftWlXb0C4DdgArhIqEK23aCroRJg7VmiaknOioSFV26g4EUK/ZpNr6XQ6++nAEntdxMSnwJ/hPie\nde68uEJA52FtHZX/JFRLcYAVCAvROYuNkYI2Dr06TY9e1ibmbo/HEhMWDwQJbHfA8eZbBLnWPmcg\nveSXeuNNc4BM4YAS6l7FEcaRzZ7/RL7587dM6nzLmaRdPfHYMY2dakEBZ/zGlzrjwLX9iiTcoQDl\nGpEz8mxmYHopLDGOcbo6WcLOr4s+8M0YRzCFLRSIbBtOVp2dcCeZW2/6EexM2vsLVSblZrnJ9ho2\nNfYywIZ3tEm4oX9lkVQJFQK4IwxMLxdUOMbp6mQJ58LiX5hp4ifReRLvUc6YHaL0Zz4EhpnfbNLT\nykF5qeQxKsCqsr2M6eAUg8pO+pQV5oFSnWCxgUqLgenlIMM4p6uTJfws8NGIbGmevh/gnCzYV/aJ\n7Q2LIjbN6bXlcW42xas5yI+Y6Cngd0YBXjLAbG+8MxTZJ7oYlcddYIFT5xEkJr0Aa2r0iHG6OlnC\nDflid8TBB+aMEmXka8iT+zsKYusBeIjlYnI6XDcRy2h91kORwzLjxVv4Wst0vJ2tEudEOlnC7Hs7\nnTxz8fWg4z3fAr7TPnr7DXOhIqWabHOPods9mZbvtzOwPAzVlfEITMv1IOx1Csb2aKSTKSzDxIt3\nZbJ84Iv4frMD4NijHwOHjSyi86wUnERR3ulYKY0Piws4HhWlzya3hqIHu6qvcz+wN7PffuwJdzgd\nHX6E+wo/IzP/1YRHVdlvU6pnXE2OIXexZU92MHNfXGhux8OEdC3I1A39k1uwfCK01Nm/8dLUL7JW\njcbQ1kBrpBfrwKWxuibiDKerkym8hsfY3Dk8Lby35Qv37MrYC8CVxc96iN7Hs+NXX/eJ3aYbl5m5\ndfzIE4yNJe/W3e32HZmK0Lx72TTSS77dbtdNJl45XZ1MYWf05yacPRP8AruS97FDPXUMllmLiLsM\n7gd0rs3HzcvMWx9oser+wgFf01n1B/zfYeFAdjHJyv5XlazNyOT/jrkvM2oGemX+T8aoeivH8sFC\nHubrB6Nms3Je6v3q9MJfbfniVtuG04KWn0YGyOVGvgcSUwJxiHAHpgAAAABJRU5ErkJggg==\n",
       "text/plain": [
-       "(-∞ < x ∧ x < -2) ∨ (2 < x ∧ x < ∞)"
+       "Output"
       ]
      },
      "metadata": {},
@@ -95,15 +95,15 @@
    "execution_count": 5,
    "metadata": {
     "podoc": {
-     "output_text": "{x: 1/5, y: -3/5}"
+     "output_text": "Output"
     }
    },
    "outputs": [
     {
      "data": {
       "image/png": "iVBORw0KGgoAAAANSUhEUgAAAKEAAAAyBAMAAADGjaZoAAAAMFBMVEX///8AAAAAAAAAAAAAAAAA\nAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAv3aB7AAAAD3RSTlMAEImZRO/dMlQiu6vN\nZnZmcXX2AAAACXBIWXMAAA7EAAAOxAGVKw4bAAAC5UlEQVRYCdWXv2/TQBTHn52kdeL8sJDIEpRa\nSCwg0QJCoFIUL8xpJUCi6oKQMlWQibVZOhNRQIBAdGKAoUGIDUQm5vwDFYZOCKluJQSCFsLdu8vF\n8Y/Ddbxww9378Xnf3NnnswNA2qEZ2o/dHrcGEumrzYE51lhYNHj9nXGnmD16vEW1HlxnitlfbBzt\ntYVRX+atgfab5rN7jNJ3A+jKhaBoAEhDTgu+Y6rGLl+pi56nKx5A8ZKl7GP5io1DqeMRQ/cgisBX\nDVPsjkwloFg2cRpcKgHFuzeMhBVBvZy0IlzBSSa26kcAGy06ycQU+0bSiosAt9qJznETtD9UULrq\n1Jv9dwhF6dJnZi3kpNcxipKP+R8U+RHxzPTNPm6gtI6VH624Ar66/A6GGthXv977bBNrooNuYKds\n2XCfPm5hEDvK1Z+0WjELNye6xDhMu5CmavPg0Fwo9J5u9GMWZVRD3dWoK2sPU114IQNAJ2fQkVeI\nKJBfd7GlPm2uAJpGxgb2cFBX+dAgbbkJbnjVhvIpXleyuSEZ6u3JH5I0Sd02Ac42GbPCR1nFHBTn\nZXl28qbwVzXDgaIhpUnyJeQ6UmYap4W7p97agKcUHrmN/KUpRGah3vNBIguQZlfZsUissl29iPDo\nVmsYLp5QJ2ttGhiFhkhuB+3ApzD/afI8yfo21NywfGhxGIB/TPDX9hCgVqbfN8mgUls0vat8E47L\n4LD8xM2f+EJLqq46sthezh4JcIfDckWdwXhphUh6+5yw3QaHIym668LtaIqbW81wCU9GH8Cyt0LO\nyAbeBI8WcwUsUyTo88DqkCCD/6HINnOIgjfMYJniW4Bpy1sW5gtYprgEUDPCFLxxAcsUZwCWvYWh\nvoBlimtQuBaq4E0ImCsGftlnT7+OvGgQMD8iMl3vb8b2V0ws1fH1GlvFXeg00Rv893Kn4tnK4P+g\nY8cT8FWVF3iosBf9JvhUXAFtSehUOq54fPNJj9b+BXRhw3VyvJ/QAAAAAElFTkSuQmCC\n",
       "text/plain": [
-       "{x: 1/5, y: -3/5}"
+       "Output"
       ]
      },
      "metadata": {},
@@ -143,15 +143,15 @@
    "execution_count": 7,
    "metadata": {
     "podoc": {
-     "output_text": "{x: -2⋅y - 1}"
+     "output_text": "Output"
     }
    },
    "outputs": [
     {
      "data": {
       "image/png": "iVBORw0KGgoAAAANSUhEUgAAAHgAAAAVBAMAAAB/IDdlAAAAMFBMVEX///8AAAAAAAAAAAAAAAAA\nAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAv3aB7AAAAD3RSTlMAZpkQ3Ynvq81UMrtE\ndiLw+n06AAAACXBIWXMAAA7EAAAOxAGVKw4bAAABkklEQVQ4EWNgYGBUZCADLLoM0sTsSoZWoJZj\nC4AE4wecmvmUdoNUYAdMDUBx1gTskkBRcwbWP9gkOZOBoqwOICIBSGAHxQwMaVhkzNU/A0XB+vBo\nTmFgqF+ARTcvMZr7DYjSbHv9zdULQDtYCtAs8jew1WXgA/kRCSBsZm8ARlcAoy8LkGYwAxFIgOcr\nQ8A0Bl60CAFrBsfStAVAzxuwfuZ8gKQJxmQp4JugwcC9AcaH0GDNDE0MDKuzgALMDBzI8hYuINAF\nlFACSuUy8F8AMhGCDBDN7L7QlAKRh5iLRPIqMDDw/GNYvwBJDMiEaG4HskB+ZsCQB4kxMExi4HvA\n1MBwDcKDkwg/g1IKp8F9Bl4DuCSMwaXAwPuAu4BhO0wASoM1wxPJ+Qn7GR6CZFBD+0loUAkD0wae\nj3g1m9+1VRQAqUCN5/7//78wMJde+oeqmansRyHh5AnVA/Q1FgB3NhY5uFAFg/0BOAeJAdaMJz+D\nlToy7EXSgmBC3NOKEMDGOntpATZhhmMHQMKc5JVhwQwMAO/kYaruohRiAAAAAElFTkSuQmCC\n",
       "text/plain": [
-       "{x: -2⋅y - 1}"
+       "Output"
       ]
      },
      "metadata": {},
@@ -167,15 +167,15 @@
    "execution_count": 8,
    "metadata": {
     "podoc": {
-     "output_text": "(a, b, c, d, u, v)"
+     "output_text": "Output"
     }
    },
    "outputs": [
     {
      "data": {
       "image/png": "iVBORw0KGgoAAAANSUhEUgAAAOAAAAAUBAMAAABmACzdAAAAMFBMVEX///8AAAAAAAAAAAAAAAAA\nAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAv3aB7AAAAD3RSTlMAIma7zZnddlTvRIkQ\nMqvFy5UvAAAACXBIWXMAAA7EAAAOxAGVKw4bAAACGElEQVRIDb2Wv2sUQRTHv7P3I3e3Ix4IlrJI\nIO2psbA7izRBJUVIikO9KqQQueZQhMO1EVJIgqJCsLASUmURtAss+CNYrX+BF9MkkEaDhWgK3xiR\n2++8Taev2Z3Pe9/v7LwdZhcwEf5bBE2Z6oQ+3ZsnOvfosQszHisEnyVzsSB7pYB7+HjsoULwFgiK\nnu97oYoS6ymBI4ZhD1XXViUaBwpU0WuV6tCu4KSeQdgtSHh4yiNHgGn0JWs688+4qLzTj5mFtwaM\nTGfg9X5zHsbzE/g+Al7hrFisNctf2Cm7ZL8SM4uYJCTSktf7mSWMeX7JEqpbwDgWAfsQlRY7Laf4\nSayeYJeQk7aJmWgWJfYz8RxqCXAfq0DlANUeqTALyxNeT7not1RscmHxFHX2c7ARA0M3Yb2F7GNO\nI4MpNPjlPOKaQ+lzxrLBh56fwDEpHLqWZgmWWYR99/S58FYsWVVa6eJuTukGAkO5vHCbJosxWWtS\nyQ98iAjtAzVCqrS0hXNBSpUCHwgal32Kci+4GSJr50q2cR72Ww5dg71KSJVWWo3Hnl/Ytom4dWSN\nsDsbp+6geiPn/q4fAQvpKAtfTjBSpXbv9qcB+2HvtPO6PHK03Rs1P7z3Gi1N5d67SkWqQ9MdObzd\niinca6ZQEKBIdRj2gDN/HK3cc2wyABQETapD+Tz9/QAHvjkinykImlSHbnVGsxD+L0J+MX4BIJV1\nyjJRfiAAAAAASUVORK5CYII=\n",
       "text/plain": [
-       "(a, b, c, d, u, v)"
+       "Output"
       ]
      },
      "metadata": {},
@@ -240,15 +240,15 @@
    "execution_count": 11,
    "metadata": {
     "podoc": {
-     "output_text": "a⋅d - b⋅c"
+     "output_text": "Output"
     }
    },
    "outputs": [
     {
      "data": {
       "image/png": "iVBORw0KGgoAAAANSUhEUgAAAEEAAAAOBAMAAACC12zPAAAAMFBMVEX///8AAAAAAAAAAAAAAAAA\nAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAv3aB7AAAAD3RSTlMAIpmJdu8QRM1mu90y\nVKvMIHo8AAAACXBIWXMAAA7EAAAOxAGVKw4bAAABBUlEQVQYGWNggIFTQTAWmM6KRuGCOX9RhfpQ\nuUAe+zdUITQNQEnmDSgq0DUAJTkUUFQgaWBUVgljYBAyOX8BRQXHEyeggInLAQaGUgGODwzsgQzr\nE1BU5LexfWSQvsDVwMAWycC0gCF1AoMGigKG+wkMnxmCGfguMDB9Y+B2YNBPYNgMUpGxGwR6gCwN\nBrbPQDkgYF3AkH+AIYqB7TuIhwBNDOx/WReA+PkGDPeByhl4P4B4CPATaDpQDgjyLzCs4BX7y8DV\ncBEhDWR9B7qNfwIDwwUGDgfOfcwMLQyzH4A1wFW9ZFjEwPSAIekAA9sTGzl3hjzng08K4LIgRpIT\n0ADjmQ4MAN8RQyLPu/QNAAAAAElFTkSuQmCC\n",
       "text/plain": [
-       "a⋅d - b⋅c"
+       "Output"
       ]
      },
      "metadata": {},

chapter15_symbolic/02_solvers.ipynb

@@ -151,15 +151,15 @@
    "execution_count": 8,
    "metadata": {
     "podoc": {
-     "output_text": "π"
+     "output_text": "Pi"
     }
    },
    "outputs": [
     {
      "data": {
       "image/png": "iVBORw0KGgoAAAANSUhEUgAAAAwAAAAJBAMAAAD0ltBnAAAALVBMVEX///8AAAAAAAAAAAAAAAAA\nAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAADAOrOgAAAADnRSTlMAdpmJMlQiZrurEN1E71u8\n6TcAAAAJcEhZcwAADsQAAA7EAZUrDhsAAAA+SURBVAgdY2CQe/fu3SMGZpPAdLEEBlcGM0YHBiBo\n4FwAJFkmcIM4TAV8IN66BXwHgJQ0A68BkGpn4DRgAADO5AwIf9stDwAAAABJRU5ErkJggg==\n",
       "text/plain": [
-       "π"
+       "Pi"
       ]
      },
      "metadata": {},

chapter15_symbolic/03_function.ipynb

@@ -46,15 +46,15 @@
    "execution_count": 3,
    "metadata": {
     "podoc": {
-     "output_text": "x ∧ (y ∨ ¬z)"
+     "output_text": "Formula"
     }
    },
    "outputs": [
     {
      "data": {
       "image/png": "iVBORw0KGgoAAAANSUhEUgAAAGsAAAAUBAMAAAB45d4rAAAAMFBMVEX///8AAAAAAAAAAAAAAAAA\nAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAv3aB7AAAAD3RSTlMAEHarIkSJZt3NVLsy\nme8Q6PJIAAAACXBIWXMAAA7EAAAOxAGVKw4bAAAB2klEQVQ4EYVUMUgbYRT+LneX5JKLHnGpS3tE\n6Jbq0kLBISBFu4VMhQ6Gjp1CELfCtdTqeINrIdDZEuLiIHjgUnAwdKnSqUKHbikIrv3eu5j7g5F+\ngf993/f+9/Py/48DZmB9hmdYWwY3qNM3xAxqN6bMW+XdEiCRDb4sBqzYEMDnsXqXuatCu5lO2RvT\n8I+CVH7M3FOh7zOdsoemYbdClU6kQRfp1x1mOmVeE6guvXgcilxEJAE5bqt+h/OLvERebog7xqvf\nfgf5Iax24UMxFvMtf4JyB2h/RW4kgg2eSRzDGtR/AoUY+SD/t9QQN8JLTRZ7cHqXKPdF1YCnEi/2\niE+wIK9Tikg8zaMQwk5kx1yT5hXmQxEPYFz3Go2zgC8yIknzKAbw9QCWwb3GecIcKr18R6KCZe4K\nmZaleRxQ70uWTaIS44lwOHFRoy4s+yLEjVAKlpELyKVESvVKyis4FA4cG4+9Jjdr65Vs9k4go6sN\nslHI9aLSd2+kCHhtPLaPb9vdHWbbWKhVf3SYtptcciEXtgDrWf2alPB4SIZh4Q/3ecnEcZWp1uHi\nv1M4QRrNdcMUE85Rfo5HPPU+TI3yZBOnaReDibxDjJc0cxyEVj0xnWnOY2fi/x+Ff9ZbVv7ORwrV\nAAAAAElFTkSuQmCC\n",
       "text/plain": [
-       "x ∧ (y ∨ ¬z)"
+       "Formula"
       ]
      },
      "metadata": {},
@@ -105,15 +105,15 @@
    "execution_count": 6,
    "metadata": {
     "podoc": {
-     "output_text": "x ∨ (¬y ∧ ¬z)"
+     "output_text": "SOP form"
     }
    },
    "outputs": [
     {
      "data": {
       "image/png": "iVBORw0KGgoAAAANSUhEUgAAAHkAAAAUBAMAAABbvo/+AAAAMFBMVEX///8AAAAAAAAAAAAAAAAA\nAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAv3aB7AAAAD3RSTlMAEHarIkSJZt3NVLsy\nme8Q6PJIAAAACXBIWXMAAA7EAAAOxAGVKw4bAAAB80lEQVQ4EY2UP2gTURzHv5e7S3LJxR7poouG\nFNyiXRSEDgdBWrfQSXAwODqFUroJp/hvvKGrEHCuhHbpUPDARejQ4KLipODgFiHg6u/7u2vf3SWC\n35Df+/4+v3t3791774Al2lzCFtHuIiJxJst5idphDiT0PoMXMhYVFlNmVpxjG/Q7DE8YSnpTypk+\nyrEP9E8ZnjMU5R8HRcDsag5xvO5UgBNJKMne7pSIpN4AaK/dvc5SQ3o2QzEV3iJV+xOc77RXEKUk\ni/d/+iNUp7CGtWf1mFBGfcq2OWJUDd+hMqN7LL+crMPeN6AWoxpUfzdCVrrALbb1MfDlteilM/6K\n5oQswj02GYelq9qIxHhaBy5na3BpoBcCfQs/sNKRrNaBnWRUuLjTQJZ3Jkbr0rbG1RGvML3hznGW\nCKoH8CesqaS3uy5Oe2tdEieua5EjV/XRinGD9kD++8oYpPdbtm6ERnATlYAJTnSvmLfWR3MdR6yw\nJ++Qqs/1sfWtPRy/R3YqHuhe4UKk8tGauH/E66hl9Bf8497OC5nqEKvd9udRir20mwzoXNbt3ly8\nPZBQ6ZxTYFr7JchLDJGJB2mW36kyc5mg8iStmrhlbM6ZU3IH1/jYfyh/Sswlul81fYVDg8uucEJN\n0XwdtnuJwWVnHlKs/PeX6S8FwVuUnVWwawAAAABJRU5ErkJggg==\n",
       "text/plain": [
-       "x ∨ (¬y ∧ ¬z)"
+       "SOP form"
       ]
      },
      "metadata": {},

chapter15_symbolic/06_logic.ipynb

@@ -207,15 +207,15 @@
    "execution_count": 10,
    "metadata": {
     "podoc": {
-     "output_text": "{-ⅈ⋅√a⋅√c: 1, ⅈ⋅√a⋅√c: 1}"
+     "output_text": "Eigenvalues"
     }
    },
    "outputs": [
     {
      "data": {
       "image/png": "iVBORw0KGgoAAAANSUhEUgAAAPUAAAAaBAMAAACdjQcBAAAAMFBMVEX///8AAAAAAAAAAAAAAAAA\nAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAv3aB7AAAAD3RSTlMAInbvRDKJ3asQu82Z\nVGZbSvgjAAAACXBIWXMAAA7EAAAOxAGVKw4bAAADJUlEQVRIDcVVz2sTURD+kiabbrNJc1PxR0Or\nnsS2F8EWJKDgNf4FDRY9aSkiWJFCiJ4Ua7AHiwjpvZdYQa0Xg6gUQYx3ocGD3iSCLURb67xfu2/S\nTXuLA92Zb9588715ebsFEBlE1y3+VkkO5cKkI8PbwszSgA1MspOPiOLtpl6WyABDWVgRUWzdYOZ7\ncwzeYWgPwLkcGeorETjtW1KrB02R9JEqg3sAzuXIUCdF4IwYKPxdAz6aQHqvzmA46MDlnQw1RHtO\nr7nTpkj6RwwBqdNtCQHDuW2dDDdE27RsG7Rt7wurLVMY4jmXI0Bzd9Hmg+7Ye3Q3bc7liLaquLto\nT7F5nAaDht+WNJBzOaKaDtruiaxqIAc9dGWorKDYuzN4TIAZmQmZm3Ej79/oGyE7XRzMEy1RtLjD\nItYZmXZiI9Ij2qAXfxSvFcJJ+vrNYomQOy5TIdqMezaTbCqu6LSv3lclNC8eZu6JPDXz3wxKH/Zo\n+RwFCfqbb+AD7SBH4TTQU8B9irSFaNtc9wy8xaDTKfTWDdNop68D50kf7osbZLfy5f4somIy8Yn/\nVMY1YIh2E81KRDljIdo212shEXQiZJvmPq4h9tzOr5VxYDgnB8UY3HVEHv5SpzBml+n7wlKwuD2L\nqOT9ToRsU9rxZcrNF6yFly5QWUSacu4GUk1yv4FvElllodoWt1LAGpXrToRsU9oDdcp508GCu+VQ\n4icSZVLbQl/1Mx12Bjep4i99kILCkDO3uZU6llIZ06m/AQglbYor77n9PY81j9CN3hSDAsv4XiwA\nAzVxCliF+46cdc8rVcKB2dxkNj1DU+hOXhFP8lTI7vmkYNramGtQ5kFZDIqF4xdKOaC3JU4BztRX\neur327v9Zw4JWSWT8mFx3dKl/UcpqTtd/pEVFeptllxgp7YowcTVmvTqEd/4YiE7pB9kh3EuR6y4\ng3ZyXAzq27MVP+RBgUOJOJcjVt5BO7XJqtZqDPrAzfphEHAuR0EVRUq7yXICPGWZZIZBH6T9yA44\nlyO7TmqnWnaqa7H45wDcY79ul8Sjo1IoVuqSniUTL/2Pga0N/ANzquHjgmD0bQAAAABJRU5ErkJg\ngg==\n",
       "text/plain": [
-       "{-ⅈ⋅√a⋅√c: 1, ⅈ⋅√a⋅√c: 1}"
+       "Eigenvalues"
       ]
      },
      "metadata": {},