example_interview.ipynb 3.54 KB
Newer Older
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
{
 "cells": [
  {
   "cell_type": "code",
   "execution_count": 1,
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "Hello, freifrau! I am TheInterview, your partial differential equations and simulations expert. Let's set up a simulation together.\n",
      "\n",
      "To get explanations, enter \"explain <optional keyword>\". \n",
      "To see a recap of what we know so far, enter \"recap <optional keyword>\". \n",
16
      "To interactively visualize ther current theory graph, enter \"tgwiev <optional theory name>\". \n",
17
      "Otherwise, you can always try and use LaTeX-type input.\n",
18
      "\n",
19
      "You can inspect the currently loaded MMT theories under http://localhost:34791\n",
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
      "\n",
      "\n",
      "\n",
      "How many dimensions does your model have?\n",
      "I am just assuming it's 1, since that is all we can currently handle.\n",
      "\n",
      "\n",
      "What is the domain you would like to simulate for?     Ω : type ❘ = [?;?], e.g. Ω = [0.0;1.0]\n",
      "By the way, you can always try and use LaTeX-type input.\n"
     ]
    }
   ],
   "source": [
    "anything"
   ]
  },
  {
   "cell_type": "code",
38
   "execution_count": null,
39
   "metadata": {},
40
   "outputs": [],
41
42
43
44
45
46
   "source": [
    "Ω = [0.0;1.0]"
   ]
  },
  {
   "cell_type": "code",
47
   "execution_count": null,
48
   "metadata": {},
49
   "outputs": [],
50
   "source": [
51
    "s : Ω → ℝ"
52
53
54
55
   ]
  },
  {
   "cell_type": "code",
56
   "execution_count": null,
57
   "metadata": {},
58
   "outputs": [],
59
60
61
62
63
64
   "source": [
    "f = x"
   ]
  },
  {
   "cell_type": "code",
65
   "execution_count": null,
66
   "metadata": {},
67
   "outputs": [],
68
69
70
71
72
73
   "source": [
    "\\alpha = -5.0"
   ]
  },
  {
   "cell_type": "code",
74
   "execution_count": null,
75
   "metadata": {},
76
   "outputs": [],
77
78
79
80
81
82
   "source": [
    "y"
   ]
  },
  {
   "cell_type": "code",
83
   "execution_count": null,
84
   "metadata": {},
85
   "outputs": [],
86
87
88
89
90
91
   "source": [
    "k = x \\cdot x"
   ]
  },
  {
   "cell_type": "code",
92
   "execution_count": null,
93
   "metadata": {},
94
   "outputs": [],
95
96
97
98
99
100
   "source": [
    "n"
   ]
  },
  {
   "cell_type": "code",
101
102
103
104
105
   "execution_count": null,
   "metadata": {
    "scrolled": true
   },
   "outputs": [],
106
   "source": [
107
    "Δs = \\alpha"
108
109
110
111
   ]
  },
  {
   "cell_type": "code",
112
   "execution_count": null,
113
   "metadata": {},
114
   "outputs": [],
115
   "source": [
116
    "s = f"
117
118
119
120
   ]
  },
  {
   "cell_type": "code",
121
   "execution_count": null,
122
   "metadata": {},
123
   "outputs": [],
124
125
126
127
128
129
   "source": [
    "linear"
   ]
  },
  {
   "cell_type": "code",
130
   "execution_count": null,
131
   "metadata": {},
132
   "outputs": [],
133
134
135
136
137
138
   "source": [
    "elliptic"
   ]
  },
  {
   "cell_type": "code",
139
   "execution_count": null,
140
   "metadata": {},
141
   "outputs": [],
142
143
144
145
146
147
   "source": [
    "n"
   ]
  },
  {
   "cell_type": "code",
148
   "execution_count": null,
149
   "metadata": {},
150
   "outputs": [],
151
   "source": [
152
    "poisson_1d"
153
154
155
156
   ]
  },
  {
   "cell_type": "code",
157
   "execution_count": null,
158
   "metadata": {},
159
   "outputs": [],
160
   "source": [
161
    "tgview "
162
   ]
163
  },
164
165
166
167
168
169
170
171
172
173
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": []
  }
 ],
 "metadata": {
  "kernelspec": {
174
   "display_name": "TheInterview",
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
   "language": "text",
   "name": "interview"
  },
  "language_info": {
   "file_extension": ".txt",
   "help_links": [
    {
     "text": "MetaKernel Magics",
     "url": "https://github.com/calysto/metakernel/blob/master/metakernel/magics/README.md"
    }
   ],
   "mimetype": "text/plain",
   "name": "text"
  }
 },
 "nbformat": 4,
 "nbformat_minor": 2
}