Skip to content
Snippets Groups Projects
Commit c89ff6a9 authored by Jan Snellman's avatar Jan Snellman
Browse files

build.sh commit

parent 430c2669
No related branches found
No related tags found
No related merge requests found
Pipeline #122391 passed
Stage: deploy
Expand all Hide whitespace changes
Inline Side-by-side
homepage/sitemap.org
+ 4
− 4
View file @ c89ff6a9
...@@ -2,14 +2,14 @@ ...@@ -2,14 +2,14 @@
- [[file:newlectures/newlecture.org][Föreläsningar i Talteori]] - [[file:newlectures/newlecture.org][Föreläsningar i Talteori]]
- [[file:newlectures/new-lect-0.org][Talteori översiktsföreläsning]] - [[file:newlectures/new-lect-0.org][Talteori översiktsföreläsning]]
- [[file:index.org][TATA54 Talteori]]
- [[file:lectures/Henselfaktorisering.org][Henselfaktorisering]]
- [[file:senaste-nytt.org][senaste-nytt]]
- [[file:labs/lecture5.org][lecture5]] - [[file:labs/lecture5.org][lecture5]]
- [[file:labs/lecture4.org][lecture4]] - [[file:labs/lecture4.org][lecture4]]
- [[file:labs/lecture3.org][lecture3]] - [[file:labs/lecture3.org][lecture3]]
- [[file:labs/lecture2.org][lecture2]] - [[file:labs/lecture2.org][lecture2]]
- [[file:labs/lecture1.org][lecture1]] - [[file:labs/lecture1.org][lecture1]]
- [[file:labs/lecture0.org][lecture0]] - [[file:labs/lecture0.org][lecture0]]
- [[file:index.org][TATA54 Talteori]]
- [[file:senaste-nytt.org][senaste-nytt]]
- [[file:labs/kedjebraklab.org][Sagemath-övningar på kedjebråk]] - [[file:labs/kedjebraklab.org][Sagemath-övningar på kedjebråk]]
- [[file:labs/HenselLyftLabHT2023.org][SageMath-övningar på Hensellyft, primitiva rötter, och KRS]] - [[file:labs/HenselLyftLabHT2023.org][SageMath-övningar på Hensellyft, primitiva rötter, och KRS]]
- [[file:lectures/Henselfaktorisering.org][Henselfaktorisering]] \ No newline at end of file
\ No newline at end of file
public/index.html
+ 283
− 274
View file @ c89ff6a9
This diff is collapsed.
public/labs/HenselLyftLabHT2023.html
+ 58
− 58
View file @ c89ff6a9
<!DOCTYPE html> <!DOCTYPE html>
<html lang="en"> <html lang="en">
<head> <head>
<!-- 2024-03-06 --> <!-- 2024-04-05 -->
<meta charset="utf-8" /> <meta charset="utf-8" />
<meta name="viewport" content="width=device-width, initial-scale=1" /> <meta name="viewport" content="width=device-width, initial-scale=1" />
<title>SageMath-övningar på Hensellyft, primitiva rötter, och KRS</title> <title>SageMath-övningar på Hensellyft, primitiva rötter, och KRS</title>
...@@ -65,22 +65,22 @@ ...@@ -65,22 +65,22 @@
<ul> <ul>
<li><a href="#unika-hensellyft">Ej unika hensellyft</a> <li><a href="#unika-hensellyft">Ej unika hensellyft</a>
<ul> <ul>
<li><a href="#orgb2592ec">Exempel 1, unika lyft</a> <li><a href="#orgb923ff8">Exempel 1, unika lyft</a>
<ul> <ul>
<li><a href="#org40c46c0">Övning 1</a></li> <li><a href="#org6be1fa2">Övning 1</a></li>
<li><a href="#orgfa13611">Större p, fortfarande unika lyft</a></li> <li><a href="#orgc35d91f">Större p, fortfarande unika lyft</a></li>
<li><a href="#org243d568">Övning 2</a></li> <li><a href="#orgd3c72b3">Övning 2</a></li>
</ul> </ul>
</li> </li>
</ul> </ul>
</li> </li>
<li><a href="#orgfaa3509">Unika lyft</a> <li><a href="#org659b2ca">Unika lyft</a>
<ul> <ul>
<li><a href="#exempel-4.21">Exempel 4.21</a></li> <li><a href="#exempel-4.21">Exempel 4.21</a></li>
<li><a href="#org5f417de">övning 3</a></li> <li><a href="#org632696a">övning 3</a></li>
<li><a href="#ex-4.23">Ex 4.23</a> <li><a href="#ex-4.23">Ex 4.23</a>
<ul> <ul>
<li><a href="#orgbcf3411">Övning 4</a></li> <li><a href="#org59ffa70">Övning 4</a></li>
</ul> </ul>
</li> </li>
</ul> </ul>
...@@ -89,11 +89,11 @@ ...@@ -89,11 +89,11 @@
<ul> <ul>
<li><a href="#ex-4.22">Ex 4.22</a> <li><a href="#ex-4.22">Ex 4.22</a>
<ul> <ul>
<li><a href="#orgd927599">Övning 5</a></li> <li><a href="#orgd02384a">Övning 5</a></li>
<li><a href="#org935bbf2">Övning 6</a></li> <li><a href="#org7f5a24e">Övning 6</a></li>
</ul> </ul>
</li> </li>
<li><a href="#org0e1a0ae">Allt lyfter inte</a></li> <li><a href="#org1b1b5b2">Allt lyfter inte</a></li>
</ul> </ul>
</li> </li>
<li><a href="#kvadratrötter-mm">Kvadratrötter mm</a> <li><a href="#kvadratrötter-mm">Kvadratrötter mm</a>
...@@ -113,7 +113,7 @@ ...@@ -113,7 +113,7 @@
</div> </div>
</nav> </nav>
<div class="org-src-container"> <div class="org-src-container">
<pre class="src src-sage" id="orga892666">def H_L_tree(f, p: int, r: int): <pre class="src src-sage" id="org8903563">def H_L_tree(f, p: int, r: int):
vert = [(0,0)] vert = [(0,0)]
for j in range(1,r+1): for j in range(1,r+1):
...@@ -136,9 +136,9 @@ ...@@ -136,9 +136,9 @@
<div class="outline-text-2" id="text-unika-hensellyft"> <div class="outline-text-2" id="text-unika-hensellyft">
</div> </div>
<div id="outline-container-orgb2592ec" class="outline-3"> <div id="outline-container-orgb923ff8" class="outline-3">
<h3 id="orgb2592ec">Exempel 1, unika lyft</h3> <h3 id="orgb923ff8">Exempel 1, unika lyft</h3>
<div class="outline-text-3" id="text-orgb2592ec"> <div class="outline-text-3" id="text-orgb923ff8">
<p> <p>
\(x^{^{p-1}} -1 \mod p^r\) \(x^{^{p-1}} -1 \mod p^r\)
</p> </p>
...@@ -160,7 +160,7 @@ H_L_tree(f,p,r).plot(layout='tree') ...@@ -160,7 +160,7 @@ H_L_tree(f,p,r).plot(layout='tree')
</div> </div>
<figure id="org3f4c5ce"> <figure id="org6aac4a1">
<img src="../img/HenselLyftLabHT2023_fig1.png" alt="HenselLyftLabHT2023_fig1.png"> <img src="../img/HenselLyftLabHT2023_fig1.png" alt="HenselLyftLabHT2023_fig1.png">
</figure> </figure>
...@@ -180,7 +180,7 @@ H_L_tree(f,p,r).plot(layout='tree') ...@@ -180,7 +180,7 @@ H_L_tree(f,p,r).plot(layout='tree')
</div> </div>
<figure id="org5800b18"> <figure id="org97d4a85">
<img src="../img/HenselLyftLabHT2023_fig1.png" alt="HenselLyftLabHT2023_fig1.png"> <img src="../img/HenselLyftLabHT2023_fig1.png" alt="HenselLyftLabHT2023_fig1.png">
</figure> </figure>
...@@ -197,7 +197,7 @@ H_L_tree(f,p,r).plot(layout='tree') ...@@ -197,7 +197,7 @@ H_L_tree(f,p,r).plot(layout='tree')
</div> </div>
<figure id="org32b4703"> <figure id="orgadb1bc0">
<img src="../img/HenselLyftLabHT2023_fig1.png" alt="HenselLyftLabHT2023_fig1.png"> <img src="../img/HenselLyftLabHT2023_fig1.png" alt="HenselLyftLabHT2023_fig1.png">
</figure> </figure>
...@@ -213,7 +213,7 @@ H_L_tree(f,p,r).plot(layout='tree') ...@@ -213,7 +213,7 @@ H_L_tree(f,p,r).plot(layout='tree')
</div> </div>
<figure id="orgac92a08"> <figure id="orgee6db14">
<img src="../img/HenselLyftLabHT2023_fig1.png" alt="HenselLyftLabHT2023_fig1.png"> <img src="../img/HenselLyftLabHT2023_fig1.png" alt="HenselLyftLabHT2023_fig1.png">
</figure> </figure>
...@@ -287,9 +287,9 @@ y ...@@ -287,9 +287,9 @@ y
</div> </div>
</div> </div>
<div id="outline-container-org40c46c0" class="outline-4"> <div id="outline-container-org6be1fa2" class="outline-4">
<h4 id="org40c46c0">Övning 1</h4> <h4 id="org6be1fa2">Övning 1</h4>
<div class="outline-text-4" id="text-org40c46c0"> <div class="outline-text-4" id="text-org6be1fa2">
<p> <p>
Välj en tredje rot och lyft den Välj en tredje rot och lyft den
</p> </p>
...@@ -298,9 +298,9 @@ Välj en tredje rot och lyft den ...@@ -298,9 +298,9 @@ Välj en tredje rot och lyft den
<div id="outline-container-orgfa13611" class="outline-4"> <div id="outline-container-orgc35d91f" class="outline-4">
<h4 id="orgfa13611">Större p, fortfarande unika lyft</h4> <h4 id="orgc35d91f">Större p, fortfarande unika lyft</h4>
<div class="outline-text-4" id="text-orgfa13611"> <div class="outline-text-4" id="text-orgc35d91f">
<p> <p>
Hitta nollställena mod p<sup>n</sup> till följande: Hitta nollställena mod p<sup>n</sup> till följande:
</p> </p>
...@@ -316,7 +316,7 @@ H_L_tree(f,p,r).plot(layout='tree') ...@@ -316,7 +316,7 @@ H_L_tree(f,p,r).plot(layout='tree')
</div> </div>
<figure id="orgffbad5c"> <figure id="orgfe5b92a">
<img src="../img/HenselLyftLabHT2023_fig2.png" alt="HenselLyftLabHT2023_fig2.png"> <img src="../img/HenselLyftLabHT2023_fig2.png" alt="HenselLyftLabHT2023_fig2.png">
</figure> </figure>
...@@ -325,9 +325,9 @@ H_L_tree(f,p,r).plot(layout='tree') ...@@ -325,9 +325,9 @@ H_L_tree(f,p,r).plot(layout='tree')
<div id="outline-container-org243d568" class="outline-4"> <div id="outline-container-orgd3c72b3" class="outline-4">
<h4 id="org243d568">Övning 2</h4> <h4 id="orgd3c72b3">Övning 2</h4>
<div class="outline-text-4" id="text-org243d568"> <div class="outline-text-4" id="text-orgd3c72b3">
<p> <p>
Har f några rationella rötter? (Ignorera bilden, gör en egen utredning). Har f några rationella rötter? (Ignorera bilden, gör en egen utredning).
Välj någon rot mod p och lyft den. Välj någon rot mod p och lyft den.
...@@ -338,9 +338,9 @@ Välj någon rot mod p och lyft den. ...@@ -338,9 +338,9 @@ Välj någon rot mod p och lyft den.
</section> </section>
<section id="outline-container-orgfaa3509" class="outline-2"> <section id="outline-container-org659b2ca" class="outline-2">
<h2 id="orgfaa3509">Unika lyft</h2> <h2 id="org659b2ca">Unika lyft</h2>
<div class="outline-text-2" id="text-orgfaa3509"> <div class="outline-text-2" id="text-org659b2ca">
</div> </div>
<div id="outline-container-exempel-4.21" class="outline-3"> <div id="outline-container-exempel-4.21" class="outline-3">
<h3 id="exempel-4.21">Exempel 4.21</h3> <h3 id="exempel-4.21">Exempel 4.21</h3>
...@@ -359,7 +359,7 @@ f = R(x^3 + x^2 + 29) ...@@ -359,7 +359,7 @@ f = R(x^3 + x^2 + 29)
</div> </div>
<figure id="orgb85b8ee"> <figure id="org7058de8">
<img src="../img/HenselLyftLabHT2023_fig3.png" alt="HenselLyftLabHT2023_fig3.png"> <img src="../img/HenselLyftLabHT2023_fig3.png" alt="HenselLyftLabHT2023_fig3.png">
</figure> </figure>
...@@ -424,9 +424,9 @@ fq, fq.hensel_lift(p,3) ...@@ -424,9 +424,9 @@ fq, fq.hensel_lift(p,3)
</div> </div>
<div id="outline-container-org5f417de" class="outline-3"> <div id="outline-container-org632696a" class="outline-3">
<h3 id="org5f417de">övning 3</h3> <h3 id="org632696a">övning 3</h3>
<div class="outline-text-3" id="text-org5f417de"> <div class="outline-text-3" id="text-org632696a">
<p> <p>
Lyft ännu högre, jämför båda metoderna Lyft ännu högre, jämför båda metoderna
</p> </p>
...@@ -450,15 +450,15 @@ f = x^3 + x^2 +2*x + 26 ...@@ -450,15 +450,15 @@ f = x^3 + x^2 +2*x + 26
</div> </div>
<figure id="orgab8bca3"> <figure id="org1cc7864">
<img src="../img/HenselLyftLabHT2023_fig4.png" alt="HenselLyftLabHT2023_fig4.png"> <img src="../img/HenselLyftLabHT2023_fig4.png" alt="HenselLyftLabHT2023_fig4.png">
</figure> </figure>
</div> </div>
<div id="outline-container-orgbcf3411" class="outline-4"> <div id="outline-container-org59ffa70" class="outline-4">
<h4 id="orgbcf3411">Övning 4</h4> <h4 id="org59ffa70">Övning 4</h4>
<div class="outline-text-4" id="text-orgbcf3411"> <div class="outline-text-4" id="text-org59ffa70">
<p> <p>
Gör de unika lyften via Hensel! Gör de unika lyften via Hensel!
</p> </p>
...@@ -487,15 +487,15 @@ f = x^2 + x + 7 ...@@ -487,15 +487,15 @@ f = x^2 + x + 7
</div> </div>
<figure id="org74e6271"> <figure id="orge5ad7dd">
<img src="../img/HenselLyftLabHT2023_fig5.png" alt="HenselLyftLabHT2023_fig5.png"> <img src="../img/HenselLyftLabHT2023_fig5.png" alt="HenselLyftLabHT2023_fig5.png">
</figure> </figure>
</div> </div>
<div id="outline-container-orgd927599" class="outline-4"> <div id="outline-container-orgd02384a" class="outline-4">
<h4 id="orgd927599">Övning 5</h4> <h4 id="orgd02384a">Övning 5</h4>
<div class="outline-text-4" id="text-orgd927599"> <div class="outline-text-4" id="text-orgd02384a">
<p> <p>
Så finns lösningar upp till mod \(p^3\) men ej mod \(p^4\), varför? Så finns lösningar upp till mod \(p^3\) men ej mod \(p^4\), varför?
Red ut detta, ledning nedan Red ut detta, ledning nedan
...@@ -540,9 +540,9 @@ För vart och ett av dessa så är antingen alla eller inga av dess lyft nollst ...@@ -540,9 +540,9 @@ För vart och ett av dessa så är antingen alla eller inga av dess lyft nollst
</div> </div>
<div id="outline-container-org935bbf2" class="outline-4"> <div id="outline-container-org7f5a24e" class="outline-4">
<h4 id="org935bbf2">Övning 6</h4> <h4 id="org7f5a24e">Övning 6</h4>
<div class="outline-text-4" id="text-org935bbf2"> <div class="outline-text-4" id="text-org7f5a24e">
<p> <p>
Finns det polynom med icke-unika lyft som trots allt har nollställen mod \(p^n\) alla n, som Finns det polynom med icke-unika lyft som trots allt har nollställen mod \(p^n\) alla n, som
inte kommer från rationella nollställen? inte kommer från rationella nollställen?
...@@ -553,9 +553,9 @@ inte kommer från rationella nollställen? ...@@ -553,9 +553,9 @@ inte kommer från rationella nollställen?
<div id="outline-container-org0e1a0ae" class="outline-3"> <div id="outline-container-org1b1b5b2" class="outline-3">
<h3 id="org0e1a0ae">Allt lyfter inte</h3> <h3 id="org1b1b5b2">Allt lyfter inte</h3>
<div class="outline-text-3" id="text-org0e1a0ae"> <div class="outline-text-3" id="text-org1b1b5b2">
<p> <p>
Ex: den rationella roten -1 är den enda som lyfter mot oändligheten Ex: den rationella roten -1 är den enda som lyfter mot oändligheten
</p> </p>
...@@ -571,7 +571,7 @@ H_L_tree(f,p,r).plot(layout='tree') ...@@ -571,7 +571,7 @@ H_L_tree(f,p,r).plot(layout='tree')
</div> </div>
<figure id="orgb1ff682"> <figure id="org64a6106">
<img src="../img/HenselLyftLabHT2023_fig6.png" alt="HenselLyftLabHT2023_fig6.png"> <img src="../img/HenselLyftLabHT2023_fig6.png" alt="HenselLyftLabHT2023_fig6.png">
</figure> </figure>
...@@ -592,8 +592,8 @@ som lyfter icke-unikt mot evigheten? ...@@ -592,8 +592,8 @@ som lyfter icke-unikt mot evigheten?
<ul class="org-ul"> <ul class="org-ul">
<li><a id="orgb4aa56e"></a>Ledning nedan om du kör fast<br> <li><a id="orgf69f4c9"></a>Ledning nedan om du kör fast<br>
<div class="outline-text-5" id="text-orgb4aa56e"> <div class="outline-text-5" id="text-orgf69f4c9">
<p> <p>
försök med försök med
\(p=2\) och \(p=2\) och
...@@ -715,7 +715,7 @@ f = x^2 -3 ...@@ -715,7 +715,7 @@ f = x^2 -3
</div> </div>
<figure id="org762bdd7"> <figure id="orgd7e68e1">
<img src="../img/HenselLyftLabHT2023_fig21.png" alt="HenselLyftLabHT2023_fig21.png"> <img src="../img/HenselLyftLabHT2023_fig21.png" alt="HenselLyftLabHT2023_fig21.png">
</figure> </figure>
...@@ -1092,7 +1092,7 @@ f = R(x^3 + x^2 + 29) ...@@ -1092,7 +1092,7 @@ f = R(x^3 + x^2 + 29)
</div> </div>
<figure id="orgfbcd1d8"> <figure id="orgac5479f">
<img src="../img/HenselLyftLabHT2023_fig31.png" alt="HenselLyftLabHT2023_fig31.png"> <img src="../img/HenselLyftLabHT2023_fig31.png" alt="HenselLyftLabHT2023_fig31.png">
</figure> </figure>
...@@ -1103,7 +1103,7 @@ f = R(x^3 + x^2 + 29) ...@@ -1103,7 +1103,7 @@ f = R(x^3 + x^2 + 29)
</div> </div>
<figure id="orga9793d8"> <figure id="orgf54282b">
<img src="../img/HenselLyftLabHT2023_fig33.png" alt="HenselLyftLabHT2023_fig33.png"> <img src="../img/HenselLyftLabHT2023_fig33.png" alt="HenselLyftLabHT2023_fig33.png">
</figure> </figure>
...@@ -1114,7 +1114,7 @@ f = R(x^3 + x^2 + 29) ...@@ -1114,7 +1114,7 @@ f = R(x^3 + x^2 + 29)
</div> </div>
<figure id="org26a5f16"> <figure id="orgefb2d91">
<img src="../img/HenselLyftLabHT2023_fig35.png" alt="HenselLyftLabHT2023_fig35.png"> <img src="../img/HenselLyftLabHT2023_fig35.png" alt="HenselLyftLabHT2023_fig35.png">
</figure> </figure>
...@@ -1142,7 +1142,7 @@ f = R(x^3 + x^2 + 29) ...@@ -1142,7 +1142,7 @@ f = R(x^3 + x^2 + 29)
</main> </main>
<footer id="postamble" class="status"> <footer id="postamble" class="status">
<p class="author">Author: Jan Snellman</p> <p class="author">Author: Jan Snellman</p>
<p class="date">Created: 2024-03-06</p> <p class="date">Created: 2024-04-05</p>
<p class="validation"><a href="https://validator.w3.org/check?uri=referer">Validate</a></p> <p class="validation"><a href="https://validator.w3.org/check?uri=referer">Validate</a></p>
</footer> </footer>
</body> </body>
......
public/lectures/kvadrest_annotated.pdf 0 → 100644
+ 0
− 0
View file @ c89ff6a9
File added
public/sitemap.html
+ 5
− 5
View file @ c89ff6a9
<!DOCTYPE html> <!DOCTYPE html>
<html lang="en"> <html lang="en">
<head> <head>
<!-- 2024-03-11 --> <!-- 2024-04-05 -->
<meta charset="utf-8" /> <meta charset="utf-8" />
<meta name="viewport" content="width=device-width, initial-scale=1" /> <meta name="viewport" content="width=device-width, initial-scale=1" />
<title>Kurshemsida</title> <title>Kurshemsida</title>
...@@ -208,22 +208,22 @@ ...@@ -208,22 +208,22 @@
</header><ul class="org-ul"> </header><ul class="org-ul">
<li><a href="newlectures/newlecture.html">Föreläsningar i Talteori</a></li> <li><a href="newlectures/newlecture.html">Föreläsningar i Talteori</a></li>
<li><a href="newlectures/new-lect-0.html">Talteori översiktsföreläsning</a></li> <li><a href="newlectures/new-lect-0.html">Talteori översiktsföreläsning</a></li>
<li><a href="index.html">TATA54 Talteori</a></li>
<li><a href="lectures/Henselfaktorisering.html">Henselfaktorisering</a></li>
<li><a href="senaste-nytt.html">senaste-nytt</a></li>
<li><a href="labs/lecture5.html">lecture5</a></li> <li><a href="labs/lecture5.html">lecture5</a></li>
<li><a href="labs/lecture4.html">lecture4</a></li> <li><a href="labs/lecture4.html">lecture4</a></li>
<li><a href="labs/lecture3.html">lecture3</a></li> <li><a href="labs/lecture3.html">lecture3</a></li>
<li><a href="labs/lecture2.html">lecture2</a></li> <li><a href="labs/lecture2.html">lecture2</a></li>
<li><a href="labs/lecture1.html">lecture1</a></li> <li><a href="labs/lecture1.html">lecture1</a></li>
<li><a href="labs/lecture0.html">lecture0</a></li> <li><a href="labs/lecture0.html">lecture0</a></li>
<li><a href="index.html">TATA54 Talteori</a></li>
<li><a href="senaste-nytt.html">senaste-nytt</a></li>
<li><a href="labs/kedjebraklab.html">Sagemath-övningar på kedjebråk</a></li> <li><a href="labs/kedjebraklab.html">Sagemath-övningar på kedjebråk</a></li>
<li><a href="labs/HenselLyftLabHT2023.html">SageMath-övningar på Hensellyft, primitiva rötter, och KRS</a></li> <li><a href="labs/HenselLyftLabHT2023.html">SageMath-övningar på Hensellyft, primitiva rötter, och KRS</a></li>
<li><a href="lectures/Henselfaktorisering.html">Henselfaktorisering</a></li>
</ul> </ul>
</main> </main>
<footer id="postamble" class="status"> <footer id="postamble" class="status">
<p class="author">Author: Jan Snellman</p> <p class="author">Author: Jan Snellman</p>
<p class="date">Created: 2024-03-11</p> <p class="date">Created: 2024-04-05</p>
<p class="validation"><a href="https://validator.w3.org/check?uri=referer">Validate</a></p> <p class="validation"><a href="https://validator.w3.org/check?uri=referer">Validate</a></p>
</footer> </footer>
</body> </body>
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment