From 60ebef812795bc4b1b08bfdebda17dc938bf9741 Mon Sep 17 00:00:00 2001 From: brendanfong Date: Wed, 9 Oct 2024 16:05:35 +0000 Subject: [PATCH] deploy: 8263c922a504e49709a58021a79c079b7ee5700a --- .buildinfo | 2 +- CompMath.html | 25 ++------------ Markdown.html | 1 - README.html | 1 - _sources/authors.ipynb | 2 +- _sources/chp0.ipynb | 2 +- _sources/chp1-directed-graphs.ipynb | 8 ++--- _sources/chp2-dwd.ipynb | 44 ++++++++++++------------- _sources/chp3-schemas.ipynb | 6 ++-- _sources/chp4-schemas-part2.ipynb | 10 +++--- _sources/chp5-graph-relationships.ipynb | 22 ++++++------- _sources/chp6-graph-gluing.ipynb | 18 +++++----- _sources/chp7-dpo.ipynb | 36 ++++++++++---------- _sources/chp8-dpo-application.ipynb | 22 ++++++------- _sources/cover.ipynb | 2 +- _sources/credits.ipynb | 2 +- _sources/intro.ipynb | 10 +++--- authors.html | 7 ++-- chp0.html | 1 - chp1-directed-graphs.html | 1 - chp2-dwd.html | 1 - chp3-schemas.html | 1 - chp4-schemas-part2.html | 1 - chp5-graph-relationships.html | 1 - chp6-graph-gluing.html | 1 - chp7-dpo.html | 1 - chp8-dpo-application.html | 7 ++-- cover.html | 1 - credits.html | 1 - genindex.html | 1 - intro.html | 1 - search.html | 1 - 32 files changed, 102 insertions(+), 138 deletions(-) diff --git a/.buildinfo b/.buildinfo index 834af2b..a2bc147 100644 --- a/.buildinfo +++ b/.buildinfo @@ -1,4 +1,4 @@ # Sphinx build info version 1 # This file hashes the configuration used when building these files. When it is not found, a full rebuild will be done. -config: 4f4df178d2c5892ab6f2b8ba46940544 +config: 01d12a9c24abbcd3a93511d12e7a7aca tags: 645f666f9bcd5a90fca523b33c5a78b7 diff --git a/CompMath.html b/CompMath.html index cbea206..9c38873 100644 --- a/CompMath.html +++ b/CompMath.html @@ -65,8 +65,6 @@ - - @@ -129,6 +127,8 @@ + +
@@ -173,7 +173,7 @@ - diff --git a/README.html b/README.html index 658059b..5bb5832 100644 --- a/README.html +++ b/README.html @@ -184,7 +184,6 @@
  • Chapter 6: Combining Graphs
  • Chapter 7: Evolving Graphs
  • Chapter 8: A Look Beyond – Evolving World Models
    • -
  • Compassionate Math
  • Authors
  • Credits
    • diff --git a/_sources/authors.ipynb b/_sources/authors.ipynb index 33b7329..37d1b06 100644 --- a/_sources/authors.ipynb +++ b/_sources/authors.ipynb @@ -2,7 +2,7 @@ "cells": [ { "cell_type": "markdown", - "id": "003db817", + "id": "c59a64e3", "metadata": {}, "source": [ "# Authors\n", diff --git a/_sources/chp0.ipynb b/_sources/chp0.ipynb index a27e185..99ef1bf 100644 --- a/_sources/chp0.ipynb +++ b/_sources/chp0.ipynb @@ -2,7 +2,7 @@ "cells": [ { "cell_type": "markdown", - "id": "04d9a110", + "id": "0df114f3", "metadata": {}, "source": [ "# Chapter 0: Directed Graphs\n", diff --git a/_sources/chp1-directed-graphs.ipynb b/_sources/chp1-directed-graphs.ipynb index 84becbf..c331731 100644 --- a/_sources/chp1-directed-graphs.ipynb +++ b/_sources/chp1-directed-graphs.ipynb @@ -2,7 +2,7 @@ "cells": [ { "cell_type": "markdown", - "id": "de546646", + "id": "78e9f582", "metadata": {}, "source": [ "# Chapter 1: Data\n", @@ -93,7 +93,7 @@ { "cell_type": "code", "execution_count": null, - "id": "726f2fb0", + "id": "3aaafd56", "metadata": {}, "outputs": [], "source": [ @@ -108,7 +108,7 @@ { "cell_type": "code", "execution_count": null, - "id": "185c9844", + "id": "8399a273", "metadata": {}, "outputs": [], "source": [ @@ -120,7 +120,7 @@ }, { "cell_type": "markdown", - "id": "5955f42e", + "id": "f9f1a0d4", "metadata": {}, "source": [ "## 1.3 On the importance of finding the right abstractions \n", diff --git a/_sources/chp2-dwd.ipynb b/_sources/chp2-dwd.ipynb index 2dfc09f..a0e1130 100644 --- a/_sources/chp2-dwd.ipynb +++ b/_sources/chp2-dwd.ipynb @@ -2,7 +2,7 @@ "cells": [ { "cell_type": "markdown", - "id": "05a763eb", + "id": "ea937f41", "metadata": {}, "source": [ "# Chapter 2: Dynamical Systems with Kiki and Bouba\n", @@ -141,7 +141,7 @@ }, { "cell_type": "markdown", - "id": "1a99539d", + "id": "9eeb42bb", "metadata": {}, "source": [ "```{code}\n", @@ -165,7 +165,7 @@ }, { "cell_type": "markdown", - "id": "802c10d6", + "id": "2771ee05", "metadata": {}, "source": [ "To simulate the code, we need to provide an **initial state (starting state)** for the bulb which will then get updated at every time instant as per the above update rule!" @@ -173,7 +173,7 @@ }, { "cell_type": "markdown", - "id": "0d170514", + "id": "5e8adcfc", "metadata": {}, "source": [ "```{code}\n", @@ -185,7 +185,7 @@ }, { "cell_type": "markdown", - "id": "1f3a6eef", + "id": "8337fd9c", "metadata": {}, "source": [ "The simulation results are exported as an animation showing that our simulation works (using Javis library) as shown below!\n", @@ -243,7 +243,7 @@ }, { "cell_type": "markdown", - "id": "7479f413", + "id": "c07ce82f", "metadata": {}, "source": [ "```{code}\n", @@ -267,7 +267,7 @@ }, { "cell_type": "markdown", - "id": "a8408cbd", + "id": "c42bea56", "metadata": {}, "source": [ "```{code}\n", @@ -282,7 +282,7 @@ }, { "cell_type": "markdown", - "id": "6ca38c34", + "id": "744bad43", "metadata": {}, "source": [ "Animating the simulation results produces a result as below:\n", @@ -441,7 +441,7 @@ }, { "cell_type": "markdown", - "id": "dfea36bf", + "id": "ccc962ff", "metadata": {}, "source": [ "```{code}\n", @@ -471,7 +471,7 @@ }, { "cell_type": "markdown", - "id": "8dc6b5c1", + "id": "de029602", "metadata": {}, "source": [ "We need to set the inital states carefully (in a meaningful way)! We set the controller to begin in `ON` for the RED light state and `OFF` for the other two lights (3 states for the controller). For the three light bulbs, we set RED to be `OFF`, GREEN to be `OFF`, and YELLOW to be `ON`. So in the next instant in time, controller will send it current state (RED) to the respective light bulbs and move to the next state of GREEN." @@ -479,7 +479,7 @@ }, { "cell_type": "markdown", - "id": "272cba57", + "id": "2bea800d", "metadata": {}, "source": [ "```{code}\n", @@ -492,7 +492,7 @@ }, { "cell_type": "markdown", - "id": "45756838", + "id": "61bf4b06", "metadata": {}, "source": [ "Simulation of the results creates the following animation of traffic light! We got our initial states right!!\n", @@ -610,7 +610,7 @@ }, { "cell_type": "markdown", - "id": "4af66ce2", + "id": "ccc3533a", "metadata": {}, "source": [ "```{code}\n", @@ -629,7 +629,7 @@ }, { "cell_type": "markdown", - "id": "29ac7476", + "id": "b380d98f", "metadata": {}, "source": [ "We set the initial mood of Kiki to 4.5 and Bouba to be -4.5. We set their calmdown rates to be 5% (0.05) for Kiki and 3% (0.03) for Bouba." @@ -637,7 +637,7 @@ }, { "cell_type": "markdown", - "id": "6b1bf1c2", + "id": "e5737744", "metadata": {}, "source": [ "```{code}\n", @@ -650,7 +650,7 @@ }, { "cell_type": "markdown", - "id": "22588934", + "id": "0627b005", "metadata": {}, "source": [ "Are you ready to visualize their mood change when they are by themselves?\n", @@ -723,7 +723,7 @@ }, { "cell_type": "markdown", - "id": "a531bc21", + "id": "04987fc0", "metadata": {}, "source": [ "```{code}\n", @@ -746,7 +746,7 @@ }, { "cell_type": "markdown", - "id": "de0433d4", + "id": "9e398cac", "metadata": {}, "source": [ "It's time for visualization of change in mood! :) Let us set the initial mood of Kiki and Bouba, their susceptability factors, and their tolerance levels." @@ -754,7 +754,7 @@ }, { "cell_type": "markdown", - "id": "8e507267", + "id": "a0bc665d", "metadata": {}, "source": [ "```{code}\n", @@ -775,7 +775,7 @@ }, { "cell_type": "markdown", - "id": "6ca38a24", + "id": "665259c3", "metadata": {}, "source": [ "Here is the plot showing how Kiki and Bouba's moods oscillate over a 100 minutes conversation! They seem to struggle for the first 30 minutes with Kiki losing her excitement steadily. However, their moods meet somewhere above zero and they happily seem to resonate at their maximum excitement levels from there on!\n", @@ -860,7 +860,7 @@ }, { "cell_type": "markdown", - "id": "58ee8e2c", + "id": "a01849ac", "metadata": {}, "source": [ "```{code}\n", @@ -879,7 +879,7 @@ }, { "cell_type": "markdown", - "id": "c872c4ec", + "id": "4a62002a", "metadata": {}, "source": [ "The change in mood level of Kiki, Bouba, and Bouba's crew over 100 minutes!\n", diff --git a/_sources/chp3-schemas.ipynb b/_sources/chp3-schemas.ipynb index b2e0864..3b96f51 100644 --- a/_sources/chp3-schemas.ipynb +++ b/_sources/chp3-schemas.ipynb @@ -2,7 +2,7 @@ "cells": [ { "cell_type": "markdown", - "id": "e58b8ba1", + "id": "bb30a4cd", "metadata": {}, "source": [ "# Chapter 3: Blueprints - Part I\n", @@ -128,7 +128,7 @@ { "cell_type": "code", "execution_count": null, - "id": "7e688264", + "id": "5587bb03", "metadata": {}, "outputs": [], "source": [ @@ -145,7 +145,7 @@ }, { "cell_type": "markdown", - "id": "0c79b355", + "id": "a9369000", "metadata": {}, "source": [ "And that's how AlgebraicJulia sees a directed graph to be! \n", diff --git a/_sources/chp4-schemas-part2.ipynb b/_sources/chp4-schemas-part2.ipynb index f86853e..c23d903 100644 --- a/_sources/chp4-schemas-part2.ipynb +++ b/_sources/chp4-schemas-part2.ipynb @@ -2,7 +2,7 @@ "cells": [ { "cell_type": "markdown", - "id": "0548a844", + "id": "f1157063", "metadata": {}, "source": [ "# Chapter 4: Blueprints - Part II\n", @@ -162,7 +162,7 @@ { "cell_type": "code", "execution_count": null, - "id": "8cc344ea", + "id": "bd6ec891", "metadata": {}, "outputs": [], "source": [ @@ -178,7 +178,7 @@ }, { "cell_type": "markdown", - "id": "7f46365c", + "id": "10febfff", "metadata": {}, "source": [ "And that's how reflexive graphs can be defined in AlgebraicJulia! In the next chapter we'll see how to put this definition to use.\n", @@ -267,7 +267,7 @@ { "cell_type": "code", "execution_count": null, - "id": "7e8cad17", + "id": "5770f04e", "metadata": {}, "outputs": [], "source": [ @@ -285,7 +285,7 @@ }, { "cell_type": "markdown", - "id": "603aae9c", + "id": "7453c077", "metadata": {}, "source": [ ":::{admonition} Pause and Ponder! \n", diff --git a/_sources/chp5-graph-relationships.ipynb b/_sources/chp5-graph-relationships.ipynb index dcccc43..00a5e37 100644 --- a/_sources/chp5-graph-relationships.ipynb +++ b/_sources/chp5-graph-relationships.ipynb @@ -2,7 +2,7 @@ "cells": [ { "cell_type": "markdown", - "id": "87acd800", + "id": "adf06dd0", "metadata": {}, "source": [ "# Chapter 5: Categories\n", @@ -415,7 +415,7 @@ { "cell_type": "code", "execution_count": null, - "id": "d49916fc", + "id": "506da169", "metadata": {}, "outputs": [], "source": [ @@ -435,7 +435,7 @@ }, { "cell_type": "markdown", - "id": "d5c6014f", + "id": "ef1bb706", "metadata": {}, "source": [ ":::{admonition} Puzzle 3 Solution:\n", @@ -467,7 +467,7 @@ { "cell_type": "code", "execution_count": null, - "id": "37a3b979", + "id": "57642b1d", "metadata": {}, "outputs": [], "source": [ @@ -484,7 +484,7 @@ }, { "cell_type": "markdown", - "id": "692f7526", + "id": "7e1e2605", "metadata": {}, "source": [ ":::{admonition} Puzzle 4 Solution:\n", @@ -508,7 +508,7 @@ { "cell_type": "code", "execution_count": null, - "id": "dd577e90", + "id": "5f2fb2fd", "metadata": {}, "outputs": [], "source": [ @@ -517,7 +517,7 @@ }, { "cell_type": "markdown", - "id": "5beb4d98", + "id": "4271bc30", "metadata": {}, "source": [ ":::{admonition} Puzzle 5 Solution:\n", @@ -551,7 +551,7 @@ { "cell_type": "code", "execution_count": null, - "id": "a4baaf94", + "id": "075c853f", "metadata": {}, "outputs": [], "source": [ @@ -569,7 +569,7 @@ }, { "cell_type": "markdown", - "id": "8d2f30e0", + "id": "e8ea2f9f", "metadata": {}, "source": [ ":::{admonition} Puzzle 6 Solution:\n", @@ -586,7 +586,7 @@ { "cell_type": "code", "execution_count": null, - "id": "481ee8ac", + "id": "f3010222", "metadata": {}, "outputs": [], "source": [ @@ -604,7 +604,7 @@ }, { "cell_type": "markdown", - "id": "b155df8c", + "id": "657d6a00", "metadata": {}, "source": [ ":::{admonition} Puzzle 7 Solution:\n", diff --git a/_sources/chp6-graph-gluing.ipynb b/_sources/chp6-graph-gluing.ipynb index 09d8f40..5fbc659 100644 --- a/_sources/chp6-graph-gluing.ipynb +++ b/_sources/chp6-graph-gluing.ipynb @@ -2,7 +2,7 @@ "cells": [ { "cell_type": "markdown", - "id": "8873da0d", + "id": "bcf97697", "metadata": {}, "source": [ "# Chapter 6: Combining Graphs\n", @@ -710,7 +710,7 @@ { "cell_type": "code", "execution_count": null, - "id": "fc8bd151", + "id": "af08879a", "metadata": {}, "outputs": [], "source": [ @@ -754,7 +754,7 @@ }, { "cell_type": "markdown", - "id": "baeb6131", + "id": "5cbbbec6", "metadata": {}, "source": [ "Use the code cell at the end of the section to visualize `graph A` and `graph B`.\n", @@ -766,7 +766,7 @@ { "cell_type": "code", "execution_count": null, - "id": "63da6e8c", + "id": "d3d1dcd2", "metadata": {}, "outputs": [], "source": [ @@ -807,7 +807,7 @@ }, { "cell_type": "markdown", - "id": "ed307c90", + "id": "a026f7b9", "metadata": {}, "source": [ "Use the code cell at the end of the section to visualize `graph A` and `graph B`.\n", @@ -818,7 +818,7 @@ { "cell_type": "code", "execution_count": null, - "id": "dc44e0c2", + "id": "a77981f5", "metadata": {}, "outputs": [], "source": [ @@ -842,7 +842,7 @@ }, { "cell_type": "markdown", - "id": "349d4c19", + "id": "e270ea26", "metadata": {}, "source": [ "Use the code cell below to visualize `graph A` and `graph B`." @@ -851,7 +851,7 @@ { "cell_type": "code", "execution_count": null, - "id": "7744254d", + "id": "b24184be", "metadata": {}, "outputs": [], "source": [ @@ -866,7 +866,7 @@ }, { "cell_type": "markdown", - "id": "b3a8ea16", + "id": "94a5474d", "metadata": {}, "source": [ "## 6.6 Summary \n", diff --git a/_sources/chp7-dpo.ipynb b/_sources/chp7-dpo.ipynb index 59c9791..5de1f57 100644 --- a/_sources/chp7-dpo.ipynb +++ b/_sources/chp7-dpo.ipynb @@ -2,7 +2,7 @@ "cells": [ { "cell_type": "markdown", - "id": "5dea70bc", + "id": "239cf89d", "metadata": {}, "source": [ "# Chapter 7: Evolving Graphs\n", @@ -901,7 +901,7 @@ { "cell_type": "code", "execution_count": null, - "id": "9a685722", + "id": "cf72a6db", "metadata": {}, "outputs": [], "source": [ @@ -925,7 +925,7 @@ { "cell_type": "code", "execution_count": null, - "id": "171326fd", + "id": "14372724", "metadata": {}, "outputs": [], "source": [ @@ -938,7 +938,7 @@ }, { "cell_type": "markdown", - "id": "89ec8209", + "id": "935dc03a", "metadata": {}, "source": [ "### Is this a pushout complement?\n", @@ -962,7 +962,7 @@ { "cell_type": "code", "execution_count": null, - "id": "deb653ad", + "id": "8b127d41", "metadata": {}, "outputs": [], "source": [ @@ -987,7 +987,7 @@ { "cell_type": "code", "execution_count": null, - "id": "dd69ee58", + "id": "0eaf2361", "metadata": {}, "outputs": [], "source": [ @@ -997,7 +997,7 @@ }, { "cell_type": "markdown", - "id": "c411397e", + "id": "23b3693f", "metadata": {}, "source": [ ":::{admonition} Example 3\n", @@ -1019,7 +1019,7 @@ { "cell_type": "code", "execution_count": null, - "id": "dedada90", + "id": "e7c853c9", "metadata": {}, "outputs": [], "source": [ @@ -1045,7 +1045,7 @@ { "cell_type": "code", "execution_count": null, - "id": "c4fb79f9", + "id": "94683df0", "metadata": {}, "outputs": [], "source": [ @@ -1055,7 +1055,7 @@ }, { "cell_type": "markdown", - "id": "9487e6b0", + "id": "ee456594", "metadata": {}, "source": [ "### Computing double-pushouts\n", @@ -1076,7 +1076,7 @@ { "cell_type": "code", "execution_count": null, - "id": "82c1b787", + "id": "a5cabf35", "metadata": {}, "outputs": [], "source": [ @@ -1096,7 +1096,7 @@ }, { "cell_type": "markdown", - "id": "90a39b50", + "id": "32471b09", "metadata": {}, "source": [ ":::{admonition} Puzzle 7 (continued from Puzzle 5 )\n", @@ -1113,7 +1113,7 @@ { "cell_type": "code", "execution_count": null, - "id": "d0a0fd5e", + "id": "dcf26c37", "metadata": {}, "outputs": [], "source": [ @@ -1130,7 +1130,7 @@ }, { "cell_type": "markdown", - "id": "5a98d6bc", + "id": "7e8b7aea", "metadata": {}, "source": [ ":::{admonition} Puzzle 6\n", @@ -1147,7 +1147,7 @@ { "cell_type": "code", "execution_count": null, - "id": "99e556d7", + "id": "c6880d26", "metadata": {}, "outputs": [], "source": [ @@ -1177,7 +1177,7 @@ }, { "cell_type": "markdown", - "id": "b2872973", + "id": "156763d2", "metadata": {}, "source": [ ":::{admonition} Puzzle 8 (continued from Puzzle 6 )\n", @@ -1195,7 +1195,7 @@ { "cell_type": "code", "execution_count": null, - "id": "d205358c", + "id": "0dbcf018", "metadata": {}, "outputs": [], "source": [ @@ -1213,7 +1213,7 @@ }, { "cell_type": "markdown", - "id": "1a56c3ee", + "id": "4060b98d", "metadata": {}, "source": [ " \n", diff --git a/_sources/chp8-dpo-application.ipynb b/_sources/chp8-dpo-application.ipynb index 0bf8bdf..9f3b9a7 100644 --- a/_sources/chp8-dpo-application.ipynb +++ b/_sources/chp8-dpo-application.ipynb @@ -2,7 +2,7 @@ "cells": [ { "cell_type": "markdown", - "id": "db7b128a", + "id": "cbdba998", "metadata": {}, "source": [ "# Chapter 8: A Look Beyond -- Evolving World Models\n", @@ -49,7 +49,7 @@ { "cell_type": "code", "execution_count": null, - "id": "93ba2825", + "id": "42af81ff", "metadata": {}, "outputs": [], "source": [ @@ -72,7 +72,7 @@ }, { "cell_type": "markdown", - "id": "d2b1db9d", + "id": "fcc312d2", "metadata": {}, "source": [ "```{image} assets/Ch8/Sch3DShape.svg\n", @@ -148,7 +148,7 @@ { "cell_type": "code", "execution_count": null, - "id": "acafff9a", + "id": "a69326c0", "metadata": {}, "outputs": [], "source": [ @@ -197,7 +197,7 @@ }, { "cell_type": "markdown", - "id": "ee727131", + "id": "0e5727b7", "metadata": {}, "source": [ "This instance defines a box that looks like _Fig. 1_. \n", @@ -366,7 +366,7 @@ { "cell_type": "code", "execution_count": null, - "id": "bd86d917", + "id": "b406de1e", "metadata": {}, "outputs": [], "source": [ @@ -407,7 +407,7 @@ }, { "cell_type": "markdown", - "id": "72a260a5", + "id": "03310b50", "metadata": {}, "source": [ "```{image} assets/Ch8/SchKitchen.svg\n", @@ -423,7 +423,7 @@ { "cell_type": "code", "execution_count": null, - "id": "b447882b", + "id": "281309f2", "metadata": {}, "outputs": [], "source": [ @@ -447,7 +447,7 @@ }, { "cell_type": "markdown", - "id": "2237000d", + "id": "5152a87e", "metadata": {}, "source": [ "