summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2019-01-21 21:39:46 +0000
committerKarl Berry <karl@freefriends.org>2019-01-21 21:39:46 +0000
commitde9ecc6157f09a370c1af4c9484d314c27247c6f (patch)
tree3530a0e4ffe18269d54906875b3a49f62dc5163d
parentafe5cf84c6348f76b2ad72d8cb67402830f66a8d (diff)
dynkin-diagrams (21jan19)
git-svn-id: svn://tug.org/texlive/trunk@49782 c570f23f-e606-0410-a88d-b1316a301751
-rw-r--r--Master/texmf-dist/doc/latex/dynkin-diagrams/README7
-rw-r--r--Master/texmf-dist/doc/latex/dynkin-diagrams/dynkin-diagrams.pdfbin728094 -> 746174 bytes
-rw-r--r--Master/texmf-dist/doc/latex/dynkin-diagrams/dynkin-diagrams.tex124
-rw-r--r--Master/texmf-dist/tex/latex/dynkin-diagrams/dynkin-diagrams.sty197
4 files changed, 186 insertions, 142 deletions
diff --git a/Master/texmf-dist/doc/latex/dynkin-diagrams/README b/Master/texmf-dist/doc/latex/dynkin-diagrams/README
index c636f063a80..68fdc4fdc9e 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.1415
+ v3.14159
- 18 December 2018
+ 21 January 2019
___________________________________
Authors : Ben McKay
@@ -16,5 +16,6 @@ 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.1415 allows use of hyphens in option names, so that they can be used as global options to the package.
+Version 3.14159 adds ceref style, fixes problems with folding in Kac style, and ensures that the diagrams, by default, remain drawn solidly, even if the ambient TikZ diagram is not.
+
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 aa798bfe73d..0224ad22727 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 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}
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 64319fb3a37..7e2cf00bca0 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.1415
+% Version 3.14159
%
%
% This package draws Dynkin diagrams in LaTeX documents, using the TikZ package.
@@ -18,7 +18,7 @@
%
%
\NeedsTeXFormat{LaTeX2e}[1994/06/01]
-\ProvidesPackage{dynkin-diagrams}[2018/12/18 Dynkin diagrams]
+\ProvidesPackage{dynkin-diagrams}[2019/1/21 Dynkin diagrams]
\RequirePackage{tikz}
\RequirePackage{xstring}
\RequirePackage{xparse}
@@ -37,7 +37,8 @@
decorations.pathreplacing,
decorations.pathmorphing,
fit,
- patterns}
+ patterns,
+ shadows}
%%%
%%% Application programming interface:
@@ -385,11 +386,11 @@ decoration=
\RootNumber=#3%
}%
\fill[/Dynkin diagram,o,#2] (\dynkin@root@name \the\RootNumber) circle ({\dynkin@root@radius});%
- \draw[/Dynkin diagram,edge,#2]%
+ \draw[/Dynkin diagram,t,#2]%
($(\dynkin@root@name \the\RootNumber)+({\dynkin@root@radius/sqrt(2)},{\dynkin@root@radius/sqrt(2)})$)%
--%
($(\dynkin@root@name \the\RootNumber)-({\dynkin@root@radius/sqrt(2)},{\dynkin@root@radius/sqrt(2)})$);%
- \draw[/Dynkin diagram,edge,#2]%
+ \draw[/Dynkin diagram,t,#2]%
($(\dynkin@root@name \the\RootNumber)+({-\dynkin@root@radius/sqrt(2)},{\dynkin@root@radius/sqrt(2)})$)%
--%
($(\dynkin@root@name \the\RootNumber)+({\dynkin@root@radius/sqrt(2)},{-\dynkin@root@radius/sqrt(2)})$);%
@@ -532,10 +533,9 @@ decoration=
\@fromRoot=#3%
\@toRoot=#4%
}%
- \convertRootPair{\@fromRoot}{\@toRoot}%
+% \convertRootPair{\@fromRoot}{\@toRoot}%
\begin{scope}[on background layer]
- \draw[/Dynkin diagram/fold style,#2,%/Dynkin diagram/fold left style
- ]
+ \draw[/Dynkin diagram/fold style,#2]
($(\dynkin@root@name \the\@fromRoot)$)
to
($(\dynkin@root@name \the\@toRoot)$);
@@ -560,7 +560,7 @@ decoration=
\begin{scope}[on background layer]%
\draw[/Dynkin diagram,edge,fill=none,#2]%
($(\dynkin@root@name \the\@fromRoot)$)%
- arc (90:0:\dynkin@fold@radius) -- ($(\dynkin@root@name \the\@toRoot)$);%
+ arc (90:0:\dynkin@fold@radius);%
\end{scope}%
}%
@@ -610,9 +610,9 @@ decoration=
\@toRoot=#4%
}%
\begin{scope}[on background layer]%
- \draw[/Dynkin diagram,edge,fill=none,#2]
- ($(\dynkin@root@name \the\@fromRoot)$)
- arc (-90:0:\dynkin@fold@radius) -- ($(\dynkin@root@name \the\@toRoot)$);%
+ \draw[/Dynkin diagram,edge,fill=none,#2]%
+ ($(\dynkin@root@name \the\@fromRoot)$)%
+ arc (-90:0:\dynkin@fold@radius);%
\end{scope}%
}%
@@ -643,7 +643,7 @@ decoration=
\draw[/Dynkin diagram,edge,fill=none,#2]
(center)
++(-30:\dynkin@fold@radius)
- arc [start angle=-30, end angle=0, radius=\dynkin@fold@radius] -- ($(\dynkin@root@name \the\@toRoot)$);%
+ arc [start angle=-30, end angle=0, radius=\dynkin@fold@radius];%
\end{scope}%
}%
@@ -665,7 +665,7 @@ decoration=
\begin{scope}[on background layer]%
\draw[/Dynkin diagram,edge,fill=none,#2]%
($(\dynkin@root@name \the\@fromRoot)$)%
- arc (90:180:\dynkin@fold@radius) -- ($(\dynkin@root@name \the\@toRoot)$);%
+ arc (90:180:\dynkin@fold@radius);%
\end{scope}%
}%
@@ -696,7 +696,7 @@ decoration=
\draw[/Dynkin diagram,edge,fill=none,#2]
(center)
++(150:\dynkin@fold@radius)
- arc [start angle=150, end angle=180, radius=\dynkin@fold@radius] -- ($(\dynkin@root@name \the\@toRoot)$);%
+ arc [start angle=150, end angle=180, radius=\dynkin@fold@radius];%
\end{scope}%
}%
@@ -717,7 +717,7 @@ decoration=
\begin{scope}[on background layer]%
\draw[/Dynkin diagram,edge,fill=none,#2]
($(\dynkin@root@name \the\@fromRoot)$)
- arc (-90:-180:\dynkin@fold@radius) -- ($(\dynkin@root@name \the\@toRoot)$);%
+ arc (-90:-180:\dynkin@fold@radius);%
\end{scope}%
}%
@@ -748,7 +748,7 @@ decoration=
\draw[/Dynkin diagram,edge,fill=none,#2]
(center)
++(-150:\dynkin@fold@radius)
- arc [start angle=-150, end angle=-180, radius=\dynkin@fold@radius] -- ($(\dynkin@root@name \the\@toRoot)$);%
+ arc [start angle=-150, end angle=-180, radius=\dynkin@fold@radius];%
\end{scope}%
}%
@@ -770,8 +770,7 @@ decoration=
\begin{scope}[on background layer]%
\draw[/Dynkin diagram,edge,fill=none,#2]
($(\dynkin@root@name \the\@fromRoot)$)
- arc (90:-90:\dynkin@fold@radius)
- -- ($(\dynkin@root@name \the\@toRoot)$);%
+ arc (90:-90:\dynkin@fold@radius);%
\end{scope}%
}%
@@ -801,8 +800,8 @@ decoration=
arc [start angle=30, end angle=-30, radius=\dynkin@fold@radius];%
\draw[/Dynkin diagram,edge,fill=none,#2]
(center)
- ++(-30:\dynkin@fold@radius)
- arc [start angle=-30, end angle=-90, radius=\dynkin@fold@radius] -- ($(\dynkin@root@name \the\@toRoot)$);%
+ ++(-90:\dynkin@fold@radius)
+ arc [start angle=-90, end angle=-30, radius=\dynkin@fold@radius];
\end{scope}%
}%
@@ -824,7 +823,7 @@ decoration=
\begin{scope}[on background layer]%
\draw[/Dynkin diagram,edge,double,fill=none,#2]%
($(\dynkin@root@name \the\@fromRoot)$)%
- arc (90:0:{\dynkin@fold@radius}) -- ($(\dynkin@root@name \the\@toRoot)$);%
+ arc (90:0:{\dynkin@fold@radius});%
\ifdynkin@arrows%
\ifdynkin@reverse@arrows%
\path[-{Computer Modern Rightarrow[\dynkin@arrow@color]},
@@ -860,7 +859,7 @@ decoration=
\begin{scope}[on background layer]%
\draw[/Dynkin diagram,edge,double,fill=none,#2]%
($(\dynkin@root@name \the\@fromRoot)$)%
- arc (180:90:{\dynkin@fold@radius}) -- ($(\dynkin@root@name \the\@toRoot)$);%
+ arc (180:90:{\dynkin@fold@radius});%
\ifdynkin@arrows%
\ifdynkin@reverse@arrows%
\path[/Dynkin diagram,edge,
@@ -898,7 +897,7 @@ decoration=
\begin{scope}[on background layer]%
\draw[/Dynkin diagram,edge,double,fill=none,#2]%
($(\dynkin@root@name \the\@fromRoot)$)%
- arc (0:90:{\dynkin@fold@radius}) -- ($(\dynkin@root@name \the\@toRoot)$);%
+ arc (0:90:{\dynkin@fold@radius});%
\ifdynkin@arrows%
\ifdynkin@reverse@arrows%
\path[-{Computer Modern Rightarrow[\dynkin@arrow@color]},
@@ -938,7 +937,7 @@ decoration=
($(\dynkin@root@name \the\@fromRoot)$)%
--
($(\dynkin@root@name \the\@toRoot)+(-\dynkin@fold@radius,\dynkin@fold@radius)$)%
- arc (-180:-90:{\dynkin@fold@radius}) -- ($(\dynkin@root@name \the\@toRoot)$);%
+ arc (-180:-90:{\dynkin@fold@radius});%
\ifdynkin@arrows%
\ifdynkin@reverse@arrows%
\path[-{Computer Modern Rightarrow[\dynkin@arrow@color]},
@@ -974,7 +973,7 @@ decoration=
\begin{scope}[on background layer]%
\draw[/Dynkin diagram,edge,double,fill=none,#2]%
($(\dynkin@root@name \the\@fromRoot)$)%
- arc (270:360:{\dynkin@fold@radius}) -- ($(\dynkin@root@name \the\@toRoot)$);%
+ arc (270:360:{\dynkin@fold@radius});%
\ifdynkin@arrows%
\ifdynkin@reverse@arrows%
\path[-{Computer Modern Rightarrow[\dynkin@arrow@color]},
@@ -1009,7 +1008,7 @@ decoration=
\begin{scope}[on background layer]%
\draw[/Dynkin diagram,edge,double,fill=none,#2]%
($(\dynkin@root@name \the\@fromRoot)$)%
- arc (90:180:{\dynkin@fold@radius}) -- ($(\dynkin@root@name \the\@toRoot)$);%
+ arc (90:180:{\dynkin@fold@radius});%
\ifdynkin@arrows%
\ifdynkin@reverse@arrows%
\path[-{Computer Modern Rightarrow[\dynkin@arrow@color]},
@@ -1046,7 +1045,7 @@ decoration=
\begin{scope}[on background layer]%
\draw[/Dynkin diagram,edge,double,fill=none,#2]%
($(\dynkin@root@name \the\@fromRoot)$)%
- arc (360:270:{\dynkin@fold@radius}) -- ($(\dynkin@root@name \the\@toRoot)$);%
+ arc (360:270:{\dynkin@fold@radius});%
\ifdynkin@arrows%
\ifdynkin@reverse@arrows%
\path[
@@ -1085,7 +1084,7 @@ decoration=
\begin{scope}[on background layer]%
\draw[/Dynkin diagram,edge,double,fill=none,#2]%
($(\dynkin@root@name \the\@fromRoot)$)%
- arc (-90:-180:{\dynkin@fold@radius}) -- ($(\dynkin@root@name \the\@toRoot)$);%
+ arc (-90:-180:{\dynkin@fold@radius});%
\ifdynkin@arrows%
\ifdynkin@reverse@arrows%
\path[-{Computer Modern Rightarrow[\dynkin@arrow@color]},
@@ -1122,7 +1121,7 @@ decoration=
\begin{scope}[on background layer]%
\draw[/Dynkin diagram,edge,double,fill=none,#2]%
($(\dynkin@root@name \the\@fromRoot)$)%
- arc (90:-90:{\dynkin@fold@radius}) -- ($(\dynkin@root@name \the\@toRoot)$);%
+ arc (90:-90:{\dynkin@fold@radius});%
\ifdynkin@arrows%
\ifdynkin@reverse@arrows%
\path[
@@ -1162,10 +1161,10 @@ decoration=
\begin{scope}[on background layer]%
\draw[/Dynkin diagram,edge,double,double distance=\dynkin@root@radius,fill=none,#2]%
($(\dynkin@root@name \the\@fromRoot)$)%
- arc (90:-90:{\dynkin@fold@radius}) -- ($(\dynkin@root@name \the\@toRoot)$);%
+ arc (90:-90:{\dynkin@fold@radius});%
\draw[/Dynkin diagram,edge,fill=none,#2]%
($(\dynkin@root@name \the\@fromRoot)$)%
- arc (90:-90:{\dynkin@fold@radius}) -- ($(\dynkin@root@name \the\@toRoot)$);%
+ arc (90:-90:{\dynkin@fold@radius});%
\ifdynkin@arrows%
\ifdynkin@reverse@arrows%
\path[
@@ -1205,7 +1204,7 @@ decoration=
\begin{scope}[on background layer]%
\draw[/Dynkin diagram,edge,double,fill=none,#2]%
($(\dynkin@root@name \the\@fromRoot)$)%
- arc (-90:90:{\dynkin@fold@radius}) -- ($(\dynkin@root@name \the\@toRoot)$);%
+ arc (-90:90:{\dynkin@fold@radius});%
\ifdynkin@arrows%
\ifdynkin@reverse@arrows%
\path[
@@ -1695,13 +1694,13 @@ decoration=
edge length/.estore in = \dynkin@edge@length,
edge-length/.forward to=/Dynkin diagram/edge length,
edge length = .35cm,
- edge/.style={draw=black,fill=white,thin},
+ edge/.style={solid,draw=black,fill=white,thin},
make indefinite edge/.code={\dynkin@set@edge@indefinite@pair{#1}},
make-indefinite-edge/.forward to=/Dynkin diagram/make indefinite edge,
indefinite edge ratio/.estore in = \dynkin@indefinite@edge@ratio,
indefinite-edge-ratio/.forward to = /Dynkin diagram/indefinite edge ratio,
indefinite edge ratio = 1.6,
- indefinite edge/.style={draw=black,fill=white,thin,densely dotted},
+ indefinite edge/.style={solid,draw=black,fill=white,thin,densely dotted},
indefinite-edge/.forward to=/Dynkin diagram/indefinite edge/.style,
backwards/.is if = dynkin@is@backwards,
backwards = false,
@@ -1713,7 +1712,7 @@ decoration=
reverse arrows/.is if = dynkin@reverse@arrows,
reverse arrows = false,
reverse-arrows/.forward to = /Dynkin diagram/reverse arrows,
- fold style/.style = {draw=black!40,fill=none,line width=\dynkin@root@radius},
+ fold style/.style = {solid,draw=black!40,fill=none,line width=\dynkin@root@radius},
fold-style/.forward to=/Dynkin diagram/fold style/.style,
fold left style/.style = {},
fold-left-style/.forward to=/Dynkin diagram/fold left style/.style,
@@ -1783,27 +1782,33 @@ decoration=
fold-radius/.forward to=/Dynkin diagram/fold radius,
fold radius=.3cm,
*/.style = {
+ solid,
draw=black,
fill=black,
},
O/.style = {
+ solid,
draw=black,
fill=white,
},
X/.style = {
+ solid,
draw=black,
very thick,
line cap=round
},
o/.style = {
+ solid,
draw=black,
fill=white,
},
t/.style = {
+ solid,
draw=black,
fill=white,
},
x/.style = {
+ solid,
thick,
draw=black,
line cap=round
@@ -1831,39 +1836,75 @@ decoration=
root radius=.05cm,
edge length=.66cm,
indefinite edge ratio = 3,
- edge/.style={draw=black,fill=white,thin,shorten <=1mm,shorten >=1mm},
- fold style/.style = {draw=black!40,fill=none,line width=\dynkin@root@radius,shorten <=1mm,shorten >=1mm},
+ edge/.style={solid,draw=black,fill=white,thin,shorten <=1mm,shorten >=1mm},
+ fold style/.style = {solid,draw=black!40,fill=none,line width=\dynkin@root@radius,shorten <=1mm,shorten >=1mm},
mark=o,
- indefinite edge/.style={draw=black,fill=none,thin,loosely dotted},
+ indefinite edge/.style={solid,draw=black,fill=none,thin,loosely dotted},
+ },
+ ceref/.style={
+ edge/.style={
+ solid,
+ draw=black,
+ fill=white,
+ thin,
+ copy shadow={draw=black,fill=white,thin,shadow xshift=.2pt, shadow yshift=-.3pt},
+ },
+ */.style={
+ yscale=1.2,
+ solid,
+ draw=black,
+ fill=gray,
+ copy shadow={fill=black,shadow xshift=0.2pt, shadow yshift=-0.3pt},
+ },
+ o/.style={
+ yscale=1.2,
+ solid,
+ draw=black,
+ fill=white,
+ copy shadow={fill=black,shadow xshift=0.2pt, shadow yshift=-0.3pt},
+ },
+ O/.style={
+ yscale=1.2,
+ solid,
+ draw=black,
+ fill=white,
+ copy shadow={fill=black,shadow xshift=0.2pt, shadow yshift=-0.3pt},
+ },
+ t/.style={
+ yscale=1.2,
+ solid,
+ draw=black,
+ fill=white,
+ },
},
- default/.style = {
- label/.is if = dynkin@label@the@roots,
- label = false,
- labels = {},
- labels* = {},
- at/.estore in = \dynkin@current@location,
- at = {(0,0)},
- parabolic/.estore in = \dynkin@parabolic,
- parabolic = 0,
- gonality/.estore in = \dynkin@gonality,
- gonality = 0,
- extended/.is if = dynkin@is@extended,
- extended = false,
- twisted/.is if = dynkin@is@twisted,
- twisted = false,
- twisted series/.estore in = \dynkin@twisted@series,
- twisted-series/.forward to = /Dynkin diagram/twisted series,
- twisted series = 0,
- ply/.estore in = \dynkin@ply@value,
- ply = 1,
- fold/.style = {ply=2},
- fold left/.is if = dynkin@left@fold,
- fold-left/.forward to = /Dynkin diagram/fold left,
- fold left = false,
- fold right/.is if = dynkin@right@fold,
- fold-right/.forward to = /Dynkin diagram/fold right,
- fold right = false,
- },
+ default/.style = {
+ label/.is if = dynkin@label@the@roots,
+ label = false,
+ labels = {},
+ labels* = {},
+ at/.estore in = \dynkin@current@location,
+ at = {(0,0)},
+ parabolic/.estore in = \dynkin@parabolic,
+ parabolic = 0,
+ gonality/.estore in = \dynkin@gonality,
+ gonality = 0,
+ extended/.is if = dynkin@is@extended,
+ extended = false,
+ twisted/.is if = dynkin@is@twisted,
+ twisted = false,
+ twisted series/.estore in = \dynkin@twisted@series,
+ twisted-series/.forward to = /Dynkin diagram/twisted series,
+ twisted series = 0,
+ ply/.estore in = \dynkin@ply@value,
+ ply = 1,
+ fold/.style = {ply=2},
+ fold left/.is if = dynkin@left@fold,
+ fold-left/.forward to = /Dynkin diagram/fold left,
+ fold left = false,
+ fold right/.is if = dynkin@right@fold,
+ fold-right/.forward to = /Dynkin diagram/fold right,
+ fold right = false,
+ },
.search also={/tikz},
}
@@ -3406,12 +3447,8 @@ decoration=
\ifdynkin@right@fold%
\dynkinPlaceRootHere*{1}{below left}{above right}%
\dynkinPlaceRootRelativeTo*{3}{1}{east}{below left}{above right}%
- \xdef\old@edge@length{\dynkin@edge@length}%
- \pgfmathparse{1.5*\dynkin@edge@length}%
- \xdef\dynkin@edge@length{\pgfmathresult pt}%
\dynkinPlaceRootRelativeTo*{2}{3}{north}{below left}{above right}%
\dynkinPlaceRootRelativeTo*{4}{3}{south}{below}{above right}%
- \xdef\dynkin@edge@length{\old@edge@length}%
\edef\old@fold@radius{\dynkin@fold@radius}%
\xdef\dynkin@fold@radius{\dynkin@edge@length}%
\dynkinEdge*{SingleEdge}{1}{3}%
@@ -3556,14 +3593,11 @@ decoration=
\NewDocumentCommand\ESixThreePly{}%
{%
\dynkin@is@extendedtrue
- \node (Dynkin current) at ($(Dynkin current)+(0,1.5*\dynkin@edge@length)$){};%
+ \node (Dynkin current) at ($(Dynkin current)+(0,%1.5*
+ \dynkin@edge@length)$){};%
\dynkinPlaceRootHere*{3}{below left}{above}%
- \edef\old@edge@length{\dynkin@edge@length}%
- \pgfmathparse{1.5*\dynkin@edge@length}%
- \xdef\dynkin@edge@length{\pgfmathresult pt}%
\dynkinPlaceRootRelativeTo*{2}{3}{south}{below left}{above right}%
\dynkinPlaceRootRelativeTo*{5}{2}{south}{below}{above right}%
- \xdef\dynkin@edge@length{\old@edge@length}%
\dynkinPlaceRootRelativeTo*{1}{3}{west}{below left}{above right}%
\dynkinPlaceRootRelativeTo*{0}{2}{west}{below left}{above right}%
\dynkinPlaceRootRelativeTo*{6}{5}{west}{below}{above right}%
@@ -3709,7 +3743,7 @@ decoration=
\dynkinPlaceRootRelativeTo*{1}{0}{east}{below}{above}%
\convertRootNumber{1}%
\begin{scope}{on background layer}%
- \draw[/Dynkin diagram/edge,double,
+ \draw[/Dynkin diagram/t,double,
{Classical TikZ Rightarrow[length={2*\dynkin@root@radius}]}%
-{Classical TikZ Rightarrow[length={2*\dynkin@root@radius}]}%
]%
@@ -3858,12 +3892,9 @@ decoration=
\dynkin@hop{2.25}%
\dynkinPlaceRootHere*{0}{right}{left}%
\edef\old@edge@length{\dynkin@edge@length}%
- \pgfmathparse{1.5*\dynkin@edge@length}%
- \xdef\dynkin@edge@length{\pgfmathresult pt}%
\dynkinPlaceRootRelativeTo*{1}{0}{south}{right}{left}%
\dynkinPlaceRootRelativeTo*{3}{1}{south}{right}{left}%
\dynkinPlaceRootRelativeTo*{4}{3}{south}{right}{left}%
- \xdef\dynkin@edge@length{\old@edge@length}%
\convertRootPair{0}{4}%
\node
(Dynkin current)
@@ -3919,12 +3950,8 @@ decoration=
\dynkinPlaceRootHere*{0}{below}{above}%
\dynkinPlaceRootRelativeTo*{1}{0}{east}{below left}{above right}%
\dynkinPlaceRootRelativeTo*{3}{1}{east}{below left}{above right}%
- \edef\old@edge@length{\dynkin@edge@length}%
- \pgfmathparse{1.5*\dynkin@edge@length}%
- \xdef\dynkin@edge@length{\pgfmathresult pt}%
\dynkinPlaceRootRelativeTo*{2}{3}{north}{below left}{above right}%
\dynkinPlaceRootRelativeTo*{4}{3}{south}{below}{above right}%
- \xdef\dynkin@edge@length{\old@edge@length}%
\dynkinEdge*{SingleEdge}{1}{3}%
\edef\old@fold@radius{\dynkin@fold@radius}%
\xdef\dynkin@fold@radius{\dynkin@edge@length}%
@@ -4077,9 +4104,7 @@ decoration=
\hmo=\the\dynkin@nodes%
\advance\hmo by -1%
\ifodd\dynkin@rank%
-\typeout{!!! odd dynkin rank}
\ifnum\dynkin@ply>1%
-\typeout{!!! ply more than 1}
\dynkinPlaceRootHere*{2}{below right}{above right}%
\dynkinPlaceRootRelativeTo*{0}{2}{northwestfold}{left}{above left}%
\dynkinPlaceRootRelativeTo*{1}{2}{southwestfold}{left}{above left}%