Skip to content

Commit

Permalink
IIT_4.0_demo.ipynb: minor fix (text layout)
Browse files Browse the repository at this point in the history
  • Loading branch information
@isacdaavid
isacdaavid committed Jun 29, 2023
1 parent c558d96 commit 22b60a9
Showing 1 changed file with 46 additions and 46 deletions.
92 changes: 46 additions & 46 deletions docs/examples/IIT_4.0_demo.ipynb
View file
Original file line number Diff line number Diff line change
Expand Up @@ -108,7 +108,7 @@
},
{
"cell_type": "code",
"execution_count": 3,
"execution_count": null,
"id": "25da39dd",
"metadata": {
"execution": {
Expand Down Expand Up @@ -172,7 +172,7 @@
},
{
"cell_type": "code",
"execution_count": 4,
"execution_count": null,
"id": "e0defd4d",
"metadata": {
"colab": {
Expand Down Expand Up @@ -234,7 +234,7 @@
},
{
"cell_type": "code",
"execution_count": 5,
"execution_count": null,
"id": "0228654d",
"metadata": {
"colab": {
Expand Down Expand Up @@ -287,7 +287,7 @@
},
{
"cell_type": "code",
"execution_count": 6,
"execution_count": null,
"id": "c381a229",
"metadata": {
"colab": {
Expand Down Expand Up @@ -353,7 +353,7 @@
},
{
"cell_type": "code",
"execution_count": 7,
"execution_count": null,
"id": "706ff35b",
"metadata": {
"colab": {
Expand Down Expand Up @@ -404,7 +404,7 @@
},
{
"cell_type": "code",
"execution_count": 8,
"execution_count": null,
"id": "eb5682c6",
"metadata": {
"colab": {
Expand Down Expand Up @@ -451,7 +451,7 @@
},
{
"cell_type": "code",
"execution_count": 9,
"execution_count": null,
"id": "73fae529",
"metadata": {
"colab": {
Expand Down Expand Up @@ -497,7 +497,7 @@
},
{
"cell_type": "code",
"execution_count": 10,
"execution_count": null,
"id": "97bbb0f5",
"metadata": {
"colab": {
Expand Down Expand Up @@ -565,7 +565,7 @@
},
{
"cell_type": "code",
"execution_count": 11,
"execution_count": null,
"id": "8d503c34",
"metadata": {
"colab": {
Expand Down Expand Up @@ -614,7 +614,7 @@
},
{
"cell_type": "code",
"execution_count": 12,
"execution_count": null,
"id": "54c2a656",
"metadata": {
"colab": {
Expand Down Expand Up @@ -677,7 +677,7 @@
},
{
"cell_type": "code",
"execution_count": 13,
"execution_count": null,
"id": "4b0a27db",
"metadata": {
"execution": {
Expand Down Expand Up @@ -716,7 +716,7 @@
},
{
"cell_type": "code",
"execution_count": 14,
"execution_count": null,
"id": "bff80ba7",
"metadata": {
"colab": {
Expand Down Expand Up @@ -792,7 +792,7 @@
},
{
"cell_type": "code",
"execution_count": 15,
"execution_count": null,
"id": "d3661959",
"metadata": {
"colab": {
Expand Down Expand Up @@ -877,7 +877,7 @@
},
{
"cell_type": "code",
"execution_count": 16,
"execution_count": null,
"id": "261eeb8d",
"metadata": {
"colab": {
Expand Down Expand Up @@ -953,7 +953,7 @@
},
{
"cell_type": "code",
"execution_count": 17,
"execution_count": null,
"id": "51b1b44b",
"metadata": {
"colab": {
Expand Down Expand Up @@ -1026,7 +1026,7 @@
},
{
"cell_type": "code",
"execution_count": 18,
"execution_count": null,
"id": "fd3fe397",
"metadata": {
"colab": {
Expand Down Expand Up @@ -1098,7 +1098,7 @@
},
{
"cell_type": "code",
"execution_count": 19,
"execution_count": null,
"id": "47752e51",
"metadata": {
"colab": {
Expand Down Expand Up @@ -1178,7 +1178,7 @@
},
{
"cell_type": "code",
"execution_count": 20,
"execution_count": null,
"id": "efaa21b2",
"metadata": {
"colab": {
Expand Down Expand Up @@ -1250,7 +1250,7 @@
},
{
"cell_type": "code",
"execution_count": 21,
"execution_count": null,
"id": "eab56d3b-9343-4619-8509-aed514831da9",
"metadata": {
"execution": {
Expand Down Expand Up @@ -1280,7 +1280,7 @@
},
{
"cell_type": "code",
"execution_count": 22,
"execution_count": null,
"id": "b1e5500a-2890-4bd9-8a70-61c3cc61a141",
"metadata": {
"execution": {
Expand Down Expand Up @@ -1309,7 +1309,7 @@
},
{
"cell_type": "code",
"execution_count": 23,
"execution_count": null,
"id": "47c0771f-170b-435c-974e-48b28d3fecf4",
"metadata": {
"colab": {
Expand Down Expand Up @@ -1428,7 +1428,7 @@
},
{
"cell_type": "code",
"execution_count": 24,
"execution_count": null,
"id": "2830df3e-c842-4641-8188-53cddea91a28",
"metadata": {
"colab": {
Expand Down Expand Up @@ -1480,7 +1480,7 @@
},
{
"cell_type": "code",
"execution_count": 25,
"execution_count": null,
"id": "118a4ec6-4aee-4db9-903a-9ba67abe8192",
"metadata": {
"colab": {
Expand Down Expand Up @@ -1549,7 +1549,7 @@
},
{
"cell_type": "code",
"execution_count": 26,
"execution_count": null,
"id": "07f875d6-938d-409c-9914-8bcd378ad266",
"metadata": {
"colab": {
Expand Down Expand Up @@ -1611,7 +1611,7 @@
},
{
"cell_type": "code",
"execution_count": 27,
"execution_count": null,
"id": "67d8d639",
"metadata": {
"colab": {
Expand Down Expand Up @@ -1683,7 +1683,7 @@
},
{
"cell_type": "code",
"execution_count": 28,
"execution_count": null,
"id": "d0d79418",
"metadata": {
"colab": {
Expand Down Expand Up @@ -1719,7 +1719,7 @@
},
{
"cell_type": "code",
"execution_count": 29,
"execution_count": null,
"id": "a05ac666-6ceb-46e6-be4b-e827eafdfc64",
"metadata": {
"colab": {
Expand Down Expand Up @@ -1869,7 +1869,7 @@
},
{
"cell_type": "code",
"execution_count": 30,
"execution_count": null,
"id": "2a9b80ec-f7ad-4c0f-ad90-f1dce2adc6f2",
"metadata": {
"colab": {
Expand Down Expand Up @@ -1985,7 +1985,7 @@
},
{
"cell_type": "code",
"execution_count": 31,
"execution_count": null,
"id": "cetgHfWCAj6X",
"metadata": {
"id": "cetgHfWCAj6X"
Expand Down Expand Up @@ -2031,7 +2031,7 @@
},
{
"cell_type": "code",
"execution_count": 32,
"execution_count": null,
"id": "ohYIszgTI4HC",
"metadata": {
"colab": {
Expand Down Expand Up @@ -2193,7 +2193,7 @@
},
{
"cell_type": "code",
"execution_count": 33,
"execution_count": null,
"id": "G4lB5erQI_Ul",
"metadata": {
"colab": {
Expand Down Expand Up @@ -2331,7 +2331,7 @@
},
{
"cell_type": "code",
"execution_count": 34,
"execution_count": null,
"id": "1aJzDQE3M-vA",
"metadata": {
"id": "1aJzDQE3M-vA"
Expand All @@ -2354,7 +2354,7 @@
},
{
"cell_type": "code",
"execution_count": 35,
"execution_count": null,
"id": "4NdwzSgH9AwH",
"metadata": {
"colab": {
Expand Down Expand Up @@ -2418,7 +2418,7 @@
},
{
"cell_type": "code",
"execution_count": 36,
"execution_count": null,
"id": "HTBRYtoQMiPb",
"metadata": {
"colab": {
Expand Down Expand Up @@ -2482,7 +2482,7 @@
},
{
"cell_type": "code",
"execution_count": 37,
"execution_count": null,
"id": "i1xrl264RXl5",
"metadata": {
"colab": {
Expand Down Expand Up @@ -2597,7 +2597,7 @@
},
{
"cell_type": "code",
"execution_count": 38,
"execution_count": null,
"id": "Ufma3hOLSJpb",
"metadata": {
"colab": {
Expand Down Expand Up @@ -2715,7 +2715,7 @@
},
{
"cell_type": "code",
"execution_count": 39,
"execution_count": null,
"id": "GOVGTu_7JWwx",
"metadata": {
"colab": {
Expand Down Expand Up @@ -2800,7 +2800,7 @@
},
{
"cell_type": "code",
"execution_count": 40,
"execution_count": null,
"id": "Tzwg10kCJA_x",
"metadata": {
"colab": {
Expand Down Expand Up @@ -2841,9 +2841,7 @@
{
"cell_type": "markdown",
"source": [
"### A more detailed derivation\n",
"\n",
"We start by selecting the relevant distinctions:"
"### A more detailed derivation"
],
"metadata": {
"id": "HMdkCSq7KDKz"
Expand All @@ -2853,7 +2851,9 @@
{
"cell_type": "markdown",
"source": [
"#### Computing a specific relation"
"#### Computing a specific relation\n",
"\n",
"We start by selecting the relevant distinctions:"
],
"metadata": {
"id": "KQP5Kz1RTaBe"
Expand All @@ -2876,7 +2876,7 @@
}
},
"id": "UenT-KWkIDO7",
"execution_count": 41,
"execution_count": null,
"outputs": [
{
"output_type": "execute_result",
Expand Down Expand Up @@ -2981,7 +2981,7 @@
}
},
"id": "qOzwtVwJKvIf",
"execution_count": 42,
"execution_count": null,
"outputs": [
{
"output_type": "execute_result",
Expand Down Expand Up @@ -3020,7 +3020,7 @@
}
},
"id": "BhvMNR-rOuoq",
"execution_count": 43,
"execution_count": null,
"outputs": [
{
"output_type": "stream",
Expand Down Expand Up @@ -3067,7 +3067,7 @@
}
},
"id": "T_Q-3GZAPbrX",
"execution_count": 44,
"execution_count": null,
"outputs": [
{
"output_type": "stream",
Expand Down

0 comments on commit 22b60a9

Please sign in to comment.