summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/latex/dynkin-diagrams/dynkin-diagrams.tex
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/doc/latex/dynkin-diagrams/dynkin-diagrams.tex')
-rw-r--r--Master/texmf-dist/doc/latex/dynkin-diagrams/dynkin-diagrams.tex124
1 files changed, 71 insertions, 53 deletions
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 18627906ac4..b3c41ac7af1 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.1415}
+\title{The Dynkin diagrams package \\ Version 3.14159}
\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{18 December 2018}
+\date{21 January 2019}
\usepackage{etex}
\usepackage[T1]{fontenc}
@@ -321,7 +321,7 @@ shorten <=1mm,shorten >=1mm,}}
\begin{dynkinDiagram}[ply=4]{D}[1]%
{****.*****.*****}
\dynkinFold{1}{13}
- \dynkinFold[bend right=65]{0}{14}
+ \dynkinFold[bend right=90]{0}{14}
\end{dynkinDiagram}
\end{tcblisting}
@@ -333,7 +333,7 @@ segment length=1mm,amplitude=.6mm}}}
\begin{dynkinDiagram}[ply=4]{D}[1]%
{****.*****.*****}
\dynkinFold{1}{13}
- \dynkinFold[bend right=65]{0}{14}
+ \dynkinFold[bend right=90]{0}{14}
\end{dynkinDiagram}
\end{tcblisting}
@@ -959,6 +959,48 @@ We include a style called \verb!Kac! which tries to imitate the style of \cite{K
\end{dynkinTable}
\endgroup
+\section{Ceref style}
+We include a style called \verb!ceref! which shapes the root markers more oblongly and with shadows.
+The word ``ceref'' is an old form of the word ``serif''.
+\begin{tcblisting}{title={Ceref style}}
+\dynkin[ceref]{F}{4}
+\end{tcblisting}
+\begingroup
+\pgfkeys{/Dynkin diagram,ceref}
+\begin{dynkinTable}{The Dynkin diagrams of the simple root systems in ceref 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 ceref style}{5cm}{4.5cm}
+\dyn[extended]{A}{1}
+\dyn[extended]{A}{}
+\dyn[extended]{B}{}
+\dyn[extended]{C}{}
+\dyn[extended]{D}{}
+\dyn[extended]{E}{6}
+\dyn[extended]{E}{7}
+\dyn[extended]{E}{8}
+\dyn[extended]{F}{4}
+\dyn[extended]{G}{2}
+\end{dynkinTable}
+\begin{dynkinTable}{The Dynkin diagrams of the twisted simple root systems in ceref 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}}
@@ -992,8 +1034,8 @@ We have to be careful about the 4-ply foldings of \(D^{(1)}_{2\ell}\), for which
\dynkin[ply=4]{D}[1]{****.*****.*****}%
\
\begin{dynkinDiagram}[ply=4]{D}[1]{****.*****.*****}%
- \dynkinFold[bend right=65]{1}{13}%
- \dynkinFold[bend right=65]{0}{14}%
+ \dynkinFold[bend right=90]{1}{13}%
+ \dynkinFold[bend right=90]{0}{14}%
\end{dynkinDiagram} \
\begin{dynkinDiagram}[ply=4]{D}[1]{****.*****.*****}%
\dynkinFold{0}{1}%
@@ -1035,8 +1077,8 @@ We have to be careful about the 4-ply foldings of \(D^{(1)}_{2\ell}\), for which
\begin{filecontents*}{DoneTwoElBendy.tex}
\begin{dynkinDiagram}[ply=4]{D}[1]%
{****.*****.*****}
- \dynkinFold[bend right=65]{1}{13}
- \dynkinFold[bend right=65]{0}{14}
+ \dynkinFold[bend right=90]{1}{13}
+ \dynkinFold[bend right=90]{0}{14}
\end{dynkinDiagram}
\end{filecontents*}
\begin{filecontents*}{DoneTwoElStraight.tex}
@@ -1248,7 +1290,7 @@ edge/.style={draw=example-color,double=black,very thick}}
\({}^1 D_4\) 4-ply tied bending:
\begin{dynkinDiagram}[ply=4]{D}[1]%
{****.*****.*****}
- \dynkinFold[bend right=65]{1}{13}
+ \dynkinFold{1}{13}
\dynkinFold[bend right=65]{0}{14}
\dynkinLabelRoots{0,...,14}
\dynkinLabelRoots*{0,...,14}
@@ -1508,7 +1550,7 @@ Below we draw the Vogan diagrams of some affine Lie superalgebras \cite{Ransingh
\end{Category}
\endgroup
-
+\section{Example: the complex simple Lie algebras}
\begin{filecontents*}{simple-lie-algebras.tex}
\NewDocumentEnvironment{bunch}{}%
{\renewcommand*{\arraystretch}{1}\begin{array}{@{}ll@{}}\\ \midrule}{\\ \midrule\end{array}}
@@ -1551,6 +1593,7 @@ G_2&\dynkin{G}{2}&\W[\sum e_j]{3}&
\endgroup
\VerbatimInput{simple-lie-algebras.tex}
+\section{An example of Mikhail Borovoi}
\begin{filecontents*}{borovoi.tex}
\tikzset{big arrow/.style={
-Stealth,line cap=round,line width=1mm,
@@ -1614,8 +1657,14 @@ The environment syntax is \verb!\begin{dynkinDiagram}! followed by the same para
\multicolumn{2}{c}{continued \dots}\\
\endfoot
\endlastfoot
-\optionLabel{text/.style}{\typ{TikZ style data}}{scale=.7}
-& Style for any labels on the roots. \\
+\optionLabel{ceref}{\typ{true or false}}{false}
+& whether to draw roots in a ``ceref'' style. \\
+\optionLabel{edge length}{\typ{number}cm}{.35cm}
+& distance between nodes in the Dynkin diagram \\
+\optionLabel{edge/.style}{TikZ style data}{solid,draw=black,fill=white,thin}
+& style of edges in the Dynkin diagram \\
+\optionLabel{Kac}{\typ{true or false}}{false}
+& whether to draw in the style of \cite{Kac:1990} \\
\optionLabel{name}{\typ{string}}{anonymous}
& A name for the Dynkin diagram, with \texttt{anonymous} treated as a blank; see section~\ref{section:name}. \\
\optionLabel{parabolic}{\typ{integer}}{0}
@@ -1623,10 +1672,8 @@ The environment syntax is \verb!\begin{dynkinDiagram}! followed by the same para
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{root radius}{\typ{number}cm}{.05cm}
& size of the dots and of the crosses in the Dynkin diagram \\
-\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{text/.style}{\typ{TikZ style data}}{scale=.7}
+& Style for any labels on the roots. \\
\optionLabel{mark}{\typ{o,O,t,x,X,*}}{*}
& default root mark \\
\optionLabel{affine mark}{o,O,t,x,X,*}{*}
@@ -1641,7 +1688,7 @@ is computed as \(n=\sum 2^{i-1} a_i\), \(a_i=0\) or \(1\), to say that root \(i\
& edge pair or list of edge pairs to treat as having indefinitely many roots on them. \\
\optionLabel{indefinite edge ratio}{\typ{float}}{1.6}
& ratio of indefinite edge lengths to other edge lengths. \\
-\optionLabel{indefinite edge/.style}{\typ{TikZ style data}}{draw=black,fill=white,thin,densely dotted}
+\optionLabel{indefinite edge/.style}{\typ{TikZ style data}}{solid,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. \\
@@ -1661,19 +1708,19 @@ is computed as \(n=\sum 2^{i-1} a_i\), \(a_i=0\) or \(1\), to say that root \(i\
& whether to fold the roots on the right side of a Dynkin diagram. \\
\optionLabel{fold radius}{\typ{length}}{.3cm}
& the radius of circular arcs used in curved edges of folded Dynkin diagrams. \\
-\optionLabel{fold style}{\typ{TikZ style data}}{draw=black!40,fill=none,line width=radius}
+\optionLabel{fold style/.style}{\typ{TikZ style data}}{solid,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}
+\optionLabel{*/.style}{\typ{TikZ style data}}{solid,draw=black,fill=black}
& style for roots like \dynkin{A}{*} \\
-\optionLabel{o/.style}{\typ{TikZ style data}}{draw=black,fill=black}
+\optionLabel{o/.style}{\typ{TikZ style data}}{solid,draw=black,fill=black}
& style for roots like \dynkin{A}{o} \\
-\optionLabel{O/.style}{\typ{TikZ style data}}{draw=black,fill=black}
+\optionLabel{O/.style}{\typ{TikZ style data}}{solid,draw=black,fill=black}
& style for roots like \dynkin{A}{O} \\
-\optionLabel{t/.style}{\typ{TikZ style data}}{draw=black,fill=black}
+\optionLabel{t/.style}{\typ{TikZ style data}}{solid,draw=black,fill=black}
& style for roots like \dynkin{A}{t} \\
-\optionLabel{x/.style}{\typ{TikZ style data}}{draw=black,line cap=round}
+\optionLabel{x/.style}{\typ{TikZ style data}}{solid,draw=black,line cap=round}
& style for roots like \dynkin{A}{x} \\
-\optionLabel{X/.style}{\typ{TikZ style data}}{draw=black,thick,line cap=round}
+\optionLabel{X/.style}{\typ{TikZ style data}}{solid,draw=black,thick,line cap=round}
& style for roots like \dynkin{A}{X} \\
\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 \\
@@ -1703,35 +1750,6 @@ 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>{\ttfamily}l@{}}
-\textrm{was} & \textrm{is} & \textrm{or as a global option} \\ \midrule
-edgeLength&edge length&edge-length\\
-radius&root radius&root-radius\\
-affineMark&affine mark&affine-mark\\
-labelMacro&label macro&label-macro\\
-makeIndefiniteEdge&make indefinite edge&make-indefinite-edge\\
-indefiniteEdgeRatio&indefinite edge ratio&indefinite-edge-ratio\\
-indefiniteEdge&indefinite edge&indefinite-edge\\
-reverseArrows&reverse arrows&reverse-arrows\\
-foldLeft&fold left&fold-left\\
-foldRight&fold right&fold-right\\
-foldradius&fold radius&fold-radius\\
-foldStyle&fold style&fold-style\\
-leftFoldStyle&fold left style&fold-left-style\\
-rightFoldStyle&fold right style&fold-right-style\\
-doubleEdges&double edges&double-edges\\
-doubleFold&double fold&double-fold\\
-doubleLeft&double left&double-left\\
-doubleLeftFold&double fold left&double-fold-left\\
-doubleRight&double right&double-right\\
-doubleRightFold&double fold right&double-fold-right\\
-arrowColor&arrow color&arrow-color\\
-\end{tabular}
-\end{center}
-
-
\nocite{*}
\bibliographystyle{amsplain}
\bibliography{dynkin-diagrams}