Merge branch 'master' of github.com:UniMath/SymmetryBook

UniMath · Jun 13, 2024 · 45fec7c · 45fec7c
2 parents a58b71a + 6e4f5d2
commit 45fec7c
Showing 1 changed file with 52 additions and 1 deletion.
diff --git a/macros.tex b/macros.tex
@@ -253,6 +253,56 @@
 
     \vfill
 
+    \begin{center}
+      \tdplotsetmaincoords{45}{135}
+      \begin{tikzpicture}[tdplot_main_coords,scale=2.0,opacity=0.5]
+        \draw (-1.00000, -1.61803, 0.00000) -- (-0.00000, -1.00000, -1.61803);
+        \draw (-1.61803, 0.00000, -1.00000) -- (-0.00000, -1.00000, -1.61803);
+        \draw (-1.00000, -1.61803, 0.00000) -- (-1.61803, -0.00000, -1.00000);
+        \draw (1.00000, -1.61803, 0.00000) -- (-0.00000, -1.00000, -1.61803);
+        \draw (1.00000, -1.61803, 0.00000) -- (-1.00000, -1.61803, 0.00000);
+        \draw (-1.61803, 0.00000, 1.00000) -- (-1.00000, -1.61803, -0.00000);
+        \draw (-1.61803, 0.00000, -1.00000) -- (0.00000, 1.00000, -1.61803);
+        \draw (-1.61803, 0.00000, 1.00000) -- (-1.61803, 0.00000, -1.00000);
+        \draw (0.00000, 1.00000, -1.61803) -- (0.00000, -1.00000, -1.61803);
+        \fill[gray] (0.00000, 0.00000, 0.00000) -- (0.00000, -1.61803, 0.00000) -- (-1.00000, -1.61803, 0.00000) -- (-1.00000, 0.00000, 0.00000) -- cycle;
+        \fill[casblue] (0.00000, 0.00000, 0.00000) -- (0.00000, 0.00000, -1.61803) -- (0.00000, -1.00000, -1.61803) -- (0.00000, -1.00000, 0.00000) -- cycle;
+        \fill[casred] (0.00000, 0.00000, 0.00000) -- (-1.61803, 0.00000, 0.00000) -- (-1.61803, 0.00000, -1.00000) -- (0.00000, 0.00000, -1.00000) -- cycle;
+        \draw (0.00000, -1.00000, 1.61803) -- (-1.00000, -1.61803, 0.00000);
+        \draw (1.61803, 0.00000, -1.00000) -- (0.00000, -1.00000, -1.61803);
+        \draw (-1.00000, 1.61803, 0.00000) -- (-1.61803, 0.00000, -1.00000);
+        \fill[casred] (0.00000, 0.00000, 0.00000) -- (-1.61803, 0.00000, 0.00000) -- (-1.61803, 0.00000, 1.00000) -- (0.00000, 0.00000, 1.00000) -- cycle;
+        \fill[casblue] (0.00000, 0.00000, 0.00000) -- (0.00000, 0.00000, -1.61803) -- (0.00000, 1.00000, -1.61803) -- (0.00000, 1.00000, 0.00000) -- cycle;
+        \fill[gray] (0.00000, 0.00000, 0.00000) -- (0.00000, -1.61803, 0.00000) -- (1.00000, -1.61803, 0.00000) -- (1.00000, 0.00000, 0.00000) -- cycle;
+        \draw (0.00000, -1.00000, 1.61803) -- (1.00000, -1.61803, 0.00000);
+        \draw (0.00000, -1.00000, 1.61803) -- (-1.61803, 0.00000, 1.00000);
+        \draw (1.61803, 0.00000, -1.00000) -- (1.00000, -1.61803, 0.00000);
+        \draw (-1.61803, 0.00000, 1.00000) -- (-1.00000, 1.61803, 0.00000);
+        \draw (0.00000, 1.00000, -1.61803) -- (1.61803, 0.00000, -1.00000);
+        \draw (-1.00000, 1.61803, 0.00000) -- (0.00000, 1.00000, -1.61803);
+        \fill[casred] (0.00000, 0.00000, 0.00000) -- (1.61803, 0.00000, 0.00000) -- (1.61803, 0.00000, -1.00000) -- (0.00000, 0.00000, -1.00000) -- cycle;
+        \fill[gray] (0.00000, 0.00000, 0.00000) -- (0.00000, 1.61803, 0.00000) -- (-1.00000, 1.61803, 0.00000) -- (-1.00000, 0.00000, 0.00000) -- cycle;
+        \fill[casblue] (0.00000, 0.00000, 0.00000) -- (0.00000, 0.00000, 1.61803) -- (0.00000, -1.00000, 1.61803) -- (0.00000, -1.00000, 0.00000) -- cycle;
+        \draw (0.00000, 1.00000, 1.61803) -- (-1.61803, 0.00000, 1.00000);
+        \draw (1.61803, 0.00000, 1.00000) -- (1.00000, -1.61803, 0.00000);
+        \draw (1.00000, 1.61803, 0.00000) -- (0.00000, 1.00000, -1.61803);
+        \fill[gray] (0.00000, 0.00000, 0.00000) -- (0.00000, 1.61803, 0.00000) -- (1.00000, 1.61803, 0.00000) -- (1.00000, 0.00000, 0.00000) -- cycle;
+        \fill[casblue] (0.00000, 0.00000, 0.00000) -- (0.00000, 0.00000, 1.61803) -- (0.00000, 1.00000, 1.61803) -- (0.00000, 1.00000, 0.00000) -- cycle;
+        \fill[casred] (0.00000, 0.00000, 0.00000) -- (1.61803, 0.00000, 0.00000) -- (1.61803, 0.00000, 1.00000) -- (0.00000, 0.00000, 1.00000) -- cycle;
+        \draw (0.00000, -1.00000, 1.61803) -- (1.61803, 0.00000, 1.00000);
+        \draw (0.00000, 1.00000, 1.61803) -- (0.00000, -1.00000, 1.61803);
+        \draw (1.61803, 0.00000, 1.00000) -- (1.61803, 0.00000, -1.00000);
+        \draw (1.00000, 1.61803, 0.00000) -- (1.61803, 0.00000, -1.00000);
+        \draw (0.00000, 1.00000, 1.61803) -- (-1.00000, 1.61803, 0.00000);
+        \draw (-1.00000, 1.61803, 0.00000) -- (1.00000, 1.61803, 0.00000);
+        \draw (0.00000, 1.00000, 1.61803) -- (1.61803, 0.00000, 1.00000);
+        \draw (0.00000, 1.00000, 1.61803) -- (1.00000, 1.61803, 0.00000);
+        \draw (1.61803, 0.00000, 1.00000) -- (1.00000, 1.61803, 0.00000);
+      \end{tikzpicture}
+    \end{center}
+
+    \vfill
+
     by\\[5ex]
     Marc Bezem\\
     Ulrik Buchholtz\\
@@ -262,7 +312,8 @@
 
     \vfill
 
-    {\Large Book version: \texttt{\OPTcommit} (\OPTdate)}
+    \indent\hfill{\Large Book version: \texttt{\OPTcommit} (\OPTdate)}
+
     \vfill\clearpage}}
 
 \def\BibTeX{{B\kern-.05em{\scshape i\kern-.025em b}\kern-.08em