summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2019-11-27 22:03:57 +0000
committerKarl Berry <karl@freefriends.org>2019-11-27 22:03:57 +0000
commit6013290e476411dc798be8556cad840e6dbe2334 (patch)
tree12c6e84e6ff02de92e203c9c1924b31ef0f5e7e3
parentf039c2f2aca2bc74492e236124e24870749a8bc2 (diff)
dynkin-diagrams (27nov19)
git-svn-id: svn://tug.org/texlive/trunk@52943 c570f23f-e606-0410-a88d-b1316a301751
-rw-r--r--Master/texmf-dist/doc/latex/dynkin-diagrams/README10
-rw-r--r--Master/texmf-dist/doc/latex/dynkin-diagrams/dynkin-diagrams.pdfbin0 -> 735799 bytes
-rw-r--r--Master/texmf-dist/doc/latex/dynkin-diagrams/dynkin-diagrams.tex19
-rw-r--r--Master/texmf-dist/tex/latex/dynkin-diagrams/dynkin-diagrams.sty69
4 files changed, 71 insertions, 27 deletions
diff --git a/Master/texmf-dist/doc/latex/dynkin-diagrams/README b/Master/texmf-dist/doc/latex/dynkin-diagrams/README
index 94427be9e29..d5d25bbb48f 100644
--- a/Master/texmf-dist/doc/latex/dynkin-diagrams/README
+++ b/Master/texmf-dist/doc/latex/dynkin-diagrams/README
@@ -2,9 +2,9 @@ ___________________________________
Dynkin diagrams
- v3.1415926
+ v3.14159265
- 25 November 2019
+ 26 November 2019
___________________________________
Authors : Ben McKay
@@ -15,10 +15,8 @@ Licence : Released under the LaTeX Project Public License v1.3c or
----------------------------------------------------------------------
-Draws Dynkin di­a­grams in LaTeX doc­u­ments, us­ing the TikZ pack­age.
-Version 3.1415926 fixes problems with
-(1) horizontal alignment of labels of varying heights,
-(2) text styles being ignored.
+Draws Dynkin Coxeter, and Satake diagrams in LaTeX doc­u­ments, us­ing the TikZ pack­age.
+Version 3.14159265 fixes problems with text styles being ignored in Coxeter diagrams.
diff --git a/Master/texmf-dist/doc/latex/dynkin-diagrams/dynkin-diagrams.pdf b/Master/texmf-dist/doc/latex/dynkin-diagrams/dynkin-diagrams.pdf
new file mode 100644
index 00000000000..f329e22aa58
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/dynkin-diagrams/dynkin-diagrams.pdf
Binary files differ
diff --git a/Master/texmf-dist/doc/latex/dynkin-diagrams/dynkin-diagrams.tex b/Master/texmf-dist/doc/latex/dynkin-diagrams/dynkin-diagrams.tex
index b11488ffdd8..5685bbe4a50 100644
--- a/Master/texmf-dist/doc/latex/dynkin-diagrams/dynkin-diagrams.tex
+++ b/Master/texmf-dist/doc/latex/dynkin-diagrams/dynkin-diagrams.tex
@@ -1,6 +1,6 @@
\documentclass{amsart}
-\title{The Dynkin diagrams package \\ Version 3.1415926}
+\title{The Dynkin diagrams package \\ Version 3.14159265}
\makeatletter
\DeclareRobustCommand{\scotsMc}{\scotsMcx{c}}
@@ -20,7 +20,7 @@
\author{Ben \scotsMc{}Kay}
\address{School of Mathematical Sciences, University College Cork, Cork, Ireland}
\email{b.mckay@ucc.ie}
-\date{25 November 2019}
+\date{26 November 2019}
\usepackage{etex}
\usepackage[T1]{fontenc}
@@ -262,6 +262,7 @@ You can also pass options to the package in \verb!\usepackage!.
\end{dynkinTable}
+\newpage
\section{Satake diagrams}\label{section:Satake}
\begin{tcblisting}{title={Satake diagrams use the standard name instead of a rank}}
@@ -310,6 +311,8 @@ We use a solid gray bar to denote the folding of a Dynkin diagram, rather than t
\end{dynkinDiagram}
\end{tcblisting}
+\newpage
+
\begin{tcblisting}{title={The double arrows for \(A_{IIIa}\) are big}}
\newcommand{\invol}[2]{\draw[latex-latex] (root #1) to
[out=-60,in=-120] node[midway,below]{$\sigma$} (root #2);}
@@ -329,6 +332,8 @@ shorten <=1mm,shorten >=1mm,}}
\end{dynkinDiagram}
\end{tcblisting}
+\newpage
+
\begin{tcblisting}{title={\dots but you could try springs pulling roots together}}
\tikzset{/Dynkin diagram/fold style/.style=
{decorate,decoration={name=coil,aspect=0.5,
@@ -372,6 +377,7 @@ segment length=1mm,amplitude=.6mm}}}
\node[below] at (root 2) {\(\alpha_{\mathrlap{2}}\)};
\end{dynkinDiagram}
\end{tcblisting}
+\newpage
\begin{tcblisting}{title={Commands to label several roots}}
\begin{dynkinDiagram}{A}{7}
\dynkinLabelRoots{,\alpha_2,\alpha_3,\alpha_4,\alpha_5,,\alpha_7}
@@ -390,6 +396,7 @@ label macro*/.code={\gamma_{\mathrlap{#1}}},
labels={,2,...,5,,7},
labels*={1,3,4,5,6}]{A}{7}
\end{tcblisting}
+\newpage
\begin{tcblisting}{title={Commands to label several roots}}
\begin{dynkinDiagram}{A}{7}
\dynkinLabelRoots{,\alpha_2,\alpha_3,\alpha_4,\alpha_5,,\alpha_7}
@@ -405,7 +412,7 @@ Note the slight improvement that \verb!\mathrlap! makes: the labels are centered
\dynkin[label,label macro/.code={\alpha_{\mathrlap{#1}}},edge length=.75cm]{D}{15}
\end{tcblisting}
-
+\newpage
\section{Height and depth of labels}
Labels are set with default maximum height the height of the character \(b\), and default maximum depth the depth of the character \(g\).
To change these, set \verb!label height! and \verb!label depth!:
@@ -541,6 +548,7 @@ label macro/.code={\mathbb{A}_{\mathrlap{#1}}}]{A}{}
\begin{tcblisting}{title={Edge lengths}}
The Dynkin diagram of \(A_3\) is \dynkin[edge length=1.2,parabolic=3]{A}{3}
\end{tcblisting}
+\newpage
\begin{tcblisting}{title={Root marks}}
\dynkin{E}{8}
\dynkin[mark=*]{E}{8}
@@ -611,7 +619,6 @@ The parabolic subgroup \(E_{8,124}\) is \dynkin[parabolic=124,x/.style={brown,ve
\section{Drawing on top of a Dynkin diagram}
-
\begin{tcblisting}{title={TikZ can access the roots themselves}}
\begin{dynkinDiagram}{A}{4}
\fill[white,draw=black] (root 2) circle (.15cm);
@@ -619,6 +626,7 @@ The parabolic subgroup \(E_{8,124}\) is \dynkin[parabolic=124,x/.style={brown,ve
\draw[black] (root 2) circle (.05cm);
\end{dynkinDiagram}
\end{tcblisting}
+\newpage
\begin{tcblisting}{title={Draw curves between the roots}}
\begin{dynkinDiagram}[label]{E}{8}
\draw[very thick, black!50,-latex]
@@ -814,7 +822,7 @@ D_4 &
-
+\newpage
\section{Parabolic subgroups}
Each set of roots is assigned a number, with each binary digit zero or one to say whether the corresponding root is crossed or not:
@@ -992,6 +1000,7 @@ We include a style called \verb!Kac! which tries to imitate the style of \cite{K
\dyn[extended]{F}{4}
\dyn[extended]{G}{2}
\end{dynkinTable}
+\newpage
\begin{dynkinTable}{The Dynkin diagrams of the twisted simple root systems in Kac style}{6cm}{4.5cm}
\dyn{A}[2]{2}
\dyn{A}[2]{even}
diff --git a/Master/texmf-dist/tex/latex/dynkin-diagrams/dynkin-diagrams.sty b/Master/texmf-dist/tex/latex/dynkin-diagrams/dynkin-diagrams.sty
index e644e6251ec..805b8257608 100644
--- a/Master/texmf-dist/tex/latex/dynkin-diagrams/dynkin-diagrams.sty
+++ b/Master/texmf-dist/tex/latex/dynkin-diagrams/dynkin-diagrams.sty
@@ -2,7 +2,7 @@
%
% The Dynkin Diagrams package.
%
-% Version 3.1415926
+% Version 3.14159265
%
%
% This package draws Dynkin diagrams in LaTeX documents, using the TikZ package.
@@ -2376,14 +2376,11 @@ decoration=
\global\dynkin@Satake@diagramfalse%
\ifdynkin@Coxeter%
\gdef\dynkin@string{ddd.ddd}%
-% \gdef\dynkin@string{***.***}%
\else%
\ifdynkin@is@extended%
\gdef\dynkin@string{ddd.ddd}%
-% \gdef\dynkin@string{***.***}%
\else%
\gdef\dynkin@string{dd.ddd}%
-% \gdef\dynkin@string{**.***}%
\fi%
\fi%
}%
@@ -2400,10 +2397,8 @@ decoration=
\global\dynkin@Satake@diagramfalse%
\ifdynkin@Coxeter%
\gdef\dynkin@string{ddd.ddd}%
-% \gdef\dynkin@string{***.***}%
\else%
\gdef\dynkin@string{dd.ddd}%
-% \gdef\dynkin@string{**.***}%
\fi%
}%
{I}{\gdef\dynkin@string{oo.oo}}%
@@ -3238,9 +3233,15 @@ decoration=
\ifdynkin@Coxeter
\Adynkin
\convertRootPair{\the\drmo}{\the\dynkin@rank}
- \node[/Dynkin diagram/text style,above]
+ \node[inner sep=\dynkin@root@radius,%
+ label={%
+ [/Dynkin diagram/text style]%
+ above:
+ \(\pgfkeys{/Dynkin diagram/label macro*=4}\)%
+ }%
+ ]
at ($.5*(\dynkin@root@name \the\@fromRoot)+.5*(\dynkin@root@name \the\@toRoot)$)
- {\(4\)};
+ {};
\else
% Create the roots.
\ifnum\dynkin@ply>1%
@@ -3714,9 +3715,15 @@ decoration=
\dynkinEdge*{SingleEdge}{2}{3}
\dynkinEdge*{SingleEdge}{3}{4}
\convertRootPair{2}{3}
- \node[/Dynkin diagram/text style,above]
+ \node[inner sep=\dynkin@root@radius,%
+ label={%
+ [/Dynkin diagram/text style]%
+ above:
+ \(\pgfkeys{/Dynkin diagram/label macro*=4}\)%
+ }%
+ ]
at ($.5*(\dynkin@root@name \the\@fromRoot)+.5*(\dynkin@root@name \the\@toRoot)$)
- {\(4\)};
+ {};
\else
\dynkinEdge*{SingleEdge}{1}{2}
\dynkinEdge*{SingleEdge}{3}{4}
@@ -3753,7 +3760,15 @@ decoration=
{%
\Adynkin%
\convertRootPair{1}{2}%
- \node[/Dynkin diagram/text style,above] at ($.5*(\dynkin@root@name \the\@fromRoot)+.5*(\dynkin@root@name \the\@toRoot)$) {\(5\)};%
+ \node[inner sep=\dynkin@root@radius,%
+ label={%
+ [/Dynkin diagram/text style]%
+ above:
+ \(\pgfkeys{/Dynkin diagram/label macro*=5}\)%
+ }%
+ ]
+ at ($.5*(\dynkin@root@name \the\@fromRoot)+.5*(\dynkin@root@name \the\@toRoot)$)
+ {};
}%
%% \Idynkin
@@ -3765,7 +3780,15 @@ decoration=
\dynkin@rank=2%
\Adynkin%
\convertRootPair{1}{2}%
- \node[/Dynkin diagram/text style,above] at ($.5*(\dynkin@root@name \the\@fromRoot)+.5*(\dynkin@root@name \the\@toRoot)$) {\(\dynkin@gonality\)};%
+ \node[inner sep=\dynkin@root@radius,%
+ label={%
+ [/Dynkin diagram/text style]%
+ above:
+ \(\pgfkeys{/Dynkin diagram/label macro*=\dynkin@gonality}\)%
+ }%
+ ]
+ at ($.5*(\dynkin@root@name \the\@fromRoot)+.5*(\dynkin@root@name \the\@toRoot)$)
+ {};
}%
%% \extendedAdynkin
@@ -3888,8 +3911,15 @@ decoration=
\ifdynkin@Coxeter%
\dynkinEdge*{SingleEdge}{\the\drmo}{\the\dynkin@rank}%
\convertRootPair{\the\drmo}{\the\dynkin@rank}
- \node[/Dynkin diagram/text style,above] at
- ($.5*(\dynkin@root@name \the\@fromRoot)+.5*(\dynkin@root@name \the\@toRoot)$) {\(4\)};
+ \node[inner sep=\dynkin@root@radius,%
+ label={%
+ [/Dynkin diagram/text style]%
+ above:
+ \(\pgfkeys{/Dynkin diagram/label macro*=4}\)%
+ }%
+ ]
+ at ($.5*(\dynkin@root@name \the\@fromRoot)+.5*(\dynkin@root@name \the\@toRoot)$)
+ {};
\else%
\ifnum\dynkin@ply<3%
\dynkinEdge*{DoubleEdge}{\the\drmo}{\the\dynkin@rank}%
@@ -3912,8 +3942,15 @@ decoration=
\ifdynkin@Coxeter%
\dynkinEdge*{SingleEdge}{0}{1}%
\convertRootPair{0}{1}
- \node[/Dynkin diagram/text style,above] at
- ($.5*(\dynkin@root@name \the\@fromRoot)+.5*(\dynkin@root@name \the\@toRoot)$) {\(4\)};
+ \node[inner sep=\dynkin@root@radius,%
+ label={%
+ [/Dynkin diagram/text style]%
+ above:
+ \(\pgfkeys{/Dynkin diagram/label macro*=4}\)%
+ }%
+ ]
+ at ($.5*(\dynkin@root@name \the\@fromRoot)+.5*(\dynkin@root@name \the\@toRoot)$)
+ {};
\else%
\dynkinEdge*{DoubleEdge}{0}{1}%
\fi%