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",