Mercurial > repos > public > sbplib_julia
comparison 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 |
comparison
equal
deleted
inserted
replaced
| 2058:aeb0a9b81ff7 | 2059:377df47849cb |
|---|---|
| 4 using Markdown | 4 using Markdown |
| 5 using InteractiveUtils | 5 using InteractiveUtils |
| 6 | 6 |
| 7 # ╔═╡ 1f8a7cfa-94cc-41bf-a8c8-2dc5218741e0 | 7 # ╔═╡ 1f8a7cfa-94cc-41bf-a8c8-2dc5218741e0 |
| 8 begin | 8 begin |
| 9 using Pkg | |
| 10 Pkg.activate(".") | |
| 11 | |
| 9 using Diffinitive | 12 using Diffinitive |
| 10 using Diffinitive.Grids | 13 using Diffinitive.Grids |
| 11 using Diffinitive.LazyTensors | 14 using Diffinitive.LazyTensors |
| 12 using Diffinitive.SbpOperators | 15 using Diffinitive.SbpOperators |
| 13 using PlutoUI | 16 using PlutoUI |
| 110 # ╔═╡ a70c689d-0851-497f-938a-e5c92ce59ddb | 113 # ╔═╡ a70c689d-0851-497f-938a-e5c92ce59ddb |
| 111 md""" | 114 md""" |
| 112 ## LazyTensors | 115 ## LazyTensors |
| 113 """ | 116 """ |
| 114 | 117 |
| 118 # ╔═╡ 68c7a1d8-729e-4f38-abf2-26deb7a90cb1 | |
| 119 md""" | |
| 120 ### Basic tensors | |
| 121 """ | |
| 122 | |
| 115 # ╔═╡ 2afde3fe-96ed-4d7e-a79b-fc880e0da268 | 123 # ╔═╡ 2afde3fe-96ed-4d7e-a79b-fc880e0da268 |
| 116 LazyTensors.IdentityTensor(5) |> repl_show | 124 LazyTensors.IdentityTensor(5) |> repl_show |
| 117 | 125 |
| 118 # ╔═╡ 5451a071-14ae-47ae-99c5-4d65508d280f | 126 # ╔═╡ 5451a071-14ae-47ae-99c5-4d65508d280f |
| 119 LazyTensors.IdentityTensor(4,3) |> repl_show | 127 LazyTensors.IdentityTensor(4,3) |> repl_show |
| 124 # ╔═╡ d1c8c3a0-76ec-4c32-853e-0471d71e5cf0 | 132 # ╔═╡ d1c8c3a0-76ec-4c32-853e-0471d71e5cf0 |
| 125 LazyTensors.DiagonalTensor([1,2,3,4]) |> repl_show | 133 LazyTensors.DiagonalTensor([1,2,3,4]) |> repl_show |
| 126 | 134 |
| 127 # ╔═╡ 6051c144-9982-4bd9-92f9-d0aaf3961872 | 135 # ╔═╡ 6051c144-9982-4bd9-92f9-d0aaf3961872 |
| 128 LazyTensors.DenseTensor(rand(2,2,2,2), (1,2), (3,4)) |> repl_show | 136 LazyTensors.DenseTensor(rand(2,2,2,2), (1,2), (3,4)) |> repl_show |
| 137 | |
| 138 # ╔═╡ 83ed7f7e-c88d-4ee4-a53a-1b91e775ff52 | |
| 139 md""" | |
| 140 ### Simple SBP-operators | |
| 141 """ | |
| 129 | 142 |
| 130 # ╔═╡ 12a9f430-f96b-43f2-bf63-149b5a028fd7 | 143 # ╔═╡ 12a9f430-f96b-43f2-bf63-149b5a028fd7 |
| 131 begin | 144 begin |
| 132 g1 = equidistant_grid(0,1,10) | 145 g1 = equidistant_grid(0,1,10) |
| 133 g2 = equidistant_grid((0,0),(1,1),10, 11) | 146 g2 = equidistant_grid((0,0),(1,1),10, 11) |
| 187 undivided_skewed04(g2,4,1)[1] |> repl_show | 200 undivided_skewed04(g2,4,1)[1] |> repl_show |
| 188 | 201 |
| 189 # ╔═╡ 4a72f217-2423-4bc1-8452-eb28dde36689 | 202 # ╔═╡ 4a72f217-2423-4bc1-8452-eb28dde36689 |
| 190 undivided_skewed04(g2,4,2)[2] |> repl_show | 203 undivided_skewed04(g2,4,2)[2] |> repl_show |
| 191 | 204 |
| 205 # ╔═╡ d51b6bd7-0235-4a51-a989-4f7858363d02 | |
| 206 md""" | |
| 207 ### Inner products | |
| 208 """ | |
| 209 | |
| 192 # ╔═╡ 48a28ade-73bb-461d-ab96-82f92ed199c8 | 210 # ╔═╡ 48a28ade-73bb-461d-ab96-82f92ed199c8 |
| 193 inner_product(g1, stencil_set2) |> repl_show | 211 inner_product(g1, stencil_set2) |> repl_show |
| 194 | 212 |
| 195 # ╔═╡ 3c681a63-94a6-4677-aef7-df903c463896 | 213 # ╔═╡ 3c681a63-94a6-4677-aef7-df903c463896 |
| 196 inner_product(g1, stencil_set4) |> repl_show | 214 inner_product(g1, stencil_set4) |> repl_show |
| 201 # ╔═╡ 613ebac7-50bc-424c-8fa2-064b64c93319 | 219 # ╔═╡ 613ebac7-50bc-424c-8fa2-064b64c93319 |
| 202 inner_product(g2, stencil_set4) |> repl_show | 220 inner_product(g2, stencil_set4) |> repl_show |
| 203 | 221 |
| 204 # ╔═╡ 9e7d7667-960e-491f-8b83-e3b01a0db5b0 | 222 # ╔═╡ 9e7d7667-960e-491f-8b83-e3b01a0db5b0 |
| 205 inverse_inner_product(g2, stencil_set4) |> repl_show | 223 inverse_inner_product(g2, stencil_set4) |> repl_show |
| 224 | |
| 225 # ╔═╡ 29488e48-1d42-4232-9d49-1ee77fb869d8 | |
| 226 md""" | |
| 227 ### Boundary operators | |
| 228 """ | |
| 206 | 229 |
| 207 # ╔═╡ c3005e74-5b96-4b0c-9c57-b7d02968ed94 | 230 # ╔═╡ c3005e74-5b96-4b0c-9c57-b7d02968ed94 |
| 208 boundary_restriction(g1, stencil_set, LowerBoundary()) |> repl_show | 231 boundary_restriction(g1, stencil_set, LowerBoundary()) |> repl_show |
| 209 | 232 |
| 210 # ╔═╡ fd019973-0d54-4e31-b43b-f53a704cb01c | 233 # ╔═╡ fd019973-0d54-4e31-b43b-f53a704cb01c |
| 270 ## Appendix | 293 ## Appendix |
| 271 """ | 294 """ |
| 272 | 295 |
| 273 # ╔═╡ 24788161-b29a-450a-bd35-f9c29e7ded9a | 296 # ╔═╡ 24788161-b29a-450a-bd35-f9c29e7ded9a |
| 274 PlutoUI.TableOfContents() | 297 PlutoUI.TableOfContents() |
| 275 | |
| 276 # ╔═╡ 00000000-0000-0000-0000-000000000001 | |
| 277 PLUTO_PROJECT_TOML_CONTENTS = """ | |
| 278 [deps] | |
| 279 Diffinitive = "5a373a26-915f-4769-bcab-bf03835de17b" | |
| 280 PlutoUI = "7f904dfe-b85e-4ff6-b463-dae2292396a8" | |
| 281 StaticArrays = "90137ffa-7385-5640-81b9-e52037218182" | |
| 282 | |
| 283 [compat] | |
| 284 Diffinitive = "~0.1.5" | |
| 285 PlutoUI = "~0.7.71" | |
| 286 StaticArrays = "~1.9.16" | |
| 287 """ | |
| 288 | |
| 289 # ╔═╡ 00000000-0000-0000-0000-000000000002 | |
| 290 PLUTO_MANIFEST_TOML_CONTENTS = """ | |
| 291 # This file is machine-generated - editing it directly is not advised | |
| 292 | |
| 293 julia_version = "1.12.4" | |
| 294 manifest_format = "2.0" | |
| 295 project_hash = "8ad3b11d3caefa740741684109dab3915258eb55" | |
| 296 | |
| 297 [[deps.AbstractPlutoDingetjes]] | |
| 298 deps = ["Pkg"] | |
| 299 git-tree-sha1 = "6e1d2a35f2f90a4bc7c2ed98079b2ba09c35b83a" | |
| 300 uuid = "6e696c72-6542-2067-7265-42206c756150" | |
| 301 version = "1.3.2" | |
| 302 | |
| 303 [[deps.ArgTools]] | |
| 304 uuid = "0dad84c5-d112-42e6-8d28-ef12dabb789f" | |
| 305 version = "1.1.2" | |
| 306 | |
| 307 [[deps.Artifacts]] | |
| 308 uuid = "56f22d72-fd6d-98f1-02f0-08ddc0907c33" | |
| 309 version = "1.11.0" | |
| 310 | |
| 311 [[deps.Base64]] | |
| 312 uuid = "2a0f44e3-6c83-55bd-87e4-b1978d98bd5f" | |
| 313 version = "1.11.0" | |
| 314 | |
| 315 [[deps.ColorTypes]] | |
| 316 deps = ["FixedPointNumbers", "Random"] | |
| 317 git-tree-sha1 = "67e11ee83a43eb71ddc950302c53bf33f0690dfe" | |
| 318 uuid = "3da002f7-5984-5a60-b8a6-cbb66c0b333f" | |
| 319 version = "0.12.1" | |
| 320 weakdeps = ["StyledStrings"] | |
| 321 | |
| 322 [deps.ColorTypes.extensions] | |
| 323 StyledStringsExt = "StyledStrings" | |
| 324 | |
| 325 [[deps.CompilerSupportLibraries_jll]] | |
| 326 deps = ["Artifacts", "Libdl"] | |
| 327 uuid = "e66e0078-7015-5450-92f7-15fbd957f2ae" | |
| 328 version = "1.3.0+1" | |
| 329 | |
| 330 [[deps.Dates]] | |
| 331 deps = ["Printf"] | |
| 332 uuid = "ade2ca70-3891-5945-98fb-dc099432e06a" | |
| 333 version = "1.11.0" | |
| 334 | |
| 335 [[deps.Diffinitive]] | |
| 336 deps = ["LinearAlgebra", "StaticArrays", "TOML"] | |
| 337 git-tree-sha1 = "064ed50f32f0fb073406c2db1f391faeb1f2357c" | |
| 338 uuid = "5a373a26-915f-4769-bcab-bf03835de17b" | |
| 339 version = "0.1.5" | |
| 340 | |
| 341 [deps.Diffinitive.extensions] | |
| 342 DiffinitiveMakieExt = "Makie" | |
| 343 DiffinitivePlotsExt = "Plots" | |
| 344 DiffinitiveSparseArrayKitExt = ["SparseArrayKit", "Tokens"] | |
| 345 DiffinitiveSparseArraysExt = ["SparseArrays", "Tokens"] | |
| 346 | |
| 347 [deps.Diffinitive.weakdeps] | |
| 348 Makie = "ee78f7c6-11fb-53f2-987a-cfe4a2b5a57a" | |
| 349 Plots = "91a5bcdd-55d7-5caf-9e0b-520d859cae80" | |
| 350 SparseArrayKit = "a9a3c162-d163-4c15-8926-b8794fbefed2" | |
| 351 SparseArrays = "2f01184e-e22b-5df5-ae63-d93ebab69eaf" | |
| 352 Tokens = "040c2ec2-8d69-4aca-bf03-7d3a7092f2f6" | |
| 353 | |
| 354 [[deps.Downloads]] | |
| 355 deps = ["ArgTools", "FileWatching", "LibCURL", "NetworkOptions"] | |
| 356 uuid = "f43a241f-c20a-4ad4-852c-f6b1247861c6" | |
| 357 version = "1.7.0" | |
| 358 | |
| 359 [[deps.FileWatching]] | |
| 360 uuid = "7b1f6079-737a-58dc-b8bc-7a2ca5c1b5ee" | |
| 361 version = "1.11.0" | |
| 362 | |
| 363 [[deps.FixedPointNumbers]] | |
| 364 deps = ["Statistics"] | |
| 365 git-tree-sha1 = "05882d6995ae5c12bb5f36dd2ed3f61c98cbb172" | |
| 366 uuid = "53c48c17-4a7d-5ca2-90c5-79b7896eea93" | |
| 367 version = "0.8.5" | |
| 368 | |
| 369 [[deps.Hyperscript]] | |
| 370 deps = ["Test"] | |
| 371 git-tree-sha1 = "179267cfa5e712760cd43dcae385d7ea90cc25a4" | |
| 372 uuid = "47d2ed2b-36de-50cf-bf87-49c2cf4b8b91" | |
| 373 version = "0.0.5" | |
| 374 | |
| 375 [[deps.HypertextLiteral]] | |
| 376 deps = ["Tricks"] | |
| 377 git-tree-sha1 = "7134810b1afce04bbc1045ca1985fbe81ce17653" | |
| 378 uuid = "ac1192a8-f4b3-4bfe-ba22-af5b92cd3ab2" | |
| 379 version = "0.9.5" | |
| 380 | |
| 381 [[deps.IOCapture]] | |
| 382 deps = ["Logging", "Random"] | |
| 383 git-tree-sha1 = "b6d6bfdd7ce25b0f9b2f6b3dd56b2673a66c8770" | |
| 384 uuid = "b5f81e59-6552-4d32-b1f0-c071b021bf89" | |
| 385 version = "0.2.5" | |
| 386 | |
| 387 [[deps.InteractiveUtils]] | |
| 388 deps = ["Markdown"] | |
| 389 uuid = "b77e0a4c-d291-57a0-90e8-8db25a27a240" | |
| 390 version = "1.11.0" | |
| 391 | |
| 392 [[deps.JSON]] | |
| 393 deps = ["Dates", "Mmap", "Parsers", "Unicode"] | |
| 394 git-tree-sha1 = "31e996f0a15c7b280ba9f76636b3ff9e2ae58c9a" | |
| 395 uuid = "682c06a0-de6a-54ab-a142-c8b1cf79cde6" | |
| 396 version = "0.21.4" | |
| 397 | |
| 398 [[deps.JuliaSyntaxHighlighting]] | |
| 399 deps = ["StyledStrings"] | |
| 400 uuid = "ac6e5ff7-fb65-4e79-a425-ec3bc9c03011" | |
| 401 version = "1.12.0" | |
| 402 | |
| 403 [[deps.LibCURL]] | |
| 404 deps = ["LibCURL_jll", "MozillaCACerts_jll"] | |
| 405 uuid = "b27032c2-a3e7-50c8-80cd-2d36dbcbfd21" | |
| 406 version = "0.6.4" | |
| 407 | |
| 408 [[deps.LibCURL_jll]] | |
| 409 deps = ["Artifacts", "LibSSH2_jll", "Libdl", "OpenSSL_jll", "Zlib_jll", "nghttp2_jll"] | |
| 410 uuid = "deac9b47-8bc7-5906-a0fe-35ac56dc84c0" | |
| 411 version = "8.15.0+0" | |
| 412 | |
| 413 [[deps.LibGit2]] | |
| 414 deps = ["LibGit2_jll", "NetworkOptions", "Printf", "SHA"] | |
| 415 uuid = "76f85450-5226-5b5a-8eaa-529ad045b433" | |
| 416 version = "1.11.0" | |
| 417 | |
| 418 [[deps.LibGit2_jll]] | |
| 419 deps = ["Artifacts", "LibSSH2_jll", "Libdl", "OpenSSL_jll"] | |
| 420 uuid = "e37daf67-58a4-590a-8e99-b0245dd2ffc5" | |
| 421 version = "1.9.0+0" | |
| 422 | |
| 423 [[deps.LibSSH2_jll]] | |
| 424 deps = ["Artifacts", "Libdl", "OpenSSL_jll"] | |
| 425 uuid = "29816b5a-b9ab-546f-933c-edad1886dfa8" | |
| 426 version = "1.11.3+1" | |
| 427 | |
| 428 [[deps.Libdl]] | |
| 429 uuid = "8f399da3-3557-5675-b5ff-fb832c97cbdb" | |
| 430 version = "1.11.0" | |
| 431 | |
| 432 [[deps.LinearAlgebra]] | |
| 433 deps = ["Libdl", "OpenBLAS_jll", "libblastrampoline_jll"] | |
| 434 uuid = "37e2e46d-f89d-539d-b4ee-838fcccc9c8e" | |
| 435 version = "1.12.0" | |
| 436 | |
| 437 [[deps.Logging]] | |
| 438 uuid = "56ddb016-857b-54e1-b83d-db4d58db5568" | |
| 439 version = "1.11.0" | |
| 440 | |
| 441 [[deps.MIMEs]] | |
| 442 git-tree-sha1 = "c64d943587f7187e751162b3b84445bbbd79f691" | |
| 443 uuid = "6c6e2e6c-3030-632d-7369-2d6c69616d65" | |
| 444 version = "1.1.0" | |
| 445 | |
| 446 [[deps.Markdown]] | |
| 447 deps = ["Base64", "JuliaSyntaxHighlighting", "StyledStrings"] | |
| 448 uuid = "d6f4376e-aef5-505a-96c1-9c027394607a" | |
| 449 version = "1.11.0" | |
| 450 | |
| 451 [[deps.Mmap]] | |
| 452 uuid = "a63ad114-7e13-5084-954f-fe012c677804" | |
| 453 version = "1.11.0" | |
| 454 | |
| 455 [[deps.MozillaCACerts_jll]] | |
| 456 uuid = "14a3606d-f60d-562e-9121-12d972cd8159" | |
| 457 version = "2025.11.4" | |
| 458 | |
| 459 [[deps.NetworkOptions]] | |
| 460 uuid = "ca575930-c2e3-43a9-ace4-1e988b2c1908" | |
| 461 version = "1.3.0" | |
| 462 | |
| 463 [[deps.OpenBLAS_jll]] | |
| 464 deps = ["Artifacts", "CompilerSupportLibraries_jll", "Libdl"] | |
| 465 uuid = "4536629a-c528-5b80-bd46-f80d51c5b363" | |
| 466 version = "0.3.29+0" | |
| 467 | |
| 468 [[deps.OpenSSL_jll]] | |
| 469 deps = ["Artifacts", "Libdl"] | |
| 470 uuid = "458c3c95-2e84-50aa-8efc-19380b2a3a95" | |
| 471 version = "3.5.4+0" | |
| 472 | |
| 473 [[deps.Parsers]] | |
| 474 deps = ["Dates", "PrecompileTools", "UUIDs"] | |
| 475 git-tree-sha1 = "7d2f8f21da5db6a806faf7b9b292296da42b2810" | |
| 476 uuid = "69de0a69-1ddd-5017-9359-2bf0b02dc9f0" | |
| 477 version = "2.8.3" | |
| 478 | |
| 479 [[deps.Pkg]] | |
| 480 deps = ["Artifacts", "Dates", "Downloads", "FileWatching", "LibGit2", "Libdl", "Logging", "Markdown", "Printf", "Random", "SHA", "TOML", "Tar", "UUIDs", "p7zip_jll"] | |
| 481 uuid = "44cfe95a-1eb2-52ea-b672-e2afdf69b78f" | |
| 482 version = "1.12.1" | |
| 483 | |
| 484 [deps.Pkg.extensions] | |
| 485 REPLExt = "REPL" | |
| 486 | |
| 487 [deps.Pkg.weakdeps] | |
| 488 REPL = "3fa0cd96-eef1-5676-8a61-b3b8758bbffb" | |
| 489 | |
| 490 [[deps.PlutoUI]] | |
| 491 deps = ["AbstractPlutoDingetjes", "Base64", "ColorTypes", "Dates", "Downloads", "FixedPointNumbers", "Hyperscript", "HypertextLiteral", "IOCapture", "InteractiveUtils", "JSON", "Logging", "MIMEs", "Markdown", "Random", "Reexport", "URIs", "UUIDs"] | |
| 492 git-tree-sha1 = "8329a3a4f75e178c11c1ce2342778bcbbbfa7e3c" | |
| 493 uuid = "7f904dfe-b85e-4ff6-b463-dae2292396a8" | |
| 494 version = "0.7.71" | |
| 495 | |
| 496 [[deps.PrecompileTools]] | |
| 497 deps = ["Preferences"] | |
| 498 git-tree-sha1 = "07a921781cab75691315adc645096ed5e370cb77" | |
| 499 uuid = "aea7be01-6a6a-4083-8856-8a6e6704d82a" | |
| 500 version = "1.3.3" | |
| 501 | |
| 502 [[deps.Preferences]] | |
| 503 deps = ["TOML"] | |
| 504 git-tree-sha1 = "522f093a29b31a93e34eaea17ba055d850edea28" | |
| 505 uuid = "21216c6a-2e73-6563-6e65-726566657250" | |
| 506 version = "1.5.1" | |
| 507 | |
| 508 [[deps.Printf]] | |
| 509 deps = ["Unicode"] | |
| 510 uuid = "de0858da-6303-5e67-8744-51eddeeeb8d7" | |
| 511 version = "1.11.0" | |
| 512 | |
| 513 [[deps.Random]] | |
| 514 deps = ["SHA"] | |
| 515 uuid = "9a3f8284-a2c9-5f02-9a11-845980a1fd5c" | |
| 516 version = "1.11.0" | |
| 517 | |
| 518 [[deps.Reexport]] | |
| 519 git-tree-sha1 = "45e428421666073eab6f2da5c9d310d99bb12f9b" | |
| 520 uuid = "189a3867-3050-52da-a836-e630ba90ab69" | |
| 521 version = "1.2.2" | |
| 522 | |
| 523 [[deps.SHA]] | |
| 524 uuid = "ea8e919c-243c-51af-8825-aaa63cd721ce" | |
| 525 version = "0.7.0" | |
| 526 | |
| 527 [[deps.Serialization]] | |
| 528 uuid = "9e88b42a-f829-5b0c-bbe9-9e923198166b" | |
| 529 version = "1.11.0" | |
| 530 | |
| 531 [[deps.StaticArrays]] | |
| 532 deps = ["LinearAlgebra", "PrecompileTools", "Random", "StaticArraysCore"] | |
| 533 git-tree-sha1 = "eee1b9ad8b29ef0d936e3ec9838c7ec089620308" | |
| 534 uuid = "90137ffa-7385-5640-81b9-e52037218182" | |
| 535 version = "1.9.16" | |
| 536 | |
| 537 [deps.StaticArrays.extensions] | |
| 538 StaticArraysChainRulesCoreExt = "ChainRulesCore" | |
| 539 StaticArraysStatisticsExt = "Statistics" | |
| 540 | |
| 541 [deps.StaticArrays.weakdeps] | |
| 542 ChainRulesCore = "d360d2e6-b24c-11e9-a2a3-2a2ae2dbcce4" | |
| 543 Statistics = "10745b16-79ce-11e8-11f9-7d13ad32a3b2" | |
| 544 | |
| 545 [[deps.StaticArraysCore]] | |
| 546 git-tree-sha1 = "6ab403037779dae8c514bad259f32a447262455a" | |
| 547 uuid = "1e83bf80-4336-4d27-bf5d-d5a4f845583c" | |
| 548 version = "1.4.4" | |
| 549 | |
| 550 [[deps.Statistics]] | |
| 551 deps = ["LinearAlgebra"] | |
| 552 git-tree-sha1 = "ae3bb1eb3bba077cd276bc5cfc337cc65c3075c0" | |
| 553 uuid = "10745b16-79ce-11e8-11f9-7d13ad32a3b2" | |
| 554 version = "1.11.1" | |
| 555 | |
| 556 [deps.Statistics.extensions] | |
| 557 SparseArraysExt = ["SparseArrays"] | |
| 558 | |
| 559 [deps.Statistics.weakdeps] | |
| 560 SparseArrays = "2f01184e-e22b-5df5-ae63-d93ebab69eaf" | |
| 561 | |
| 562 [[deps.StyledStrings]] | |
| 563 uuid = "f489334b-da3d-4c2e-b8f0-e476e12c162b" | |
| 564 version = "1.11.0" | |
| 565 | |
| 566 [[deps.TOML]] | |
| 567 deps = ["Dates"] | |
| 568 uuid = "fa267f1f-6049-4f14-aa54-33bafae1ed76" | |
| 569 version = "1.0.3" | |
| 570 | |
| 571 [[deps.Tar]] | |
| 572 deps = ["ArgTools", "SHA"] | |
| 573 uuid = "a4e569a6-e804-4fa4-b0f3-eef7a1d5b13e" | |
| 574 version = "1.10.0" | |
| 575 | |
| 576 [[deps.Test]] | |
| 577 deps = ["InteractiveUtils", "Logging", "Random", "Serialization"] | |
| 578 uuid = "8dfed614-e22c-5e08-85e1-65c5234f0b40" | |
| 579 version = "1.11.0" | |
| 580 | |
| 581 [[deps.Tricks]] | |
| 582 git-tree-sha1 = "311349fd1c93a31f783f977a71e8b062a57d4101" | |
| 583 uuid = "410a4b4d-49e4-4fbc-ab6d-cb71b17b3775" | |
| 584 version = "0.1.13" | |
| 585 | |
| 586 [[deps.URIs]] | |
| 587 git-tree-sha1 = "bef26fb046d031353ef97a82e3fdb6afe7f21b1a" | |
| 588 uuid = "5c2747f8-b7ea-4ff2-ba2e-563bfd36b1d4" | |
| 589 version = "1.6.1" | |
| 590 | |
| 591 [[deps.UUIDs]] | |
| 592 deps = ["Random", "SHA"] | |
| 593 uuid = "cf7118a7-6976-5b1a-9a39-7adc72f591a4" | |
| 594 version = "1.11.0" | |
| 595 | |
| 596 [[deps.Unicode]] | |
| 597 uuid = "4ec0a83e-493e-50e2-b9ac-8f72acf5a8f5" | |
| 598 version = "1.11.0" | |
| 599 | |
| 600 [[deps.Zlib_jll]] | |
| 601 deps = ["Libdl"] | |
| 602 uuid = "83775a58-1f1d-513f-b197-d71354ab007a" | |
| 603 version = "1.3.1+2" | |
| 604 | |
| 605 [[deps.libblastrampoline_jll]] | |
| 606 deps = ["Artifacts", "Libdl"] | |
| 607 uuid = "8e850b90-86db-534c-a0d3-1478176c7d93" | |
| 608 version = "5.15.0+0" | |
| 609 | |
| 610 [[deps.nghttp2_jll]] | |
| 611 deps = ["Artifacts", "Libdl"] | |
| 612 uuid = "8e850ede-7688-5339-a07c-302acd2aaf8d" | |
| 613 version = "1.64.0+1" | |
| 614 | |
| 615 [[deps.p7zip_jll]] | |
| 616 deps = ["Artifacts", "CompilerSupportLibraries_jll", "Libdl"] | |
| 617 uuid = "3f19e933-33d8-53b3-aaab-bd5110c3b7a0" | |
| 618 version = "17.7.0+0" | |
| 619 """ | |
| 620 | 298 |
| 621 # ╔═╡ Cell order: | 299 # ╔═╡ Cell order: |
| 622 # ╟─885c60d7-d33c-4741-ae49-6a57510ec7b5 | 300 # ╟─885c60d7-d33c-4741-ae49-6a57510ec7b5 |
| 623 # ╠═9ee3372a-e78d-4f74-84ce-e04208d1558d | 301 # ╠═9ee3372a-e78d-4f74-84ce-e04208d1558d |
| 624 # ╟─51c02ced-f684-417f-83f1-cade4edda43f | 302 # ╟─51c02ced-f684-417f-83f1-cade4edda43f |
| 643 # ╠═c1172a36-c5d7-47dc-bc79-af0d43a8f6ee | 321 # ╠═c1172a36-c5d7-47dc-bc79-af0d43a8f6ee |
| 644 # ╟─9c889176-865b-402d-81b5-71957d2878f7 | 322 # ╟─9c889176-865b-402d-81b5-71957d2878f7 |
| 645 # ╠═85e8e748-e575-4a29-80c7-22d110578343 | 323 # ╠═85e8e748-e575-4a29-80c7-22d110578343 |
| 646 # ╠═804ad722-9081-4d1d-b0d2-c536a26fe20d | 324 # ╠═804ad722-9081-4d1d-b0d2-c536a26fe20d |
| 647 # ╟─a70c689d-0851-497f-938a-e5c92ce59ddb | 325 # ╟─a70c689d-0851-497f-938a-e5c92ce59ddb |
| 326 # ╟─68c7a1d8-729e-4f38-abf2-26deb7a90cb1 | |
| 648 # ╠═2afde3fe-96ed-4d7e-a79b-fc880e0da268 | 327 # ╠═2afde3fe-96ed-4d7e-a79b-fc880e0da268 |
| 649 # ╠═5451a071-14ae-47ae-99c5-4d65508d280f | 328 # ╠═5451a071-14ae-47ae-99c5-4d65508d280f |
| 650 # ╠═b6b06fe9-de16-41ca-ad45-eef6dd038485 | 329 # ╠═b6b06fe9-de16-41ca-ad45-eef6dd038485 |
| 651 # ╠═d1c8c3a0-76ec-4c32-853e-0471d71e5cf0 | 330 # ╠═d1c8c3a0-76ec-4c32-853e-0471d71e5cf0 |
| 652 # ╠═6051c144-9982-4bd9-92f9-d0aaf3961872 | 331 # ╠═6051c144-9982-4bd9-92f9-d0aaf3961872 |
| 332 # ╟─83ed7f7e-c88d-4ee4-a53a-1b91e775ff52 | |
| 653 # ╠═12a9f430-f96b-43f2-bf63-149b5a028fd7 | 333 # ╠═12a9f430-f96b-43f2-bf63-149b5a028fd7 |
| 654 # ╠═e44f8d91-1cbf-44be-bef1-40e60c4a777f | 334 # ╠═e44f8d91-1cbf-44be-bef1-40e60c4a777f |
| 655 # ╠═c378b88a-1d74-44a2-bdc1-b371da478de8 | 335 # ╠═c378b88a-1d74-44a2-bdc1-b371da478de8 |
| 656 # ╠═9614cda7-b48c-4925-89b5-113cf514f20f | 336 # ╠═9614cda7-b48c-4925-89b5-113cf514f20f |
| 657 # ╠═725e9430-4821-4939-bfef-6c186d2dc500 | 337 # ╠═725e9430-4821-4939-bfef-6c186d2dc500 |
| 665 # ╠═f1b6bd54-baf6-4360-aec0-bd8d52497894 | 345 # ╠═f1b6bd54-baf6-4360-aec0-bd8d52497894 |
| 666 # ╠═a8f8343e-cd6f-451d-a2b3-e5f0f561f8af | 346 # ╠═a8f8343e-cd6f-451d-a2b3-e5f0f561f8af |
| 667 # ╠═50291998-7194-4a0d-9c19-eacc48b3f5da | 347 # ╠═50291998-7194-4a0d-9c19-eacc48b3f5da |
| 668 # ╠═1720af08-85e4-4502-b37e-9fa73008e221 | 348 # ╠═1720af08-85e4-4502-b37e-9fa73008e221 |
| 669 # ╠═4a72f217-2423-4bc1-8452-eb28dde36689 | 349 # ╠═4a72f217-2423-4bc1-8452-eb28dde36689 |
| 350 # ╟─d51b6bd7-0235-4a51-a989-4f7858363d02 | |
| 670 # ╠═48a28ade-73bb-461d-ab96-82f92ed199c8 | 351 # ╠═48a28ade-73bb-461d-ab96-82f92ed199c8 |
| 671 # ╠═3c681a63-94a6-4677-aef7-df903c463896 | 352 # ╠═3c681a63-94a6-4677-aef7-df903c463896 |
| 672 # ╠═db735370-153a-40f9-b77f-9f60e30a35c4 | 353 # ╠═db735370-153a-40f9-b77f-9f60e30a35c4 |
| 673 # ╠═613ebac7-50bc-424c-8fa2-064b64c93319 | 354 # ╠═613ebac7-50bc-424c-8fa2-064b64c93319 |
| 674 # ╠═9e7d7667-960e-491f-8b83-e3b01a0db5b0 | 355 # ╠═9e7d7667-960e-491f-8b83-e3b01a0db5b0 |
| 356 # ╟─29488e48-1d42-4232-9d49-1ee77fb869d8 | |
| 675 # ╠═c3005e74-5b96-4b0c-9c57-b7d02968ed94 | 357 # ╠═c3005e74-5b96-4b0c-9c57-b7d02968ed94 |
| 676 # ╠═fd019973-0d54-4e31-b43b-f53a704cb01c | 358 # ╠═fd019973-0d54-4e31-b43b-f53a704cb01c |
| 677 # ╠═df2e8af0-9ca5-4972-8771-f8bea1591f85 | 359 # ╠═df2e8af0-9ca5-4972-8771-f8bea1591f85 |
| 678 # ╠═8e538109-16a1-4af7-a986-9dc1455b7de7 | 360 # ╠═8e538109-16a1-4af7-a986-9dc1455b7de7 |
| 679 # ╠═5f3744a4-72d8-4448-820f-a928bfaaf825 | 361 # ╠═5f3744a4-72d8-4448-820f-a928bfaaf825 |
| 691 # ╠═cf84cefb-2dbd-4b8d-880b-47cc350a7c43 | 373 # ╠═cf84cefb-2dbd-4b8d-880b-47cc350a7c43 |
| 692 # ╠═67c73667-1f41-47b5-b59a-459787767f29 | 374 # ╠═67c73667-1f41-47b5-b59a-459787767f29 |
| 693 # ╟─4634c1a6-0520-4b0f-8d32-a1fdf2ebaea5 | 375 # ╟─4634c1a6-0520-4b0f-8d32-a1fdf2ebaea5 |
| 694 # ╠═1f8a7cfa-94cc-41bf-a8c8-2dc5218741e0 | 376 # ╠═1f8a7cfa-94cc-41bf-a8c8-2dc5218741e0 |
| 695 # ╠═24788161-b29a-450a-bd35-f9c29e7ded9a | 377 # ╠═24788161-b29a-450a-bd35-f9c29e7ded9a |
| 696 # ╟─00000000-0000-0000-0000-000000000001 | |
| 697 # ╟─00000000-0000-0000-0000-000000000002 |
