Mercurial > repos > public > sbplib_julia
annotate notebooks/display_examples_nb.jl @ 2059:377df47849cb default
Update display_example_nb.jl to use a dev version of Diffinitive
| author | Jonatan Werpers <jonatan@werpers.com> |
|---|---|
| date | Sat, 14 Feb 2026 23:37:40 +0100 |
| parents | aeb0a9b81ff7 |
| children |
| rev | line source |
|---|---|
|
2058
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
1 ### A Pluto.jl notebook ### |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
2 # v0.20.21 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
3 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
4 using Markdown |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
5 using InteractiveUtils |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
6 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
7 # ╔═╡ 1f8a7cfa-94cc-41bf-a8c8-2dc5218741e0 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
8 begin |
|
2059
377df47849cb
Update display_example_nb.jl to use a dev version of Diffinitive
Jonatan Werpers <jonatan@werpers.com>
parents:
2058
diff
changeset
|
9 using Pkg |
|
377df47849cb
Update display_example_nb.jl to use a dev version of Diffinitive
Jonatan Werpers <jonatan@werpers.com>
parents:
2058
diff
changeset
|
10 Pkg.activate(".") |
|
377df47849cb
Update display_example_nb.jl to use a dev version of Diffinitive
Jonatan Werpers <jonatan@werpers.com>
parents:
2058
diff
changeset
|
11 |
|
2058
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
12 using Diffinitive |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
13 using Diffinitive.Grids |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
14 using Diffinitive.LazyTensors |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
15 using Diffinitive.SbpOperators |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
16 using PlutoUI |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
17 using StaticArrays |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
18 end |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
19 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
20 # ╔═╡ 885c60d7-d33c-4741-ae49-6a57510ec7b5 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
21 md""" |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
22 # Display tests |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
23 """ |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
24 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
25 # ╔═╡ 9ee3372a-e78d-4f74-84ce-e04208d1558d |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
26 repl_show(v) = repr(MIME("text/plain"), v) |> println |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
27 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
28 # ╔═╡ 51c02ced-f684-417f-83f1-cade4edda43f |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
29 md""" |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
30 Common julia objects to compare with: |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
31 """ |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
32 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
33 # ╔═╡ 25c90528-22cd-41ca-8572-ccd946928318 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
34 1 |> repl_show |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
35 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
36 # ╔═╡ e7f3e466-9833-428c-99ad-20bc9d88d951 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
37 [1,1] |> repl_show |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
38 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
39 # ╔═╡ 2e74f9b5-5b4f-4887-8a30-4655d560a45c |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
40 [1;; 2;;] |> repl_show |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
41 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
42 # ╔═╡ 365524b5-3182-4691-9817-1bbec1492c14 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
43 [1; 2;;] |> repl_show |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
44 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
45 # ╔═╡ d5725e1b-bc4f-4a95-975d-179c193908c9 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
46 [1; 2;; 3; 4;;] |> repl_show |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
47 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
48 # ╔═╡ b824ef8d-5026-4861-9a23-45a7939fd38c |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
49 "hej" |> repl_show |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
50 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
51 # ╔═╡ fbe365a2-f95e-4297-8326-c18d22932869 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
52 Dict("A" => 1, "B"=> 2) |> repl_show |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
53 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
54 # ╔═╡ 56670aff-0343-41cb-a653-35a61376dda4 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
55 1//2 |> repl_show |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
56 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
57 # ╔═╡ b5a6491e-a93e-4058-8ceb-be1dc4d4c100 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
58 BigInt(30) |> repl_show |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
59 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
60 # ╔═╡ 828d57a1-ee58-4204-8050-78127821a4c6 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
61 1:10 |> repl_show |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
62 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
63 # ╔═╡ 127d34f6-69f7-4082-a74b-0be86942f153 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
64 range(0,1,10) |> repl_show |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
65 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
66 # ╔═╡ c46a278e-a102-4544-82d8-7df816440410 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
67 rand(2,2,2,2) |> repl_show |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
68 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
69 # ╔═╡ 5aa7079c-8005-47f1-bb82-c35f3aa54b42 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
70 md""" |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
71 ## Parameter spaces |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
72 """ |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
73 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
74 # ╔═╡ 08f493ed-189c-43f3-86f2-95fc475ec0e7 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
75 Interval(1,2) |> repl_show |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
76 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
77 # ╔═╡ f7244bf7-8266-469f-b07f-30c203d9af48 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
78 md""" |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
79 ## Grids |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
80 """ |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
81 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
82 # ╔═╡ 0e14bd28-5dd1-44c4-abf4-23b70546bd49 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
83 equidistant_grid(0,1,11) |> repl_show |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
84 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
85 # ╔═╡ fcb74341-6b03-4ada-8f5d-bc245c23679b |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
86 equidistant_grid((0,0),(1,1),10,20) |> repl_show |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
87 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
88 # ╔═╡ 8dec053b-eaae-463d-800b-b8d89d5d550b |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
89 ZeroDimGrid(@SVector[1,2]) |> repl_show |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
90 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
91 # ╔═╡ c1172a36-c5d7-47dc-bc79-af0d43a8f6ee |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
92 let |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
93 x̄((ξ, η)) = @SVector[2ξ + η*(1-η), 3η+(1+η/2)*ξ^2] |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
94 J((ξ, η)) = @SMatrix[ |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
95 2 1-2η; |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
96 (2+η)*ξ 3+1/2*ξ^2; |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
97 ] |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
98 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
99 mapped_grid(x̄, J, 10,10) |> repl_show |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
100 end |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
101 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
102 # ╔═╡ 9c889176-865b-402d-81b5-71957d2878f7 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
103 md""" |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
104 ## LazyArrays |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
105 """ |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
106 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
107 # ╔═╡ 85e8e748-e575-4a29-80c7-22d110578343 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
108 LazyTensors.LazyConstantArray(10, (5,)) |> repl_show |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
109 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
110 # ╔═╡ 804ad722-9081-4d1d-b0d2-c536a26fe20d |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
111 LazyTensors.LazyFunctionArray((i,j)->10*i+j, (3,4)) |> repl_show |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
112 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
113 # ╔═╡ a70c689d-0851-497f-938a-e5c92ce59ddb |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
114 md""" |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
115 ## LazyTensors |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
116 """ |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
117 |
|
2059
377df47849cb
Update display_example_nb.jl to use a dev version of Diffinitive
Jonatan Werpers <jonatan@werpers.com>
parents:
2058
diff
changeset
|
118 # ╔═╡ 68c7a1d8-729e-4f38-abf2-26deb7a90cb1 |
|
377df47849cb
Update display_example_nb.jl to use a dev version of Diffinitive
Jonatan Werpers <jonatan@werpers.com>
parents:
2058
diff
changeset
|
119 md""" |
|
377df47849cb
Update display_example_nb.jl to use a dev version of Diffinitive
Jonatan Werpers <jonatan@werpers.com>
parents:
2058
diff
changeset
|
120 ### Basic tensors |
|
377df47849cb
Update display_example_nb.jl to use a dev version of Diffinitive
Jonatan Werpers <jonatan@werpers.com>
parents:
2058
diff
changeset
|
121 """ |
|
377df47849cb
Update display_example_nb.jl to use a dev version of Diffinitive
Jonatan Werpers <jonatan@werpers.com>
parents:
2058
diff
changeset
|
122 |
|
2058
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
123 # ╔═╡ 2afde3fe-96ed-4d7e-a79b-fc880e0da268 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
124 LazyTensors.IdentityTensor(5) |> repl_show |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
125 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
126 # ╔═╡ 5451a071-14ae-47ae-99c5-4d65508d280f |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
127 LazyTensors.IdentityTensor(4,3) |> repl_show |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
128 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
129 # ╔═╡ b6b06fe9-de16-41ca-ad45-eef6dd038485 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
130 LazyTensors.ScalingTensor(2., (4,3)) |> repl_show |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
131 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
132 # ╔═╡ d1c8c3a0-76ec-4c32-853e-0471d71e5cf0 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
133 LazyTensors.DiagonalTensor([1,2,3,4]) |> repl_show |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
134 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
135 # ╔═╡ 6051c144-9982-4bd9-92f9-d0aaf3961872 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
136 LazyTensors.DenseTensor(rand(2,2,2,2), (1,2), (3,4)) |> repl_show |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
137 |
|
2059
377df47849cb
Update display_example_nb.jl to use a dev version of Diffinitive
Jonatan Werpers <jonatan@werpers.com>
parents:
2058
diff
changeset
|
138 # ╔═╡ 83ed7f7e-c88d-4ee4-a53a-1b91e775ff52 |
|
377df47849cb
Update display_example_nb.jl to use a dev version of Diffinitive
Jonatan Werpers <jonatan@werpers.com>
parents:
2058
diff
changeset
|
139 md""" |
|
377df47849cb
Update display_example_nb.jl to use a dev version of Diffinitive
Jonatan Werpers <jonatan@werpers.com>
parents:
2058
diff
changeset
|
140 ### Simple SBP-operators |
|
377df47849cb
Update display_example_nb.jl to use a dev version of Diffinitive
Jonatan Werpers <jonatan@werpers.com>
parents:
2058
diff
changeset
|
141 """ |
|
377df47849cb
Update display_example_nb.jl to use a dev version of Diffinitive
Jonatan Werpers <jonatan@werpers.com>
parents:
2058
diff
changeset
|
142 |
|
2058
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
143 # ╔═╡ 12a9f430-f96b-43f2-bf63-149b5a028fd7 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
144 begin |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
145 g1 = equidistant_grid(0,1,10) |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
146 g2 = equidistant_grid((0,0),(1,1),10, 11) |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
147 x̄((ξ, η)) = @SVector[2ξ + η*(1-η), 3η+(1+η/2)*ξ^2] |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
148 J((ξ, η)) = @SMatrix[ |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
149 2 1-2η; |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
150 (2+η)*ξ 3+1/2*ξ^2; |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
151 ] |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
152 mg = mapped_grid(x̄, J, 10,10) |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
153 stencil_set2 = stencil_set = read_stencil_set(sbp_operators_path()*"standard_diagonal.toml"; order=2) |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
154 stencil_set4 = stencil_set = read_stencil_set(sbp_operators_path()*"standard_diagonal.toml"; order=4) |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
155 end; |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
156 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
157 # ╔═╡ e44f8d91-1cbf-44be-bef1-40e60c4a777f |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
158 first_derivative(g1, stencil_set2) |> repl_show |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
159 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
160 # ╔═╡ c378b88a-1d74-44a2-bdc1-b371da478de8 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
161 first_derivative(g1, stencil_set4) |> repl_show |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
162 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
163 # ╔═╡ 9614cda7-b48c-4925-89b5-113cf514f20f |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
164 first_derivative(g2, stencil_set2, 1) |> repl_show |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
165 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
166 # ╔═╡ 725e9430-4821-4939-bfef-6c186d2dc500 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
167 first_derivative(g2, stencil_set4, 2) |> repl_show |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
168 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
169 # ╔═╡ e8ca54a1-a6db-40a1-b44a-73e175894df4 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
170 second_derivative(g1, stencil_set2) |> repl_show |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
171 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
172 # ╔═╡ 5d1f10fe-f620-469c-822c-55955a5541ad |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
173 second_derivative(g1, stencil_set4) |> repl_show |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
174 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
175 # ╔═╡ fdc531d4-9d27-41dc-ba79-6febefde223a |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
176 second_derivative(g2, stencil_set2, 1) |> repl_show |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
177 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
178 # ╔═╡ fff2e04a-357f-4254-996e-d5ccd9ff31f8 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
179 second_derivative(g2, stencil_set4, 2) |> repl_show |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
180 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
181 # ╔═╡ 959b071e-1ef6-4f29-aa8b-d88bfef80c00 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
182 second_derivative_variable(g1, map(x->2x, g1), stencil_set2) |> repl_show |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
183 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
184 # ╔═╡ 0a0f7e77-a789-4fb3-a4c2-7853b67788ec |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
185 second_derivative_variable(g1, map(x->2x, g1), stencil_set4) |> repl_show |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
186 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
187 # ╔═╡ 177e0893-fbb1-4bb5-a108-e5990e943ab7 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
188 second_derivative_variable(g2, map(x->x[1]+x[2], g2), stencil_set2, 1) |> repl_show |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
189 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
190 # ╔═╡ f1b6bd54-baf6-4360-aec0-bd8d52497894 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
191 second_derivative_variable(g2, map(x->x[1]+x[2], g2), stencil_set4, 2) |> repl_show |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
192 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
193 # ╔═╡ a8f8343e-cd6f-451d-a2b3-e5f0f561f8af |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
194 undivided_skewed04(g1,4)[1] |> repl_show |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
195 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
196 # ╔═╡ 50291998-7194-4a0d-9c19-eacc48b3f5da |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
197 undivided_skewed04(g1,4)[2] |> repl_show |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
198 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
199 # ╔═╡ 1720af08-85e4-4502-b37e-9fa73008e221 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
200 undivided_skewed04(g2,4,1)[1] |> repl_show |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
201 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
202 # ╔═╡ 4a72f217-2423-4bc1-8452-eb28dde36689 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
203 undivided_skewed04(g2,4,2)[2] |> repl_show |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
204 |
|
2059
377df47849cb
Update display_example_nb.jl to use a dev version of Diffinitive
Jonatan Werpers <jonatan@werpers.com>
parents:
2058
diff
changeset
|
205 # ╔═╡ d51b6bd7-0235-4a51-a989-4f7858363d02 |
|
377df47849cb
Update display_example_nb.jl to use a dev version of Diffinitive
Jonatan Werpers <jonatan@werpers.com>
parents:
2058
diff
changeset
|
206 md""" |
|
377df47849cb
Update display_example_nb.jl to use a dev version of Diffinitive
Jonatan Werpers <jonatan@werpers.com>
parents:
2058
diff
changeset
|
207 ### Inner products |
|
377df47849cb
Update display_example_nb.jl to use a dev version of Diffinitive
Jonatan Werpers <jonatan@werpers.com>
parents:
2058
diff
changeset
|
208 """ |
|
377df47849cb
Update display_example_nb.jl to use a dev version of Diffinitive
Jonatan Werpers <jonatan@werpers.com>
parents:
2058
diff
changeset
|
209 |
|
2058
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
210 # ╔═╡ 48a28ade-73bb-461d-ab96-82f92ed199c8 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
211 inner_product(g1, stencil_set2) |> repl_show |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
212 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
213 # ╔═╡ 3c681a63-94a6-4677-aef7-df903c463896 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
214 inner_product(g1, stencil_set4) |> repl_show |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
215 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
216 # ╔═╡ db735370-153a-40f9-b77f-9f60e30a35c4 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
217 inner_product(g2, stencil_set2) |> repl_show |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
218 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
219 # ╔═╡ 613ebac7-50bc-424c-8fa2-064b64c93319 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
220 inner_product(g2, stencil_set4) |> repl_show |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
221 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
222 # ╔═╡ 9e7d7667-960e-491f-8b83-e3b01a0db5b0 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
223 inverse_inner_product(g2, stencil_set4) |> repl_show |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
224 |
|
2059
377df47849cb
Update display_example_nb.jl to use a dev version of Diffinitive
Jonatan Werpers <jonatan@werpers.com>
parents:
2058
diff
changeset
|
225 # ╔═╡ 29488e48-1d42-4232-9d49-1ee77fb869d8 |
|
377df47849cb
Update display_example_nb.jl to use a dev version of Diffinitive
Jonatan Werpers <jonatan@werpers.com>
parents:
2058
diff
changeset
|
226 md""" |
|
377df47849cb
Update display_example_nb.jl to use a dev version of Diffinitive
Jonatan Werpers <jonatan@werpers.com>
parents:
2058
diff
changeset
|
227 ### Boundary operators |
|
377df47849cb
Update display_example_nb.jl to use a dev version of Diffinitive
Jonatan Werpers <jonatan@werpers.com>
parents:
2058
diff
changeset
|
228 """ |
|
377df47849cb
Update display_example_nb.jl to use a dev version of Diffinitive
Jonatan Werpers <jonatan@werpers.com>
parents:
2058
diff
changeset
|
229 |
|
2058
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
230 # ╔═╡ c3005e74-5b96-4b0c-9c57-b7d02968ed94 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
231 boundary_restriction(g1, stencil_set, LowerBoundary()) |> repl_show |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
232 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
233 # ╔═╡ fd019973-0d54-4e31-b43b-f53a704cb01c |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
234 boundary_restriction(g1, stencil_set, UpperBoundary()) |> repl_show |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
235 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
236 # ╔═╡ df2e8af0-9ca5-4972-8771-f8bea1591f85 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
237 boundary_restriction(g2, stencil_set, CartesianBoundary{1,LowerBoundary}()) |> repl_show |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
238 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
239 # ╔═╡ 8e538109-16a1-4af7-a986-9dc1455b7de7 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
240 boundary_restriction(g2, stencil_set, CartesianBoundary{2,UpperBoundary}()) |> repl_show |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
241 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
242 # ╔═╡ 5f3744a4-72d8-4448-820f-a928bfaaf825 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
243 normal_derivative(g1, stencil_set, LowerBoundary()) |> repl_show |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
244 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
245 # ╔═╡ 4529b5c4-4905-4fd3-9aaa-5f88faa841c8 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
246 normal_derivative(g1, stencil_set, UpperBoundary()) |> repl_show |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
247 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
248 # ╔═╡ c3bb0450-a7d5-44c1-9ca9-9e1ecf2db9f8 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
249 normal_derivative(g2, stencil_set, CartesianBoundary{1,LowerBoundary}()) |> repl_show |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
250 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
251 # ╔═╡ da63e57a-0794-4cd8-9941-ada0e5c1c40e |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
252 normal_derivative(g2, stencil_set, CartesianBoundary{2,UpperBoundary}()) |> repl_show |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
253 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
254 # ╔═╡ 0b951425-979c-4ac9-8581-f690b729bab4 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
255 md""" |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
256 ## Tensor operations |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
257 """ |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
258 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
259 # ╔═╡ a39bb6e2-f1fe-4206-8ee3-88ff0c075233 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
260 begin |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
261 Dx = first_derivative(g2, stencil_set2, 1) |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
262 Dy = first_derivative(g2, stencil_set4, 2) |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
263 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
264 v = map(x->sin(x[1]^2+x[2]^2), g2) |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
265 end; |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
266 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
267 # ╔═╡ 8cd052d9-f40e-4796-aeef-52c02b3bf156 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
268 Dx+Dy |> repl_show |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
269 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
270 # ╔═╡ 1b1b7d12-50ef-4c4e-9376-a353a56540c3 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
271 Dx∘Dy |> repl_show |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
272 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
273 # ╔═╡ 57e48b4c-eef6-433e-98a1-1006e844b368 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
274 Dx*v |> repl_show |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
275 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
276 # ╔═╡ e2bf2649-4770-4f52-9752-b61ce03c6f82 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
277 (Dx+Dy)*v |> repl_show |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
278 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
279 # ╔═╡ d163d363-853d-4d83-a2d3-f8dd6e8f552d |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
280 (Dx∘Dy)*v |> repl_show |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
281 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
282 # ╔═╡ 1c38d3f9-1839-468c-a368-4ef101bd4f18 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
283 laplace(g2, stencil_set2) |> repl_show |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
284 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
285 # ╔═╡ cf84cefb-2dbd-4b8d-880b-47cc350a7c43 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
286 laplace(g2, stencil_set4) |> repl_show |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
287 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
288 # ╔═╡ 67c73667-1f41-47b5-b59a-459787767f29 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
289 # laplace(mg, stencil_set2) |> repl_show |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
290 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
291 # ╔═╡ 4634c1a6-0520-4b0f-8d32-a1fdf2ebaea5 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
292 md""" |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
293 ## Appendix |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
294 """ |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
295 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
296 # ╔═╡ 24788161-b29a-450a-bd35-f9c29e7ded9a |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
297 PlutoUI.TableOfContents() |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
298 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
299 # ╔═╡ Cell order: |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
300 # ╟─885c60d7-d33c-4741-ae49-6a57510ec7b5 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
301 # ╠═9ee3372a-e78d-4f74-84ce-e04208d1558d |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
302 # ╟─51c02ced-f684-417f-83f1-cade4edda43f |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
303 # ╠═25c90528-22cd-41ca-8572-ccd946928318 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
304 # ╠═e7f3e466-9833-428c-99ad-20bc9d88d951 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
305 # ╠═2e74f9b5-5b4f-4887-8a30-4655d560a45c |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
306 # ╠═365524b5-3182-4691-9817-1bbec1492c14 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
307 # ╠═d5725e1b-bc4f-4a95-975d-179c193908c9 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
308 # ╠═b824ef8d-5026-4861-9a23-45a7939fd38c |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
309 # ╠═fbe365a2-f95e-4297-8326-c18d22932869 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
310 # ╠═56670aff-0343-41cb-a653-35a61376dda4 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
311 # ╠═b5a6491e-a93e-4058-8ceb-be1dc4d4c100 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
312 # ╠═828d57a1-ee58-4204-8050-78127821a4c6 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
313 # ╠═127d34f6-69f7-4082-a74b-0be86942f153 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
314 # ╠═c46a278e-a102-4544-82d8-7df816440410 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
315 # ╟─5aa7079c-8005-47f1-bb82-c35f3aa54b42 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
316 # ╠═08f493ed-189c-43f3-86f2-95fc475ec0e7 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
317 # ╟─f7244bf7-8266-469f-b07f-30c203d9af48 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
318 # ╠═0e14bd28-5dd1-44c4-abf4-23b70546bd49 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
319 # ╠═fcb74341-6b03-4ada-8f5d-bc245c23679b |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
320 # ╠═8dec053b-eaae-463d-800b-b8d89d5d550b |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
321 # ╠═c1172a36-c5d7-47dc-bc79-af0d43a8f6ee |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
322 # ╟─9c889176-865b-402d-81b5-71957d2878f7 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
323 # ╠═85e8e748-e575-4a29-80c7-22d110578343 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
324 # ╠═804ad722-9081-4d1d-b0d2-c536a26fe20d |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
325 # ╟─a70c689d-0851-497f-938a-e5c92ce59ddb |
|
2059
377df47849cb
Update display_example_nb.jl to use a dev version of Diffinitive
Jonatan Werpers <jonatan@werpers.com>
parents:
2058
diff
changeset
|
326 # ╟─68c7a1d8-729e-4f38-abf2-26deb7a90cb1 |
|
2058
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
327 # ╠═2afde3fe-96ed-4d7e-a79b-fc880e0da268 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
328 # ╠═5451a071-14ae-47ae-99c5-4d65508d280f |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
329 # ╠═b6b06fe9-de16-41ca-ad45-eef6dd038485 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
330 # ╠═d1c8c3a0-76ec-4c32-853e-0471d71e5cf0 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
331 # ╠═6051c144-9982-4bd9-92f9-d0aaf3961872 |
|
2059
377df47849cb
Update display_example_nb.jl to use a dev version of Diffinitive
Jonatan Werpers <jonatan@werpers.com>
parents:
2058
diff
changeset
|
332 # ╟─83ed7f7e-c88d-4ee4-a53a-1b91e775ff52 |
|
2058
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
333 # ╠═12a9f430-f96b-43f2-bf63-149b5a028fd7 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
334 # ╠═e44f8d91-1cbf-44be-bef1-40e60c4a777f |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
335 # ╠═c378b88a-1d74-44a2-bdc1-b371da478de8 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
336 # ╠═9614cda7-b48c-4925-89b5-113cf514f20f |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
337 # ╠═725e9430-4821-4939-bfef-6c186d2dc500 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
338 # ╠═e8ca54a1-a6db-40a1-b44a-73e175894df4 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
339 # ╠═5d1f10fe-f620-469c-822c-55955a5541ad |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
340 # ╠═fdc531d4-9d27-41dc-ba79-6febefde223a |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
341 # ╠═fff2e04a-357f-4254-996e-d5ccd9ff31f8 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
342 # ╠═959b071e-1ef6-4f29-aa8b-d88bfef80c00 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
343 # ╠═0a0f7e77-a789-4fb3-a4c2-7853b67788ec |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
344 # ╠═177e0893-fbb1-4bb5-a108-e5990e943ab7 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
345 # ╠═f1b6bd54-baf6-4360-aec0-bd8d52497894 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
346 # ╠═a8f8343e-cd6f-451d-a2b3-e5f0f561f8af |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
347 # ╠═50291998-7194-4a0d-9c19-eacc48b3f5da |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
348 # ╠═1720af08-85e4-4502-b37e-9fa73008e221 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
349 # ╠═4a72f217-2423-4bc1-8452-eb28dde36689 |
|
2059
377df47849cb
Update display_example_nb.jl to use a dev version of Diffinitive
Jonatan Werpers <jonatan@werpers.com>
parents:
2058
diff
changeset
|
350 # ╟─d51b6bd7-0235-4a51-a989-4f7858363d02 |
|
2058
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
351 # ╠═48a28ade-73bb-461d-ab96-82f92ed199c8 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
352 # ╠═3c681a63-94a6-4677-aef7-df903c463896 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
353 # ╠═db735370-153a-40f9-b77f-9f60e30a35c4 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
354 # ╠═613ebac7-50bc-424c-8fa2-064b64c93319 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
355 # ╠═9e7d7667-960e-491f-8b83-e3b01a0db5b0 |
|
2059
377df47849cb
Update display_example_nb.jl to use a dev version of Diffinitive
Jonatan Werpers <jonatan@werpers.com>
parents:
2058
diff
changeset
|
356 # ╟─29488e48-1d42-4232-9d49-1ee77fb869d8 |
|
2058
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
357 # ╠═c3005e74-5b96-4b0c-9c57-b7d02968ed94 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
358 # ╠═fd019973-0d54-4e31-b43b-f53a704cb01c |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
359 # ╠═df2e8af0-9ca5-4972-8771-f8bea1591f85 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
360 # ╠═8e538109-16a1-4af7-a986-9dc1455b7de7 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
361 # ╠═5f3744a4-72d8-4448-820f-a928bfaaf825 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
362 # ╠═4529b5c4-4905-4fd3-9aaa-5f88faa841c8 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
363 # ╠═c3bb0450-a7d5-44c1-9ca9-9e1ecf2db9f8 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
364 # ╠═da63e57a-0794-4cd8-9941-ada0e5c1c40e |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
365 # ╟─0b951425-979c-4ac9-8581-f690b729bab4 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
366 # ╠═a39bb6e2-f1fe-4206-8ee3-88ff0c075233 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
367 # ╠═8cd052d9-f40e-4796-aeef-52c02b3bf156 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
368 # ╠═1b1b7d12-50ef-4c4e-9376-a353a56540c3 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
369 # ╠═57e48b4c-eef6-433e-98a1-1006e844b368 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
370 # ╠═e2bf2649-4770-4f52-9752-b61ce03c6f82 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
371 # ╠═d163d363-853d-4d83-a2d3-f8dd6e8f552d |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
372 # ╠═1c38d3f9-1839-468c-a368-4ef101bd4f18 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
373 # ╠═cf84cefb-2dbd-4b8d-880b-47cc350a7c43 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
374 # ╠═67c73667-1f41-47b5-b59a-459787767f29 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
375 # ╟─4634c1a6-0520-4b0f-8d32-a1fdf2ebaea5 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
376 # ╠═1f8a7cfa-94cc-41bf-a8c8-2dc5218741e0 |
|
aeb0a9b81ff7
Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff
changeset
|
377 # ╠═24788161-b29a-450a-bd35-f9c29e7ded9a |
