From 020793ce8bf0453b484ea393c25323541f8961ae Mon Sep 17 00:00:00 2001 From: Tom Schierenbeck Date: Tue, 2 Apr 2024 12:45:39 +0200 Subject: [PATCH] Added opened cube. --- doc/requirements.txt | 3 +- examples/product_spaces.ipynb | 1480 +++++++++++++++++++++++++++++++-- 2 files changed, 1390 insertions(+), 93 deletions(-) diff --git a/doc/requirements.txt b/doc/requirements.txt index 7748e53..c80903a 100644 --- a/doc/requirements.txt +++ b/doc/requirements.txt @@ -6,4 +6,5 @@ nbsphinx sphinx-gallery myst-nb random-events -pillow \ No newline at end of file +pillow +jupyterquiz==2.7.0a4 \ No newline at end of file diff --git a/examples/product_spaces.ipynb b/examples/product_spaces.ipynb index 07501f2..8638928 100644 --- a/examples/product_spaces.ipynb +++ b/examples/product_spaces.ipynb @@ -40,13 +40,13 @@ }, { "cell_type": "code", - "execution_count": 20, + "execution_count": 45, "id": "initial_id", "metadata": { "collapsed": true, "ExecuteTime": { - "end_time": "2024-04-02T09:51:19.991441Z", - "start_time": "2024-04-02T09:51:19.952560Z" + "end_time": "2024-04-02T10:44:50.166262Z", + "start_time": "2024-04-02T10:44:50.128762Z" } }, "outputs": [ @@ -97,9 +97,9 @@ "outputs": [ { "data": { - "text/plain": "[set(),\n {'b'},\n {'a'},\n {'c'},\n {'a', 'b'},\n {'b', 'c'},\n {'a', 'c'},\n {'a', 'b', 'c'}]" + "text/plain": "[set(),\n {'b'},\n {'c'},\n {'a'},\n {'b', 'c'},\n {'a', 'b'},\n {'a', 'c'},\n {'a', 'b', 'c'}]" }, - "execution_count": 21, + "execution_count": 46, "metadata": {}, "output_type": "execute_result" } @@ -118,12 +118,12 @@ "metadata": { "collapsed": false, "ExecuteTime": { - "end_time": "2024-04-02T09:51:20.038164Z", - "start_time": "2024-04-02T09:51:20.032278Z" + "end_time": "2024-04-02T10:44:50.247398Z", + "start_time": "2024-04-02T10:44:50.243668Z" } }, "id": "efd225f025a25755", - "execution_count": 21 + "execution_count": 46 }, { "cell_type": "markdown", @@ -142,7 +142,7 @@ "data": { "text/plain": "True" }, - "execution_count": 22, + "execution_count": 47, "metadata": {}, "output_type": "execute_result" } @@ -153,12 +153,12 @@ "metadata": { "collapsed": false, "ExecuteTime": { - "end_time": "2024-04-02T09:51:20.047924Z", - "start_time": "2024-04-02T09:51:20.039449Z" + "end_time": "2024-04-02T10:44:50.255879Z", + "start_time": "2024-04-02T10:44:50.251974Z" } }, "id": "4718cfb47e7aabf5", - "execution_count": 22 + "execution_count": 47 }, { "cell_type": "markdown", @@ -181,12 +181,12 @@ "metadata": { "collapsed": false, "ExecuteTime": { - "end_time": "2024-04-02T09:51:20.053313Z", - "start_time": "2024-04-02T09:51:20.048824Z" + "end_time": "2024-04-02T10:44:50.274492Z", + "start_time": "2024-04-02T10:44:50.271606Z" } }, "id": "dc64275c217072e", - "execution_count": 23 + "execution_count": 48 }, { "cell_type": "markdown", @@ -211,12 +211,12 @@ "metadata": { "collapsed": false, "ExecuteTime": { - "end_time": "2024-04-02T09:51:20.058955Z", - "start_time": "2024-04-02T09:51:20.054664Z" + "end_time": "2024-04-02T10:44:50.313439Z", + "start_time": "2024-04-02T10:44:50.309989Z" } }, "id": "e7dc354bb8a70a12", - "execution_count": 24 + "execution_count": 49 }, { "cell_type": "markdown", @@ -234,7 +234,7 @@ }, { "cell_type": "code", - "execution_count": 25, + "execution_count": 50, "outputs": [ { "name": "stdout", @@ -254,8 +254,8 @@ "metadata": { "collapsed": false, "ExecuteTime": { - "end_time": "2024-04-02T09:51:20.064966Z", - "start_time": "2024-04-02T09:51:20.059978Z" + "end_time": "2024-04-02T10:44:50.343095Z", + "start_time": "2024-04-02T10:44:50.340246Z" } }, "id": "27ea010bc8892833" @@ -307,7 +307,7 @@ "data": { "text/plain": "[('bowl', 'blue'),\n ('bowl', 'green'),\n ('bowl', 'red'),\n ('cup', 'blue'),\n ('cup', 'green'),\n ('cup', 'red'),\n ('spoon', 'blue'),\n ('spoon', 'green'),\n ('spoon', 'red')]" }, - "execution_count": 26, + "execution_count": 51, "metadata": {}, "output_type": "execute_result" } @@ -319,12 +319,12 @@ "metadata": { "collapsed": false, "ExecuteTime": { - "end_time": "2024-04-02T09:51:20.073772Z", - "start_time": "2024-04-02T09:51:20.070335Z" + "end_time": "2024-04-02T10:44:50.396625Z", + "start_time": "2024-04-02T10:44:50.392533Z" } }, "id": "379cef1a50307c47", - "execution_count": 26 + "execution_count": 51 }, { "cell_type": "markdown", @@ -344,7 +344,7 @@ "data": { "text/plain": "[('bowl', 'blue'), ('cup', 'blue')]" }, - "execution_count": 27, + "execution_count": 52, "metadata": {}, "output_type": "execute_result" } @@ -356,12 +356,12 @@ "metadata": { "collapsed": false, "ExecuteTime": { - "end_time": "2024-04-02T09:51:20.087600Z", - "start_time": "2024-04-02T09:51:20.083501Z" + "end_time": "2024-04-02T10:44:50.425878Z", + "start_time": "2024-04-02T10:44:50.423043Z" } }, "id": "a53e718226f00339", - "execution_count": 27 + "execution_count": 52 }, { "cell_type": "markdown", @@ -383,12 +383,12 @@ "metadata": { "collapsed": false, "ExecuteTime": { - "end_time": "2024-04-02T09:51:20.098242Z", - "start_time": "2024-04-02T09:51:20.095769Z" + "end_time": "2024-04-02T10:44:50.488740Z", + "start_time": "2024-04-02T10:44:50.486218Z" } }, "id": "1bb140fb470e3cf7", - "execution_count": 28 + "execution_count": 53 }, { "cell_type": "markdown", @@ -407,24 +407,24 @@ "data": { "text/plain": "{Symbolic(item): ('bowl', 'cup'), Symbolic(color): ('blue', 'red')}" }, - "execution_count": 29, + "execution_count": 54, "metadata": {}, "output_type": "execute_result" } ], "source": [ - "union = Event({item: (\"bowl\", \"cup\"), color: (\"blue\", \"red\")})\n", - "union" + "event_union = Event({item: (\"bowl\", \"cup\"), color: (\"blue\", \"red\")})\n", + "event_union" ], "metadata": { "collapsed": false, "ExecuteTime": { - "end_time": "2024-04-02T09:51:20.202437Z", - "start_time": "2024-04-02T09:51:20.198914Z" + "end_time": "2024-04-02T10:44:50.509623Z", + "start_time": "2024-04-02T10:44:50.506634Z" } }, "id": "b74c89bfbed07d6f", - "execution_count": 29 + "execution_count": 54 }, { "cell_type": "markdown", @@ -443,24 +443,24 @@ "data": { "text/plain": "\"{color: ('blue',), item: ('bowl',)} u {item: ('cup',), color: ('red',)}\"" }, - "execution_count": 30, + "execution_count": 55, "metadata": {}, "output_type": "execute_result" } ], "source": [ - "real_union = event1 | event2\n", - "str(real_union)" + "real_event_union = event1 | event2\n", + "str(real_event_union)" ], "metadata": { "collapsed": false, "ExecuteTime": { - "end_time": "2024-04-02T09:51:20.219275Z", - "start_time": "2024-04-02T09:51:20.215974Z" + "end_time": "2024-04-02T10:44:50.541399Z", + "start_time": "2024-04-02T10:44:50.538604Z" } }, "id": "7fd789bf96187ca1", - "execution_count": 30 + "execution_count": 55 }, { "cell_type": "markdown", @@ -498,7 +498,7 @@ }, { "cell_type": "code", - "execution_count": 31, + "execution_count": 56, "outputs": [ { "data": { @@ -1371,7 +1371,7 @@ "plotlyServerURL": "https://plot.ly" } }, - "text/html": "
" + "text/html": "
" }, "metadata": {}, "output_type": "display_data" @@ -1389,8 +1389,8 @@ "metadata": { "collapsed": false, "ExecuteTime": { - "end_time": "2024-04-02T09:51:20.255477Z", - "start_time": "2024-04-02T09:51:20.245566Z" + "end_time": "2024-04-02T10:44:50.548967Z", + "start_time": "2024-04-02T10:44:50.542689Z" } }, "id": "a86b223360f60725" @@ -1410,13 +1410,13 @@ }, { "cell_type": "code", - "execution_count": 32, + "execution_count": 57, "outputs": [ { "data": { "text/plain": "{Continuous(x): [2,3] | [4,5] | [6,7], Continuous(y): [10,15] | [25,27]}" }, - "execution_count": 32, + "execution_count": 57, "metadata": {}, "output_type": "execute_result" } @@ -1428,8 +1428,8 @@ "metadata": { "collapsed": false, "ExecuteTime": { - "end_time": "2024-04-02T09:51:20.298050Z", - "start_time": "2024-04-02T09:51:20.294964Z" + "end_time": "2024-04-02T10:44:50.565328Z", + "start_time": "2024-04-02T10:44:50.561779Z" } }, "id": "86d42ecd896bef10" @@ -1446,7 +1446,7 @@ }, { "cell_type": "code", - "execution_count": 33, + "execution_count": 58, "outputs": [ { "data": { @@ -2379,7 +2379,7 @@ "plotlyServerURL": "https://plot.ly" } }, - "text/html": "
" + "text/html": "
" }, "metadata": {}, "output_type": "display_data" @@ -2393,8 +2393,8 @@ "metadata": { "collapsed": false, "ExecuteTime": { - "end_time": "2024-04-02T09:51:20.312794Z", - "start_time": "2024-04-02T09:51:20.305798Z" + "end_time": "2024-04-02T10:44:50.618704Z", + "start_time": "2024-04-02T10:44:50.611069Z" } }, "id": "7d81de549d20f02b" @@ -2411,7 +2411,7 @@ }, { "cell_type": "code", - "execution_count": 34, + "execution_count": 59, "outputs": [ { "data": { @@ -4637,13 +4637,14 @@ "plotlyServerURL": "https://plot.ly" } }, - "text/html": "
" + "text/html": "
" }, "metadata": {}, "output_type": "display_data" } ], "source": [ + "# extend previous event by 3rd dimension\n", "z = Continuous(\"z\")\n", "complex_event_3d = complex_event.copy()\n", "complex_event_3d[z] = portion.closed(1, 3) | portion.closed(4, 4.5) | portion.closed(10,11.5)\n", @@ -4654,8 +4655,8 @@ "metadata": { "collapsed": false, "ExecuteTime": { - "end_time": "2024-04-02T09:51:20.339999Z", - "start_time": "2024-04-02T09:51:20.328159Z" + "end_time": "2024-04-02T10:44:50.641933Z", + "start_time": "2024-04-02T10:44:50.631387Z" } }, "id": "da2b51a986fa9d05" @@ -4691,7 +4692,7 @@ "data": [ { "fill": "toself", - "legendgroup": "140492324370704", + "legendgroup": "139948440077312", "line": { "color": "#636EFA" }, @@ -4730,7 +4731,7 @@ }, { "fill": "toself", - "legendgroup": "140492324370704", + "legendgroup": "139948440077312", "line": { "color": "#636EFA" }, @@ -5609,7 +5610,7 @@ "plotlyServerURL": "https://plot.ly" } }, - "text/html": "
" + "text/html": "
" }, "metadata": {}, "output_type": "display_data" @@ -5626,12 +5627,20 @@ "metadata": { "collapsed": false, "ExecuteTime": { - "end_time": "2024-04-02T09:51:20.375293Z", - "start_time": "2024-04-02T09:51:20.364330Z" + "end_time": "2024-04-02T10:44:50.745436Z", + "start_time": "2024-04-02T10:44:50.737858Z" } }, "id": "97f6f80a61c8abaf", - "execution_count": 35 + "execution_count": 60 + }, + { + "cell_type": "markdown", + "source": [], + "metadata": { + "collapsed": false + }, + "id": "4cc21c60f92af0c9" }, { "cell_type": "markdown", @@ -5695,7 +5704,7 @@ 7, 6 ], - "legendgroup": "140492324628992", + "legendgroup": "139948440078272", "name": "Event", "showlegend": true, "x": [ @@ -5775,7 +5784,7 @@ 7, 6 ], - "legendgroup": "140492324628992", + "legendgroup": "139948440078272", "name": "Event", "showlegend": false, "x": [ @@ -5855,7 +5864,7 @@ 7, 6 ], - "legendgroup": "140492324628992", + "legendgroup": "139948440078272", "name": "Event", "showlegend": false, "x": [ @@ -5935,7 +5944,7 @@ 7, 6 ], - "legendgroup": "140492324628992", + "legendgroup": "139948440078272", "name": "Event", "showlegend": false, "x": [ @@ -6015,7 +6024,7 @@ 7, 6 ], - "legendgroup": "140492324628992", + "legendgroup": "139948440078272", "name": "Event", "showlegend": false, "x": [ @@ -6095,7 +6104,7 @@ 7, 6 ], - "legendgroup": "140492324628992", + "legendgroup": "139948440078272", "name": "Event", "showlegend": false, "x": [ @@ -6979,7 +6988,7 @@ "plotlyServerURL": "https://plot.ly" } }, - "text/html": "
" + "text/html": "
" }, "metadata": {}, "output_type": "display_data" @@ -7000,12 +7009,1299 @@ "metadata": { "collapsed": false, "ExecuteTime": { - "end_time": "2024-04-02T09:51:20.393157Z", - "start_time": "2024-04-02T09:51:20.378761Z" + "end_time": "2024-04-02T10:44:50.763941Z", + "start_time": "2024-04-02T10:44:50.746465Z" } }, "id": "9e47b2f884e4c9dd", - "execution_count": 36 + "execution_count": 61 + }, + { + "cell_type": "markdown", + "source": [ + "In case you didn't find the inner, missing event, here is the outer event cut open. " + ], + "metadata": { + "collapsed": false + }, + "id": "3888a2df23a1c3fe" + }, + { + "cell_type": "code", + "outputs": [ + { + "data": { + "application/vnd.plotly.v1+json": { + "data": [ + { + "color": "#636EFA", + "flatshading": true, + "i": [ + 7, + 0, + 0, + 0, + 4, + 4, + 6, + 6, + 4, + 0, + 3, + 2 + ], + "j": [ + 3, + 4, + 1, + 2, + 5, + 6, + 5, + 2, + 0, + 1, + 6, + 3 + ], + "k": [ + 0, + 7, + 2, + 3, + 6, + 7, + 1, + 1, + 5, + 5, + 7, + 6 + ], + "legendgroup": "139948440078848", + "name": "Event", + "showlegend": true, + "x": [ + -1, + -1, + 0, + 0, + -1, + -1, + 0, + 0 + ], + "y": [ + -1, + 1, + 1, + -1, + -1, + 1, + 1, + -1 + ], + "z": [ + -1, + -1, + -1, + -1, + 2, + 2, + 2, + 2 + ], + "type": "mesh3d" + }, + { + "color": "#636EFA", + "flatshading": true, + "i": [ + 7, + 0, + 0, + 0, + 4, + 4, + 6, + 6, + 4, + 0, + 3, + 2 + ], + "j": [ + 3, + 4, + 1, + 2, + 5, + 6, + 5, + 2, + 0, + 1, + 6, + 3 + ], + "k": [ + 0, + 7, + 2, + 3, + 6, + 7, + 1, + 1, + 5, + 5, + 7, + 6 + ], + "legendgroup": "139948440078848", + "name": "Event", + "showlegend": false, + "x": [ + 1, + 1, + 2, + 2, + 1, + 1, + 2, + 2 + ], + "y": [ + -1, + 1, + 1, + -1, + -1, + 1, + 1, + -1 + ], + "z": [ + -1, + -1, + -1, + -1, + 2, + 2, + 2, + 2 + ], + "type": "mesh3d" + }, + { + "color": "#636EFA", + "flatshading": true, + "i": [ + 7, + 0, + 0, + 0, + 4, + 4, + 6, + 6, + 4, + 0, + 3, + 2 + ], + "j": [ + 3, + 4, + 1, + 2, + 5, + 6, + 5, + 2, + 0, + 1, + 6, + 3 + ], + "k": [ + 0, + 7, + 2, + 3, + 6, + 7, + 1, + 1, + 5, + 5, + 7, + 6 + ], + "legendgroup": "139948440078848", + "name": "Event", + "showlegend": false, + "x": [ + 0, + 0, + 1, + 1, + 0, + 0, + 1, + 1 + ], + "y": [ + -1, + 0, + 0, + -1, + -1, + 0, + 0, + -1 + ], + "z": [ + -1, + -1, + -1, + -1, + 2, + 2, + 2, + 2 + ], + "type": "mesh3d" + }, + { + "color": "#636EFA", + "flatshading": true, + "i": [ + 7, + 0, + 0, + 0, + 4, + 4, + 6, + 6, + 4, + 0, + 3, + 2 + ], + "j": [ + 3, + 4, + 1, + 2, + 5, + 6, + 5, + 2, + 0, + 1, + 6, + 3 + ], + "k": [ + 0, + 7, + 2, + 3, + 6, + 7, + 1, + 1, + 5, + 5, + 7, + 6 + ], + "legendgroup": "139948440078848", + "name": "Event", + "showlegend": false, + "x": [ + 0, + 0, + 1, + 1, + 0, + 0, + 1, + 1 + ], + "y": [ + 0, + 1, + 1, + 0, + 0, + 1, + 1, + 0 + ], + "z": [ + -1, + -1, + -1, + -1, + 0, + 0, + 0, + 0 + ], + "type": "mesh3d" + }, + { + "color": "#636EFA", + "flatshading": true, + "i": [ + 7, + 0, + 0, + 0, + 4, + 4, + 6, + 6, + 4, + 0, + 3, + 2 + ], + "j": [ + 3, + 4, + 1, + 2, + 5, + 6, + 5, + 2, + 0, + 1, + 6, + 3 + ], + "k": [ + 0, + 7, + 2, + 3, + 6, + 7, + 1, + 1, + 5, + 5, + 7, + 6 + ], + "legendgroup": "139948440078848", + "name": "Event", + "showlegend": false, + "x": [ + 0, + 0, + 1, + 1, + 0, + 0, + 1, + 1 + ], + "y": [ + 0, + 1, + 1, + 0, + 0, + 1, + 1, + 0 + ], + "z": [ + 1, + 1, + 1, + 1, + 2, + 2, + 2, + 2 + ], + "type": "mesh3d" + } + ], + "layout": { + "scene": { + "xaxis": { + "title": { + "text": "x" + } + }, + "yaxis": { + "title": { + "text": "y" + } + }, + "zaxis": { + "title": { + "text": "z" + } + } + }, + "template": { + "data": { + "histogram2dcontour": [ + { + "type": "histogram2dcontour", + "colorbar": { + "outlinewidth": 0, + "ticks": "" + }, + "colorscale": [ + [ + 0.0, + "#0d0887" + ], + [ + 0.1111111111111111, + "#46039f" + ], + [ + 0.2222222222222222, + "#7201a8" + ], + [ + 0.3333333333333333, + "#9c179e" + ], + [ + 0.4444444444444444, + "#bd3786" + ], + [ + 0.5555555555555556, + "#d8576b" + ], + [ + 0.6666666666666666, + "#ed7953" + ], + [ + 0.7777777777777778, + "#fb9f3a" + ], + [ + 0.8888888888888888, + "#fdca26" + ], + [ + 1.0, + "#f0f921" + ] + ] + } + ], + "choropleth": [ + { + "type": "choropleth", + "colorbar": { + "outlinewidth": 0, + "ticks": "" + } + } + ], + "histogram2d": [ + { + "type": "histogram2d", + "colorbar": { + "outlinewidth": 0, + "ticks": "" + }, + "colorscale": [ + [ + 0.0, + "#0d0887" + ], + [ + 0.1111111111111111, + "#46039f" + ], + [ + 0.2222222222222222, + "#7201a8" + ], + [ + 0.3333333333333333, + "#9c179e" + ], + [ + 0.4444444444444444, + "#bd3786" + ], + [ + 0.5555555555555556, + "#d8576b" + ], + [ + 0.6666666666666666, + "#ed7953" + ], + [ + 0.7777777777777778, + "#fb9f3a" + ], + [ + 0.8888888888888888, + "#fdca26" + ], + [ + 1.0, + "#f0f921" + ] + ] + } + ], + "heatmap": [ + { + "type": "heatmap", + "colorbar": { + "outlinewidth": 0, + "ticks": "" + }, + "colorscale": [ + [ + 0.0, + "#0d0887" + ], + [ + 0.1111111111111111, + "#46039f" + ], + [ + 0.2222222222222222, + "#7201a8" + ], + [ + 0.3333333333333333, + "#9c179e" + ], + [ + 0.4444444444444444, + "#bd3786" + ], + [ + 0.5555555555555556, + "#d8576b" + ], + [ + 0.6666666666666666, + "#ed7953" + ], + [ + 0.7777777777777778, + "#fb9f3a" + ], + [ + 0.8888888888888888, + "#fdca26" + ], + [ + 1.0, + "#f0f921" + ] + ] + } + ], + "heatmapgl": [ + { + "type": "heatmapgl", + "colorbar": { + "outlinewidth": 0, + "ticks": "" + }, + "colorscale": [ + [ + 0.0, + "#0d0887" + ], + [ + 0.1111111111111111, + "#46039f" + ], + [ + 0.2222222222222222, + "#7201a8" + ], + [ + 0.3333333333333333, + "#9c179e" + ], + [ + 0.4444444444444444, + "#bd3786" + ], + [ + 0.5555555555555556, + "#d8576b" + ], + [ + 0.6666666666666666, + "#ed7953" + ], + [ + 0.7777777777777778, + "#fb9f3a" + ], + [ + 0.8888888888888888, + "#fdca26" + ], + [ + 1.0, + "#f0f921" + ] + ] + } + ], + "contourcarpet": [ + { + "type": "contourcarpet", + "colorbar": { + "outlinewidth": 0, + "ticks": "" + } + } + ], + "contour": [ + { + "type": "contour", + "colorbar": { + "outlinewidth": 0, + "ticks": "" + }, + "colorscale": [ + [ + 0.0, + "#0d0887" + ], + [ + 0.1111111111111111, + "#46039f" + ], + [ + 0.2222222222222222, + "#7201a8" + ], + [ + 0.3333333333333333, + "#9c179e" + ], + [ + 0.4444444444444444, + "#bd3786" + ], + [ + 0.5555555555555556, + "#d8576b" + ], + [ + 0.6666666666666666, + "#ed7953" + ], + [ + 0.7777777777777778, + "#fb9f3a" + ], + [ + 0.8888888888888888, + "#fdca26" + ], + [ + 1.0, + "#f0f921" + ] + ] + } + ], + "surface": [ + { + "type": "surface", + "colorbar": { + "outlinewidth": 0, + "ticks": "" + }, + "colorscale": [ + [ + 0.0, + "#0d0887" + ], + [ + 0.1111111111111111, + "#46039f" + ], + [ + 0.2222222222222222, + "#7201a8" + ], + [ + 0.3333333333333333, + "#9c179e" + ], + [ + 0.4444444444444444, + "#bd3786" + ], + [ + 0.5555555555555556, + "#d8576b" + ], + [ + 0.6666666666666666, + "#ed7953" + ], + [ + 0.7777777777777778, + "#fb9f3a" + ], + [ + 0.8888888888888888, + "#fdca26" + ], + [ + 1.0, + "#f0f921" + ] + ] + } + ], + "mesh3d": [ + { + "type": "mesh3d", + "colorbar": { + "outlinewidth": 0, + "ticks": "" + } + } + ], + "scatter": [ + { + "marker": { + "line": { + "color": "#283442" + } + }, + "type": "scatter" + } + ], + "parcoords": [ + { + "type": "parcoords", + "line": { + "colorbar": { + "outlinewidth": 0, + "ticks": "" + } + } + } + ], + "scatterpolargl": [ + { + "type": "scatterpolargl", + "marker": { + "colorbar": { + "outlinewidth": 0, + "ticks": "" + } + } + } + ], + "bar": [ + { + "error_x": { + "color": "#f2f5fa" + }, + "error_y": { + "color": "#f2f5fa" + }, + "marker": { + "line": { + "color": "rgb(17,17,17)", + "width": 0.5 + }, + "pattern": { + "fillmode": "overlay", + "size": 10, + "solidity": 0.2 + } + }, + "type": "bar" + } + ], + "scattergeo": [ + { + "type": "scattergeo", + "marker": { + "colorbar": { + "outlinewidth": 0, + "ticks": "" + } + } + } + ], + "scatterpolar": [ + { + "type": "scatterpolar", + "marker": { + "colorbar": { + "outlinewidth": 0, + "ticks": "" + } + } + } + ], + "histogram": [ + { + "marker": { + "pattern": { + "fillmode": "overlay", + "size": 10, + "solidity": 0.2 + } + }, + "type": "histogram" + } + ], + "scattergl": [ + { + "marker": { + "line": { + "color": "#283442" + } + }, + "type": "scattergl" + } + ], + "scatter3d": [ + { + "type": "scatter3d", + "line": { + "colorbar": { + "outlinewidth": 0, + "ticks": "" + } + }, + "marker": { + "colorbar": { + "outlinewidth": 0, + "ticks": "" + } + } + } + ], + "scattermapbox": [ + { + "type": "scattermapbox", + "marker": { + "colorbar": { + "outlinewidth": 0, + "ticks": "" + } + } + } + ], + "scatterternary": [ + { + "type": "scatterternary", + "marker": { + "colorbar": { + "outlinewidth": 0, + "ticks": "" + } + } + } + ], + "scattercarpet": [ + { + "type": "scattercarpet", + "marker": { + "colorbar": { + "outlinewidth": 0, + "ticks": "" + } + } + } + ], + "carpet": [ + { + "aaxis": { + "endlinecolor": "#A2B1C6", + "gridcolor": "#506784", + "linecolor": "#506784", + "minorgridcolor": "#506784", + "startlinecolor": "#A2B1C6" + }, + "baxis": { + "endlinecolor": "#A2B1C6", + "gridcolor": "#506784", + "linecolor": "#506784", + "minorgridcolor": "#506784", + "startlinecolor": "#A2B1C6" + }, + "type": "carpet" + } + ], + "table": [ + { + "cells": { + "fill": { + "color": "#506784" + }, + "line": { + "color": "rgb(17,17,17)" + } + }, + "header": { + "fill": { + "color": "#2a3f5f" + }, + "line": { + "color": "rgb(17,17,17)" + } + }, + "type": "table" + } + ], + "barpolar": [ + { + "marker": { + "line": { + "color": "rgb(17,17,17)", + "width": 0.5 + }, + "pattern": { + "fillmode": "overlay", + "size": 10, + "solidity": 0.2 + } + }, + "type": "barpolar" + } + ], + "pie": [ + { + "automargin": true, + "type": "pie" + } + ] + }, + "layout": { + "autotypenumbers": "strict", + "colorway": [ + "#636efa", + "#EF553B", + "#00cc96", + "#ab63fa", + "#FFA15A", + "#19d3f3", + "#FF6692", + "#B6E880", + "#FF97FF", + "#FECB52" + ], + "font": { + "color": "#f2f5fa" + }, + "hovermode": "closest", + "hoverlabel": { + "align": "left" + }, + "paper_bgcolor": "rgb(17,17,17)", + "plot_bgcolor": "rgb(17,17,17)", + "polar": { + "bgcolor": "rgb(17,17,17)", + "angularaxis": { + "gridcolor": "#506784", + "linecolor": "#506784", + "ticks": "" + }, + "radialaxis": { + "gridcolor": "#506784", + "linecolor": "#506784", + "ticks": "" + } + }, + "ternary": { + "bgcolor": "rgb(17,17,17)", + "aaxis": { + "gridcolor": "#506784", + "linecolor": "#506784", + "ticks": "" + }, + "baxis": { + "gridcolor": "#506784", + "linecolor": "#506784", + "ticks": "" + }, + "caxis": { + "gridcolor": "#506784", + "linecolor": "#506784", + "ticks": "" + } + }, + "coloraxis": { + "colorbar": { + "outlinewidth": 0, + "ticks": "" + } + }, + "colorscale": { + "sequential": [ + [ + 0.0, + "#0d0887" + ], + [ + 0.1111111111111111, + "#46039f" + ], + [ + 0.2222222222222222, + "#7201a8" + ], + [ + 0.3333333333333333, + "#9c179e" + ], + [ + 0.4444444444444444, + "#bd3786" + ], + [ + 0.5555555555555556, + "#d8576b" + ], + [ + 0.6666666666666666, + "#ed7953" + ], + [ + 0.7777777777777778, + "#fb9f3a" + ], + [ + 0.8888888888888888, + "#fdca26" + ], + [ + 1.0, + "#f0f921" + ] + ], + "sequentialminus": [ + [ + 0.0, + "#0d0887" + ], + [ + 0.1111111111111111, + "#46039f" + ], + [ + 0.2222222222222222, + "#7201a8" + ], + [ + 0.3333333333333333, + "#9c179e" + ], + [ + 0.4444444444444444, + "#bd3786" + ], + [ + 0.5555555555555556, + "#d8576b" + ], + [ + 0.6666666666666666, + "#ed7953" + ], + [ + 0.7777777777777778, + "#fb9f3a" + ], + [ + 0.8888888888888888, + "#fdca26" + ], + [ + 1.0, + "#f0f921" + ] + ], + "diverging": [ + [ + 0, + "#8e0152" + ], + [ + 0.1, + "#c51b7d" + ], + [ + 0.2, + "#de77ae" + ], + [ + 0.3, + "#f1b6da" + ], + [ + 0.4, + "#fde0ef" + ], + [ + 0.5, + "#f7f7f7" + ], + [ + 0.6, + "#e6f5d0" + ], + [ + 0.7, + "#b8e186" + ], + [ + 0.8, + "#7fbc41" + ], + [ + 0.9, + "#4d9221" + ], + [ + 1, + "#276419" + ] + ] + }, + "xaxis": { + "gridcolor": "#283442", + "linecolor": "#506784", + "ticks": "", + "title": { + "standoff": 15 + }, + "zerolinecolor": "#283442", + "automargin": true, + "zerolinewidth": 2 + }, + "yaxis": { + "gridcolor": "#283442", + "linecolor": "#506784", + "ticks": "", + "title": { + "standoff": 15 + }, + "zerolinecolor": "#283442", + "automargin": true, + "zerolinewidth": 2 + }, + "scene": { + "xaxis": { + "backgroundcolor": "rgb(17,17,17)", + "gridcolor": "#506784", + "linecolor": "#506784", + "showbackground": true, + "ticks": "", + "zerolinecolor": "#C8D4E3", + "gridwidth": 2 + }, + "yaxis": { + "backgroundcolor": "rgb(17,17,17)", + "gridcolor": "#506784", + "linecolor": "#506784", + "showbackground": true, + "ticks": "", + "zerolinecolor": "#C8D4E3", + "gridwidth": 2 + }, + "zaxis": { + "backgroundcolor": "rgb(17,17,17)", + "gridcolor": "#506784", + "linecolor": "#506784", + "showbackground": true, + "ticks": "", + "zerolinecolor": "#C8D4E3", + "gridwidth": 2 + } + }, + "shapedefaults": { + "line": { + "color": "#f2f5fa" + } + }, + "annotationdefaults": { + "arrowcolor": "#f2f5fa", + "arrowhead": 0, + "arrowwidth": 1 + }, + "geo": { + "bgcolor": "rgb(17,17,17)", + "landcolor": "rgb(17,17,17)", + "subunitcolor": "#506784", + "showland": true, + "showlakes": true, + "lakecolor": "rgb(17,17,17)" + }, + "title": { + "x": 0.05 + }, + "updatemenudefaults": { + "bgcolor": "#506784", + "borderwidth": 0 + }, + "sliderdefaults": { + "bgcolor": "#C8D4E3", + "borderwidth": 1, + "bordercolor": "rgb(17,17,17)", + "tickwidth": 0 + }, + "mapbox": { + "style": "dark" + } + } + } + }, + "config": { + "plotlyServerURL": "https://plot.ly" + } + }, + "text/html": "
" + }, + "metadata": {}, + "output_type": "display_data" + } + ], + "source": [ + "cut_result = result.intersection(Event({y: portion.closed(-1, 1)}))\n", + "fig = go.Figure(cut_result.plot(), cut_result.plotly_layout())\n", + "fig.show()" + ], + "metadata": { + "collapsed": false, + "ExecuteTime": { + "end_time": "2024-04-02T10:44:50.774002Z", + "start_time": "2024-04-02T10:44:50.765035Z" + } + }, + "id": "a4ef759878e21dd5", + "execution_count": 62 }, { "cell_type": "markdown", @@ -7030,7 +8326,7 @@ "data": [ { "fill": "toself", - "legendgroup": "140492324775056", + "legendgroup": "139948440374960", "line": { "color": "#636EFA" }, @@ -7057,7 +8353,7 @@ }, { "fill": "toself", - "legendgroup": "140492324775056", + "legendgroup": "139948440374960", "line": { "color": "#636EFA" }, @@ -7084,7 +8380,7 @@ }, { "fill": "toself", - "legendgroup": "140492324775056", + "legendgroup": "139948440374960", "line": { "color": "#636EFA" }, @@ -7111,7 +8407,7 @@ }, { "fill": "toself", - "legendgroup": "140492324775056", + "legendgroup": "139948440374960", "line": { "color": "#636EFA" }, @@ -7978,7 +9274,7 @@ "plotlyServerURL": "https://plot.ly" } }, - "text/html": "
" + "text/html": "
" }, "metadata": {}, "output_type": "display_data" @@ -7999,12 +9295,12 @@ "metadata": { "collapsed": false, "ExecuteTime": { - "end_time": "2024-04-02T09:51:20.404082Z", - "start_time": "2024-04-02T09:51:20.394205Z" + "end_time": "2024-04-02T10:44:50.810916Z", + "start_time": "2024-04-02T10:44:50.798397Z" } }, "id": "b8916038b2521a38", - "execution_count": 37 + "execution_count": 63 }, { "cell_type": "markdown", @@ -8025,7 +9321,7 @@ "data": [ { "fill": "toself", - "legendgroup": "140492324629904", + "legendgroup": "139948440371888", "line": { "color": "#636EFA" }, @@ -8052,7 +9348,7 @@ }, { "fill": "toself", - "legendgroup": "140492324629904", + "legendgroup": "139948440371888", "line": { "color": "#636EFA" }, @@ -8091,7 +9387,7 @@ }, { "fill": "toself", - "legendgroup": "140492324629904", + "legendgroup": "139948440371888", "line": { "color": "#636EFA" }, @@ -8118,7 +9414,7 @@ }, { "fill": "toself", - "legendgroup": "140492324629904", + "legendgroup": "139948440371888", "line": { "color": "#636EFA" }, @@ -8997,7 +10293,7 @@ "plotlyServerURL": "https://plot.ly" } }, - "text/html": "
" + "text/html": "
" }, "metadata": {}, "output_type": "display_data" @@ -9011,12 +10307,12 @@ "metadata": { "collapsed": false, "ExecuteTime": { - "end_time": "2024-04-02T09:51:20.416310Z", - "start_time": "2024-04-02T09:51:20.404794Z" + "end_time": "2024-04-02T10:44:50.844515Z", + "start_time": "2024-04-02T10:44:50.834676Z" } }, "id": "510b80164a41cfc", - "execution_count": 38 + "execution_count": 64 }, { "cell_type": "markdown",