From 2e7cff6fe3bfdd90733e7e5d392e2bbe7c88a13c Mon Sep 17 00:00:00 2001 From: zeramorphic <50671761+zeramorphic@users.noreply.github.com> Date: Wed, 17 Jan 2024 15:05:34 +0000 Subject: [PATCH] Create Lent 2024 courses --- .github/workflows/compile.yml | 27 +++++++++++++++++++++++++++ cmd/files.go | 4 ++++ iii/book/main.tex | 3 +++ iii/forcing/import.tex | 6 ++++++ iii/forcing/main.tex | 16 ++++++++++++++++ iii/gc/import.tex | 6 ++++++ iii/gc/main.tex | 16 ++++++++++++++++ iii/lc/import.tex | 6 ++++++ iii/lc/main.tex | 16 ++++++++++++++++ iii/vol8/main.tex | 8 ++++++++ 10 files changed, 108 insertions(+) create mode 100644 iii/forcing/import.tex create mode 100644 iii/forcing/main.tex create mode 100644 iii/gc/import.tex create mode 100644 iii/gc/main.tex create mode 100644 iii/lc/import.tex create mode 100644 iii/lc/main.tex create mode 100644 iii/vol8/main.tex diff --git a/.github/workflows/compile.yml b/.github/workflows/compile.yml index 1e2d459..0fa9533 100644 --- a/.github/workflows/compile.yml +++ b/.github/workflows/compile.yml @@ -240,6 +240,24 @@ jobs: args: -shell-escape -xelatex -file-line-error -halt-on-error -interaction=nonstopmode -cd -output-directory=build root_file: iii/mtncl/main.tex + - name: Compile Group Cohomology + uses: xu-cheng/latex-action@v2 + with: + args: -shell-escape -xelatex -file-line-error -halt-on-error -interaction=nonstopmode -cd -output-directory=build + root_file: iii/gc/main.tex + + - name: Compile Large Cardinals + uses: xu-cheng/latex-action@v2 + with: + args: -shell-escape -xelatex -file-line-error -halt-on-error -interaction=nonstopmode -cd -output-directory=build + root_file: iii/lc/main.tex + + - name: Compile Forcing and the Continuum Hypothesis + uses: xu-cheng/latex-action@v2 + with: + args: -shell-escape -xelatex -file-line-error -halt-on-error -interaction=nonstopmode -cd -output-directory=build + root_file: iii/forcing/main.tex + - name: Compile IA book uses: xu-cheng/latex-action@v2 with: @@ -363,6 +381,15 @@ jobs: - name: Convert Model Theory and Non-Classical Logic to HTML run: ./pdf2htmlEX.AppImage iii/mtncl/build/main.pdf iii_mtncl.html --data-dir pdf2htmlEX --zoom 3 + - name: Convert Group Cohomology to HTML + run: ./pdf2htmlEX.AppImage iii/gc/build/main.pdf iii_gc.html --data-dir pdf2htmlEX --zoom 3 + + - name: Convert Large Cardinals to HTML + run: ./pdf2htmlEX.AppImage iii/lc/build/main.pdf iii_lc.html --data-dir pdf2htmlEX --zoom 3 + + - name: Convert Forcing and the Continuum Hypothesis to HTML + run: ./pdf2htmlEX.AppImage iii/forcing/build/main.pdf iii_forcing.html --data-dir pdf2htmlEX --zoom 3 + - name: Convert IA book to HTML run: ./pdf2htmlEX.AppImage ia/book/build/main.pdf ia_book.html --data-dir pdf2htmlEX --zoom 3 diff --git a/cmd/files.go b/cmd/files.go index 4b068d7..65a9273 100644 --- a/cmd/files.go +++ b/cmd/files.go @@ -39,6 +39,9 @@ var Files []TexFile = []TexFile{ {FilePath: "iii/alggeom", Name: "Algebraic Geometry"}, {FilePath: "iii/mtncl", Name: "Model Theory and Non-Classical Logic"}, {FilePath: "iii/cat", Name: "Category Theory"}, + {FilePath: "iii/gc", Name: "Group Cohomology"}, + {FilePath: "iii/lc", Name: "Large Cardinals"}, + {FilePath: "iii/forcing", Name: "Forcing and the Continuum Hypothesis"}, } var BookFiles []TexFile = []TexFile{ @@ -53,6 +56,7 @@ var BookFiles []TexFile = []TexFile{ {FilePath: "ii/vol5", Name: "Volume 5"}, {FilePath: "ii/vol6", Name: "Volume 6"}, {FilePath: "iii/vol7", Name: "Volume 7"}, + {FilePath: "iii/vol8", Name: "Volume 8"}, } var FilesWithBook []TexFile diff --git a/iii/book/main.tex b/iii/book/main.tex index 77e7a16..f31ade0 100644 --- a/iii/book/main.tex +++ b/iii/book/main.tex @@ -5,5 +5,8 @@ \input{../commalg/import.tex} \input{../alggeom/import.tex} \input{../mtncl/import.tex} +\input{../gc/import.tex} +\input{../lc/import.tex} +\input{../forcing/import.tex} \end{document} diff --git a/iii/forcing/import.tex b/iii/forcing/import.tex new file mode 100644 index 0000000..1a76f5e --- /dev/null +++ b/iii/forcing/import.tex @@ -0,0 +1,6 @@ +\chapter[Forcing and the Continuum Hypothesis \\ \textnormal{\emph{Lectured in Lent \oldstylenums{2024} by \textsc{Dr.\ R.\ Matthews}}}]{Forcing and the Continuum Hypothesis} +\emph{\Large Lectured in Lent \oldstylenums{2024} by \textsc{Dr.\ R.\ Matthews}} + +(Course description goes here.) + +\subfile{../../iii/forcing/main.tex} diff --git a/iii/forcing/main.tex b/iii/forcing/main.tex new file mode 100644 index 0000000..291cab8 --- /dev/null +++ b/iii/forcing/main.tex @@ -0,0 +1,16 @@ +\documentclass{article} + +\usepackage{../../util} + +\title{Forcing and the Continuum Hypothesis} +\author{Cambridge University Mathematical Tripos: Part III} + +\begin{document} +\maketitle + +\tableofcontentsnewpage{} + +% \section{Definitions and examples} +% \input{01_definitions_and_examples.tex} + +\end{document} diff --git a/iii/gc/import.tex b/iii/gc/import.tex new file mode 100644 index 0000000..553f218 --- /dev/null +++ b/iii/gc/import.tex @@ -0,0 +1,6 @@ +\chapter[Group Cohomology \\ \textnormal{\emph{Lectured in Lent \oldstylenums{2024} by \textsc{Dr.\ C.\ J.\ B.\ Brookes}}}]{Group Cohomology} +\emph{\Large Lectured in Lent \oldstylenums{2024} by \textsc{Dr.\ C.\ J.\ B.\ Brookes}} + +(Course description goes here.) + +\subfile{../../iii/gc/main.tex} diff --git a/iii/gc/main.tex b/iii/gc/main.tex new file mode 100644 index 0000000..35318c9 --- /dev/null +++ b/iii/gc/main.tex @@ -0,0 +1,16 @@ +\documentclass{article} + +\usepackage{../../util} + +\title{Group Cohomology} +\author{Cambridge University Mathematical Tripos: Part III} + +\begin{document} +\maketitle + +\tableofcontentsnewpage{} + +% \section{Definitions and examples} +% \input{01_definitions_and_examples.tex} + +\end{document} diff --git a/iii/lc/import.tex b/iii/lc/import.tex new file mode 100644 index 0000000..1716c17 --- /dev/null +++ b/iii/lc/import.tex @@ -0,0 +1,6 @@ +\chapter[Large Cardinals \\ \textnormal{\emph{Lectured in Lent \oldstylenums{2024} by \textsc{Prof.\ B.\ L\"owe}}}]{Large Cardinals} +\emph{\Large Lectured in Lent \oldstylenums{2024} by \textsc{Dr.\ B.\ L\"owe}} + +(Course description goes here.) + +\subfile{../../iii/lc/main.tex} diff --git a/iii/lc/main.tex b/iii/lc/main.tex new file mode 100644 index 0000000..d89cd62 --- /dev/null +++ b/iii/lc/main.tex @@ -0,0 +1,16 @@ +\documentclass{article} + +\usepackage{../../util} + +\title{Large Cardinals} +\author{Cambridge University Mathematical Tripos: Part III} + +\begin{document} +\maketitle + +\tableofcontentsnewpage{} + +% \section{Definitions and examples} +% \input{01_definitions_and_examples.tex} + +\end{document} diff --git a/iii/vol8/main.tex b/iii/vol8/main.tex new file mode 100644 index 0000000..f0dd37e --- /dev/null +++ b/iii/vol8/main.tex @@ -0,0 +1,8 @@ +\newcommand{\volname}{Volume 8} +\input{../../book_template.tex} + +\input{../gc/import.tex} +\input{../lc/import.tex} +\input{../forcing/import.tex} + +\end{document}