From de9ecc6157f09a370c1af4c9484d314c27247c6f Mon Sep 17 00:00:00 2001 From: Karl Berry Date: Mon, 21 Jan 2019 21:39:46 +0000 Subject: dynkin-diagrams (21jan19) git-svn-id: svn://tug.org/texlive/trunk@49782 c570f23f-e606-0410-a88d-b1316a301751 --- Master/texmf-dist/doc/latex/dynkin-diagrams/README | 7 +- .../doc/latex/dynkin-diagrams/dynkin-diagrams.pdf | Bin 728094 -> 746174 bytes .../doc/latex/dynkin-diagrams/dynkin-diagrams.tex | 124 +++++++------ .../tex/latex/dynkin-diagrams/dynkin-diagrams.sty | 197 ++++++++++++--------- 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 Binary files a/Master/texmf-dist/doc/latex/dynkin-diagrams/dynkin-diagrams.pdf and b/Master/texmf-dist/doc/latex/dynkin-diagrams/dynkin-diagrams.pdf 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}% -- cgit v1.2.3