Merge branch 'master' into algebraic-geometry

.ci/configure_git.sh

@@ -0,0 +1,11 @@
+eval $(ssh-agent -s)
+echo "$GITLAB_DEPLOY_KEY" | base64 -d | tr -d '\r' | ssh-add - > /dev/null
+
+mkdir -p ~/.ssh
+chmod 700 ~/.ssh
+
+ssh-keyscan gitlab.com >> ~/.ssh/known_hosts
+chmod 644 ~/.ssh/known_hosts
+
+git config --global user.email "git@maximilian-kessler.de"
+git config --global user.name "Maximilian Keßler (via gitlab runner)"

.gitlab-ci.yml

@@ -1,51 +1,25 @@
-stages:          # List of stages for jobs, and their order of execution
+stages:
   - get
   - build
   - pages
 
-
+get-build-repo:
-get-build-repo:       # This job runs in the build stage, which runs first.
   stage: get
   before_script:
-    - apt-get update -y && apt-get install -yqqf openssh-client git unzip sshpass rsync --fix-missing
+      - source .ci/configure_git.sh
-    - 'which ssh-agent || ( apt-get update -y && apt-get install openssh-client git -y )'
-    - eval $(ssh-agent -s)
-    - echo "$GITLAB_DEPLOY_KEY"
-    - echo "$GITLAB_DEPLOY_KEY" | base64 -d | tr -d '\r' | ssh-add - > /dev/null
-
-    - mkdir -p ~/.ssh
-    - chmod 700 ~/.ssh
-
-    - ssh-keyscan gitlab.com >> ~/.ssh/known_hosts
-    - chmod 644 ~/.ssh/known_hosts
-
-    - git config --global user.email "git@maximilian-kessler.de"
-    - git config --global user.name "Maximilian Keßler (via gitlab runner)"
   script:
       - echo "Getting old Build repo..."
       - .ci/get_build_repo_from_origin.sh
-  tags:
-    - latex
   artifacts:
     paths:
-      - build/*
+      - build/
+  tags:
+    - latex
 
-build-packages:      # This job runs in the deploy stage.
+build-packages:
-  stage: build  # It only runs when *both* jobs in the test stage complete successfully.
+  stage: build
   before_script:
-    - apt-get update -y && apt-get install -yqqf openssh-client git unzip sshpass rsync --fix-missing
+      - source .ci/configure_git.sh
-    - 'which ssh-agent || ( apt-get update -y && apt-get install openssh-client git -y )'
-    - eval $(ssh-agent -s)
-    - echo "$GITLAB_DEPLOY_KEY" | base64 -d | tr -d '\r' | ssh-add - > /dev/null
-
-    - mkdir -p ~/.ssh
-    - chmod 700 ~/.ssh
-
-    - ssh-keyscan gitlab.com >> ~/.ssh/known_hosts
-    - chmod 644 ~/.ssh/known_hosts
-
-    - git config --global user.email "git@maximilian-kessler.de"
-    - git config --global user.name "Maximilian Keßler (via gitlab runner)"
   script:
     - echo "Building packages incrementally..."
     - sh .ci/ci_build.sh
@@ -53,11 +27,10 @@ build-packages:      # This job runs in the deploy stage.
       GIT_SUBMODULE_STRATEGY: recursive
   artifacts:
     paths:
-        - build/*
+        - build/
   tags:
     - latex
 
-
 pages:
     stage: pages
     artifacts:

src/math/faktor.pysty

@@ -18,26 +18,26 @@ __HEADER__(Faktor package that also handles cofaktors)
 \RequirePackage{mathtools}
 
 
-\DeclareDocumentCommand{\faktor}{s m O{0.5} m O{-0.5}}{% \newfaktor[*]{#2}[#3]{#4}[#5] -> #2/#4
+\DeclareDocumentCommand{\faktor}{s O{0.5} m O{-0.5} m}{% \newfaktor[*][#2]{#3}[#4]{#5} -> #3/#5
-  \setbox0=\hbox{\ensuremath{#2}}% Store numerator
+  \setbox0=\hbox{\ensuremath{#3}}% Store numerator
   \setbox1=\hbox{\ensuremath{\diagup}}% Store slash /
-  \setbox2=\hbox{\ensuremath{#4}}% Store denominator
+  \setbox2=\hbox{\ensuremath{#5}}% Store denominator
-  \raisebox{#3\ht1}{\usebox0}% Numerator
+  \raisebox{#2\ht1}{\usebox0}% Numerator
   \mkern-5mu\ifthenelse{\equal{#1}{\BooleanTrue}}% Slash /
     {\diagup}% regular \faktor slash
-    {\rotatebox{-44}{\rule[#5\ht2]{0.4pt}{-#5\ht2+#3\ht0+\ht0}}}% tilted rule as a slash
+    {\rotatebox{-44}{\rule[#4\ht2]{0.4pt}{-#4\ht2+#2\ht0+\ht0}}}% tilted rule as a slash
   \mkern-4mu%
-  \raisebox{#5\ht2}{\usebox2}% Denominator
+  \raisebox{#4\ht2}{\usebox2}% Denominator
 }
 
-\DeclareDocumentCommand{\cofaktor}{s m O{-0.5} m O{0.5}}{% \newfaktor[*]{#2}[#3]{#4}[#5] -> #2/#4
+\DeclareDocumentCommand{\cofaktor}{s m O{-0.5} m O{0.5}}{% \newfaktor[*][#2]{#3}[#4]{#5} -> #2\#4
-  \setbox0=\hbox{\ensuremath{#2}}% Store numerator
+  \setbox0=\hbox{\ensuremath{#3}}% Store numerator
   \setbox1=\hbox{\ensuremath{\diagdown}}% Store slash /
-  \setbox2=\hbox{\ensuremath{#4}}% Store denominator
+  \setbox2=\hbox{\ensuremath{#5}}% Store denominator
-  \raisebox{#3\ht1}{\usebox0}% Numerator
+  \raisebox{#2\ht1}{\usebox0}% Numerator
   \mkern-5mu\ifthenelse{\equal{#1}{\BooleanTrue}}% Slash /
     {\diagdown}% regular \faktor slash
-    {\rotatebox{44}{\rule[-#5\ht2]{0.4pt}{#5\ht2-#3\ht0+\ht0}}}% tilted rule as a slash
+    {\rotatebox{44}{\rule[-#4\ht2]{0.4pt}{#4\ht2-#2\ht0+\ht0}}}% tilted rule as a slash
   \mkern-4mu%
-  \raisebox{#5\ht2}{\usebox2}% Denominator
+  \raisebox{#4\ht2}{\usebox2}% Denominator
 }

src/math/mathalias.pysty

@@ -40,4 +40,5 @@ __IF__(basic)
 __IF__(extended)
     \expandafter\makealiasesforwith\expandafter\mathcal\expandafter{\expandafter c\expandafter}\expandafter{__PACKAGE_MACRO__(all)}
     \expandafter\makealiasesforwith\expandafter\mathfrak\expandafter{\expandafter f\expandafter}\expandafter{__PACKAGE_MACRO__(all)}
+    \expandafter\makealiasesforwith\expandafter\mathbb\expandafter{\expandafter b\expandafter}\expandafter{__PACKAGE_MACRO__(all)}
 \fi

src/math/mathop.pysty

@@ -123,6 +123,7 @@ __END_OPTIONS_X__
 \DeclareSimpleMathOperator{pr}
 \def\twedge{\vee} % Semantically correct macros for wedge product
 \def\tsmash{\wedge} % Semantically correct macro for smash product
+\DeclareSimpleMathOperator{sing}
 
 %Category Theory
 \DeclareSimpleMathOperator{Ob}
@@ -185,3 +186,10 @@ __END_OPTIONS_X__
 \def\norm{\@ifstar{\oldnorm}{\oldnorm*}}
 
 \DeclareMathOperator{\amalgprod}{\star}
+
+
+\newcommand\op{\text{op}}
+\newcommand\opposite{^{\op}}
+
+\newcommand\ab{\text{ab}}
+\newcommand\abelianization{^{\ab}}

tests/math/faktor/test.tex

@@ -5,12 +5,12 @@
 \begin{document}
 
 \[
-    \faktor{A}{B} \cong \cofaktor{A}{B}
+    \faktor{A}{B} \cong \cofaktor{C}{D}
 \] 
 \[
-    \faktor{A}[1]{B}[-1.5] \cong \cofaktor{A}[-1]{B}[0.5]
+   \faktor[1]{A}[-1.5]{B} \cong \cofaktor[-1]{A}[0.5]{B}
 \] 
 \[
-    \cofaktor*{A}[-1]{B}[2]  = x
+  \cofaktor*[-1]{A}[2]{B}  = x
 \]
 \end{document}

tests/math/mathop/test.tex

@@ -2,7 +2,24 @@
 
 \usepackage{mkessler-mathop}
 
+
+\usepackage[T1]{fontenc}
+\usepackage[utf8]{inputenc}
+\usepackage{mathtools}   % loads »amsmath«
+\usepackage{graphicx}
+\usepackage{relsize}
+
+\DeclareMathOperator*{\name}{\raisebox{-0.5ex}{\scalebox{2}{$\ast$}}}
+
+
 \begin{document}
+
+ a = b = $\name_a^b cd\sum_a^b \int_a^b \name_a^b$
+
+\[
+A\name_C D\name_a^b \sum_a^b
+\] 
+
 \[
     \Gal \Quot \PreSh \tensor \Var \Br \Set \CHaus \cfun \One \left\lfloor \frac{1}{\frac{3}{\frac{7}{8}}} \right\rfloor \abs{\frac{1}{\frac{8}{\frac{4}{3}}}}  \lVert \frac{a}{\frac{b}{c}} \rVert  \left< \frac{a}{\frac{b}{c}} \right> \norm{\frac{a}{\frac{b}{c}}} \norm{test}  \norm{\frac{a}{\frac{b}{c}}}
 \] 

tests/wip/exercises/test.toc

@@ -1,3 +0,0 @@
-\contentsline {section}{\numberline {1}test}{1}{section.1}%
-\contentsline {subsection}{1. Exercise Sheet}{1}{section*.2}%
-\contentsline {subsection}{2. Exercise Sheet}{1}{section*.3}%