Mercurial > repos > public > sbplib_julia

annotate notebooks/display_examples_nb.jl @ 2076:832580b6d548 feature/sbp_operators/laplace_curvilinear tip

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add test for inverse_inner_product
author Jonatan Werpers <jonatan@werpers.com>
date Wed, 18 Feb 2026 07:08:14 +0100
parents a8ea4f94f3c4
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
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
2067
a8ea4f94f3c4 Add StencilSet to notebooks/display_examples_nb.jl
Jonatan Werpers <jonatan@werpers.com>
parents: 2059
diff changeset
77 # ╔═╡ e2dc581f-0949-4be7-8e4b-74deeaffc68d
a8ea4f94f3c4 Add StencilSet to notebooks/display_examples_nb.jl
Jonatan Werpers <jonatan@werpers.com>
parents: 2059
diff changeset
78 md"""
a8ea4f94f3c4 Add StencilSet to notebooks/display_examples_nb.jl
Jonatan Werpers <jonatan@werpers.com>
parents: 2059
diff changeset
79 ## Stencil Set
a8ea4f94f3c4 Add StencilSet to notebooks/display_examples_nb.jl
Jonatan Werpers <jonatan@werpers.com>
parents: 2059
diff changeset
80 """
a8ea4f94f3c4 Add StencilSet to notebooks/display_examples_nb.jl
Jonatan Werpers <jonatan@werpers.com>
parents: 2059
diff changeset
81
a8ea4f94f3c4 Add StencilSet to notebooks/display_examples_nb.jl
Jonatan Werpers <jonatan@werpers.com>
parents: 2059
diff changeset
82 # ╔═╡ 272e564f-bd21-4ba2-8d6e-ae4714dc30bc
a8ea4f94f3c4 Add StencilSet to notebooks/display_examples_nb.jl
Jonatan Werpers <jonatan@werpers.com>
parents: 2059
diff changeset
83 read_stencil_set(sbp_operators_path()*"standard_diagonal.toml"; order=2) |> repl_show
a8ea4f94f3c4 Add StencilSet to notebooks/display_examples_nb.jl
Jonatan Werpers <jonatan@werpers.com>
parents: 2059
diff changeset
84
2058
aeb0a9b81ff7 Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
85 # ╔═╡ 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
86 md"""
aeb0a9b81ff7 Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
87 ## Grids
aeb0a9b81ff7 Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
88 """
aeb0a9b81ff7 Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
89
aeb0a9b81ff7 Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
90 # ╔═╡ 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
91 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
92
aeb0a9b81ff7 Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
93 # ╔═╡ 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
94 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
95
aeb0a9b81ff7 Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
96 # ╔═╡ 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
97 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
98
aeb0a9b81ff7 Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
99 # ╔═╡ 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
100 let
aeb0a9b81ff7 Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
101 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
102 J((ξ, η)) = @SMatrix[
aeb0a9b81ff7 Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
103 2 1-2η;
aeb0a9b81ff7 Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
104 (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
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 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
108 end
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 # ╔═╡ 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
111 md"""
aeb0a9b81ff7 Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
112 ## LazyArrays
aeb0a9b81ff7 Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
113 """
aeb0a9b81ff7 Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
114
aeb0a9b81ff7 Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
115 # ╔═╡ 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
116 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
117
aeb0a9b81ff7 Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
118 # ╔═╡ 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
119 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
120
aeb0a9b81ff7 Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
121 # ╔═╡ 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
122 md"""
aeb0a9b81ff7 Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
123 ## LazyTensors
aeb0a9b81ff7 Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
124 """
aeb0a9b81ff7 Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
125
2059
377df47849cb Update display_example_nb.jl to use a dev version of Diffinitive
Jonatan Werpers <jonatan@werpers.com>
parents: 2058
diff changeset
126 # ╔═╡ 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
127 md"""
377df47849cb Update display_example_nb.jl to use a dev version of Diffinitive
Jonatan Werpers <jonatan@werpers.com>
parents: 2058
diff changeset
128 ### Basic tensors
377df47849cb Update display_example_nb.jl to use a dev version of Diffinitive
Jonatan Werpers <jonatan@werpers.com>
parents: 2058
diff changeset
129 """
377df47849cb Update display_example_nb.jl to use a dev version of Diffinitive
Jonatan Werpers <jonatan@werpers.com>
parents: 2058
diff changeset
130
2058
aeb0a9b81ff7 Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
131 # ╔═╡ 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
132 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
133
aeb0a9b81ff7 Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
134 # ╔═╡ 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
135 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
136
aeb0a9b81ff7 Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
137 # ╔═╡ 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
138 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
139
aeb0a9b81ff7 Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
140 # ╔═╡ 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
141 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
142
aeb0a9b81ff7 Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
143 # ╔═╡ 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
144 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
145
2059
377df47849cb Update display_example_nb.jl to use a dev version of Diffinitive
Jonatan Werpers <jonatan@werpers.com>
parents: 2058
diff changeset
146 # ╔═╡ 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
147 md"""
377df47849cb Update display_example_nb.jl to use a dev version of Diffinitive
Jonatan Werpers <jonatan@werpers.com>
parents: 2058
diff changeset
148 ### 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
149 """
377df47849cb Update display_example_nb.jl to use a dev version of Diffinitive
Jonatan Werpers <jonatan@werpers.com>
parents: 2058
diff changeset
150
2058
aeb0a9b81ff7 Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
151 # ╔═╡ 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
152 begin
aeb0a9b81ff7 Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
153 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
154 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
155 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
156 J((ξ, η)) = @SMatrix[
aeb0a9b81ff7 Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
157 2 1-2η;
aeb0a9b81ff7 Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
158 (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
159 ]
aeb0a9b81ff7 Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
160 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
161 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
162 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
163 end;
aeb0a9b81ff7 Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
164
aeb0a9b81ff7 Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
165 # ╔═╡ 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
166 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
167
aeb0a9b81ff7 Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
168 # ╔═╡ 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
169 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
170
aeb0a9b81ff7 Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
171 # ╔═╡ 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
172 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
173
aeb0a9b81ff7 Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
174 # ╔═╡ 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
175 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
176
aeb0a9b81ff7 Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
177 # ╔═╡ 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
178 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
179
aeb0a9b81ff7 Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
180 # ╔═╡ 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
181 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
182
aeb0a9b81ff7 Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
183 # ╔═╡ 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
184 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
185
aeb0a9b81ff7 Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
186 # ╔═╡ 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
187 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
188
aeb0a9b81ff7 Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
189 # ╔═╡ 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
190 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
191
aeb0a9b81ff7 Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
192 # ╔═╡ 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
193 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
194
aeb0a9b81ff7 Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
195 # ╔═╡ 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
196 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
197
aeb0a9b81ff7 Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
198 # ╔═╡ 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
199 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
200
aeb0a9b81ff7 Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
201 # ╔═╡ 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
202 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
203
aeb0a9b81ff7 Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
204 # ╔═╡ 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
205 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
206
aeb0a9b81ff7 Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
207 # ╔═╡ 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
208 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
209
aeb0a9b81ff7 Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
210 # ╔═╡ 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
211 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
212
2059
377df47849cb Update display_example_nb.jl to use a dev version of Diffinitive
Jonatan Werpers <jonatan@werpers.com>
parents: 2058
diff changeset
213 # ╔═╡ 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
214 md"""
377df47849cb Update display_example_nb.jl to use a dev version of Diffinitive
Jonatan Werpers <jonatan@werpers.com>
parents: 2058
diff changeset
215 ### Inner products
377df47849cb Update display_example_nb.jl to use a dev version of Diffinitive
Jonatan Werpers <jonatan@werpers.com>
parents: 2058
diff changeset
216 """
377df47849cb Update display_example_nb.jl to use a dev version of Diffinitive
Jonatan Werpers <jonatan@werpers.com>
parents: 2058
diff changeset
217
2058
aeb0a9b81ff7 Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
218 # ╔═╡ 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
219 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
220
aeb0a9b81ff7 Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
221 # ╔═╡ 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
222 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
223
aeb0a9b81ff7 Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
224 # ╔═╡ 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
225 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
226
aeb0a9b81ff7 Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
227 # ╔═╡ 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
228 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
229
aeb0a9b81ff7 Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
230 # ╔═╡ 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
231 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
232
2059
377df47849cb Update display_example_nb.jl to use a dev version of Diffinitive
Jonatan Werpers <jonatan@werpers.com>
parents: 2058
diff changeset
233 # ╔═╡ 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
234 md"""
377df47849cb Update display_example_nb.jl to use a dev version of Diffinitive
Jonatan Werpers <jonatan@werpers.com>
parents: 2058
diff changeset
235 ### Boundary operators
377df47849cb Update display_example_nb.jl to use a dev version of Diffinitive
Jonatan Werpers <jonatan@werpers.com>
parents: 2058
diff changeset
236 """
377df47849cb Update display_example_nb.jl to use a dev version of Diffinitive
Jonatan Werpers <jonatan@werpers.com>
parents: 2058
diff changeset
237
2058
aeb0a9b81ff7 Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
238 # ╔═╡ 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
239 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
240
aeb0a9b81ff7 Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
241 # ╔═╡ 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
242 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
243
aeb0a9b81ff7 Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
244 # ╔═╡ 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
245 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
246
aeb0a9b81ff7 Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
247 # ╔═╡ 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
248 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
249
aeb0a9b81ff7 Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
250 # ╔═╡ 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
251 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
252
aeb0a9b81ff7 Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
253 # ╔═╡ 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
254 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
255
aeb0a9b81ff7 Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
256 # ╔═╡ 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
257 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
258
aeb0a9b81ff7 Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
259 # ╔═╡ 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
260 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
261
aeb0a9b81ff7 Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
262 # ╔═╡ 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
263 md"""
aeb0a9b81ff7 Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
264 ## Tensor operations
aeb0a9b81ff7 Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
265 """
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 # ╔═╡ 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
268 begin
aeb0a9b81ff7 Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
269 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
270 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
271
aeb0a9b81ff7 Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
272 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
273 end;
aeb0a9b81ff7 Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
274
aeb0a9b81ff7 Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
275 # ╔═╡ 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
276 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
277
aeb0a9b81ff7 Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
278 # ╔═╡ 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
279 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
280
aeb0a9b81ff7 Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
281 # ╔═╡ 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
282 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
283
aeb0a9b81ff7 Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
284 # ╔═╡ 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
285 (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
286
aeb0a9b81ff7 Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
287 # ╔═╡ 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
288 (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
289
aeb0a9b81ff7 Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
290 # ╔═╡ 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
291 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
292
aeb0a9b81ff7 Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
293 # ╔═╡ 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
294 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
295
aeb0a9b81ff7 Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
296 # ╔═╡ 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
297 # 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
298
aeb0a9b81ff7 Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
299 # ╔═╡ 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
300 md"""
aeb0a9b81ff7 Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
301 ## Appendix
aeb0a9b81ff7 Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
302 """
aeb0a9b81ff7 Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
303
aeb0a9b81ff7 Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
304 # ╔═╡ 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
305 PlutoUI.TableOfContents()
aeb0a9b81ff7 Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
306
aeb0a9b81ff7 Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
307 # ╔═╡ Cell order:
aeb0a9b81ff7 Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
308 # ╟─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
309 # ╠═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
310 # ╟─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
311 # ╠═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
312 # ╠═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
313 # ╠═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
314 # ╠═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
315 # ╠═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
316 # ╠═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
317 # ╠═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
318 # ╠═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
319 # ╠═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
320 # ╠═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
321 # ╠═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
322 # ╠═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
323 # ╟─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
324 # ╠═08f493ed-189c-43f3-86f2-95fc475ec0e7
2067
a8ea4f94f3c4 Add StencilSet to notebooks/display_examples_nb.jl
Jonatan Werpers <jonatan@werpers.com>
parents: 2059
diff changeset
325 # ╟─e2dc581f-0949-4be7-8e4b-74deeaffc68d
a8ea4f94f3c4 Add StencilSet to notebooks/display_examples_nb.jl
Jonatan Werpers <jonatan@werpers.com>
parents: 2059
diff changeset
326 # ╠═272e564f-bd21-4ba2-8d6e-ae4714dc30bc
2058
aeb0a9b81ff7 Add notebook with examples of how objects are shown on the repl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
327 # ╟─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
328 # ╠═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
329 # ╠═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
330 # ╠═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
331 # ╠═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
332 # ╟─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
333 # ╠═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
334 # ╠═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
335 # ╟─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
336 # ╟─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
337 # ╠═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
338 # ╠═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
339 # ╠═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
340 # ╠═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
341 # ╠═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
342 # ╟─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
343 # ╠═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
344 # ╠═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
345 # ╠═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
346 # ╠═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
347 # ╠═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
348 # ╠═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
349 # ╠═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
350 # ╠═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
351 # ╠═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
352 # ╠═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
353 # ╠═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
354 # ╠═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
355 # ╠═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
356 # ╠═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
357 # ╠═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
358 # ╠═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
359 # ╠═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
360 # ╟─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
361 # ╠═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
362 # ╠═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
363 # ╠═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
364 # ╠═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
365 # ╠═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
366 # ╟─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
367 # ╠═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
368 # ╠═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
369 # ╠═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
370 # ╠═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
371 # ╠═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
372 # ╠═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
373 # ╠═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
374 # ╠═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
375 # ╟─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
376 # ╠═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
377 # ╠═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
378 # ╠═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
379 # ╠═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
380 # ╠═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
381 # ╠═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
382 # ╠═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
383 # ╠═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
384 # ╠═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
385 # ╟─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
386 # ╠═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
387 # ╠═24788161-b29a-450a-bd35-f9c29e7ded9a