texlive[73066] Master/texmf-dist: lie-hasse (7dec24)
commits+karl at tug.org
commits+karl at tug.org
Sat Dec 7 22:06:58 CET 2024
Revision: 73066
https://tug.org/svn/texlive?view=revision&revision=73066
Author: karl
Date: 2024-12-07 22:06:58 +0100 (Sat, 07 Dec 2024)
Log Message:
-----------
lie-hasse (7dec24)
Modified Paths:
--------------
trunk/Master/texmf-dist/doc/latex/lie-hasse/README
trunk/Master/texmf-dist/doc/latex/lie-hasse/lie-hasse.pdf
trunk/Master/texmf-dist/doc/latex/lie-hasse/lie-hasse.tex
trunk/Master/texmf-dist/tex/latex/lie-hasse/lie-hasse.sty
Modified: trunk/Master/texmf-dist/doc/latex/lie-hasse/README
===================================================================
--- trunk/Master/texmf-dist/doc/latex/lie-hasse/README 2024-12-07 21:06:46 UTC (rev 73065)
+++ trunk/Master/texmf-dist/doc/latex/lie-hasse/README 2024-12-07 21:06:58 UTC (rev 73066)
@@ -2,9 +2,9 @@
Lie Hasse
- v1.01
+ v1.02
- 9 July 2024
+ 4 December 2024
___________________________________
Authors : Ben McKay
Modified: trunk/Master/texmf-dist/doc/latex/lie-hasse/lie-hasse.pdf
===================================================================
(Binary files differ)
Modified: trunk/Master/texmf-dist/doc/latex/lie-hasse/lie-hasse.tex
===================================================================
--- trunk/Master/texmf-dist/doc/latex/lie-hasse/lie-hasse.tex 2024-12-07 21:06:46 UTC (rev 73065)
+++ trunk/Master/texmf-dist/doc/latex/lie-hasse/lie-hasse.tex 2024-12-07 21:06:58 UTC (rev 73066)
@@ -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 at ucc.ie}
-\date{9 July 2024}
+\date{4 December 2024}
\usepackage[T1]{fontenc}
\usepackage[utf8]{inputenx}
\usepackage{etoolbox}
@@ -135,6 +135,9 @@
\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 @@
\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 @@
\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,6 +369,7 @@
\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}
@@ -369,10 +376,12 @@
\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 @@
\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 @@
\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 @@
\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}
Modified: trunk/Master/texmf-dist/tex/latex/lie-hasse/lie-hasse.sty
===================================================================
--- trunk/Master/texmf-dist/tex/latex/lie-hasse/lie-hasse.sty 2024-12-07 21:06:46 UTC (rev 73065)
+++ trunk/Master/texmf-dist/tex/latex/lie-hasse/lie-hasse.sty 2024-12-07 21:06:58 UTC (rev 73066)
@@ -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 at hasse@edge at length,%
+% reverse arrows]{G}{\dynkin at roots}%
+%}%
+%\NewDocumentCommand\hasseAttachGtwoForwards{}%
+%{%
+% \dynkin[vertical shift=0,%
+% edge length=\lie at hasse@edge at length]{G}{\dynkin at roots}%
+%}%
\NewDocumentCommand\hasseAttachGtwo{}%
{%
\dynkin[vertical shift=0,%
- edge length=\lie at hasse@edge at length,%
-% label,%
-% backwards,%
-% x shift in edge lengths=-1
-]{G}{\dynkin at roots}%
+ edge length=\lie at hasse@edge at length]{G}{\dynkin at roots}%
+%\IfStrEqCase{\dynkin at ordering}{%
+% {Adams}{\hasseAttachGtwoForwards}%
+% {Bourbaki}{\hasseAttachGtwoForwards}%
+% {Carter}{\hasseAttachGtwoBackwards}%
+% {Dynkin}{\hasseAttachGtwoBackwards}%
+% {Kac}{\hasseAttachGtwoBackwards}%
+%}%
+%[\ClassError%
+% {Lie Hasse}%
+% {Root ordering \dynkin at ordering{} %
+% not Adams, Bourbaki, Carter, Dynkin or Kac when attaching G2 Dynkin diagram}%
+% {}]%
}%
\newcount\lie at hasse@E at 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,10 +1853,30 @@
#2 1%
\fi\fi\fi%
}%
+\NewDocumentCommand\hasse at G@AB{}%
+{%
+\hasse at 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 at G@CDK{}%
+{%
+\hasse at 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 at G{}%
{%
-\hasse at X{{0,2},{1},{1},{1},{1}}{{1+2<1,2+1>1},{1+1<1},{1+1<1},{1+2<1}}%
+\IfStrEqCase{\dynkin at ordering}%
+{%
+ {Adams}{\hasse at G@AB}%
+ {Bourbaki}{\hasse at G@AB}%
+ {Carter}{\hasse at G@CDK}%
+ {Dynkin}{\hasse at G@CDK}%
+ {Kac}{\hasse at G@CDK}%
}%
+[\ClassError%
+ {Lie Hasse}%
+ {Root ordering ``\dynkin at ordering'' %
+ not Adams, Bourbaki, Carter, Dynkin or Kac when attaching G2 Dynkin diagram}%
+ {}]%
+}%
\ExplSyntaxOn
\DeclareExpandableDocumentCommand{\lie at hasse@repeat at string}{O{}mm}
{
@@ -2479,7 +2519,7 @@
10;1=1.3.4.2,%
11;1=2.3.4.2}%
}%
-\NewDocumentCommand\hasse at set@G at root@sums{}%
+\NewDocumentCommand\hasse at set@G at root@sums at AB{}%
{%
\forcsvlist{\do at hasse@list}{%
1;1=1.0,%
@@ -2489,6 +2529,32 @@
4;1=3.1,%
5;1=3.2}%
}%
+\NewDocumentCommand\hasse at set@G at root@sums at CDK{}%
+{%
+\forcsvlist{\do at 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 at set@G at root@sums{}%
+{%
+\IfStrEqCase{\dynkin at ordering}%
+{%
+ {Adams}{\hasse at set@G at root@sums at AB}%
+ {Bourbaki}{\hasse at set@G at root@sums at AB}%
+ {Carter}{\hasse at set@G at root@sums at CDK}%
+ {Dynkin}{\hasse at set@G at root@sums at CDK}%
+ {Kac}{\hasse at set@G at root@sums at CDK}%
+}%
+[\ClassError%
+ {Lie Hasse}%
+ {Root ordering ``\dynkin at ordering'' %
+ not Adams, Bourbaki, Carter, Dynkin or Kac when setting root sums for G2 Dynkin diagram}%
+ {}]%
+}%
\NewDocumentCommand\forAllPositiveRoots{m}%
{%
\rootSystemHeight{\lie at hasse@height}%
More information about the tex-live-commits
mailing list.