Þ ±cell_dependenciesÞ FÙ$598d1691-16cf-4803-a5af-d87abec1a02e„´precedence_heuristic §cell_idÙ$598d1691-16cf-4803-a5af-d87abec1a02e´downstream_cells_map€²upstream_cells_map‚§@md_str�¨getindex�Ù$752ebf31-3ec1-4033-a3d1-0bddd8ac3232„´precedence_heuristic §cell_idÙ$752ebf31-3ec1-4033-a3d1-0bddd8ac3232´downstream_cells_map€²upstream_cells_map‚§@md_str�¨getindex�Ù$bc325027-c401-410d-be4e-2e99e5077269„´precedence_heuristic §cell_idÙ$bc325027-c401-410d-be4e-2e99e5077269´downstream_cells_map€²upstream_cells_map�¥eigen�Ù$fa6d45e7-3921-4b86-a757-1c1eddda5438„´precedence_heuristic §cell_idÙ$fa6d45e7-3921-4b86-a757-1c1eddda5438´downstream_cells_map€²upstream_cells_map‚§@md_str�¨getindex�Ù$73808ba1-63b7-4157-b606-26814a864f2f„´precedence_heuristic §cell_idÙ$73808ba1-63b7-4157-b606-26814a864f2f´downstream_cells_map€²upstream_cells_map‚§@md_str�¨getindex�Ù$de97e015-f2d8-453e-9f71-e748eab4159e„´precedence_heuristic §cell_idÙ$de97e015-f2d8-453e-9f71-e748eab4159e´downstream_cells_map€²upstream_cells_map‚§@md_str�¨getindex�Ù$cba26403-d491-4eae-be95-7a11984c2b0e„´precedence_heuristic §cell_idÙ$cba26403-d491-4eae-be95-7a11984c2b0e´downstream_cells_map€²upstream_cells_map‚§@md_str�¨getindex�Ù$9d9020be-5c18-48f6-bf87-d3623f568673„´precedence_heuristic §cell_idÙ$9d9020be-5c18-48f6-bf87-d3623f568673´downstream_cells_map€²upstream_cells_map‚§@md_str�¨getindex�Ù$bca97f96-16d9-4c2d-8d6b-6bd5c7400706„´precedence_heuristic §cell_idÙ$bca97f96-16d9-4c2d-8d6b-6bd5c7400706´downstream_cells_map€²upstream_cells_map‚§@md_str�¨getindex�Ù$064f317c-a22d-4220-a944-7d2979dc3515„´precedence_heuristic §cell_idÙ$064f317c-a22d-4220-a944-7d2979dc3515´downstream_cells_map€²upstream_cells_map‚§@md_str�¨getindex�Ù$8b5ce365-94e4-4875-ac48-d7d6f4b7409c„´precedence_heuristic §cell_idÙ$8b5ce365-94e4-4875-ac48-d7d6f4b7409c´downstream_cells_map€²upstream_cells_map‚§PlutoUI‘Ù$15442a71-00fe-48ed-ae51-def2f2d8876e·PlutoUI.TableOfContents�Ù$212b9778-dee0-45a2-a4a8-b75f4fa7a0bb„´precedence_heuristic §cell_idÙ$212b9778-dee0-45a2-a4a8-b75f4fa7a0bb´downstream_cells_map€²upstream_cells_map‚§@md_str�¨getindex�Ù$cbdabff5-c038-4f7a-ac35-545aa7127bd3„´precedence_heuristic §cell_idÙ$cbdabff5-c038-4f7a-ac35-545aa7127bd3´downstream_cells_map€²upstream_cells_map�¥eigen�Ù$c84fb7f0-e572-46ab-b0a3-7612c1870815„´precedence_heuristic §cell_idÙ$c84fb7f0-e572-46ab-b0a3-7612c1870815´downstream_cells_map€²upstream_cells_map‚§@md_str�¨getindex�Ù$3fbd4bb7-d325-4982-ab0a-def127f91434„´precedence_heuristic §cell_idÙ$3fbd4bb7-d325-4982-ab0a-def127f91434´downstream_cells_map€²upstream_cells_map‚§@md_str�¨getindex�Ù$95674f32-720c-48bc-8d88-f8ed33b270ae„´precedence_heuristic §cell_idÙ$95674f32-720c-48bc-8d88-f8ed33b270ae´downstream_cells_map�¢c2‘Ù$0a987b69-88dc-4ba2-af1c-c39cb5d85019²upstream_cells_map‹§@md_str�¤Core�«PlutoRunner�·PlutoRunner.create_bond�¯Core.applicable�¨getindex�¡:�¨Base.get�¥@bind�¦Slider�¤Base�Ù$05c1b786-159f-4ebd-9748-65c5194133f6„´precedence_heuristic §cell_idÙ$05c1b786-159f-4ebd-9748-65c5194133f6´downstream_cells_map€²upstream_cells_map‚§@md_str�¨getindex�Ù$23729642-3a1e-4f22-b05b-356fad1bf54a„´precedence_heuristic §cell_idÙ$23729642-3a1e-4f22-b05b-356fad1bf54a´downstream_cells_map€²upstream_cells_map‚§@md_str�¨getindex�Ù$2b4c2b61-53b6-4585-9e5e-774a0cb9bc9f„´precedence_heuristic §cell_idÙ$2b4c2b61-53b6-4585-9e5e-774a0cb9bc9f´downstream_cells_map€²upstream_cells_map‚§@md_str�¨getindex�Ù$15442a71-00fe-48ed-ae51-def2f2d8876e„´precedence_heuristic§cell_idÙ$15442a71-00fe-48ed-ae51-def2f2d8876e´downstream_cells_mapƒLinearAlgebra�§PlutoUI‘Ù$8b5ce365-94e4-4875-ac48-d7d6f4b7409c¥Plots‘Ù$8308a4c4-46b0-4407-aba5-d8b174c2f152²upstream_cells_map€Ù$6349ab90-43fd-4a19-87d2-aa2483d3faea„´precedence_heuristic §cell_idÙ$6349ab90-43fd-4a19-87d2-aa2483d3faea´downstream_cells_map€²upstream_cells_mapƒ¡-�£det�¡*�Ù$867a6ec4-fb9c-4001-910f-9080ecfcddbc„´precedence_heuristic §cell_idÙ$867a6ec4-fb9c-4001-910f-9080ecfcddbc´downstream_cells_map€²upstream_cells_map‚§@md_str�¨getindex�Ù$0757d40b-2402-445e-ad4c-2daaec0b1b75„´precedence_heuristic §cell_idÙ$0757d40b-2402-445e-ad4c-2daaec0b1b75´downstream_cells_map€²upstream_cells_map�§eigvals�Ù$4a687148-264d-46b4-a1e4-7d3e94288e57„´precedence_heuristic §cell_idÙ$4a687148-264d-46b4-a1e4-7d3e94288e57´downstream_cells_map€²upstream_cells_map‚§@md_str�¨getindex�Ù$d7d62756-2dab-4a0f-817a-e1acd83a3b74„´precedence_heuristic §cell_idÙ$d7d62756-2dab-4a0f-817a-e1acd83a3b74´downstream_cells_map€²upstream_cells_map‚§@md_str�¨getindex�Ù$e08c8300-db18-11ec-3f60-19c9638fa2d2„´precedence_heuristic §cell_idÙ$e08c8300-db18-11ec-3f60-19c9638fa2d2´downstream_cells_map€²upstream_cells_map‚§@md_str�¨getindex�Ù$9bb72ff3-9307-4904-a8b7-e3021b64c343„´precedence_heuristic §cell_idÙ$9bb72ff3-9307-4904-a8b7-e3021b64c343´downstream_cells_map€²upstream_cells_map‚§@md_str�¨getindex�Ù$b85ea93b-70b9-4ba3-894f-8864626fcca1„´precedence_heuristic §cell_idÙ$b85ea93b-70b9-4ba3-894f-8864626fcca1´downstream_cells_map€²upstream_cells_map‚§@md_str�¨getindex�Ù$67b61ca4-a06b-4f1d-8cab-0d4ba12dfae6„´precedence_heuristic §cell_idÙ$67b61ca4-a06b-4f1d-8cab-0d4ba12dfae6´downstream_cells_map€²upstream_cells_map‚§@md_str�¨getindex�Ù$85302350-4d8f-4a26-8901-b308fd0b7e20„´precedence_heuristic §cell_idÙ$85302350-4d8f-4a26-8901-b308fd0b7e20´downstream_cells_map€²upstream_cells_map‚§@md_str�¨getindex�Ù$330e2f3a-4d66-417f-aaf5-b92ba0a79c55„´precedence_heuristic §cell_idÙ$330e2f3a-4d66-417f-aaf5-b92ba0a79c55´downstream_cells_map€²upstream_cells_map‚§@md_str�¨getindex�Ù$cac169f2-0fd8-4ca9-9932-4ed751f834bf„´precedence_heuristic §cell_idÙ$cac169f2-0fd8-4ca9-9932-4ed751f834bf´downstream_cells_map€²upstream_cells_map‚§@md_str�¨getindex�Ù$11d55eb6-67af-4146-abe0-c34dba602e71„´precedence_heuristic §cell_idÙ$11d55eb6-67af-4146-abe0-c34dba602e71´downstream_cells_map€²upstream_cells_map‚¥eigen�¨Diagonal�Ù$3ede1cfb-87d6-40a7-884c-0da963c24d92„´precedence_heuristic §cell_idÙ$3ede1cfb-87d6-40a7-884c-0da963c24d92´downstream_cells_map€²upstream_cells_map‚§@md_str�¨getindex�Ù$7e88ea4a-61ff-4fb6-bf6b-14aed6570cce„´precedence_heuristic §cell_idÙ$7e88ea4a-61ff-4fb6-bf6b-14aed6570cce´downstream_cells_map€²upstream_cells_map‚§@md_str�¨getindex�Ù$14c834bd-61ef-45d8-8aa1-cfee057f1e3d„´precedence_heuristic §cell_idÙ$14c834bd-61ef-45d8-8aa1-cfee057f1e3d´downstream_cells_map€²upstream_cells_map‚§@md_str�¨getindex�Ù$2a3b32af-8c6e-495b-9cb6-872d3a64dcd5„´precedence_heuristic §cell_idÙ$2a3b32af-8c6e-495b-9cb6-872d3a64dcd5´downstream_cells_map€²upstream_cells_map‚¡*�¢==�Ù$fdba1f70-d0c2-4765-91fd-452fdfe487b9„´precedence_heuristic §cell_idÙ$fdba1f70-d0c2-4765-91fd-452fdfe487b9´downstream_cells_map€²upstream_cells_map‚§@md_str�¨getindex�Ù$a411e2b7-b659-44d1-8146-16d15f59e0e4„´precedence_heuristic §cell_idÙ$a411e2b7-b659-44d1-8146-16d15f59e0e4´downstream_cells_map€²upstream_cells_map‚¨Diagonal�£svd�Ù$465232b9-61e3-419e-a38e-e26472fa389d„´precedence_heuristic §cell_idÙ$465232b9-61e3-419e-a38e-e26472fa389d´downstream_cells_map€²upstream_cells_map‚§@md_str�¨getindex�Ù$0a987b69-88dc-4ba2-af1c-c39cb5d85019„´precedence_heuristic §cell_idÙ$0a987b69-88dc-4ba2-af1c-c39cb5d85019´downstream_cells_map€²upstream_cells_map‹¢c1‘Ù$71dbec22-42b4-4cbf-9e86-e8952ec127c4§adjoint�§scatter�¤conj�¨scatter!�¢c2‘Ù$95674f32-720c-48bc-8d88-f8ed33b270ae§eigvecs�¡:�¢|>�¡+�¡*�Ù$10a68b69-f319-48ac-acfb-c71964edd2e7„´precedence_heuristic §cell_idÙ$10a68b69-f319-48ac-acfb-c71964edd2e7´downstream_cells_map€²upstream_cells_map‚§@md_str�¨getindex�Ù$318c6975-764e-47e5-abe7-0ba7b9883d20„´precedence_heuristic §cell_idÙ$318c6975-764e-47e5-abe7-0ba7b9883d20´downstream_cells_map€²upstream_cells_map‚§@md_str�¨getindex�Ù$003a2f97-46cf-4465-83f9-0ad4c64b8c59„´precedence_heuristic §cell_idÙ$003a2f97-46cf-4465-83f9-0ad4c64b8c59´downstream_cells_map€²upstream_cells_map‚§@md_str�¨getindex�Ù$2243a0ee-3329-4b06-883c-6dd8bfd44551„´precedence_heuristic §cell_idÙ$2243a0ee-3329-4b06-883c-6dd8bfd44551´downstream_cells_map€²upstream_cells_map‚§@md_str�¨getindex�Ù$23b12658-c5af-4b28-a49c-ae6b10815de0„´precedence_heuristic §cell_idÙ$23b12658-c5af-4b28-a49c-ae6b10815de0´downstream_cells_map€²upstream_cells_map‚¡*�¢==�Ù$8657dff6-92e6-45df-853d-d13ee2959138„´precedence_heuristic §cell_idÙ$8657dff6-92e6-45df-853d-d13ee2959138´downstream_cells_map€²upstream_cells_map‚§@md_str�¨getindex�Ù$40b14b87-6d3e-47c4-9177-dfeeb116c858„´precedence_heuristic §cell_idÙ$40b14b87-6d3e-47c4-9177-dfeeb116c858´downstream_cells_map€²upstream_cells_map‚§@md_str�¨getindex�Ù$ee444ee9-9a95-4b8f-999d-60d1c16df56f„´precedence_heuristic §cell_idÙ$ee444ee9-9a95-4b8f-999d-60d1c16df56f´downstream_cells_map€²upstream_cells_mapƒ¡-�£det�¡*�Ù$df8db08d-bdda-461b-93cf-e183fc460a41„´precedence_heuristic §cell_idÙ$df8db08d-bdda-461b-93cf-e183fc460a41´downstream_cells_map€²upstream_cells_map‚¡*�¢==�Ù$fa606cc4-7cf2-457f-889a-3a4bdeaaab31„´precedence_heuristic §cell_idÙ$fa606cc4-7cf2-457f-889a-3a4bdeaaab31´downstream_cells_map€²upstream_cells_map‚§@md_str�¨getindex�Ù$a9970ddd-eba6-4eb6-9a32-a6bcc154ed68„´precedence_heuristic §cell_idÙ$a9970ddd-eba6-4eb6-9a32-a6bcc154ed68´downstream_cells_map€²upstream_cells_map‚§@md_str�¨getindex�Ù$65396179-2be2-4ba2-84a6-38db6a4335c5„´precedence_heuristic §cell_idÙ$65396179-2be2-4ba2-84a6-38db6a4335c5´downstream_cells_map€²upstream_cells_map‚§@md_str�¨getindex�Ù$90db85a9-9864-4e63-98ca-7edb77f1932f„´precedence_heuristic §cell_idÙ$90db85a9-9864-4e63-98ca-7edb77f1932f´downstream_cells_map€²upstream_cells_mapƒ¤Base�®Base.Docs.HTML�©@html_str�Ù$17bce861-3ef6-4050-bc79-67da0ea689b8„´precedence_heuristic §cell_idÙ$17bce861-3ef6-4050-bc79-67da0ea689b8´downstream_cells_map€²upstream_cells_map‚§@md_str�¨getindex�Ù$6f9a1a8e-717b-4953-804a-e8647743fbd4„´precedence_heuristic §cell_idÙ$6f9a1a8e-717b-4953-804a-e8647743fbd4´downstream_cells_map€²upstream_cells_map‚§@md_str�¨getindex�Ù$71dbec22-42b4-4cbf-9e86-e8952ec127c4„´precedence_heuristic §cell_idÙ$71dbec22-42b4-4cbf-9e86-e8952ec127c4´downstream_cells_map�¢c1‘Ù$0a987b69-88dc-4ba2-af1c-c39cb5d85019²upstream_cells_map‹§@md_str�¤Core�«PlutoRunner�·PlutoRunner.create_bond�¯Core.applicable�¨getindex�¡:�¨Base.get�¥@bind�¦Slider�¤Base�Ù$fa178a75-8119-4d2c-9f63-94420591e7a5„´precedence_heuristic §cell_idÙ$fa178a75-8119-4d2c-9f63-94420591e7a5´downstream_cells_map€²upstream_cells_map‚§@md_str�¨getindex�Ù$713775f6-ccce-4b7a-bda3-e828aebcd6a1„´precedence_heuristic §cell_idÙ$713775f6-ccce-4b7a-bda3-e828aebcd6a1´downstream_cells_map€²upstream_cells_map‚§@md_str�¨getindex�Ù$f32f1283-1689-4372-b89b-697604efe6fc„´precedence_heuristic §cell_idÙ$f32f1283-1689-4372-b89b-697604efe6fc´downstream_cells_map€²upstream_cells_map‚§@md_str�¨getindex�Ù$006740e0-f12c-4312-b181-30d5e6f82ec3„´precedence_heuristic §cell_idÙ$006740e0-f12c-4312-b181-30d5e6f82ec3´downstream_cells_map€²upstream_cells_map‚§@md_str�¨getindex�Ù$c1e1aded-6005-4b01-bab1-8f75a3811dc4„´precedence_heuristic §cell_idÙ$c1e1aded-6005-4b01-bab1-8f75a3811dc4´downstream_cells_map€²upstream_cells_map‚§@md_str�¨getindex�Ù$80393f7b-c7d2-4972-9ed6-6d06439760ee„´precedence_heuristic §cell_idÙ$80393f7b-c7d2-4972-9ed6-6d06439760ee´downstream_cells_map€²upstream_cells_map‚§@md_str�¨getindex�Ù$fe5876ba-30f9-470d-bd42-4c188fa580f3„´precedence_heuristic §cell_idÙ$fe5876ba-30f9-470d-bd42-4c188fa580f3´downstream_cells_map€²upstream_cells_map‚§@md_str�¨getindex�Ù$3a85c442-10cd-46ac-943f-6912018b008c„´precedence_heuristic §cell_idÙ$3a85c442-10cd-46ac-943f-6912018b008c´downstream_cells_map€²upstream_cells_map‚§@md_str�¨getindex�Ù$8d7119f8-1ef7-4295-a962-d14b1b624689„´precedence_heuristic §cell_idÙ$8d7119f8-1ef7-4295-a962-d14b1b624689´downstream_cells_map€²upstream_cells_map‚§@md_str�¨getindex�Ù$d7dba18d-7ee2-41df-b970-d6b92599b22f„´precedence_heuristic §cell_idÙ$d7dba18d-7ee2-41df-b970-d6b92599b22f´downstream_cells_map€²upstream_cells_map‚§@md_str�¨getindex�Ù$719cdcf6-d062-48d3-9371-a6419aa69522„´precedence_heuristic §cell_idÙ$719cdcf6-d062-48d3-9371-a6419aa69522´downstream_cells_map€²upstream_cells_map�§eigvals�Ù$8308a4c4-46b0-4407-aba5-d8b174c2f152„´precedence_heuristic §cell_idÙ$8308a4c4-46b0-4407-aba5-d8b174c2f152´downstream_cells_map€²upstream_cells_map‚¥Plots‘Ù$15442a71-00fe-48ed-ae51-def2f2d8876e¬Plots.plotly�Ù$db0b8cb1-2978-4441-9d5c-5e244f31eb0a„´precedence_heuristic §cell_idÙ$db0b8cb1-2978-4441-9d5c-5e244f31eb0a´downstream_cells_map€²upstream_cells_map‚§@md_str�¨getindex�´cell_execution_orderÜ FÙ$15442a71-00fe-48ed-ae51-def2f2d8876eÙ$e08c8300-db18-11ec-3f60-19c9638fa2d2Ù$90db85a9-9864-4e63-98ca-7edb77f1932fÙ$c84fb7f0-e572-46ab-b0a3-7612c1870815Ù$8308a4c4-46b0-4407-aba5-d8b174c2f152Ù$8b5ce365-94e4-4875-ac48-d7d6f4b7409cÙ$9d9020be-5c18-48f6-bf87-d3623f568673Ù$05c1b786-159f-4ebd-9748-65c5194133f6Ù$65396179-2be2-4ba2-84a6-38db6a4335c5Ù$318c6975-764e-47e5-abe7-0ba7b9883d20Ù$a411e2b7-b659-44d1-8146-16d15f59e0e4Ù$867a6ec4-fb9c-4001-910f-9080ecfcddbcÙ$67b61ca4-a06b-4f1d-8cab-0d4ba12dfae6Ù$11d55eb6-67af-4146-abe0-c34dba602e71Ù$6f9a1a8e-717b-4953-804a-e8647743fbd4Ù$598d1691-16cf-4803-a5af-d87abec1a02eÙ$fa178a75-8119-4d2c-9f63-94420591e7a5Ù$c1e1aded-6005-4b01-bab1-8f75a3811dc4Ù$752ebf31-3ec1-4033-a3d1-0bddd8ac3232Ù$3a85c442-10cd-46ac-943f-6912018b008cÙ$330e2f3a-4d66-417f-aaf5-b92ba0a79c55Ù$713775f6-ccce-4b7a-bda3-e828aebcd6a1Ù$006740e0-f12c-4312-b181-30d5e6f82ec3Ù$cba26403-d491-4eae-be95-7a11984c2b0eÙ$fe5876ba-30f9-470d-bd42-4c188fa580f3Ù$bca97f96-16d9-4c2d-8d6b-6bd5c7400706Ù$ee444ee9-9a95-4b8f-999d-60d1c16df56fÙ$4a687148-264d-46b4-a1e4-7d3e94288e57Ù$17bce861-3ef6-4050-bc79-67da0ea689b8Ù$6349ab90-43fd-4a19-87d2-aa2483d3faeaÙ$d7d62756-2dab-4a0f-817a-e1acd83a3b74Ù$9bb72ff3-9307-4904-a8b7-e3021b64c343Ù$df8db08d-bdda-461b-93cf-e183fc460a41Ù$db0b8cb1-2978-4441-9d5c-5e244f31eb0aÙ$8d7119f8-1ef7-4295-a962-d14b1b624689Ù$2a3b32af-8c6e-495b-9cb6-872d3a64dcd5Ù$064f317c-a22d-4220-a944-7d2979dc3515Ù$d7dba18d-7ee2-41df-b970-d6b92599b22fÙ$b85ea93b-70b9-4ba3-894f-8864626fcca1Ù$23b12658-c5af-4b28-a49c-ae6b10815de0Ù$40b14b87-6d3e-47c4-9177-dfeeb116c858Ù$3ede1cfb-87d6-40a7-884c-0da963c24d92Ù$003a2f97-46cf-4465-83f9-0ad4c64b8c59Ù$fdba1f70-d0c2-4765-91fd-452fdfe487b9Ù$80393f7b-c7d2-4972-9ed6-6d06439760eeÙ$0757d40b-2402-445e-ad4c-2daaec0b1b75Ù$a9970ddd-eba6-4eb6-9a32-a6bcc154ed68Ù$719cdcf6-d062-48d3-9371-a6419aa69522Ù$7e88ea4a-61ff-4fb6-bf6b-14aed6570cceÙ$fa606cc4-7cf2-457f-889a-3a4bdeaaab31Ù$85302350-4d8f-4a26-8901-b308fd0b7e20Ù$465232b9-61e3-419e-a38e-e26472fa389dÙ$3fbd4bb7-d325-4982-ab0a-def127f91434Ù$2b4c2b61-53b6-4585-9e5e-774a0cb9bc9fÙ$10a68b69-f319-48ac-acfb-c71964edd2e7Ù$cac169f2-0fd8-4ca9-9932-4ed751f834bfÙ$23729642-3a1e-4f22-b05b-356fad1bf54aÙ$bc325027-c401-410d-be4e-2e99e5077269Ù$73808ba1-63b7-4157-b606-26814a864f2fÙ$2243a0ee-3329-4b06-883c-6dd8bfd44551Ù$14c834bd-61ef-45d8-8aa1-cfee057f1e3dÙ$cbdabff5-c038-4f7a-ac35-545aa7127bd3Ù$212b9778-dee0-45a2-a4a8-b75f4fa7a0bbÙ$8657dff6-92e6-45df-853d-d13ee2959138Ù$fa6d45e7-3921-4b86-a757-1c1eddda5438Ù$f32f1283-1689-4372-b89b-697604efe6fcÙ$71dbec22-42b4-4cbf-9e86-e8952ec127c4Ù$95674f32-720c-48bc-8d88-f8ed33b270aeÙ$0a987b69-88dc-4ba2-af1c-c39cb5d85019Ù$de97e015-f2d8-453e-9f71-e748eab4159e´last_hot_reload_timeË ®process_status¥ready¤pathÙ'/home/runner/work/SC2022/SC2022/0524.jlpluto_version¨v0.19.41ªcell_orderÜ FÙ$e08c8300-db18-11ec-3f60-19c9638fa2d2Ù$90db85a9-9864-4e63-98ca-7edb77f1932fÙ$c84fb7f0-e572-46ab-b0a3-7612c1870815Ù$15442a71-00fe-48ed-ae51-def2f2d8876eÙ$8308a4c4-46b0-4407-aba5-d8b174c2f152Ù$8b5ce365-94e4-4875-ac48-d7d6f4b7409cÙ$9d9020be-5c18-48f6-bf87-d3623f568673Ù$05c1b786-159f-4ebd-9748-65c5194133f6Ù$65396179-2be2-4ba2-84a6-38db6a4335c5Ù$318c6975-764e-47e5-abe7-0ba7b9883d20Ù$a411e2b7-b659-44d1-8146-16d15f59e0e4Ù$867a6ec4-fb9c-4001-910f-9080ecfcddbcÙ$67b61ca4-a06b-4f1d-8cab-0d4ba12dfae6Ù$11d55eb6-67af-4146-abe0-c34dba602e71Ù$6f9a1a8e-717b-4953-804a-e8647743fbd4Ù$598d1691-16cf-4803-a5af-d87abec1a02eÙ$fa178a75-8119-4d2c-9f63-94420591e7a5Ù$c1e1aded-6005-4b01-bab1-8f75a3811dc4Ù$752ebf31-3ec1-4033-a3d1-0bddd8ac3232Ù$3a85c442-10cd-46ac-943f-6912018b008cÙ$330e2f3a-4d66-417f-aaf5-b92ba0a79c55Ù$713775f6-ccce-4b7a-bda3-e828aebcd6a1Ù$006740e0-f12c-4312-b181-30d5e6f82ec3Ù$cba26403-d491-4eae-be95-7a11984c2b0eÙ$fe5876ba-30f9-470d-bd42-4c188fa580f3Ù$bca97f96-16d9-4c2d-8d6b-6bd5c7400706Ù$ee444ee9-9a95-4b8f-999d-60d1c16df56fÙ$4a687148-264d-46b4-a1e4-7d3e94288e57Ù$17bce861-3ef6-4050-bc79-67da0ea689b8Ù$6349ab90-43fd-4a19-87d2-aa2483d3faeaÙ$d7d62756-2dab-4a0f-817a-e1acd83a3b74Ù$9bb72ff3-9307-4904-a8b7-e3021b64c343Ù$df8db08d-bdda-461b-93cf-e183fc460a41Ù$db0b8cb1-2978-4441-9d5c-5e244f31eb0aÙ$8d7119f8-1ef7-4295-a962-d14b1b624689Ù$2a3b32af-8c6e-495b-9cb6-872d3a64dcd5Ù$064f317c-a22d-4220-a944-7d2979dc3515Ù$d7dba18d-7ee2-41df-b970-d6b92599b22fÙ$b85ea93b-70b9-4ba3-894f-8864626fcca1Ù$23b12658-c5af-4b28-a49c-ae6b10815de0Ù$40b14b87-6d3e-47c4-9177-dfeeb116c858Ù$3ede1cfb-87d6-40a7-884c-0da963c24d92Ù$003a2f97-46cf-4465-83f9-0ad4c64b8c59Ù$fdba1f70-d0c2-4765-91fd-452fdfe487b9Ù$80393f7b-c7d2-4972-9ed6-6d06439760eeÙ$0757d40b-2402-445e-ad4c-2daaec0b1b75Ù$a9970ddd-eba6-4eb6-9a32-a6bcc154ed68Ù$719cdcf6-d062-48d3-9371-a6419aa69522Ù$7e88ea4a-61ff-4fb6-bf6b-14aed6570cceÙ$fa606cc4-7cf2-457f-889a-3a4bdeaaab31Ù$85302350-4d8f-4a26-8901-b308fd0b7e20Ù$465232b9-61e3-419e-a38e-e26472fa389dÙ$3fbd4bb7-d325-4982-ab0a-def127f91434Ù$2b4c2b61-53b6-4585-9e5e-774a0cb9bc9fÙ$10a68b69-f319-48ac-acfb-c71964edd2e7Ù$cac169f2-0fd8-4ca9-9932-4ed751f834bfÙ$23729642-3a1e-4f22-b05b-356fad1bf54aÙ$bc325027-c401-410d-be4e-2e99e5077269Ù$73808ba1-63b7-4157-b606-26814a864f2fÙ$2243a0ee-3329-4b06-883c-6dd8bfd44551Ù$14c834bd-61ef-45d8-8aa1-cfee057f1e3dÙ$cbdabff5-c038-4f7a-ac35-545aa7127bd3Ù$212b9778-dee0-45a2-a4a8-b75f4fa7a0bbÙ$8657dff6-92e6-45df-853d-d13ee2959138Ù$fa6d45e7-3921-4b86-a757-1c1eddda5438Ù$f32f1283-1689-4372-b89b-697604efe6fcÙ$71dbec22-42b4-4cbf-9e86-e8952ec127c4Ù$95674f32-720c-48bc-8d88-f8ed33b270aeÙ$0a987b69-88dc-4ba2-af1c-c39cb5d85019Ù$de97e015-f2d8-453e-9f71-e748eab4159e±published_objects€¥nbpkgжwaiting_for_permissionÂÙ,waiting_for_permission_but_probably_disabled²installed_versionsƒLinearAlgebra¦stdlib§PlutoUI¦0.7.39¥Plots¦1.29.0°terminal_outputs„ªnbpkg_syncÚ< Instantiating... Resolving... [32m[1m No Changes[22m[39m to `/tmp/jl_tSBv4Q/Project.toml` [32m[1m Updating[22m[39m `/tmp/jl_tSBv4Q/Manifest.toml` [90m [6e34b625] [39m[93m↑ Bzip2_jll v1.0.8+0 ⇒ v1.0.8+1[39m [90m [94ce4f54] [39m[93m↑ Libiconv_jll v1.16.1+1 ⇒ v1.16.1+2[39m [90m [ea2cea3b] [39m[93m↑ Qt5Base_jll v5.15.3+1 ⇒ v5.15.3+2[39m [90m [b53b4c65] [39m[93m↑ libpng_jll v1.6.38+0 ⇒ v1.6.38+1[39m [90m [7b1f6079] [39m[92m+ FileWatching[39m Precompiling... [32m[1m Activating[22m[39m project at `/tmp/jl_tSBv4Q`LinearAlgebraÚ< Instantiating... Resolving... [32m[1m No Changes[22m[39m to `/tmp/jl_tSBv4Q/Project.toml` [32m[1m Updating[22m[39m `/tmp/jl_tSBv4Q/Manifest.toml` [90m [6e34b625] [39m[93m↑ Bzip2_jll v1.0.8+0 ⇒ v1.0.8+1[39m [90m [94ce4f54] [39m[93m↑ Libiconv_jll v1.16.1+1 ⇒ v1.16.1+2[39m [90m [ea2cea3b] [39m[93m↑ Qt5Base_jll v5.15.3+1 ⇒ v5.15.3+2[39m [90m [b53b4c65] [39m[93m↑ libpng_jll v1.6.38+0 ⇒ v1.6.38+1[39m [90m [7b1f6079] [39m[92m+ FileWatching[39m Precompiling... [32m[1m Activating[22m[39m project at `/tmp/jl_tSBv4Q`§PlutoUIÚ< Instantiating... Resolving... [32m[1m No Changes[22m[39m to `/tmp/jl_tSBv4Q/Project.toml` [32m[1m Updating[22m[39m `/tmp/jl_tSBv4Q/Manifest.toml` [90m [6e34b625] [39m[93m↑ Bzip2_jll v1.0.8+0 ⇒ v1.0.8+1[39m [90m [94ce4f54] [39m[93m↑ Libiconv_jll v1.16.1+1 ⇒ v1.16.1+2[39m [90m [ea2cea3b] [39m[93m↑ Qt5Base_jll v5.15.3+1 ⇒ v5.15.3+2[39m [90m [b53b4c65] [39m[93m↑ libpng_jll v1.6.38+0 ⇒ v1.6.38+1[39m [90m [7b1f6079] [39m[92m+ FileWatching[39m Precompiling... [32m[1m Activating[22m[39m project at `/tmp/jl_tSBv4Q`¥PlotsÚ< Instantiating... Resolving... [32m[1m No Changes[22m[39m to `/tmp/jl_tSBv4Q/Project.toml` [32m[1m Updating[22m[39m `/tmp/jl_tSBv4Q/Manifest.toml` [90m [6e34b625] [39m[93m↑ Bzip2_jll v1.0.8+0 ⇒ v1.0.8+1[39m [90m [94ce4f54] [39m[93m↑ Libiconv_jll v1.16.1+1 ⇒ v1.16.1+2[39m [90m [ea2cea3b] [39m[93m↑ Qt5Base_jll v5.15.3+1 ⇒ v5.15.3+2[39m [90m [b53b4c65] [39m[93m↑ libpng_jll v1.6.38+0 ⇒ v1.6.38+1[39m [90m [7b1f6079] [39m[92m+ FileWatching[39m Precompiling... [32m[1m Activating[22m[39m project at `/tmp/jl_tSBv4Q`§enabledìinstantiated÷restart_recommended_msgÀ´restart_required_msgÀ¯install_time_nsΈ0šbusy_packages�«cell_inputsÞ FÙ$598d1691-16cf-4803-a5af-d87abec1a02e„§cell_idÙ$598d1691-16cf-4803-a5af-d87abec1a02e¤codeÙ2md""" #### 지난시간까지ì�˜ ë‚´ìš© 요약 """¨metadataƒ©show_logsèdisabled®skip_as_script«code_foldedÃÙ$752ebf31-3ec1-4033-a3d1-0bddd8ac3232„§cell_idÙ$752ebf31-3ec1-4033-a3d1-0bddd8ac3232¤codeÚ�md""" (3) ${\bf X}_{n \times p}$ê°€ ë�°ì�´í„°í”„ë ˆìž„ì�¼ë•Œ: SVD를 ì�´ìš©í•˜ë©´ ${\bf X}_{n \times p}$보다 rankê°€ ìž‘ì�€ 매트ë¦ìФ ${\bf Z}_{n \times q
[Ψ[:,i] for i in 1:2] v1, v2= A |> eigvecs |> f u1, u2= B |> eigvecs |> f Bdx, Bdy = [-5,5,-5,5]*v1' + [5,5,-5,-5]*v2' |> f Ax,Ay = c1*v1 + c2*v2 Bx,By = c1*u1 + c2*u2 scatter(xlim=(-11,11),ylim=(-11,11)) scatter!(Bdx,Bdy,markershape=:cross,alpha=0.2,color=:"red") scatter!([Ax],[Ay],markershape=:cross,color=:"red") scatter!([Bx],[By],color=:"blue") end ¨metadataƒ©show_logsèdisabled®skip_as_script«code_foldedÂÙ$10a68b69-f319-48ac-acfb-c71964edd2e7„§cell_idÙ$10a68b69-f319-48ac-acfb-c71964edd2e7¤codeÚmd""" `-` "하나ì�˜ ê³ ìœ ê°’ì—� 반드시 하나ì�˜ ê³ ìœ ë²¡í„°ëŠ” 존재한다"ë�¼ëŠ” ë§�ì�€ 사실 무한개ì�˜ ê³ ìœ ë²¡í„°ê°€ 존재한다는 것ì�„ ì�˜ë¯¸í•œë‹¤. 왜ëƒ�하면 $\psi$ê°€ ê³ ìœ ë²¡í„°ì�´ë©´ $\sqrt{2}\psi$ë�„ ê³ ìœ ë²¡í„°ì�´ê¸° 때문ì�´ë‹¤. """¨metadataƒ©show_logsèdisabled®skip_as_script«code_foldedÃÙ$318c6975-764e-47e5-abe7-0ba7b9883d20„§cell_idÙ$318c6975-764e-47e5-abe7-0ba7b9883d20¤code¸md""" (코드예시) """¨metadataƒ©show_logsèdisabled®skip_as_script«code_foldedÃÙ$003a2f97-46cf-4465-83f9-0ad4c64b8c59„§cell_idÙ$003a2f97-46cf-4465-83f9-0ad4c64b8c59¤codeÚAmd""" `-` **ê³ ìœ ê°’ì�´ 없는 ì •ì‚¬ê°�í–‰ë ¬ì�€ 없다.** (왜?) 행를 ${\bf A}_{n\times n}$ì�˜ ê³ ìœ ê°’ì�´ 없다는 ì�˜ë¯¸ëŠ” $\det({\bf A}-\lambda {\bf I})=0$를 만족하는 $\lambda$ê°€ 없다는 ì�˜ë¯¸ì�´ë‹¤. 그런ë�° ìž„ì�˜ì�˜ $n$ì°¨ 다í•ì‹�ì�˜ 해는 í•ìƒ� 존재한다 (대수학ì�˜ ê¸°ë³¸ì •ë¦¬). """¨metadataƒ©show_logsèdisabled®skip_as_script«code_foldedÃÙ$2243a0ee-3329-4b06-883c-6dd8bfd44551„§cell_idÙ$2243a0ee-3329-4b06-883c-6dd8bfd44551¤codeÙÃmd""" - $\begin{bmatrix} 0 \\ 1 \end{bmatrix}$ ì�´ ê³ ìœ ë²¡í„° ì�´ë¯€ë¡œ $\begin{bmatrix} 0 \\ 5.3 \end{bmatrix}$, $\begin{bmatrix} 0 \\ -\sqrt{3} \end{bmatrix}$ 등ë�„ ê³ ìœ ë²¡í„°ì�´ë‹¤. """¨metadataƒ©show_logsèdisabled®skip_as_script«code_foldedÃÙ$23b12658-c5af-4b28-a49c-ae6b10815de0„§cell_idÙ$23b12658-c5af-4b28-a49c-ae6b10815de0¤codeÙ=let A = [1 2 ; 2 1] ψ = [1,1] λ = 3 A*ψ == λ*ψ end¨metadataƒ©show_logsèdisabled®skip_as_script«code_foldedÂÙ$8657dff6-92e6-45df-853d-d13ee2959138„§cell_idÙ$8657dff6-92e6-45df-853d-d13ee2959138¤codeÚÎmd""" `-` ì˜ˆì œ1,2 모ë‘� 무한개ì�˜ ê³ ìœ ë²¡í„°ë¥¼ 가지는 것ì�€ 맞지만 ì°¨ì›�ì�´ 다르다. ì˜ˆì œ2ì�˜ 경우 $\begin{bmatrix} 1 \\ 0\end{bmatrix}$ì�„ basis로 한 벡터들ì�˜ ì¡°í•©ì�„ 만들 수 있지만 ì˜ˆì œ1ì�˜ 경우 $\begin{bmatrix} 1 \\ 0\end{bmatrix}$ì�„ basis로 한 벡터들ì�˜ ì¡°í•©ì�„ 만들 수 ìžˆê³ ì¶”ê°€ì �으로 $\begin{bmatrix} 0 \\ 1\end{bmatrix}$를 basis로 한 벡터들ì�˜ ì¡°í•©ë�„ 만들 수 있기 때문ì�´ë‹¤. """¨metadataƒ©show_logsèdisabled®skip_as_script«code_foldedÃÙ$40b14b87-6d3e-47c4-9177-dfeeb116c858„§cell_idÙ$40b14b87-6d3e-47c4-9177-dfeeb116c858¤codeÙ{md""" - $\psi = \begin{bmatrix} 1 \\ 1 \end{bmatrix}$ ì�€ $\lambda=3$ì—� 대ì�‘하는 ${\bf A}$ì�˜ ê³ ìœ ë²¡í„°ì�´ë‹¤. """¨metadataƒ©show_logsèdisabled®skip_as_script«code_foldedÃÙ$ee444ee9-9a95-4b8f-999d-60d1c16df56f„§cell_idÙ$ee444ee9-9a95-4b8f-999d-60d1c16df56f¤codeÙBlet A = [1 2 ; 2 1] I = [1 0 ; 0 1] λ = -1 det(A-λ*I) end¨metadataƒ©show_logsèdisabled®skip_as_script«code_foldedÂÙ$df8db08d-bdda-461b-93cf-e183fc460a41„§cell_idÙ$df8db08d-bdda-461b-93cf-e183fc460a41¤codeÙ?let A = [1 2 ; 2 1] ψ = [-1,1] λ = -1 A*ψ == λ*ψ end¨metadataƒ©show_logsèdisabled®skip_as_script«code_foldedÂÙ$fa606cc4-7cf2-457f-889a-3a4bdeaaab31„§cell_idÙ$fa606cc4-7cf2-457f-889a-3a4bdeaaab31¤codeÙ‚md""" `-` **íŠ¹ì„±ë°©ì •ì‹�ì�„ 만족하는 ê·¼ $\lambda$ì—� 대ì�‘하는 ê³ ìœ ë²¡í„°ê°€ 반드시 하나는 존재한다.** """¨metadataƒ©show_logsèdisabled®skip_as_script«code_foldedÃÙ$a9970ddd-eba6-4eb6-9a32-a6bcc154ed68„§cell_idÙ$a9970ddd-eba6-4eb6-9a32-a6bcc154ed68¤codeÙCmd""" (ì˜ˆì œ2) 2ê°œì�˜ ê³ ìœ ê°’ì�´ 겹치는 ë‘�번째 ì˜ˆì œ """¨metadataƒ©show_logsèdisabled®skip_as_script«code_foldedÃÙ$65396179-2be2-4ba2-84a6-38db6a4335c5„§cell_idÙ$65396179-2be2-4ba2-84a6-38db6a4335c5¤codeÚmd""" (1) ${\bf X}$ì�˜ svd 분해꼴로 얻어지는 결과를 ê°�ê°� ${\bf X}$ì�˜ u-matrix, d-matrix, v-matrix ë�¼ê³ 부르ìž�. - ì°¸ê³ ë¡œ ${\bf X}$ì�˜ u-matrix, v-matrix ìœ ì�¼í•˜ì§€ 않ì�Œ. - u-matrix와 v-matrixì�˜ column들ì�˜ 순서를 ìž„ì�˜ë¡œ 바꿀수 있으므로 ${\bf X}$ì�˜ d-matrix ì—시 ìœ ì�¼í•˜ì§„ 않ì�Œ. ê·¸ë ‡ì§€ë§Œ 순서를 ì •ë ¬í•œë‹¤ë©´ ìœ ì�¼í•¨. """¨metadataƒ©show_logsèdisabled®skip_as_script«code_foldedÃÙ$90db85a9-9864-4e63-98ca-7edb77f1932f„§cell_idÙ$90db85a9-9864-4e63-98ca-7edb77f1932f¤codeÚzhtml"""