Skip to content

Commit

Permalink
Reformat the figures with the new formatter
Browse files Browse the repository at this point in the history
  • Loading branch information
@v--
v-- committed Mar 29, 2024
1 parent 33fc23b commit 8f83810
Show file tree
Hide file tree
Showing 9 changed files with 24 additions and 24 deletions.
4 changes: 2 additions & 2 deletions figures/def__finite_automaton.tex
View file
Original file line number Diff line number Diff line change
Expand Up @@ -7,7 +7,7 @@
\end{tikzcd}

\begin{tikzcd}
|[state, accepting]| \scriptstyle{\set{ 2, 4 }} \ar[r, "a"] & |[state]| \set{ 3 } \ar[rd, "b"] & \\
|[state, initial]| \scriptstyle{\set{ 1, 3 }} \ar[u, "a"] \ar[rr, "b" swap] & & |[state, accepting]| \scriptstyle{\set{ 3, 5 }} \ar[loop above, "b"]
|[state, accepting]| \scriptstyle{\set{ 2, 4 }} \ar[r, "a"] & |[state]| \set{ 3 } \ar[rd, "b"] & \\
|[state, initial]| \scriptstyle{\set{ 1, 3 }} \ar[u, "a"] \ar[rr, "b" swap] & & |[state, accepting]| \scriptstyle{\set{ 3, 5 }} \ar[loop above, "b"]
\end{tikzcd}
\end{document}
10 changes: 5 additions & 5 deletions figures/ex__common_polynomial_divisors__incomparable.tex
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,10 +2,10 @@

\begin{document}
\begin{tikzcd}[every arrow/.append style={dash}]
& & & X^6 & \\
& X^5 & & & \\
& & & & X^4 \ar[luu] \\
& & X^3 \ar[luu] \ar[ruuu] & & \\
& & X^2 \ar[luuu] \ar[rruu] \ar[ruuuu] & &
& & & X^6 & \\
& X^5 & & & \\
& & & & X^4 \ar[luu] \\
& & X^3 \ar[luu] \ar[ruuu] & & \\
& & X^2 \ar[luuu] \ar[rruu] \ar[ruuuu] & &
\end{tikzcd}
\end{document}
4 changes: 2 additions & 2 deletions figures/ex__def__graph_geometric_realization.tex
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@
\begin{tikzcd}
{} \ar[ddr, dash, dashed, "b"] & {} \ar[ddr, dash, dashed, "c"] & {} \ar[ddll, dash, dashed, bend left=90, looseness=2, "a" swap] \\
& & \\
\ar[uu, "e_1" swap] & \ar[uu, "e_2" swap] & \ar[uu, "e_3" swap]
\ar[uu, "e_1" swap] & \ar[uu, "e_2" swap] & \ar[uu, "e_3" swap]
\end{tikzcd}

\begin{tikzcd}
Expand All @@ -14,7 +14,7 @@
\end{tikzcd}

\begin{tikzcd}[column sep=tiny]
& \set{ (0, e_2), (1, e_2) } \ar[dl, "R_{A_c}(e_3)", swap] & \\
& \set{ (0, e_2), (1, e_2) } \ar[dl, "R_{A_c}(e_3)", swap] & \\
\set{ (0, e_1), (1, e_3) } \ar[rr, "R_{A_c}(e_1)", swap] & & \set{ (1, e_1), (0, e_2) } \ar[ul, "R_{A_c}(e_2)", swap]
\end{tikzcd}

Expand Down
2 changes: 1 addition & 1 deletion figures/ex__def__partial_order_chain__binary_power_set.tex
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@

\begin{document}
\begin{tikzcd}[every arrow/.append style={dash}]
& \set{ a, b } & \\
& \set{ a, b } & \\
a \ar[ur] & & b \ar[ul] \\
& \varnothing \ar[ul] \ar[ur] &
\end{tikzcd}
Expand Down
6 changes: 3 additions & 3 deletions figures/ex__heyting_conditional_ideal.tex
View file
Original file line number Diff line number Diff line change
Expand Up @@ -9,10 +9,10 @@
\end{tikzcd}

\begin{tikzcd}[row sep=tiny, every arrow/.append style={dash}]
\omega & \\
\vdots \ar[u] & \\
\omega & \\
\vdots \ar[u] & \\
2 \ar[u] & a \ar[uul] \\
1 \ar[u] & \\
1 \ar[u] & \\
0 \ar[u] \ar[uur] &
\end{tikzcd}
\end{document}
8 changes: 4 additions & 4 deletions figures/ex__quadratic_curves.tex
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,9 +2,9 @@

\begin{document}
\begin{tikzcd}[every arrow/.append style={dash}]
& \BbbK[X, Y] & \\
& \braket{ X, Y } \ar[u] & \\
\braket{ X } \ar[ru] & & \braket{ p(X, Y) } \ar[lu] \\
& \set{ 0 } \ar[lu] \ar[ru] &
& \BbbK[X, Y] & \\
& \braket{ X, Y } \ar[u] & \\
\braket{ X } \ar[ru] & & \braket{ p(X, Y) } \ar[lu] \\
& \set{ 0 } \ar[lu] \ar[ru] &
\end{tikzcd}
\end{document}
2 changes: 1 addition & 1 deletion figures/ex__thm__def__relation_closures__symmetric_and_transitive.tex
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@

\begin{document}
\begin{tikzcd}
& b \ar[dl, bend left, dashed] \ar[dr, bend right, dashed] & \\
& b \ar[dl, bend left, dashed] \ar[dr, bend right, dashed] & \\
a \ar[ur, bend left] & & c \ar[ul, bend right]
\end{tikzcd}
\end{document}
6 changes: 3 additions & 3 deletions figures/rem__undirected_walk.tex
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@

\begin{document}
\begin{tikzcd}
& d \ar[dl] & \\
& d \ar[dl] & \\
b \ar[rr] & & c \ar[ul] \ar[dl] \\
& a \ar[ul] &
\end{tikzcd}
Expand All @@ -14,9 +14,9 @@
\end{tikzcd}

\begin{tikzcd}[every arrow/.append style={dash,dotted}]
& d \ar[dl] & \\
& d \ar[dl] & \\
b \ar[rr, solid, rightarrow] & & c \ar[ul] \ar[dl] \\
& a \ar[ul, solid, rightarrow] &
& a \ar[ul, solid, rightarrow] &
\end{tikzcd}

\begin{tikzcd}[every arrow/.append style={dotted}]
Expand Down
6 changes: 3 additions & 3 deletions figures/thm__span_via_linear_combinations.tex
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,8 +2,8 @@

\begin{document}
\begin{tikzcd}[every arrow/.append style={dash}]
& & (a x + b y) + c z \ar[dl] \ar[dr] & \\
& a x + b y \ar[dl] \ar[dr] & & c z \\
a x & & b y &
& & (a x + b y) + c z \ar[dl] \ar[dr] & \\
& a x + b y \ar[dl] \ar[dr] & & c z \\
a x & & b y &
\end{tikzcd}
\end{document}

0 comments on commit 8f83810

Please sign in to comment.