diff options
author | Karl Berry <karl@freefriends.org> | 2024-12-07 21:06:58 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2024-12-07 21:06:58 +0000 |
commit | 5780a3b4e09b9b70943648f3e4cf32d903357a4f (patch) | |
tree | 77bded2cfeface7eaf6f372cb54c80498d437b7b /Master/texmf-dist | |
parent | a258669eba4bab4b70a769a01657bcffac02b0b7 (diff) |
lie-hasse (7dec24)
git-svn-id: svn://tug.org/texlive/trunk@73066 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist')
-rw-r--r-- | Master/texmf-dist/doc/latex/lie-hasse/README | 4 | ||||
-rw-r--r-- | Master/texmf-dist/doc/latex/lie-hasse/lie-hasse.pdf | bin | 631928 -> 631841 bytes | |||
-rw-r--r-- | Master/texmf-dist/doc/latex/lie-hasse/lie-hasse.tex | 31 | ||||
-rw-r--r-- | Master/texmf-dist/tex/latex/lie-hasse/lie-hasse.sty | 84 |
4 files changed, 106 insertions, 13 deletions
diff --git a/Master/texmf-dist/doc/latex/lie-hasse/README b/Master/texmf-dist/doc/latex/lie-hasse/README index 1bd63c4cba2..01eef69fb86 100644 --- a/Master/texmf-dist/doc/latex/lie-hasse/README +++ b/Master/texmf-dist/doc/latex/lie-hasse/README @@ -2,9 +2,9 @@ ___________________________________ Lie Hasse - v1.01 + v1.02 - 9 July 2024 + 4 December 2024 ___________________________________ Authors : Ben McKay diff --git a/Master/texmf-dist/doc/latex/lie-hasse/lie-hasse.pdf b/Master/texmf-dist/doc/latex/lie-hasse/lie-hasse.pdf Binary files differindex ed444cc7d17..ca9f2ffbe83 100644 --- a/Master/texmf-dist/doc/latex/lie-hasse/lie-hasse.pdf +++ b/Master/texmf-dist/doc/latex/lie-hasse/lie-hasse.pdf diff --git a/Master/texmf-dist/doc/latex/lie-hasse/lie-hasse.tex b/Master/texmf-dist/doc/latex/lie-hasse/lie-hasse.tex index 762639c6038..752af00af77 100644 --- a/Master/texmf-dist/doc/latex/lie-hasse/lie-hasse.tex +++ b/Master/texmf-dist/doc/latex/lie-hasse/lie-hasse.tex @@ -1,5 +1,5 @@ \documentclass{amsart} -\title[The Lie Hasse package]{The Lie Hasse package \\ Version 1.01} +\title[The Lie Hasse package]{The Lie Hasse package \\ Version 1.02} %% My name: \makeatletter \DeclareRobustCommand{\scotsMc}{\scotsMcx{c}} @@ -19,7 +19,7 @@ \author{\authorsname} \address{School of Mathematical Sciences, University College Cork, Cork, Ireland} \email{b.mckay@ucc.ie} -\date{9 July 2024} +\date{4 December 2024} \usepackage[T1]{fontenc} \usepackage[utf8]{inputenx} \usepackage{etoolbox} @@ -135,6 +135,9 @@ The Hasse diagram of \(B_4\) is \hasse[attach Dynkin diagram=true]B4 \end{center} \end{tcblisting} + +\newpage + Unfortunately, attaching a Dynkin diagram looks terrible for \(D\) or \(E\) series, so a Dynkin diagram appears below. \begin{tcblisting}{title={Attaching the Dynkin diagram}} The Hasse diagram of \(D_5\) is @@ -262,8 +265,10 @@ The \verb!show height! option: \tikzset{/Lie Hasse diagram,show name=true,show height=true} \hasseDiagrams{G2} \end{Verbatim} +\begin{center} \tikzset{/Lie Hasse diagram,show name=true,show height=true} \hasse G2 +\end{center} The \verb!show widths! option: \begin{Verbatim} @@ -356,6 +361,7 @@ Inside a \TikZ{} or \verb!dynkinDiagram! environment: \forAllPositiveRoots{\foo}% \end{tikzpicture} \end{Verbatim} +\begin{center} \begingroup \tikzset{/Lie Hasse diagram/edge quotes/.style={opacity=0}, /Dynkin diagram/edge length=1.5cm} @@ -363,16 +369,19 @@ Inside a \TikZ{} or \verb!dynkinDiagram! environment: \hasse D6% \forAllPositiveRoots{\foo}% \end{tikzpicture} +\end{center} If you put this into the \verb!for all roots! option, it executes on its own: \begin{Verbatim} \tikzset{/Lie Hasse diagram/for all roots/.code 2 args={\foo{#1}{#2}}} \hasseDiagrams{C4;D4} \end{Verbatim} +\begin{center} \begingroup \tikzset{/Lie Hasse diagram/for all roots/.code 2 args={\foo{#1}{#2}}} \hasseDiagrams{C4;D4} \endgroup +\end{center} \endgroup \section{Three dimensional effect} @@ -436,7 +445,9 @@ Ringel \cite{Ringel:2013} labels his edges like \begin{Verbatim} \hasse[labels={f,e,d,c,u,b,a}]E7 \end{Verbatim} +\begin{center} \hasse[labels={f,e,d,c,u,b,a}]E7 +\end{center} \section{Parabolic subgroups} This package offers nothing over Ringel's original pictures, except that the user can pick some simple roots whose associated edges are drawn differently. @@ -447,8 +458,10 @@ We let the reader explore the notation for parabolic subgroups in the Dynkin dia \hasse D{**x*x*x*} \end{Verbatim} \begingroup +\begin{center} \tikzset{/Lie Hasse diagram,attach Dynkin diagram=true,three D=false} \hasse D{**x*x*x*} +\end{center} \endgroup Our motivation comes from trying to identify the invariant vector subbundles of the tangent bundle of a rational homogeneous variety \cite{MathOverflow:123801}. @@ -459,33 +472,47 @@ By default, noncompact root edges are not drawn. \begin{Verbatim} \hasse E{*xx*x*} \end{Verbatim} +\begin{center} \hasse E{*xx*x*} +\end{center} \begin{Verbatim} \hasse A{x*x*} \end{Verbatim} +\begin{center} \hasse A{x*x*} +\end{center} \begin{Verbatim} \hasse[parabolic=113]B8 \end{Verbatim} +\begin{center} \hasse[parabolic=113]B8 +\end{center} \begin{Verbatim} \hasse C{**xx*x**} \end{Verbatim} +\begin{center} \hasse C{**xx*x**} +\end{center} \newpage \begin{Verbatim} \hasse E{*x*x*x**} \end{Verbatim} +\begin{center} \hasse E{*x*x*x**} +\end{center} \newpage \begin{Verbatim} \hasse F{**xx} \end{Verbatim} +\begin{center} \hasse F{**xx} +\end{center} \begin{Verbatim} \hasse G{*x} \end{Verbatim} +\begin{center} \hasse G{*x} +\end{center} \endgroup \section{Examples} diff --git a/Master/texmf-dist/tex/latex/lie-hasse/lie-hasse.sty b/Master/texmf-dist/tex/latex/lie-hasse/lie-hasse.sty index 6d727c841cd..7e74fa73ca7 100644 --- a/Master/texmf-dist/tex/latex/lie-hasse/lie-hasse.sty +++ b/Master/texmf-dist/tex/latex/lie-hasse/lie-hasse.sty @@ -1,5 +1,5 @@ % The Lie Hasse package. -% Version 1.01 +% Version 1.02 % % % This package draws Hasse diagrams of root system posets of simple @@ -11,7 +11,7 @@ % Released under the LaTeX Project Public License v1.3c or later, see % http://www.latex-project.org/lppl.txt \NeedsTeXFormat{LaTeX2e}[1994/06/01] -\ProvidesPackage{lie-hasse}[2024/07/09 Lie Hasse] +\ProvidesPackage{lie-hasse}[2024/12/04 Lie Hasse] \RequirePackage[rgb]{xcolor} \RequirePackage{dynkin-diagrams} \RequirePackage[outline]{contour} @@ -263,14 +263,33 @@ }% \fi% }% +%\NewDocumentCommand\hasseAttachGtwoBackwards{}% +%{% +% \dynkin[vertical shift=0,% +% edge length=\lie@hasse@edge@length,% +% reverse arrows]{G}{\dynkin@roots}% +%}% +%\NewDocumentCommand\hasseAttachGtwoForwards{}% +%{% +% \dynkin[vertical shift=0,% +% edge length=\lie@hasse@edge@length]{G}{\dynkin@roots}% +%}% \NewDocumentCommand\hasseAttachGtwo{}% {% \dynkin[vertical shift=0,% - edge length=\lie@hasse@edge@length,% -% label,% -% backwards,% -% x shift in edge lengths=-1 -]{G}{\dynkin@roots}% + edge length=\lie@hasse@edge@length]{G}{\dynkin@roots}% +%\IfStrEqCase{\dynkin@ordering}{% +% {Adams}{\hasseAttachGtwoForwards}% +% {Bourbaki}{\hasseAttachGtwoForwards}% +% {Carter}{\hasseAttachGtwoBackwards}% +% {Dynkin}{\hasseAttachGtwoBackwards}% +% {Kac}{\hasseAttachGtwoBackwards}% +%}% +%[\ClassError% +% {Lie Hasse}% +% {Root ordering \dynkin@ordering{} % +% not Adams, Bourbaki, Carter, Dynkin or Kac when attaching G2 Dynkin diagram}% +% {}]% }% \newcount\lie@hasse@E@shift% \NewDocumentCommand\attachDynkin{}% @@ -372,6 +391,7 @@ %%% %%% Package internals: %%% +\tikzset{/Dynkin diagram/ordering=Carter} \pgfdeclarelayer{Dynkin middle} \pgfdeclarelayer{Dynkin above} \pgfsetlayers{background,Dynkin behind,Dynkin middle,Dynkin above,main} @@ -1833,9 +1853,29 @@ #2 1% \fi\fi\fi% }% +\NewDocumentCommand\hasse@G@AB{}% +{% +\hasse@X{{0,2},{1},{1},{1},{1}}{{1+2<1,2+1>1},{1+1<1},{1+1<1},{1+2<1}}%AB +}% +\NewDocumentCommand\hasse@G@CDK{}% +{% +\hasse@X{{0,2},{1},{1},{1},{1}}{{1+2<1,2+1>1},{1+2<1},{1+2<1},{1+1<1}}%CDK +}% \NewDocumentCommand\hasse@G{}% {% -\hasse@X{{0,2},{1},{1},{1},{1}}{{1+2<1,2+1>1},{1+1<1},{1+1<1},{1+2<1}}% +\IfStrEqCase{\dynkin@ordering}% +{% + {Adams}{\hasse@G@AB}% + {Bourbaki}{\hasse@G@AB}% + {Carter}{\hasse@G@CDK}% + {Dynkin}{\hasse@G@CDK}% + {Kac}{\hasse@G@CDK}% +}% +[\ClassError% + {Lie Hasse}% + {Root ordering ``\dynkin@ordering'' % + not Adams, Bourbaki, Carter, Dynkin or Kac when attaching G2 Dynkin diagram}% + {}]% }% \ExplSyntaxOn \DeclareExpandableDocumentCommand{\lie@hasse@repeat@string}{O{}mm} @@ -2479,7 +2519,7 @@ 10;1=1.3.4.2,% 11;1=2.3.4.2}% }% -\NewDocumentCommand\hasse@set@G@root@sums{}% +\NewDocumentCommand\hasse@set@G@root@sums@AB{}% {% \forcsvlist{\do@hasse@list}{% 1;1=1.0,% @@ -2489,6 +2529,32 @@ 4;1=3.1,% 5;1=3.2}% }% +\NewDocumentCommand\hasse@set@G@root@sums@CDK{}% +{% +\forcsvlist{\do@hasse@list}{% +1;1=1.0,% +1;2=0.1,% +2;1=1.1,% +3;1=1.2,% +4;1=1.3,% +5;1=2.3}% +}% +\NewDocumentCommand\hasse@set@G@root@sums{}% +{% +\IfStrEqCase{\dynkin@ordering}% +{% + {Adams}{\hasse@set@G@root@sums@AB}% + {Bourbaki}{\hasse@set@G@root@sums@AB}% + {Carter}{\hasse@set@G@root@sums@CDK}% + {Dynkin}{\hasse@set@G@root@sums@CDK}% + {Kac}{\hasse@set@G@root@sums@CDK}% +}% +[\ClassError% + {Lie Hasse}% + {Root ordering ``\dynkin@ordering'' % + not Adams, Bourbaki, Carter, Dynkin or Kac when setting root sums for G2 Dynkin diagram}% + {}]% +}% \NewDocumentCommand\forAllPositiveRoots{m}% {% \rootSystemHeight{\lie@hasse@height}% |