dotfiles

My personal dotfiles

commit 3502b2677d77aad4e17db8a129a031f027604456
parent a496dc75a3004865b90b4d1a4e54644b9eb1c9bc
Author: Pablo Emilio Escobar Gaviria <pablo-escobar@riseup.net>
Date:   Tue,  9 Feb 2021 20:00:30 +0000

Updated some images in texmf and the tmux configuration

Diffstat:
M.config/fish/functions/config.fish | 6+++++-
M.config/tmux/tmux.conf | 13+++++++++++--
M.config/tmux/tmux.history | 2++
A.local/share/texmf/tex/latex/images/dihedral-representation-is-irreducible.tikz | 21+++++++++++++++++++++
M.local/share/texmf/tex/latex/images/dihedral-representation.tikz | 2--
M.local/share/texmf/tex/latex/images/euclidian-plain.tikz | 7++++---
M.local/share/texmf/tex/latex/images/geodesic.tikz | 2--
M.local/share/texmf/tex/latex/images/hiperbolic-plain.tikz | 2--
M.local/share/texmf/tex/latex/images/riemannian-metric.tikz | 2--
M.local/share/texmf/tex/latex/images/smooth-function.tikz | 27++++++++-------------------
M.local/share/texmf/tex/latex/images/smooth-manifold.tikz | 11++++-------
M.local/share/texmf/tex/latex/images/sphere.tikz | 2--
M.local/share/texmf/tex/latex/images/velocity.tikz | 66+++++++++++++++++++++++++++++++++++++-----------------------------
M.local/share/texmf/tex/latex/preamble-common.tex | 7+++++++
M.local/share/texmf/tex/latex/xgeometry.sty | 45+++++++++++++++++++++++++++++++++------------
15 files changed, 132 insertions(+), 83 deletions(-)
diff --git a/.config/fish/functions/config.fish b/.config/fish/functions/config.fish
@@ -4,7 +4,7 @@ function config -d "A simple configuration manager"
     git --git-dir="$HOME/Documents/dotfiles" --work-tree="$HOME" $argv
   end
 
-  argparse u/update= a-add=+ r-rm=+ l/list g-log s/status d/diff -- $argv
+  argparse u/update= a-add=+ r-rm=+ l/list g-log s/status d/diff e/edit -- $argv
 
   # List the dotfiles specified in configurations list
   if test -n "$_flag_list"
@@ -36,6 +36,10 @@ function config -d "A simple configuration manager"
     return
   end
 
+  if test -n "$_flag_edit"
+    $EDITOR (type -p config)
+  end
+
   # Add files to the list of dotfiles
   for item in $_flag_add
     echo "Adding '$item' to the list of dotfiles"
diff --git a/.config/tmux/tmux.conf b/.config/tmux/tmux.conf
@@ -11,8 +11,17 @@
 #
 
 set -g mouse on
+
+# Open new panes in the current directory
 bind '"' split-window -c "#{pane_current_path}"
 bind  % split-window -h -c "#{pane_current_path}"
-unbind C-k
-bind C-k clear-history
+
+# Save the history
 set -g history-file "$XDG_CONFIG_HOME/tmux/tmux.history"
+
+# Resize the current pane using Alt + direction
+bind -n M-k resize-pane -U 5
+bind -n M-j resize-pane -D 5
+bind -n M-h resize-pane -L 5
+bind -n M-l resize-pane -R 5
+
diff --git a/.config/tmux/tmux.history b/.config/tmux/tmux.history
@@ -26,3 +26,5 @@ kill-pane
 resize-pane -R 9
 clear-buffer
 resize-pane -R 9
+0
+resize-pane -R 9
diff --git a/.local/share/texmf/tex/latex/images/dihedral-representation-is-irreducible.tikz b/.local/share/texmf/tex/latex/images/dihedral-representation-is-irreducible.tikz
@@ -0,0 +1,21 @@
+% An ilustration of the proof that the representation of the Dihidral group is
+% irreducible
+\begin{tikzpicture}[scale=1.2]
+    % The axis
+    \draw[->] (-1,0)--(3,0) node[right]{\(x\)};
+    \draw[->] (0,-0.5)--(0,1.5) node[above]{\(y\)};
+    
+    % sigma
+    \draw[->] (1.5,0.3) arc (0:50:1cm) node at (1.7,0.85) {\(\sigma\)};
+
+    % A non-zero vector v
+    \filldraw[black] (1.5, 0.3) circle (1pt);
+    \node[right] at (1.5, 0.3) {\(v\)};
+
+    % sigma(v)
+    \filldraw[black] (1, 1.15) circle (1pt);
+    \node[left] at (1, 1.15) {\(\sigma \cdot v\)};
+    
+    % The subspace spaned by v
+    \draw[dotted] (-1, -0.2)--(3, 0.6);
+\end{tikzpicture}
diff --git a/.local/share/texmf/tex/latex/images/dihedral-representation.tikz b/.local/share/texmf/tex/latex/images/dihedral-representation.tikz
@@ -1,6 +1,4 @@
 % This picture represents the action of the dihedral group in the real plain
-% 
-% Pablo Emilio Escobar Gaviria (C) 2020
 \begin{tikzpicture}
   % The axis
   \draw[->] (-3,0)--(3,0) node[right]{\(x\)};
diff --git a/.local/share/texmf/tex/latex/images/euclidian-plain.tikz b/.local/share/texmf/tex/latex/images/euclidian-plain.tikz
@@ -1,7 +1,8 @@
 % This picture represents the cartesian plain
-% 
-% Pablo Emilio Escobar Gaviria (C) 2020
 \begin{tikzpicture}
-    \draw (0, 0) node[left]{\(\RR^2\)} -- (2, 0) -- (3, 1) -- (1, 1) -- cycle;
+    \draw (0, 0) node[left]{\(\mathbb{R}^2\)} -- 
+          (2, 0) -- 
+          (3, 1) -- 
+          (1, 1) -- cycle;
 \end{tikzpicture}
 
diff --git a/.local/share/texmf/tex/latex/images/geodesic.tikz b/.local/share/texmf/tex/latex/images/geodesic.tikz
@@ -1,6 +1,4 @@
 % This picture represents the fact that geodesics locally minimize distances
-% 
-% Pablo Emilio Escobar Gaviria (C) 2020
 \begin{tikzpicture}[scale=0.5]
   % The cirference
   \draw (0, 0) circle (3);
diff --git a/.local/share/texmf/tex/latex/images/hiperbolic-plain.tikz b/.local/share/texmf/tex/latex/images/hiperbolic-plain.tikz
@@ -1,6 +1,4 @@
 % This picture represents the hyperbolic plain
-% 
-% Pablo Emilio Escobar Gaviria (C) 2020
 \begin{tikzpicture}
     % The axis
     \draw[dotted, ->] (0,  0) -- (6, 0) node[right]{\(x\)};
diff --git a/.local/share/texmf/tex/latex/images/riemannian-metric.tikz b/.local/share/texmf/tex/latex/images/riemannian-metric.tikz
@@ -1,7 +1,5 @@
 % This picture is a comparison between the euclian distance and the Riemannian 
 % distance in a three-dimensional sphere
-% 
-% Pablo Emilio Escobar Gaviria (C) 2020
 \begin{tikzpicture}
   % The cirference
   \draw (0, 0) circle (3);
diff --git a/.local/share/texmf/tex/latex/images/smooth-function.tikz b/.local/share/texmf/tex/latex/images/smooth-function.tikz
@@ -1,36 +1,25 @@
-% This picture represents the definition of a smooth maps between smooth
-% manifolds
-% 
-% Pablo Emilio Escobar Gaviria (C) 2020
+% This picture represents the definition of a smooth map between manifolds
 \begin{tikzpicture}
-  \def\manifold{
-    \draw  (-1.5, -0.5) to[relative, out=20, in=160] 
-          +(   2,    0) to[relative, out=20, in=160] 
-          +(   1,    1) to[relative, out=-20, in=-160] 
-          +(  -2,    0) to[relative, out=-20, in=-160] cycle;
-  }
-
   % The manifolds
   \begin{scope}[shift={(-2, 0)}]
-    \manifold
+    \path pic {manifold};
     \draw (0.5, -0.5) node[right]{\(M\)};
   \end{scope}
   \begin{scope}[shift={(2, 0)}]
-    \manifold
+    \path pic {manifold};
     \draw (0.5, -0.5) node[right]{\(N\)};
   \end{scope}
 
   % The functions
   \draw[->] (-1,  0.9) to[out=30, in=150] node[above]{\(f\)} (1, 0.9);
   \draw[->] (-1, -1.7) to[out=30, in=150] 
-            node[above]{\(\psi \circ f \circ \varphi^{-1}\)} (1, -1.7);
+  node[above]{\(\psi \circ f \circ \varphi^{-1}\)} (1, -1.7);
   \draw[->] (-2, -0.7) -- node[left]{\(\varphi\)} +(0, -1);
   \draw[->] ( 2, -0.7) -- node[left]{\(\psi\)} +(0, -1);
 
   % The open sets in euclidian space
-  \draw[dotted] (-2, -3) node{\(\varphi(U)\)} ellipse (1 and 0.5);
-  \draw[dotted] ( 2, -3) node{\(\psi(V)\)} ellipse (1 and 0.5);
-  \draw (-3.5, -4) node[left]{\(\RR^m\)} rectangle +(3, 2);
-  \draw ( 0.5, -4) node[left]{\(\RR^n\)} rectangle +(3, 2);
+  \draw[dash dot] (-2, -3) node{\(\varphi(U)\)} ellipse (1 and 0.5);
+  \draw[dash dot] ( 2, -3) node{\(\psi(V)\)} ellipse (1 and 0.5);
+  \draw (-3.5, -4) node[left]{\(\mathbb{R}^m\)} rectangle +(3, 2);
+  \draw ( 0.5, -4) node[left]{\(\mathbb{R}^n\)} rectangle +(3, 2);
 \end{tikzpicture}
-
diff --git a/.local/share/texmf/tex/latex/images/smooth-manifold.tikz b/.local/share/texmf/tex/latex/images/smooth-manifold.tikz
@@ -1,15 +1,12 @@
 % This picture represents the definition of a smooth manifold
-% 
-% Pablo Emilio Escobar Gaviria (C) 2020
 \begin{tikzpicture}
   % The manifold
   \begin{scope}[shift={(-0.5, 0)}]
-    % The contour
-    \draw (-4, 2) node[below]{\(M\)} to[relative, out=20, in=160] 
-          (2, 0) to[relative, out=20, in=160] 
-          (4, 3) to[relative, out=-20, in=-160] cycle;
+    % The frontire
+    \path pic {big-manifold};
+    \draw (-4, 2) node[below]{\(M\)};
 
-    % The open sets of the manifold
+    % The open sets of the manifold and their intersection
     \begin{scope}[shift={(1, 2.2)}]
       \draw (-0.5, 0) ellipse (0.7 and 0.5);
       \draw (-1.2, 0) node[right]{\(U\)};
diff --git a/.local/share/texmf/tex/latex/images/sphere.tikz b/.local/share/texmf/tex/latex/images/sphere.tikz
@@ -1,6 +1,4 @@
 % This picture represents a three-dimentional sphere
-% 
-% Pablo Emilio Escobar Gaviria (C) 2020
 \begin{tikzpicture}[scale=0.4]
     % The cirference
     \draw (0, 0) circle (3);
diff --git a/.local/share/texmf/tex/latex/images/velocity.tikz b/.local/share/texmf/tex/latex/images/velocity.tikz
@@ -1,47 +1,55 @@
 \begin{tikzpicture}[scale=0.7]
   % The manifold
-  \draw[] (-4, 2) node[below]{\(M\)} to[relative, out=20, in=160] 
-          ( 2, 0) to[relative, out=20, in=160] 
-          ( 4, 3) to[relative, out=-20, in=-160] cycle;
+  \draw (-4, 2) node[below]{\(M\)} to[relative, out=20, in=160] 
+        ( 2, 0) to[relative, out=20, in=160] 
+        ( 4, 3) to[relative, out=-20, in=-160] cycle;
 
   % The curve
   \begin{scope}[scale=0.4, shift={(-3, 1.6)}]
-    \draw (7.55860157,0.01017668) to[in=-20, out=160]
-          (6.14948031,3.96764439) to[out=160, in=-40]
-          (4.56234331,3.40876565) to[out=140, in=-40]
-          (5.59037480,5.96236565) to[out=140, in=-10]
-          (2.18838425,2.93330109) to[out=170, in=-30]
-          (1.43769449,5.74579872) to[out=150, in=0]
-          (0.47111811,3.99633101) to[out=180, in=0]
-          (0.00283465,5.29618613);
+    \coordinate (a) at (7.55860157,0.01017668);
+    \coordinate (b) at (6.14948031,3.96764439);
+    \coordinate (c) at (4.56234331,3.40876565);
+    \coordinate (d) at (5.59037480,5.96236565);
+    \coordinate (e) at (2.18838425,2.93330109);
+    \coordinate (f) at (1.43769449,5.74579872);
+    \coordinate (g) at (0.47111811,3.99633101);
+    \coordinate (h) at (0.00283465,5.29618613);
+    
+    \draw (a) to[out=160, in=-20]
+          (b) to[out=160, in=-40]
+          (c) to[out=140, in=-40]
+          (d) to[out=140, in=-10]
+          (e) to[out=170, in=-30]
+          (f) to[out=150, in=0]
+          (g) to[out=180, in=0]
+          (h);
 
-    \filldraw (7.55860157,0.01017668) circle (2.5pt) 
-              (0.00283465,5.29618613) circle (2.5pt);
+    \filldraw (a) circle (2.5pt) (h) circle (2.5pt);
 
     % The tanget vectors
-    \begin{scope}[shift={(7.55860157,0.01017668)}]
-      \draw[->, rotate=160] (0, 0) -- +(1, 0);
+    \begin{scope}[shift={(a)}]
+      \draw[-{Latex[width=2pt, length=2pt]}, rotate=160] (0, 0) -- +(1, 0);
     \end{scope}
-    \begin{scope}[shift={(6.14948031,3.96764439)}]
-      \draw[->, rotate=160] (0, 0) -- +(1, 0);
+    \begin{scope}[shift={(b)}]
+      \draw[-{Latex[width=2pt, length=2pt]}, rotate=160] (0, 0) -- +(1, 0);
     \end{scope}
-    \begin{scope}[shift={(4.56234331,3.40876565)}]
-      \draw[->, rotate=140] (0, 0) -- +(1, 0);
+    \begin{scope}[shift={(c)}]
+      \draw[-{Latex[width=2pt, length=2pt]}, rotate=140] (0, 0) -- +(1, 0);
     \end{scope}
-    \begin{scope}[shift={(5.59037480,5.96236565)}]
-      \draw[->, rotate=140] (0, 0) -- +(1, 0);
+    \begin{scope}[shift={(d)}]
+      \draw[-{Latex[width=2pt, length=2pt]}, rotate=140] (0, 0) -- +(1, 0);
     \end{scope}
-    \begin{scope}[shift={(2.18838425,2.93330109)}]
-      \draw[->, rotate=170] (0, 0) -- +(1, 0);
+    \begin{scope}[shift={(e)}]
+      \draw[-{Latex[width=2pt, length=2pt]}, rotate=170] (0, 0) -- +(1, 0);
     \end{scope}
-    \begin{scope}[shift={(1.43769449,5.74579872)}]
-      \draw[->, rotate=150] (0, 0) -- +(1, 0);
+    \begin{scope}[shift={(f)}]
+      \draw[-{Latex[width=2pt, length=2pt]}, rotate=150] (0, 0) -- +(1, 0);
     \end{scope}
-    \begin{scope}[shift={(0.47111811,3.99633101)}]
-      \draw[->, rotate=180] (0, 0) -- +(1, 0);
+    \begin{scope}[shift={(g)}]
+      \draw[-{Latex[width=2pt, length=2pt]}, rotate=180] (0, 0) -- +(1, 0);
     \end{scope}
-    \begin{scope}[shift={(0.00283465,5.29618613)}]
-      \draw[->, rotate=180] (0, 0) -- +(1, 0);
+    \begin{scope}[shift={(h)}]
+      \draw[-{Latex[width=2pt, length=2pt]}, rotate=180] (0, 0) -- +(1, 0);
     \end{scope}
   \end{scope}
 \end{tikzpicture}
diff --git a/.local/share/texmf/tex/latex/preamble-common.tex b/.local/share/texmf/tex/latex/preamble-common.tex
@@ -61,3 +61,10 @@
 % Empty macro (it's usefull for typesetting Young diagrams)
 \newcommand{\void}{ }
 
+% Tikz command to draw tangent vectors
+\def\drawtangent at #1 with #2;{%
+  \begin{scope}[shift={#1}]
+    \draw[-{Latex[width=2pt, length=2pt]}, rotate=#2] (0, 0) -- +(1, 0);
+  \end{scope}
+}
+
diff --git a/.local/share/texmf/tex/latex/xgeometry.sty b/.local/share/texmf/tex/latex/xgeometry.sty
@@ -1,18 +1,39 @@
 \NeedsTeXFormat{LaTeX2e}[1994/06/01]
-\ProvidesPackage{xgeometry}[2020/09/10 1.0.0 Usefull definitions for differential geometry]
+\ProvidesPackage{xgeometry}[2021/02/09 1.0.0 Usefull definitions for Riemannian
+geometry and Lie groups/algebras]
 
 \RequirePackage{amssymb}  % For the standard sets
-\RequirePackage{amsmath}  % For the \DeclareMathOperator
-%\RequirePackage{mathrsfs} % For \mathscr
-%\RequirePackage{xfrac}    % For \sfrac
+\RequirePackage{amsmath}  % For \DeclareMathOperator
+\RequirePackage{tikz}     % For \tikzset
 
-% Reimannian metric
-\newcommand{\g}{\mathrm{g}}
-
-\DeclareMathOperator{\Hol}{Hol} % Holonomy group
+% Riemannian geometry
+\newcommand{\g}{\mathrm{g}}     % Reimannian metric
 \DeclareMathOperator{\Iso}{Iso} % Isometry group
-\DeclareMathOperator{\GL}{GL}   % General linear group
-\DeclareMathOperator{\SL}{SL}   % Simple linear group
-\newcommand{\Gl}{\mathfrak{gl}} % General linear group
-\newcommand{\Sl}{\mathfrak{sl}} % Simple linear group
+\DeclareMathOperator{\Hol}{Hol} % Holonomy group
+
+% Lie groups and algebras
+\DeclareMathOperator{\GL}{GL}     % General linear group
+\DeclareMathOperator{\SL}{SL}     % Simple linear group
+\DeclareMathOperator{\SO}{SO}     % Simple orthogonal group
+\DeclareMathOperator{\Sp}{Sp}     % Sympletic group
+\newcommand{\gl}{\mathfrak{gl}}   % Lie algebra of \GL
+\renewcommand{\sl}{\mathfrak{sl}} % Lie algebra of \SL
+\newcommand{\so}{\mathfrak{sl}}   % Lie algebra of \SO
+\renewcommand{\sp}{\mathfrak{sp}} % Lie algebra of \Sp
 
+% Tikz pictures
+\tikzset{
+  manifold/.pic = {
+    \draw  (-1.5, -0.5) to[relative, out=20,  in=160] 
+          +(   2,    0) to[relative, out=20,  in=160] 
+          +(   1,    1) to[relative, out=-20, in=-160] 
+          +(  -2,    0) to[relative, out=-20, in=-160] 
+           cycle;
+  },
+  big-manifold/.pic = {
+    \draw (-4, 2) to[relative, out=20, in=160] 
+          ( 2, 0) to[relative, out=20, in=160] 
+          ( 4, 3) to[relative, out=-20, in=-160] 
+          cycle;
+  }
+}