summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/latex/dynkin-diagrams
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2018-12-11 22:20:01 +0000
committerKarl Berry <karl@freefriends.org>2018-12-11 22:20:01 +0000
commit510e3a373930edbe94719766db11184cdb43946b (patch)
treeeac4153a6961b127e7bdea151626433709e6a179 /Master/texmf-dist/doc/latex/dynkin-diagrams
parentb235a62b87d72de3358674b4264d21726d7a2a9e (diff)
dynkin-diagrams (11dec18)
git-svn-id: svn://tug.org/texlive/trunk@49384 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/doc/latex/dynkin-diagrams')
-rw-r--r--Master/texmf-dist/doc/latex/dynkin-diagrams/README9
-rw-r--r--Master/texmf-dist/doc/latex/dynkin-diagrams/dynkin-diagrams.bib35
-rw-r--r--Master/texmf-dist/doc/latex/dynkin-diagrams/dynkin-diagrams.pdfbin615986 -> 726843 bytes
-rw-r--r--Master/texmf-dist/doc/latex/dynkin-diagrams/dynkin-diagrams.tex792
4 files changed, 536 insertions, 300 deletions
diff --git a/Master/texmf-dist/doc/latex/dynkin-diagrams/README b/Master/texmf-dist/doc/latex/dynkin-diagrams/README
index aec363034d8..c7eddc99ce4 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.14
+ v3.141
- 24 July 2018
+ 11 December 2018
___________________________________
Authors : Ben McKay
@@ -15,5 +15,6 @@ Licence : Released under the LaTeX Project Public License v1.3c or
----------------------------------------------------------------------
-Draws Dynkin, Coxeter and Satake di­a­grams in LaTeX doc­u­ments, us­ing the TikZ pack­age.
-Version 3.14 simplifies drawing braces under several nodes.
+Draws Dynkin di­a­grams in LaTeX doc­u­ments, us­ing the TikZ pack­age.
+Version 3.141 allows lists of labels and lists of alternate labels (using TikZ for loop notation), improves the vertical alignment when Dynkin diagrams appear in text, provides backwards and upside down options, improves the alignment of text labels around the roots of a Dynkin diagram, and makes the Kac style look more like the style in Kac's book.
+
diff --git a/Master/texmf-dist/doc/latex/dynkin-diagrams/dynkin-diagrams.bib b/Master/texmf-dist/doc/latex/dynkin-diagrams/dynkin-diagrams.bib
index 7c3d1e98f82..949fd7f9189 100644
--- a/Master/texmf-dist/doc/latex/dynkin-diagrams/dynkin-diagrams.bib
+++ b/Master/texmf-dist/doc/latex/dynkin-diagrams/dynkin-diagrams.bib
@@ -1,5 +1,4 @@
-% This file was created with JabRef 2.10.
-% Encoding: ISO8859_1
+% Encoding: ISO-8859-1
@Book{Adams:1996,
@@ -272,6 +271,20 @@
Url = {https://doi.org/10.1143/PTP.95.503}
}
+@book {Langlands:1967,
+ AUTHOR = {Langlands, Robert P.},
+ TITLE = {Euler products},
+ NOTE = {A James K. Whittemore Lecture in Mathematics given at Yale
+ University, 1967,
+ Yale Mathematical Monographs, 1},
+ PUBLISHER = {Yale University Press, New Haven, Conn.-London},
+ YEAR = {1971},
+ PAGES = {v+53},
+ MRCLASS = {10D20 (22E55)},
+ MRNUMBER = {0419366},
+MRREVIEWER = {Stephen Gelbart},
+}
+
@Book{OnishchikVinberg:1990,
Title = {Lie groups and algebraic groups},
Author = {Onishchik, A. L. and Vinberg, {\`E}. B.},
@@ -432,3 +445,21 @@
Url = {https://doi.org/10.1007/978-3-662-03066-0}
}
+@Book{Fulton.Harris:1991,
+ title = {Representation theory},
+ publisher = {Springer-Verlag, New York},
+ year = {1991},
+ author = {Fulton, William and Harris, Joe},
+ volume = {129},
+ series = {Graduate Texts in Mathematics},
+ isbn = {0-387-97527-6; 0-387-97495-4},
+ note = {A first course, Readings in Mathematics},
+ doi = {10.1007/978-1-4612-0979-9},
+ mrclass = {20G05 (17B10 20G20 22E46)},
+ mrnumber = {1153249},
+ mrreviewer = {James E. Humphreys},
+ pages = {xvi+551},
+ url = {https://doi.org/10.1007/978-1-4612-0979-9},
+}
+
+@Comment{jabref-meta: databaseType:bibtex;}
diff --git a/Master/texmf-dist/doc/latex/dynkin-diagrams/dynkin-diagrams.pdf b/Master/texmf-dist/doc/latex/dynkin-diagrams/dynkin-diagrams.pdf
index db65efc4e9f..5e9a51052cb 100644
--- a/Master/texmf-dist/doc/latex/dynkin-diagrams/dynkin-diagrams.pdf
+++ 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 b4978b6034b..b0206a9147e 100644
--- a/Master/texmf-dist/doc/latex/dynkin-diagrams/dynkin-diagrams.tex
+++ b/Master/texmf-dist/doc/latex/dynkin-diagrams/dynkin-diagrams.tex
@@ -1,8 +1,26 @@
\documentclass{amsart}
-\title{The Dynkin diagrams package \\ Version 3.14}
-\author{Ben McKay}
-\date{24 July 2018}
+\title{The Dynkin diagrams package \\ Version 3.141}
+
+\makeatletter
+\DeclareRobustCommand{\scotsMc}{\scotsMcx{c}}
+\DeclareRobustCommand{\scotsMC}{\scotsMcx{\textsc{c}}}
+\DeclareRobustCommand{\scotsMcx}[1]{%
+ M%
+ \raisebox{\dimexpr\fontcharht\font`M-\height}{%
+ \check@mathfonts\fontsize{\sf@size}{0}\selectfont
+ \kern.3ex\underline{\kern-.3ex #1\kern-.3ex}\kern.3ex
+ }%
+}
+\expandafter\def\expandafter\@uclclist\expandafter{%
+ \@uclclist\scotsMc\scotsMC
+}
+\makeatother
+
+\author{Ben \scotsMc{}Kay}
+\address{School of Mathematical Sciences, University College Cork, Cork, Ireland}
+\email{b.mckay@ucc.ie}
+\date{11 December 2018}
\usepackage{etex}
\usepackage[T1]{fontenc}
@@ -34,6 +52,7 @@
\newcommand{\TikZ}{Ti\textit{k}Z\xspace}
\usepackage{filecontents}
\usetikzlibrary{decorations.markings}
+\usetikzlibrary{decorations.pathmorphing}
\arrayrulecolor{white}
\makeatletter
\def\rulecolor#1#{\CT@arc{#1}}
@@ -51,9 +70,11 @@
\NewDocumentCommand\wdtE{}{6cm}
\NewDocumentCommand\wdtL{}{3cm}
\newcolumntype{A}{@{}>{\columncolor[gray]{.9}$}m{\wdtA}<{$}}
+\newcolumntype{B}{@{}>{\columncolor[gray]{.9}}m{\wdtA}}
\newcolumntype{D}{>{\columncolor[gray]{.9}}m{\wdtD}}
\newcolumntype{E}{>{\columncolor[gray]{.9}}m{\wdtE}}
\newcolumntype{L}{>{\columncolor[gray]{.9}}p{\wdtL}}
+\newcolumntype{M}{>{\columncolor[gray]{.9}}l}
\newcolumntype{P}{>{\columncolor[gray]{.9}}p{10cm}}
\NewDocumentCommand\textleftcurly{}{\texttt{\char'173}}%
\NewDocumentCommand\textrightcurly{}{\texttt{\char'175}}%
@@ -87,7 +108,7 @@
{%
\RenewDocumentCommand\wdtD{}{#2}
\RenewDocumentCommand\wdtL{}{#3}
-\begin{longtable}{ADL}
+\begin{longtable}{ADM}
\caption{#1}\\
\endfirsthead
\caption{\dots continued}\\
@@ -140,8 +161,8 @@ before upper={\widowpenalties=3 10000 10000 150}}
\setlength{\arrayrulewidth}{1.5pt}
-
\section{Quick introduction}
+See section~\ref{section:changes} for the latest changes to earlier versions.
\begin{tcolorbox}[title={Load the Dynkin diagram package (see options below)}]
\begin{verbatim}
\documentclass{amsart}
@@ -156,12 +177,20 @@ The Dynkin diagram of \(B_3\) is \dynkin{B}{3}.
\end{tcblisting}
\begin{tcblisting}{title={Inside a \TikZ statement}}
The Dynkin diagram of \(B_3\) is
-\tikz[baseline=-0.5ex] \dynkin{B}{3};
+\tikz \dynkin{B}{3};
\end{tcblisting}
-\begin{tcblisting}{title={Inside a \TikZ environment}}
+\begin{tcblisting}{title={Inside a Dynkin diagram environment}}
The Dynkin diagram of \(B_3\) is
-\begin{tikzpicture}[baseline=-0.5ex]
- \dynkin{B}{3}
+\begin{dynkinDiagram}{B}{3}
+\draw[very thick,red] (root 1) to [out=-45, in=-135] (root 3);
+\end{dynkinDiagram}
+\end{tcblisting}
+\begin{tcblisting}{title={Inside a \TikZ environment}}
+The baseline controls the vertical alignment:
+the Dynkin diagram of \(B_3\) is
+\begin{tikzpicture}[baseline=(origin.base)]
+\dynkin{B}{3}
+\draw[very thick,red] (root 1) to [out=-45, in=-135] (root 3);
\end{tikzpicture}
\end{tcblisting}
\begin{tcblisting}{title={Indefinite rank Dynkin diagrams}}
@@ -184,16 +213,16 @@ The Dynkin diagram of \(B_3\) is
\begin{tcolorbox}[title={Most options set globally \dots}]
\begin{verbatim}
-\pgfkeys{/Dynkin diagram,edgeLength=.5cm,foldradius=.5cm}
+\pgfkeys{/Dynkin diagram,edge length=.5cm,fold radius=.5cm}
\end{verbatim}
\end{tcolorbox}
-\begin{tcolorbox}[title={\dots or pass to the package}]
+\begin{tcolorbox}[title={\dots or pass global options to the package}]
\begin{verbatim}
\usepackage[
ordering=Kac,
edge/.style=blue,
mark=o,
- radius=.06cm]
+ root radius=.06cm]
{dynkin-diagrams}
\end{verbatim}
\end{tcolorbox}
@@ -263,76 +292,205 @@ We use a solid gray bar to denote the folding of a Dynkin diagram, rather than t
\dyn{G}{I}
\end{dynkinTable}
-\section{Labels for the roots}
+\begin{tcblisting}{title={If you don't like the solid gray ``folding bar'', most people use arrows. Here is \(E_{II}\)}}
+\newcommand{\invol}[2]{\draw[latex-latex] (root #1) to
+[out=-60,in=-120] node[midway,below]{$\sigma$} (root #2);}
+\begin{dynkinDiagram}[edge length=.75cm,labels*={1,...,6}]{E}{6}
+\invol{1}{6}\invol{3}{5}
+\end{dynkinDiagram}
+\end{tcblisting}
-\begin{tcblisting}{title={Label the roots by root number}}
-\dynkin[label]{B}{3}
+\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);}
+\begin{dynkinDiagram}[edge length=.75cm]{A}{oo.o**.**o.oo}
+\invol{1}{10}\invol{2}{9}\invol{3}{8}\invol{4}{7}\invol{5}{6}
+\end{dynkinDiagram}
\end{tcblisting}
+
+\begin{tcblisting}{title={If you don't like the solid gray ``folding bar'', most people use arrows \dots}}
+\tikzset{/Dynkin diagram/fold style/.style={stealth-stealth,thick,
+shorten <=1mm,shorten >=1mm,}}
+\dynkin[ply=3,edge length=.75cm]{D}{4}
+\begin{dynkinDiagram}[ply=4]{D}[1]%
+{****.*****.*****}
+ \dynkinFold{1}{13}
+ \dynkinFold[bend right=65]{0}{14}
+\end{dynkinDiagram}
+\end{tcblisting}
+
+\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,
+segment length=1mm,amplitude=.6mm}}}
+\dynkin[ply=3,edge length=.75cm]{D}{4}
+\begin{dynkinDiagram}[ply=4]{D}[1]%
+{****.*****.*****}
+ \dynkinFold{1}{13}
+ \dynkinFold[bend right=65]{0}{14}
+\end{dynkinDiagram}
+\end{tcblisting}
+
+
+\section{Labels for the roots}
+
\begin{tcblisting}{title={Make a macro to assign labels to roots}}
-\dynkin[label,labelMacro/.code={\alpha_{#1}}]{D}{5}
+\dynkin[label,label macro/.code={\alpha_{#1}},edge length=.75cm]{D}{5}
+\end{tcblisting}
+\begin{tcblisting}{title={Labelling several roots}}
+\dynkin[labels={,2,...,5,,7},label macro/.code={\alpha_{#1}}]{A}{7}
+\end{tcblisting}
+\begin{tcblisting}{title={The \texttt{foreach} notation I}}
+\dynkin[labels={1,3,...,7},]{A}{9}
+\end{tcblisting}
+\begin{tcblisting}{title={The \texttt{foreach} notation II}}
+\dynkin[labels={,\alpha_2,\alpha_...,\alpha_7},]{A}{7}
+\end{tcblisting}
+\begin{tcblisting}{title={The \texttt{foreach} notation III}}
+\dynkin[label macro/.code={\beta_{#1}},labels={,2,...,7},]{A}{7}
+\end{tcblisting}
+\begin{tcblisting}{title={Label the roots individually by root number}}
+\dynkin[label]{B}{3}
\end{tcblisting}
\begin{tcblisting}{title={Label a single root}}
-\begin{tikzpicture}
- \dynkin{B}{3}
- \dynkinLabelRoot{2}{\alpha_2}
-\end{tikzpicture}
+\begin{dynkinDiagram}{B}{3}
+\dynkinLabelRoot{2}{\alpha_2}
+\end{dynkinDiagram}
\end{tcblisting}
\begin{tcblisting}{title={Use a text style}}
-\begin{tikzpicture}
- \dynkin[text/.style={scale=1.2}]{B}{3};
- \dynkinLabelRoot{2}{\alpha_2}
-\end{tikzpicture}
+\begin{dynkinDiagram}[text/.style={scale=1.2}]{B}{3};
+\dynkinLabelRoot{2}{\alpha_2}
+\end{dynkinDiagram}
\end{tcblisting}
\begin{tcblisting}{title={Access root labels via TikZ}}
-\begin{tikzpicture}
- \dynkin{B}{3};
- \node[below] at (root 2) {\(\alpha_2\)};
-\end{tikzpicture}
+\begin{dynkinDiagram}{B}{3}
+\node[below] at (root 2) {\(\alpha_2\)};
+\end{dynkinDiagram}
\end{tcblisting}
-\begin{tcblisting}{title={The labels have default locations}}
-\begin{tikzpicture}
- \dynkin{E}{8};
- \dynkinLabelRoot{1}{\alpha_1}
- \dynkinLabelRoot{2}{\alpha_2}
- \dynkinLabelRoot{3}{\alpha_3}
-\end{tikzpicture}
+\begin{tcblisting}{title={Commands to label several roots}}
+\begin{dynkinDiagram}{A}{7}
+\dynkinLabelRoots{,\alpha_2,\alpha_3,\alpha_4,\alpha_5,,\alpha_7}
+\end{dynkinDiagram}
\end{tcblisting}
-\begin{tcblisting}{title={The starred form flips labels to alternate locations}}
-\begin{tikzpicture}
- \dynkin{E}{8};
- \dynkinLabelRoot*{1}{\alpha_1}
- \dynkinLabelRoot*{2}{\alpha_2}
- \dynkinLabelRoot*{3}{\alpha_3}
-\end{tikzpicture}
+\begin{tcblisting}{title={The labels have default locations, mostly below roots}}
+\dynkin[edge length=.75cm,labels={1,2,3}]{E}{8}
+\end{tcblisting}
+\begin{tcblisting}{title={The starred form flips labels to alternate locations, mostly above roots}}
+\dynkin[edge length=.75cm,labels*={1,2,3}]{E}{8}
+\end{tcblisting}
+\begin{tcblisting}{title={Labelling several roots and alternates}}
+\dynkin[%
+label macro/.code={\alpha_{#1}},
+label macro*/.code={\gamma_{#1}},
+labels={,2,...,5,,7},
+labels*={1,3,4,5,6}]{A}{7}
+\end{tcblisting}
+\begin{tcblisting}{title={Commands to label several roots}}
+\begin{dynkinDiagram}{A}{7}
+\dynkinLabelRoots{,\alpha_2,\alpha_3,\alpha_4,\alpha_5,,\alpha_7}
+\dynkinLabelRoots*{a,b,c,d,e,f,g}
+\end{dynkinDiagram}
\end{tcblisting}
-\begin{tcblisting}{title={Labelling several roots}}
-\begin{tikzpicture}
-\dynkin{A}{*.*x*.*}
+
+\section{Bracing roots}
+\begin{tcblisting}{title={Bracing roots}}
+\begin{dynkinDiagram}{A}{*.*x*.*}
\dynkinBrace[p]{1}{2}
\dynkinBrace[q]{4}{5}
-\end{tikzpicture}
+\end{dynkinDiagram}
\end{tcblisting}
-
-\begin{tcblisting}{title={Labelling several roots, and a starred form}}
-\begin{tikzpicture}
-\dynkin{A}{10}
+\begin{tcblisting}{title={Bracing roots, and a starred form}}
+\begin{dynkinDiagram}{A}{10}
\dynkinBrace[\text{Roots 2 to 9}]{2}{9}
\dynkinBrace*[\text{Roots 3 to 8}]{3}{8}
-\end{tikzpicture}
-\end{tcblisting}
-
+\end{dynkinDiagram}
+\end{tcblisting}
+\begin{tcblisting}{title={Bracing roots}}
+\newcommand\circleRoot[1]{\draw (root #1) circle (3pt);}
+\begin{dynkinDiagram}{A}{**.***.***.***.***.**}
+\circleRoot{4}\circleRoot{7}\circleRoot{10}\circleRoot{13}
+\dynkinBrace[y-1]{1}{3}
+\dynkinBrace[z-1]{5}{6}
+\dynkinBrace[t-1]{11}{12}
+\dynkinBrace[x-1]{14}{16}
+\end{dynkinDiagram}
+\end{tcblisting}
+
+\begin{filecontents*}{EulerProducts.tex}
+\tikzset{/Dynkin diagram,ordering=Dynkin,label macro/.code={\alpha_{#1}}}
+\newcounter{EPNo}
+\setcounter{EPNo}{0}
+\NewDocumentCommand\EP{smmmm}%
+{%
+\stepcounter{EPNo}\roman{EPNo}. &
+\def\eL{.6cm}
+\IfStrEqCase{#2}%
+{%
+{D}{\gdef\eL{1cm}}%
+{E}{\gdef\eL{.75cm}}%
+{F}{\gdef\eL{.35cm}}%
+{G}{\gdef\eL{.35cm}}%
+}%
+\tikzset{/Dynkin diagram,edge length=\eL}
+\IfBooleanTF{#1}%
+{\dynkin[backwards,labels*={#4},labels={#5}]{#2}{#3}}
+{\dynkin[labels*={#4},labels={#5}]{#2}{#3}}
+\\
+}%
+\begin{longtable}{MM}
+\caption{Dynkin diagrams from Euler products \cite{Langlands:1967}}\\
+\endfirsthead
+\caption{\dots continued}\\
+\endhead
+\multicolumn{2}{c}{continued \dots}\\
+\endfoot
+\endlastfoot
+\EP{A}{***.**}{1,1,1,1,1}{,1,2,n-1,n}
+\EP{A}{***.**}{1,1,1,1,1}{1,2,n-1,n}
+\EP{A}{**.***.*}{1,1,1,1,1,1}{1,2,m-1,,m,n}
+\EP{B}{**.***}{2,2,2,2,1}{1,2,n-1,n}
+\EP*{B}{***.**}{2,2,2,2,1}{n,n-1,2,1,}
+\EP{C}{**.***}{1,1,1,1,2}{1,2,n-1,}
+\EP*{C}{***.**}{1,1,1,1,2}{n,n-1,2,1,}
+\EP{D}{**.****}{1,1,1,1,1,1}{1,2,n-2,n-1,n}
+\EP{D}{**.****}{1,1,1,1,1,1}{1,2,n-2,n-1,n}
+\EP{E}{6}{1,1,1,1,1,1}{1,...,5}
+\EP*{E}{7}{1,1,1,1,1,1,1}{6,...,1}
+\EP{E}{7}{1,1,1,1,1,1,1}{1,...,6}
+\EP*{E}{8}{1,1,1,1,1,1,1,1}{7,...,1}
+\EP{E}{8}{1,1,1,1,1,1,1,1}{1,...,7}
+\EP{G}{2}{1,3}{,1}
+\EP{G}{2}{1,3}{1}
+\EP{B}{**.*.**}{2,2,2,2,1}{,1,2,n-1,n}
+\EP{F}{4}{1,1,2,2}{,3,2,1}
+\EP{C}{3}{1,1,2}{,2,1}
+\EP{C}{**.***}{1,1,1,1,2}{,1,n-2,n-1,n}
+\EP*{B}{3}{2,2,1}{1,2}
+\EP{F}{4}{1,1,2,2}{1,2,3}
+\EP{D}{**.****}{1,1,1,1,1,1}{1,2,n-2,n-2,n,n}
+\EP{E}{6}{1,1,1,1,1,1}{1,2,3,4,,5}
+\EP{E}{6}{1,1,1,1,1,1}{1,2,3,5,,4}
+\EP*{E}{7}{1,1,1,1,1,1,1}{,5,...,1,6}
+\EP*{E}{7}{1,1,1,1,1,1,1}{,6,4,3,2,1,5}
+\EP*{E}{8}{1,1,1,1,1,1,1,1}{,6,...,1,7}
+\EP*{E}{8}{1,1,1,1,1,1,1,1}{,7,5,4,3,2,1,6}
+\EP*{E}{7}{1,1,1,1,1,1,1}{5,...,1,,6}
+\EP*{E}{7}{1,1,1,1,1,1,1}{1,...,5,,6}
+\EP*{E}{8}{1,1,1,1,1,1,1,1}{6,...,1,,7}
+\end{longtable}
+\end{filecontents*}
+{\input{EulerProducts}}\VerbatimInput{EulerProducts.tex}
\section{Style}
-
\begin{tcblisting}{title={Colours}}
\dynkin[
edge/.style={blue!50,thick},
*/.style=blue!50!red,
- arrowColor=red]{F}{4}
+ arrow color=red]{F}{4}
\end{tcblisting}
\begin{tcblisting}{title={Edge lengths}}
-\dynkin[edgeLength=1.2,parabolic=3]{A}{3}
+The Dynkin diagram of \(A_3\) is \dynkin[edge length=1.2,parabolic=3]{A}{3}
\end{tcblisting}
\begin{tcblisting}{title={Root marks}}
\dynkin{E}{8}
@@ -353,15 +511,14 @@ x & crossed root \\
X & thickly crossed root
\end{tabular}
\begin{tcblisting}{title={Mark styles}}
-\dynkin[parabolic=124,x/.style={brown,very thick}]{E}{8}
+The parabolic subgroup \(E_{8,124}\) is \dynkin[parabolic=124,x/.style={brown,very thick}]{E}{8}
\end{tcblisting}
\begin{tcblisting}{title={Sizes of root marks}}
-\dynkin[radius=.08cm,parabolic=3]{A}{3}
+\(A_{3,3}\) with big root marks is \dynkin[root radius=.08cm,parabolic=3]{A}{3}
\end{tcblisting}
\section{Suppress or reverse arrows}
-
\begin{tcblisting}{title={Some diagrams have double or triple edges}}
\dynkin{F}{4}
\dynkin{G}{2}
@@ -371,34 +528,59 @@ X & thickly crossed root
\dynkin[arrows=false]{G}{2}
\end{tcblisting}
\begin{tcblisting}{title={Reverse arrows}}
-\dynkin[reverseArrows]{F}{4}
-\dynkin[reverseArrows]{G}{2}
+\dynkin[reverse arrows]{F}{4}
+\dynkin[reverse arrows]{G}{2}
+\end{tcblisting}
+
+
+\section{Backwards and upside down}
+
+\begin{tcblisting}{title={Default}}
+\dynkin{E}{8}
+\dynkin{F}{4}
+\dynkin{G}{2}
+\end{tcblisting}
+\begin{tcblisting}{title={Backwards}}
+\dynkin[backwards]{E}{8}
+\dynkin[backwards]{F}{4}
+\dynkin[backwards]{G}{2}
+\end{tcblisting}
+\begin{tcblisting}{title={Reverse arrows}}
+\dynkin[reverse arrows]{F}{4}
+\dynkin[reverse arrows]{G}{2}
+\end{tcblisting}
+\begin{tcblisting}{title={Backwards, reverse arrows}}
+\dynkin[backwards,reverse arrows]{F}{4}
+\dynkin[backwards,reverse arrows]{G}{2}
+\end{tcblisting}
+\begin{tcblisting}{title={Backwards versus upside down}}
+\dynkin[label]{E}{8}
+\dynkin[label,backwards]{E}{8}
+\dynkin[label,upside down]{E}{8}
+\dynkin[label,backwards,upside down]{E}{8}
\end{tcblisting}
\section{Drawing on top of a Dynkin diagram}
\begin{tcblisting}{title={TikZ can access the roots themselves}}
-\begin{tikzpicture}
- \dynkin{A}{4};
+\begin{dynkinDiagram}{A}{4}
\fill[white,draw=black] (root 2) circle (.15cm);
\fill[white,draw=black] (root 2) circle (.1cm);
\draw[black] (root 2) circle (.05cm);
-\end{tikzpicture}
+\end{dynkinDiagram}
\end{tcblisting}
\begin{tcblisting}{title={Draw curves between the roots}}
-\begin{tikzpicture}
- \dynkin[label]{E}{8}
+\begin{dynkinDiagram}[label]{E}{8}
\draw[very thick, black!50,-latex]
(root 3.south) to [out=-45, in=-135] (root 6.south);
-\end{tikzpicture}
+\end{dynkinDiagram}
\end{tcblisting}
\begin{tcblisting}{title={Change marks}}
-\begin{tikzpicture}
- \dynkin[mark=o,label]{E}{8};
+\begin{dynkinDiagram}[mark=o,label]{E}{8}
\dynkinRootMark{*}{5}
\dynkinRootMark{*}{8}
-\end{tikzpicture}
+\end{dynkinDiagram}
\end{tcblisting}
@@ -420,28 +602,28 @@ If you need to repeat a mark, you can give a \emph{single digit} positive intege
\NewDocumentCommand\ClassicalLieSuperalgebras{om}%
{%
-\IfValueT{#1}{\tikzset{/Dynkin diagram,radius=#1}}
+\IfValueT{#1}{\tikzset{/Dynkin diagram,root radius=#1}}
\RenewDocumentCommand\wdtE{}{10cm}
\begin{dynkinTable}{Classical Lie superalgebras \cite{Frappat/Sciarrino/Sorba:1989}. #2}{3.5cm}{6.5cm}
\IfValueT{#1}{
-& & \texttt{\textbackslash{}tikzset\{/Dynkin diagram,radius=#1\}} \\
+& & \texttt{\textbackslash{}tikzset\{/Dynkin diagram,root radius=#1\}} \\
}
-A_{mn} & \dynk{A}{ooo.oto.oo}
-B_{mn} & \dynk{B}{ooo.oto.oo}
-B_{0n} & \dynk{B}{ooo.ooo.o*}
+A_{mn} & \dynk{A}{o3.oto.oo}
+B_{mn} & \dynk{B}{o3.oto.oo}
+B_{0n} & \dynk{B}{o3.o3.o*}
C_{n} & \dynk{C}{too.oto.oo}
-D_{mn} & \dynk{D}{ooo.oto.oooo}
+D_{mn} & \dynk{D}{o3.oto.o4}
D_{21\alpha} & \dynk{A}{oto}
F_4 & \dynk{F}{ooot}
-G_3 & \dynk[extended,affineMark=t,
-reverseArrows]{G}{2}
+G_3 & \dynk[extended,affine mark=t,
+reverse arrows]{G}{2}
\end{dynkinTable}
-\IfValueT{#1}{\tikzset{/Dynkin diagram,radius=.05cm}}
+\IfValueT{#1}{\tikzset{/Dynkin diagram,root radius=.05cm}}
}%
-\ClassicalLieSuperalgebras[.07cm]{We need a slightly larger radius parameter to distinguish the tensor product symbols from the solid dots.}
+\ClassicalLieSuperalgebras[.07cm]{We need a slightly larger root radius parameter to distinguish the tensor product symbols from the solid dots.}
-\ClassicalLieSuperalgebras{Here we see the problem with using the default radius parameter, which is too small for tensor product symbols.}
+\ClassicalLieSuperalgebras{Here we see the problem with using the default root radius parameter, which is too small for tensor product symbols.}
@@ -456,23 +638,23 @@ In between any two entries in a mark list, place a period to indicate an indefin
In certain diagrams, roots may have an edge between them even though they are not subsequent in the ordering.
For such rare situations, there is an option:
\begin{tcblisting}{title={Indefinite edge option}}
-\dynkin[makeIndefiniteEdge={3-5},label]{D}{5}
+\dynkin[make indefinite edge={3-5},label]{D}{5}
\end{tcblisting}
\begin{tcblisting}{title={Give a list of edges to become indefinite}}
-\dynkin[makeIndefiniteEdge/.list={1-2,3-5},label]{D}{5}
+\dynkin[make indefinite edge/.list={1-2,3-5},label]{D}{5}
\end{tcblisting}
\begin{tcblisting}{title={Indefinite edge style}}
-\dynkin[indefiniteEdge/.style={draw=black,fill=white,thin,densely dashed},%
- edgeLength=1cm,%
- makeIndefiniteEdge={3-5}]
+\dynkin[indefinite edge/.style={draw=black,fill=white,thin,densely dashed},%
+ edge length=1cm,%
+ make indefinite edge={3-5}]
{D}{5}
\end{tcblisting}
\begin{tcblisting}{title={The ratio of the lengths of indefinite edges to those of other edges}}
-\dynkin[edgeLength = .5cm,%
- indefiniteEdgeRatio=3,%
- makeIndefiniteEdge={3-5}]
+\dynkin[edge length = .5cm,%
+ indefinite edge ratio=3,%
+ make indefinite edge={3-5}]
{D}{5}
\end{tcblisting}
@@ -484,52 +666,47 @@ For such rare situations, there is an option:
% 1
A_n &
\multicolumn{2}{E}{
-\begin{tikzpicture}[baseline=0pt]
-\dynkin{A}{o.o*o.o*o.o}
+\begin{dynkinDiagram}{A}{o.o*o.o*o.o}
\dynkinLabelRoot{3}{d}
\dynkinLabelRoot{6}{n-d}
-\end{tikzpicture}
+\end{dynkinDiagram}
}
\\
% 2
A_n &
\multicolumn{2}{E}{
-\begin{tikzpicture}[baseline=0pt]
-\dynkin{A}{o.o*o.o*o.o*o.o*o.o}
+\begin{dynkinDiagram}{A}{o.o*o.o*o.o*o.o*o.o}
\dynkinLabelRoot{3}{d}
\dynkinLabelRoot{6}{rd}
\dynkinLabelRoot{9}{n-rd}
\dynkinLabelRoot{12}{n-d}
-\end{tikzpicture}
+\end{dynkinDiagram}
}
\\
% 3
B_n &
\multicolumn{2}{E}{
-\begin{tikzpicture}[baseline=0pt]
-\dynkin{B}{**.*.o.oo}
+\begin{dynkinDiagram}{B}{**.*.o.oo}
\dynkinLabelRoot{3}{r}
-\end{tikzpicture}
+\end{dynkinDiagram}
}
\\
% 4
C_n &
\multicolumn{2}{E}{
-\begin{tikzpicture}[baseline=0pt]
-\dynkin{C}{o.o*o.o*o.oo}
+\begin{dynkinDiagram}{C}{o.o*o.o*o.oo}
\dynkinLabelRoot{3}{d}
\dynkinLabelRoot{6}{rd}
-\end{tikzpicture}
+\end{dynkinDiagram}
}
\\
% 5
D_n &
\multicolumn{2}{E}{
-\begin{tikzpicture}[baseline=0pt]
-\dynkin{D}{o.o*o.o*o.ooo}
+\begin{dynkinDiagram}{D}{o.o*o.o*o.ooo}
\dynkinLabelRoot{3}{d}
\dynkinLabelRoot{6}{rd}
-\end{tikzpicture}
+\end{dynkinDiagram}
}
\\
% 6
@@ -624,6 +801,14 @@ the Dynkin diagram \dynkin[parabolic=3]{A}{3}.
\endgroup
\VerbatimInput{hermitian-symmetric-spaces.tex}
+\begin{tcblisting}{title={Folded parabolics look bad (zoom in on a root)}}
+\dynkin[fold,parabolic=3]{C}{2}
+\dynkin[fold,parabolic=3]{G}{2}
+\end{tcblisting}
+\begin{tcblisting}{title={Folded parabolics: you can try using thicker crosses}}
+\dynkin[fold,x/.style={very thick,line cap=round},parabolic=3]{C}{2}
+\dynkin[fold,x/.style={ultra thick,line cap=round},parabolic=3]{G}{2}
+\end{tcblisting}
\section{Extended Dynkin diagrams}
@@ -728,24 +913,25 @@ D^{(3)}_4=\dynkin{D}[3]{4}\)
\dyn[extended,Coxeter]{I}{1}
\end{dynkinTable}
-
-
-
-
\section{Kac style}
-
We include a style called \verb!Kac! which tries to imitate the style of \cite{Kac:1990}.
-
-\begin{tcblisting}{title={Kac style},colback=white}
+\begin{tcblisting}{title={Kac style}}
\dynkin[Kac]{F}{4}
\end{tcblisting}
-
-
-
\begingroup
\pgfkeys{/Dynkin diagram,Kac}
-\newcolumntype{D}{>{\columncolor[gray]{1}}m{\wdtD}}
-\begin{dynkinTable}{The Dynkin diagrams of the extended simple root systems in Kac style. At the moment, it only works on a white background.}{5cm}{4.5cm}
+\begin{dynkinTable}{The Dynkin diagrams of the simple root systems in Kac style}{5cm}{4.5cm}
+\dyn{A}{}
+\dyn{B}{}
+\dyn{C}{}
+\dyn{D}{}
+\dyn{E}{6}
+\dyn{E}{7}
+\dyn{E}{8}
+\dyn{F}{4}
+\dyn{G}{2}
+\end{dynkinTable}
+\begin{dynkinTable}{The Dynkin diagrams of the extended simple root systems in Kac style}{5cm}{4.5cm}
\dyn[extended]{A}{1}
\dyn[extended]{A}{}
\dyn[extended]{B}{}
@@ -757,69 +943,60 @@ 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}
+\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}
+\dyn{A}[2]{odd}
+\dyn{D}[2]{}
+\dyn{E}[2]{6}
+\dyn{D}[3]{4}
+\end{dynkinTable}
\endgroup
-
-
-
\section{Folded Dynkin diagrams}
-
The Dynkin diagrams package has limited support for folding Dynkin diagrams.
-
\begin{tcblisting}{title={Folding}}
\dynkin[fold]{A}{13}
\end{tcblisting}
-
\begin{tcblisting}{title={Big fold radius}}
-\dynkin[fold,foldradius=1cm]{A}{13}
+\dynkin[fold,fold radius=1cm]{A}{13}
\end{tcblisting}
-
\begin{tcblisting}{title={Small fold radius}}
-\dynkin[fold,foldradius=.2cm]{A}{13}
+\dynkin[fold,fold radius=.2cm]{A}{13}
\end{tcblisting}
-
Some Dynkin diagrams have multiple foldings, which we attempt to distinguish (not entirely successfully) by their \emph{ply}: the maximum number of roots folded together.
Most diagrams can only allow a 2-ply folding, so \verb!fold! is a synonym for \verb!ply=2!.
-
\begin{tcblisting}{title={3-ply}}
\dynkin[ply=3]{D}{4}
-\dynkin[ply=3,foldright]{D}{4}
+\dynkin[ply=3,fold right]{D}{4}
\dynkin[ply=3]{D}[1]{4}
\end{tcblisting}
-
\begin{tcblisting}{title={4-ply}}
\dynkin[ply=4]{D}[1]{4}
\end{tcblisting}
-
The \(D^{(1)}_{\ell}\) diagrams can be folded on their left end and separately on their right end:
\begin{tcblisting}{title={Left, right and both}}
\dynkin{D}[1]{} \
-\dynkin[foldleft]{D}[1]{} \
-\dynkin[foldright]{D}[1]{} \
+\dynkin[fold left]{D}[1]{} \
+\dynkin[fold right]{D}[1]{} \
\dynkin[fold]{D}[1]{}
\end{tcblisting}
-
We have to be careful about the 4-ply foldings of \(D^{(1)}_{2\ell}\), for which we can have two different patterns, so by default, the package only draws as much as it can without distinguishing the two:
\begin{tcblisting}{title={Default \(D^{(1)}_{2\ell}\) and the two ways to finish it}}
-\begin{tikzpicture}
- \dynkin[ply=4]{D}[1]{****.*****.*****}%
-\end{tikzpicture} \
-\begin{tikzpicture}
\dynkin[ply=4]{D}[1]{****.*****.*****}%
+ \
+\begin{dynkinDiagram}[ply=4]{D}[1]{****.*****.*****}%
\dynkinFold[bend right=65]{1}{13}%
\dynkinFold[bend right=65]{0}{14}%
-\end{tikzpicture} \
-\begin{tikzpicture}
- \dynkin[ply=4]{D}[1]{****.*****.*****}%
+\end{dynkinDiagram} \
+\begin{dynkinDiagram}[ply=4]{D}[1]{****.*****.*****}%
\dynkinFold{0}{1}%
\dynkinFold{1}{13}%
\dynkinFold{13}{14}%
-\end{tikzpicture}
+\end{dynkinDiagram}
\end{tcblisting}
-
-
-
\begingroup
+\RenewDocumentCommand\wdtA{}{.7cm}
\RenewDocumentCommand\wdtD{}{3.5cm}
\RenewDocumentCommand\wdtL{}{7cm}
\NewDocumentCommand\seriesName{mmm}%
@@ -835,15 +1012,13 @@ We have to be careful about the 4-ply foldings of \(D^{(1)}_{2\ell}\), for which
\end{tabular}%
\\ \hline
}%
-
-
\NewDocumentCommand\fold{smmmmmm}%
{%
\IfBooleanTF{#1}%
{%
\foldingTable%
{#2}{#3}{#4}{\dynk[fold]{#2}[#3]{#4}}%
- {#5}{#6}{#7}{\dynk[reverseArrows]{#5}[#6]{#7}}%
+ {#5}{#6}{#7}{\dynk[reverse arrows]{#5}[#6]{#7}}%
}%
{%
\foldingTable%
@@ -851,28 +1026,24 @@ We have to be careful about the 4-ply foldings of \(D^{(1)}_{2\ell}\), for which
{#5}{#6}{#7}{\dynk{#5}[#6]{#7}}%
}%
}%
-
\begin{filecontents*}{DoneTwoElBendy.tex}
-\begin{tikzpicture}[baseline=0pt]
- \dynkin[ply=4]{D}[1]{****.*****.*****}
+\begin{dynkinDiagram}[ply=4]{D}[1]%
+{****.*****.*****}
\dynkinFold[bend right=65]{1}{13}
\dynkinFold[bend right=65]{0}{14}
-\end{tikzpicture}
+\end{dynkinDiagram}
\end{filecontents*}
-
-
\begin{filecontents*}{DoneTwoElStraight.tex}
-\begin{tikzpicture}[baseline=0pt]
- \dynkin[ply=4]{D}[1]{****.*****.*****}
+\begin{dynkinDiagram}[ply=4]{D}[1]%
+{****.*****.*****}
\dynkinFold{0}{1}
\dynkinFold{1}{13}
\dynkinFold{13}{14}
-\end{tikzpicture}
+\end{dynkinDiagram}
\end{filecontents*}
-
-\pgfkeys{/Dynkin diagram,foldradius=.35cm}
+\pgfkeys{/Dynkin diagram,fold radius=.35cm}
\begin{longtable}{@{}p{15cm}@{}}
-\caption{Some foldings of Dynkin diagrams. For these diagrams, we want to compare a folding diagram with the diagram that results when we fold it, so it looks best to set \texttt{foldradius} and \texttt{edgeLength} to equal lengths.}\\
+\caption{Some foldings of Dynkin diagrams. For these diagrams, we want to compare a folding diagram with the diagram that results when we fold it, so it looks best to set \texttt{fold radius} and \texttt{edge length} to equal lengths.}\\
\endfirsthead
\caption{\dots continued}\\
\endhead
@@ -883,7 +1054,7 @@ We have to be careful about the 4-ply foldings of \(D^{(1)}_{2\ell}\), for which
\foldingTable{A}{0}{2\ell-1}{\dynk[fold]{A}{**.*****.**}}%
{C}{0}{\ell}{\dynk{C}{}}
\fold*{B}{0}{3}{G}{0}{2}
-\foldingTable{D}{0}{4}{\dynk[ply=3,foldright]{D}{4}}%
+\foldingTable{D}{0}{4}{\dynk[ply=3,fold right]{D}{4}}%
{G}{0}{2}{\dynk{G}{2}}
\foldingTable{D}{0}{\ell+1}{\dynk[fold]{D}{}}%
{B}{0}{\ell}{\dynk{B}{}}
@@ -904,7 +1075,7 @@ We have to be careful about the 4-ply foldings of \(D^{(1)}_{2\ell}\), for which
\foldingTable{D}{1}{\ell+1}{\dynk[fold]{D}[1]{}}%
{D}{2}{\ell}{\dynk{D}[2]{}}
\foldingTable{D}{1}{\ell+1}{%
-\dynk[foldright]{D}[1]{}}%
+\dynk[fold right]{D}[1]{}}%
{B}{1}{\ell}{\dynk{B}[1]{}}
\foldingTable{D}{1}{2\ell}{%
\input{DoneTwoElStraight.tex}
@@ -931,8 +1102,6 @@ We have to be careful about the 4-ply foldings of \(D^{(1)}_{2\ell}\), for which
{A}{2}{2}{\dynk{A}[2]{2}}
\end{longtable}
\endgroup
-
-
\begingroup
\RenewDocumentCommand\wdtA{}{.8cm}
\begin{dynkinTable}{Frobenius fixed point subgroups of finite simple groups of Lie type \cite{Carter:1995} p. 15}{3cm}{6cm}
@@ -955,13 +1124,7 @@ G_2 & \dynk{G}{2}
\end{dynkinTable}
\endgroup
-
-
-
-
-
\section{Root ordering}\label{section:order}
-
\begin{tcblisting}{title={Root ordering}}
\dynkin[label,ordering=Adams]{E}{6}
\dynkin[label,ordering=Bourbaki]{E}{6}
@@ -971,7 +1134,6 @@ G_2 & \dynk{G}{2}
\end{tcblisting}
Default is Bourbaki.
Sources are Adams \cite{Adams:1996} p. 56--57, Bourbaki \cite{Bourbaki:2002} p. pp. 265--290 plates I-IX, Carter \cite{Carter:2005} p. 540--609, Dynkin \cite{Dynkin:1952}, Kac \cite{Kac:1990} p. 43.
-
\NewDocumentCommand\tablerow{mm}%
{%
#1_{#2}&
@@ -981,7 +1143,6 @@ Sources are Adams \cite{Adams:1996} p. 56--57, Bourbaki \cite{Bourbaki:2002} p.
\dynkin[label,ordering=Dynkin]{#1}{#2}&
\dynkin[label,ordering=Kac]{#1}{#2}\\
}%
-
\begin{center}
\RenewDocumentCommand\wdtA{}{.7cm}
\RenewDocumentCommand\wdtL{}{2.2cm}
@@ -999,64 +1160,44 @@ Sources are Adams \cite{Adams:1996} p. 56--57, Bourbaki \cite{Bourbaki:2002} p.
\tablerow{E}{6}\tablerow{E}{7}\tablerow{E}{8}\tablerow{F}{4}\tablerow{G}{2}
\end{longtable}
\end{center}
-
The marks are set down in order according to the current root ordering:
\begin{tcblisting}{}
-\begin{tikzpicture}
\dynkin[label]{E}{*otxXOt*}
-\end{tikzpicture}
-\end{tcblisting}
-
-\begin{tcblisting}{}
-\begin{tikzpicture}
\dynkin[label,ordering=Carter]{E}{*otxXOt*}
-\end{tikzpicture}
-\end{tcblisting}
-
-\begin{tcblisting}{}
-\begin{tikzpicture}
\dynkin[label,ordering=Kac]{E}{*otxXOt*}
-\end{tikzpicture}
\end{tcblisting}
-
-
-
-
\section{Connecting Dynkin diagrams}\label{section:name}
-
We can make some sophisticated folded diagrams by drawing multiple diagrams, each with a name:
\begin{tcblisting}{title={Name a diagram}}
\dynkin[name=Bob]{D}{6}
\end{tcblisting}
We can then connect the two with folding edges:
\begin{tcblisting}{title={Connect diagrams}}
-\begin{tikzpicture}
- \dynkin[name=upper]{A}{3}
+\begin{dynkinDiagram}[name=upper]{A}{3}
\node (current) at ($(upper root 1)+(0,-.3cm)$) {};
\dynkin[at=(current),name=lower]{A}{3}
\begin{scope}[on background layer]
\foreach \i in {1,...,3}%
{%
- \draw[/Dynkin diagram/foldStyle]
- ($(upper root \i)$) -- ($(lower root \i)$);%
+ \draw[/Dynkin diagram/fold style]
+ ($(upper root \i)$)
+ -- ($(lower root \i)$);%
}%
\end{scope}
-\end{tikzpicture}
+\end{dynkinDiagram}
\end{tcblisting}
-
The following diagrams arise in the Satake diagrams of the pseudo-Riemannian symmetric spaces \cite{Baba:2009}.
-
\begin{tcblisting}{}
-\pgfkeys{/Dynkin diagram,edgeLength=.5cm,foldradius=.5cm}
+\pgfkeys{/Dynkin diagram,edge length=.5cm,fold radius=.5cm}
\begin{tikzpicture}
\dynkin[name=1]{A}{IIIb}
- \node (a) at (.3,.4){};
+ \node (a) at (-.3,-.4){};
\dynkin[name=2,at=(a)]{A}{IIIb}
\begin{scope}[on background layer]
\foreach \i in {1,...,7}%
{%
- \draw[/Dynkin diagram/foldStyle]
+ \draw[/Dynkin diagram/fold style]
($(1 root \i)$)
--
($(2 root \i)$);%
@@ -1064,10 +1205,10 @@ The following diagrams arise in the Satake diagrams of the pseudo-Riemannian sym
\end{scope}
\end{tikzpicture}
\end{tcblisting}
-
\begin{tcblisting}{}
-\pgfkeys{/Dynkin diagram/edgeLength=.75cm,/Dynkin diagram/edge/.style={draw=example-color,double=black,very thick},
-}
+\pgfkeys{/Dynkin diagram,
+edge length=.75cm,
+edge/.style={draw=example-color,double=black,very thick}}
\begin{tikzpicture}
\foreach \d in {1,...,4}
{
@@ -1077,21 +1218,41 @@ The following diagrams arise in the Satake diagrams of the pseudo-Riemannian sym
\begin{scope}[on background layer]
\foreach \i in {1,...,6}%
{%
- \draw[/Dynkin diagram/foldStyle] ($(1 root \i)$) -- ($(2 root \i)$);%
- \draw[/Dynkin diagram/foldStyle] ($(2 root \i)$) -- ($(3 root \i)$);%
- \draw[/Dynkin diagram/foldStyle] ($(3 root \i)$) -- ($(4 root \i)$);%
+ \draw[/Dynkin diagram/fold style] ($(1 root \i)$) -- ($(2 root \i)$);%
+ \draw[/Dynkin diagram/fold style] ($(2 root \i)$) -- ($(3 root \i)$);%
+ \draw[/Dynkin diagram/fold style] ($(3 root \i)$) -- ($(4 root \i)$);%
}%
\end{scope}
\end{tikzpicture}
\end{tcblisting}
-
\section{Other examples}
-
+\begin{filecontents*}{d44.tex}
+\tikzset{/Dynkin diagram,edge length=1cm,fold radius=1cm}
+\tikzset{/Dynkin diagram,label macro/.code={\alpha_{#1}},label macro*/.code={\beta_{#1}}}
+\({}^1 D_4\) 4-ply tied straight:
+\begin{dynkinDiagram}[ply=4]{D}[1]%
+{****.*****.*****}
+ \dynkinFold{0}{1}
+ \dynkinFold{1}{13}
+ \dynkinFold{13}{14}
+\dynkinLabelRoots{0,...,14}
+\dynkinLabelRoots*{0,...,14}
+\end{dynkinDiagram}
+\({}^1 D_4\) 4-ply tied bending:
+\begin{dynkinDiagram}[ply=4]{D}[1]%
+{****.*****.*****}
+ \dynkinFold[bend right=65]{1}{13}
+ \dynkinFold[bend right=65]{0}{14}
+\dynkinLabelRoots{0,...,14}
+\dynkinLabelRoots*{0,...,14}
+\end{dynkinDiagram}
+\end{filecontents*}
+\begingroup\input{d44}\endgroup
+\VerbatimInput{d44.tex}
Below we draw the Vogan diagrams of some affine Lie superalgebras \cite{Ransingh:2013,Ransingh:unpub}.
-
\begingroup
-
+\tikzset{/Dynkin diagram,edge length=.35cm,fold radius=.3cm}
\NewDocumentCommand\labls{m}%
{%
\ifcase#1%
@@ -1115,13 +1276,10 @@ Below we draw the Vogan diagrams of some affine Lie superalgebras \cite{Ransingh
2%
\fi%
}%
-
-
\begingroup
-\tikzset{/Dynkin diagram,labelMacro/.code=\labls{#1},label,radius=.06cm}
+\tikzset{/Dynkin diagram,label macro/.code=\labls{#1},label,root radius=.06cm}
\tcbset{text width=10cm}
\RenewDocumentCommand\wdtA{}{2cm}
-
\NewDocumentEnvironment{Category}{m}%
{%
\begin{tcolorbox}[title={\(#1\)},breakable]{}
@@ -1132,10 +1290,9 @@ Below we draw the Vogan diagrams of some affine Lie superalgebras \cite{Ransingh
\begin{Category}{\mathfrak{sl}\left(2m|2n\right)^{(2)}}
\begin{tcblisting}{}
-\begin{tikzpicture}
- \dynkin[ply=2,label]{B}[1]{oo.oto.oo}
+\begin{dynkinDiagram}[ply=2,label]{B}[1]{oo.oto.oo}
\dynkinLabelRoot*{7}{1}
-\end{tikzpicture}
+\end{dynkinDiagram}
\end{tcblisting}
\begin{tcblisting}{}
\dynkin[label]{B}[1]{oo.oto.oo}
@@ -1180,56 +1337,56 @@ Below we draw the Vogan diagrams of some affine Lie superalgebras \cite{Ransingh
\begin{Category}{\mathfrak{sl}\left(2|2n+1\right)^{(2)}}
\begin{tcblisting}{}
-\dynkin[ply=2,label,doubleEdges]{B}[1]{oo.Oto.Oo}
+\dynkin[ply=2,label,double edges]{B}[1]{oo.Oto.Oo}
\end{tcblisting}
\begin{tcblisting}{}
-\dynkin[ply=2,label,doubleFold]{B}[1]{oo.Oto.Oo}
+\dynkin[ply=2,label,double fold]{B}[1]{oo.Oto.Oo}
\end{tcblisting}
\begin{tcblisting}{}
-\dynkin[ply=2,label,doubleEdges]{B}[1]{oo.OtO.oo}
+\dynkin[ply=2,label,double edges]{B}[1]{oo.OtO.oo}
\end{tcblisting}
\begin{tcblisting}{}
-\dynkin[ply=2,label,doubleFold]{B}[1]{oo.OtO.oo}
+\dynkin[ply=2,label,double fold]{B}[1]{oo.OtO.oo}
\end{tcblisting}
\end{Category}
\begin{Category}{\mathfrak{sl}\left(2|2n\right)^{(2)}}
\begin{tcblisting}{}
-\dynkin[ply=2,label,doubleEdges]{D}[1]{oo.oto.ooo}
+\dynkin[ply=2,label,double edges]{D}[1]{oo.oto.ooo}
\end{tcblisting}
\begin{tcblisting}{}
-\dynkin[ply=2,label,doubleFoldLeft]{D}[1]{oo.oto.ooo}
+\dynkin[ply=2,label,double fold left]{D}[1]{oo.oto.ooo}
\end{tcblisting}
\end{Category}
\begin{Category}{\mathfrak{osp}\left(2m|2n\right)^{(2)}}
\begin{tcblisting}{}
-\dynkin[label,labelMacro/.code={1}]{D}[2]{o.oto.oo}
+\dynkin[label,label macro/.code={1}]{D}[2]{o.oto.oo}
\end{tcblisting}
\begin{tcblisting}{}
-\dynkin[label,labelMacro/.code={1}]{D}[2]{o.Oto.Oo}
+\dynkin[label,label macro/.code={1}]{D}[2]{o.Oto.Oo}
\end{tcblisting}
\end{Category}
\begin{Category}{\mathfrak{osp}\left(2|2n\right)^{(2)}}
\begin{tcblisting}{}
-\dynkin[label,labelMacro/.code=\lablIt{#1},
- affineMark=*]
+\dynkin[label,label macro/.code=\lablIt{#1},
+ affine mark=*]
{D}[2]{o.o.o.o*}
\end{tcblisting}
\begin{tcblisting}{}
-\dynkin[label,labelMacro/.code=\lablIt{#1},
- affineMark=*]
+\dynkin[label,label macro/.code=\lablIt{#1},
+ affine mark=*]
{D}[2]{o.O.o.o*}
\end{tcblisting}
\end{Category}
\begin{Category}{\mathfrak{sl}\left(1|2n+1\right)^{4}}
\begin{tcblisting}{}
-\dynkin[label,labelMacro/.code={1}]{D}[2]{o.o.o.o*}
+\dynkin[label,label macro/.code={1}]{D}[2]{o.o.o.o*}
\end{tcblisting}
\begin{tcblisting}{}
-\dynkin[label,labelMacro/.code={1}]{D}[2]{o.o.O.o*}
+\dynkin[label,label macro/.code={1}]{D}[2]{o.o.O.o*}
\end{tcblisting}
\end{Category}
@@ -1243,7 +1400,7 @@ Below we draw the Vogan diagrams of some affine Lie superalgebras \cite{Ransingh
\dynkin[at=(Dynkin current),name=lower]{A}{oo.t.oo}
\begin{scope}[on background layer]
\foreach \i in {1,...,5}{
- \draw[/Dynkin diagram/foldStyle]
+ \draw[/Dynkin diagram/fold style]
($(upper root \i)$) -- ($(lower root \i)$);
}
\end{scope}
@@ -1253,22 +1410,22 @@ Below we draw the Vogan diagrams of some affine Lie superalgebras \cite{Ransingh
\dynkin[fold]{A}[1]{oo.t.ooooo.t.oo}
\end{tcblisting}
\begin{tcblisting}{}
-\dynkin[fold,affineMark=t]{A}[1]{oo.o.ootoo.o.oo}
+\dynkin[fold,affine mark=t]{A}[1]{oo.o.ootoo.o.oo}
\end{tcblisting}
\begin{tcblisting}{}
-\dynkin[affineMark=t]{A}[1]{o*.t.*o}
+\dynkin[affine mark=t]{A}[1]{o*.t.*o}
\end{tcblisting}
\end{Category}
\begin{Category}{B^1}
\begin{tcblisting}{}
-\dynkin[affineMark=*]{A}[2]{o.oto.o*}
+\dynkin[affine mark=*]{A}[2]{o.oto.o*}
\end{tcblisting}
\begin{tcblisting}{}
-\dynkin[affineMark=*]{A}[2]{o.oto.o*}
+\dynkin[affine mark=*]{A}[2]{o.oto.o*}
\end{tcblisting}
\begin{tcblisting}{}
-\dynkin[affineMark=*]{A}[2]{o.ooo.oo}
+\dynkin[affine mark=*]{A}[2]{o.ooo.oo}
\end{tcblisting}
\begin{tcblisting}{}
\dynkin[odd]{A}[2]{oo.*to.*o}
@@ -1295,58 +1452,52 @@ Below we draw the Vogan diagrams of some affine Lie superalgebras \cite{Ransingh
\begin{Category}{C^1}
\begin{tcblisting}{}
-\dynkin[doubleEdges,fold,affineMark=t,odd]{A}[2]{to.o*}
+\dynkin[double edges,fold,affine mark=t,odd]{A}[2]{to.o*}
\end{tcblisting}
\begin{tcblisting}{}
-\dynkin[doubleEdges,fold,affineMark=t,odd]{A}[2]{t*.oo}
+\dynkin[double edges,fold,affine mark=t,odd]{A}[2]{t*.oo}
\end{tcblisting}
\end{Category}
\begin{Category}{F^1}
\begin{tcblisting}{}
-\begin{tikzpicture}%
- \dynkin{A}{oto*}%
+\begin{dynkinDiagram}{A}{oto*}%
\dynkinQuadrupleEdge{1}{2}%
\dynkinTripleEdge{4}{3}%
-\end{tikzpicture}%
+\end{dynkinDiagram}%
\end{tcblisting}
\begin{tcblisting}{}
-\begin{tikzpicture}%
- \dynkin{A}{*too}%
+\begin{dynkinDiagram}{A}{*too}%
\dynkinQuadrupleEdge{1}{2}%
\dynkinTripleEdge{4}{3}%
-\end{tikzpicture}%
+\end{dynkinDiagram}%
\end{tcblisting}
\end{Category}
\begin{Category}{G^1}
\begin{tcblisting}{}
-\begin{tikzpicture}%
- \dynkin{A}{ot*oo}%
+\begin{dynkinDiagram}{A}{ot*oo}%
\dynkinQuadrupleEdge{1}{2}%
\dynkinDefiniteDoubleEdge{4}{3}%
-\end{tikzpicture}%
+\end{dynkinDiagram}%
\end{tcblisting}
\begin{tcblisting}{}
-\begin{tikzpicture}%
- \dynkin{A}{oto*o}%
+\begin{dynkinDiagram}{A}{oto*o}%
\dynkinQuadrupleEdge{1}{2}%
\dynkinDefiniteDoubleEdge{4}{3}%
-\end{tikzpicture}%
+\end{dynkinDiagram}%
\end{tcblisting}
\begin{tcblisting}{}
-\begin{tikzpicture}%
- \dynkin{A}{*too*}%
+\begin{dynkinDiagram}{A}{*too*}%
\dynkinQuadrupleEdge{1}{2}%
\dynkinDefiniteDoubleEdge{4}{3}%
-\end{tikzpicture}%
+\end{dynkinDiagram}%
\end{tcblisting}
\begin{tcblisting}{}
-\begin{tikzpicture}%
- \dynkin{A}{*tooo}%
+\begin{dynkinDiagram}{A}{*tooo}%
\dynkinQuadrupleEdge{1}{2}%
\dynkinDefiniteDoubleEdge{4}{3}%
-\end{tikzpicture}%
+\end{dynkinDiagram}%
\end{tcblisting}
\end{Category}
\endgroup
@@ -1357,7 +1508,7 @@ Below we draw the Vogan diagrams of some affine Lie superalgebras \cite{Ransingh
{\renewcommand*{\arraystretch}{1}\begin{array}{@{}ll@{}}\\ \midrule}{\\ \midrule\end{array}}
\small
\NewDocumentCommand\nct{mm}{\newcolumntype{#1}{>{\columncolor[gray]{.9}}>{$}m{#2cm}<{$}}}
-\nct{G}{.3}\nct{D}{2.1}\nct{W}{2.8}\nct{R}{3.7}\nct{S}{3}
+\nct{G}{.3}\nct{D}{2.1}\nct{W}{3}\nct{R}{3.7}\nct{S}{3}
\NewDocumentCommand\LieG{}{\mathfrak{g}}
\NewDocumentCommand\W{om}{\ensuremath{\mathbb{Z}^{#2}\IfValueT{#1}{/\left<#1\right>}}}
\renewcommand*{\arraystretch}{1.5}
@@ -1365,19 +1516,19 @@ Below we draw the Vogan diagrams of some affine Lie superalgebras \cite{Ransingh
\begin{longtable}{@{}GDWRS@{}}
\LieG&\text{Diagram}&\text{Weights}&\text{Roots}&\text{Simple roots}\\ \midrule\endfirsthead
\LieG&\text{Diagram}&\text{Weights}&\text{Roots}&\text{Simple roots}\\ \midrule\endhead
-A_n&\dynkin{A}{}&\W[\sum e_j]{n+1}&e_i-e_j&e_i-e_{i+1}\\
-B_n&\dynkin{B}{}&\W{n}& \pm e_i, \pm e_i \pm e_j, i\ne j&e_i-e_{i+1}, e_n\\
+A_n&\dynkin{A}{}&\frac{1}{r+1}\W[\sum e_j]{n+1}&e_i-e_j&e_i-e_{i+1}\\
+B_n&\dynkin{B}{}&\frac{1}{2}\W{n}& \pm e_i, \pm e_i \pm e_j, i\ne j&e_i-e_{i+1}, e_n\\
C_n&\dynkin{C}{}&\W{n}& \pm 2 e_i, \pm e_i \pm e_j, i\ne j&e_i-e_{i+1}, 2e_n\\
-D_n&\dynkin{D}{}&\W{n}& \pm e_i \pm e_j, i\ne j &
+D_n&\dynkin{D}{}&\frac{1}{2}\W{n}& \pm e_i \pm e_j, i\ne j &
\begin{bunch}e_i-e_{i+1},&i\le n-1\\e_{n-1}+e_n\end{bunch}\\
-E_8&\dynkin{E}{8}&\W{8}&
+E_8&\dynkin{E}{8}&\frac{1}{2}\W{8}&
\begin{bunch}\pm2e_i\pm2e_j,&i\ne j,\\ \sum_i(-1)^{m_i}e_i,&\sum m_i \text{ even}\end{bunch}&
\begin{bunch}
2e_1-2e_2,\\2e_2-2e_3,\\2e_3-2e_4,\\2e_4-2e_5,\\2e_5-2e_6,\\2e_6+2e_7,\\
-\sum e_j,\\2e_6-2e_7
\end{bunch}\\
-E_7&\dynkin{E}{7}&\W[e_1-e_2]{8}&\quo&\quo\\
-E_6&\dynkin{E}{6}&\W[e_1-e_2,e_2-e_3]{8}&\quo&\quo\\
+E_7&\dynkin{E}{7}&\frac{1}{2}\W[e_1-e_2]{8}&\quo&\quo\\
+E_6&\dynkin{E}{6}&\frac{1}{3}\W[e_1-e_2,e_2-e_3]{8}&\quo&\quo\\
F_4& \dynkin{F}{4}&\W{4}&
\begin{bunch}\pm 2e_i,\\ \pm 2e_i \pm 2e_j, \quad i \ne j,\\ \pm e_1 \pm e_2 \pm e_3 \pm e_4
\end{bunch}&
@@ -1389,16 +1540,38 @@ G_2&\dynkin{G}{2}&\W[\sum e_j]{3}&
\begin{bunch}(-1,0,1),\\(2,-1,-1)\end{bunch}
\end{longtable}
\end{filecontents*}
-\newpage
\begingroup
\input{simple-lie-algebras.tex}
\endgroup
-\newpage
\VerbatimInput{simple-lie-algebras.tex}
+
+\begin{filecontents*}{borovoi.tex}
+\tikzset{big arrow/.style={
+ -Stealth,line cap=round,line width=1mm,
+ shorten <=1mm,shorten >=1mm}}
+\newcommand\catholic[2]{\draw[big arrow,green!25!white]
+(root #1) to (root #2);}
+\newcommand\protestant[2]{
+\begin{scope}[transparency group, opacity=.25]
+\draw[big arrow,orange] (root #1) to (root #2);
+\end{scope}}
+\begin{dynkinDiagram}[edge length=1.2cm,
+indefinite edge/.style={thick,loosely dotted},
+labels*={0,1,2,3,\ell-3,\ell-2,\ell-1,\ell}]{D}[1]{}
+\catholic{0}{6}\catholic{1}{7}
+\protestant{7}{0}\protestant{6}{1}
+\end{dynkinDiagram}
+\end{filecontents*}
+\begingroup
+\begin{center}
+\input{borovoi.tex}
+\end{center}
+\endgroup
+\VerbatimInput{borovoi.tex}
\newpage
-\section{Syntax}
+\section{Syntax}
The syntax is \verb!\dynkin[<options>]{<letter>}[<twisted rank>]{<rank>}! where \verb!<letter>! is \verb!A!, \verb!B!, \verb!C!, \verb!D!, \verb!E!, \verb!F! or \verb!G!, the family of root system for the Dynkin diagram, \verb!<twisted rank>! is \verb!0!, \verb!1!, \verb!2!, \verb!3! (default is \verb!0!) representing:
\[
\renewcommand*{\arraystretch}{1}
@@ -1418,17 +1591,14 @@ blank to represent an indefinite rank or
\item
the name of a Satake diagram as in section~\ref{section:Satake}.
\end{enumerate}
-
-
+The environment syntax is \verb!\begin{dynkinDiagram}! followed by the same parameters as \verb!\dynkin!, then various Dynkin diagram and \TikZ{} commands, and then \verb!\end{dynkinDiagram}!.
\section{Options}
-
\newcommand*{\typ}[1]{\(\left<\texttt{#1}\right>\)}
\newcommand*{\optionLabel}[3]{%%
\multicolumn{2}{l}{\(\texttt{#1}=\texttt{#2}\),} \\
\multicolumn{2}{l}{\(\textrm{default}: \texttt{#3}\)} \\
}%%
-
\renewcommand*{\arraystretch}{1}
\par\noindent%
\begin{longtable}{p{1cm}p{10cm}}
@@ -1445,41 +1615,47 @@ the name of a Satake diagram as in section~\ref{section:Satake}.
\optionLabel{parabolic}{\typ{integer}}{0}
& A parabolic subgroup with specified integer, where the integer
is computed as \(n=\sum 2^{i-1} a_i\), \(a_i=0\) or \(1\), to say that root \(i\) is crossed, i.e. a noncompact root. \\
-\optionLabel{radius}{\typ{number}cm}{.05cm}
+\optionLabel{root radius}{\typ{number}cm}{.05cm}
& size of the dots and of the crosses in the Dynkin diagram \\
-\optionLabel{edgeLength}{\typ{number}cm}{.35cm}
+\optionLabel{edge length}{\typ{number}cm}{.35cm}
& distance between nodes in the Dynkin diagram \\
\optionLabel{edge/.style}{TikZ style data}{thin}
& style of edges in the Dynkin diagram \\
\optionLabel{mark}{\typ{o,O,t,x,X,*}}{*}
& default root mark \\
-\optionLabel{affineMark}{o,O,t,x,X,*}{*}
+\optionLabel{affine mark}{o,O,t,x,X,*}{*}
& default root mark for root zero in an affine Dynkin diagram \\
\optionLabel{label}{true or false}{false}
& whether to label the roots according to the current labelling scheme. \\
-\optionLabel{labelMacro}{\typ{1-parameter \TeX{} macro}}{\texttt{\#1}}
-& the current labelling scheme. \\
-\optionLabel{makeIndefiniteEdge}{\typ{edge pair \(i\)-\(j\) or list of such}}{\{\}}
+\optionLabel{label macro}{\typ{1-parameter \TeX{} macro}}{\texttt{\#1}}
+& the current labelling scheme for roots. \\
+\optionLabel{label macro*}{\typ{1-parameter \TeX{} macro}}{\texttt{\#1}}
+& the current labelling scheme for alternate roots. \\
+\optionLabel{make indefinite edge}{\typ{edge pair \(i\)-\(j\) or list of such}}{\{\}}
& edge pair or list of edge pairs to treat as having indefinitely many roots on them. \\
-\optionLabel{indefiniteEdgeRatio}{\typ{float}}{1.6}
+\optionLabel{indefinite edge ratio}{\typ{float}}{1.6}
& ratio of indefinite edge lengths to other edge lengths. \\
-\optionLabel{indefiniteEdge/.style}{\typ{TikZ style data}}{draw=black,fill=white,thin,densely dotted}
+\optionLabel{indefinite edge/.style}{\typ{TikZ style data}}{draw=black,fill=white,thin,densely dotted}
& style of the dotted or dashed middle third of each indefinite edge. \\
+\optionLabel{backwards}{\typ{true or false}}{false}
+& whether to reverse right to left. \\
+\optionLabel{upside down}{\typ{true or false}}{false}
+& whether to reverse up to down. \\
\optionLabel{arrows}{\typ{true or false}}{true}
& whether to draw the arrows that arise along the edges. \\
-\optionLabel{reverseArrows}{\typ{true or false}}{true}
+\optionLabel{reverse arrows}{\typ{true or false}}{true}
& whether to reverse the direction of the arrows that arise along the edges. \\
\optionLabel{fold}{\typ{true or false}}{true}
& whether, when drawing Dynkin diagrams, to draw them 2-ply. \\
\optionLabel{ply}{\typ{0,1,2,3,4}}{0}
& how many roots get folded together, at most. \\
-\optionLabel{foldleft}{\typ{true or false}}{true}
+\optionLabel{fold left}{\typ{true or false}}{true}
& whether to fold the roots on the left side of a Dynkin diagram. \\
-\optionLabel{foldright}{\typ{true or false}}{true}
+\optionLabel{fold right}{\typ{true or false}}{true}
& whether to fold the roots on the right side of a Dynkin diagram. \\
-\optionLabel{foldradius}{\typ{length}}{.3cm}
+\optionLabel{fold radius}{\typ{length}}{.3cm}
& the radius of circular arcs used in curved edges of folded Dynkin diagrams. \\
-\optionLabel{foldStyle}{\typ{TikZ style data}}{draw=black!40,fill=none,line width=radius}
+\optionLabel{fold style}{\typ{TikZ style data}}{draw=black!40,fill=none,line width=radius}
& when drawing folded diagrams, style for the fold indicators. \\
\optionLabel{*/.style}{\typ{TikZ style data}}{draw=black,fill=black}
& style for roots like \dynkin{A}{*} \\
@@ -1489,30 +1665,30 @@ is computed as \(n=\sum 2^{i-1} a_i\), \(a_i=0\) or \(1\), to say that root \(i\
& style for roots like \dynkin{A}{O} \\
\optionLabel{t/.style}{\typ{TikZ style data}}{draw=black,fill=black}
& style for roots like \dynkin{A}{t} \\
-\optionLabel{x/.style}{\typ{TikZ style data}}{draw=black}
+\optionLabel{x/.style}{\typ{TikZ style data}}{draw=black,line cap=round}
& style for roots like \dynkin{A}{x} \\
-\optionLabel{X/.style}{\typ{TikZ style data}}{draw=black,thick}
+\optionLabel{X/.style}{\typ{TikZ style data}}{draw=black,thick,line cap=round}
& style for roots like \dynkin{A}{X} \\
-\optionLabel{leftFold/.style}{\typ{TikZ style data}}{}
+\optionLabel{fold left style/.style}{\typ{TikZ style data}}{}
& style to override the \texttt{fold} style when folding roots together on the left half of a Dynkin diagram \\
-\optionLabel{rightFold/.style}{\typ{TikZ style data}}{}
+\optionLabel{fold right style/.style}{\typ{TikZ style data}}{}
& style to override the \texttt{fold} style when folding roots together on the right half of a Dynkin diagram \\
-\optionLabel{doubleEdges}{\typ{}}{not set}
+\optionLabel{double edges}{\typ{}}{not set}
& set to override the \texttt{fold} style when folding roots together in a Dynkin diagram, so that the foldings
are indicated with double edges (like those of an \(F_4\) Dynkin diagram without arrows). \\
-\optionLabel{doubleFold}{\typ{}}{not set}
+\optionLabel{double fold}{\typ{}}{not set}
& set to override the \texttt{fold} style when folding roots together in a Dynkin diagram, so that the foldings
are indicated with double edges (like those of an \(F_4\) Dynkin diagram without arrows), but filled in solidly. \\
-\optionLabel{doubleLeft}{\typ{}}{not set}
+\optionLabel{double left}{\typ{}}{not set}
& set to override the \texttt{fold} style when folding roots together at the left side of a Dynkin diagram, so that the foldings are indicated with double edges (like those of an \(F_4\) Dynkin diagram without arrows). \\
-\optionLabel{doubleFoldLeft}{\typ{}}{not set}
+\optionLabel{double fold left}{\typ{}}{not set}
& set to override the \texttt{fold} style when folding roots together at the left side of a Dynkin diagram, so that the foldings are indicated with double edges (like those of an \(F_4\) Dynkin diagram without arrows), but filled in solidly. \\
-\optionLabel{doubleRight}{\typ{}}{not set}
+\optionLabel{double right}{\typ{}}{not set}
& set to override the \texttt{fold} style when folding roots together at the right side of a Dynkin diagram, so that the foldings are indicated with double edges (like those of an \(F_4\) Dynkin diagram without arrows). \\
-\optionLabel{doubleFoldRight}{\typ{}}{not set}
+\optionLabel{double fold right}{\typ{}}{not set}
& set to override the \texttt{fold} style when folding roots together at the right side of a Dynkin diagram, so that the foldings are indicated with double edges (like those of an \(F_4\) Dynkin diagram without arrows), but filled in solidly.
\\
-\optionLabel{arrowColor}{\typ{}}{black}
+\optionLabel{arrow color}{\typ{}}{black}
& set to override the default color for the arrows in nonsimply laced Dynkin diagrams. \\
\optionLabel{Coxeter}{\typ{true or false}}{false}
& whether to draw a Coxeter diagram, rather than a Dynkin diagram. \\
@@ -1521,6 +1697,34 @@ are indicated with double edges (like those of an \(F_4\) Dynkin diagram without
\end{longtable}
\par\noindent{}All other options are passed to TikZ.
+\section{Changes in the latest version}\label{section:changes}
+\begin{center}
+\begin{tabular}{@{}>{\ttfamily}r>{\ttfamily}l@{}}
+\textrm{was} & \textrm{is} \\ \midrule
+edgeLength&edge length\\
+radius&root radius\\
+affineMark&affine mark\\
+labelMacro&label macro\\
+makeIndefiniteEdge&make indefinite edge\\
+indefiniteEdgeRatio&indefinite edge ratio\\
+indefiniteEdge&indefinite edge\\
+reverseArrows&reverse arrows\\
+foldLeft&fold left\\
+foldRight&fold right\\
+foldradius&fold radius\\
+foldStyle&fold style\\
+leftFoldStyle&fold left style\\
+rightFoldStyle&fold right style\\
+doubleEdges&double edges\\
+doubleFold&double fold\\
+doubleLeft&double left\\
+doubleLeftFold&double fold left\\
+doubleRight&double right\\
+doubleRightFold&double fold right\\
+arrowColor&arrow color\\\
+\end{tabular}
+\end{center}
+
\nocite{*}
\bibliographystyle{amsplain}