summaryrefslogtreecommitdiff
path: root/Master/texmf-dist
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2024-12-07 21:06:58 +0000
committerKarl Berry <karl@freefriends.org>2024-12-07 21:06:58 +0000
commit5780a3b4e09b9b70943648f3e4cf32d903357a4f (patch)
tree77bded2cfeface7eaf6f372cb54c80498d437b7b /Master/texmf-dist
parenta258669eba4bab4b70a769a01657bcffac02b0b7 (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/README4
-rw-r--r--Master/texmf-dist/doc/latex/lie-hasse/lie-hasse.pdfbin631928 -> 631841 bytes
-rw-r--r--Master/texmf-dist/doc/latex/lie-hasse/lie-hasse.tex31
-rw-r--r--Master/texmf-dist/tex/latex/lie-hasse/lie-hasse.sty84
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
index 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
Binary files differ
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}%