% (find-LATEX "2021groth-tops-defs.tex")
% (defun c () (interactive) (find-LATEXsh "lualatex -record 2021groth-tops-defs.tex" :end))
% (defun C () (interactive) (find-LATEXSH "lualatex 2021groth-tops-defs.tex" "Success!!!"))
% (defun D () (interactive) (find-pdf-page      "~/LATEX/2021groth-tops-defs.pdf"))
% (defun d () (interactive) (find-pdftools-page "~/LATEX/2021groth-tops-defs.pdf"))
% (defun e () (interactive) (find-LATEX "2021groth-tops-defs.tex"))
% (defun u () (interactive) (find-latex-upload-links "2021groth-tops-defs"))
% (defun v () (interactive) (find-2a '(e) '(d)))
% (defun cv () (interactive) (C) (ee-kill-this-buffer) (v) (g))
% (defun d0 () (interactive) (find-ebuffer "2021groth-tops-defs.pdf"))
%          (code-eec-LATEX "2021groth-tops-defs")
% (find-pdf-page   "~/LATEX/2021groth-tops-defs.pdf")
% (find-sh0 "cp -v  ~/LATEX/2021groth-tops-defs.pdf /tmp/")
% (find-sh0 "cp -v  ~/LATEX/2021groth-tops-defs.pdf /tmp/pen/")
%   file:///home/edrx/LATEX/2021groth-tops-defs.pdf
%               file:///tmp/2021groth-tops-defs.pdf
%           file:///tmp/pen/2021groth-tops-defs.pdf
% http://angg.twu.net/LATEX/2021groth-tops-defs.pdf
% (find-LATEX "2019.mk")

% «.Bottle»		(to "Bottle")
% «.WideBottle»		(to "WideBottle")
% «.SlantedHouse»	(to "SlantedHouse")
% «.ArtDecoN»		(to "ArtDecoN")
% «.ArtDecoNQ»		(to "ArtDecoNQ")
% «.X=H-and-D=N»	(to "X=H-and-D=N")
% «.LittleN»		(to "LittleN")

\documentclass[oneside,12pt]{article}
\usepackage[colorlinks,citecolor=DarkRed,urlcolor=DarkRed]{hyperref} % (find-es "tex" "hyperref")
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{pict2e}
\usepackage[x11names,svgnames]{xcolor} % (find-es "tex" "xcolor")
%\usepackage{colorweb}                 % (find-es "tex" "colorweb")
%\usepackage{tikz}
%
% (find-dn6 "preamble6.lua" "preamble0")
%\usepackage{proof}   % For derivation trees ("%:" lines)
%\input diagxy        % For 2D diagrams ("%D" lines)
%\xyoption{curve}     % For the ".curve=" feature in 2D diagrams
%
\usepackage{edrx15}               % (find-LATEX "edrx15.sty")
\input edrxaccents.tex            % (find-LATEX "edrxaccents.tex")
\input edrxchars.tex              % (find-LATEX "edrxchars.tex")
\input edrxheadfoot.tex           % (find-LATEX "edrxheadfoot.tex")
\input edrxgac2.tex               % (find-LATEX "edrxgac2.tex")
\input 2017planar-has-defs.tex    % (find-LATEX "2017planar-has-defs.tex")
%
%\usepackage[backend=biber,
%   style=alphabetic]{biblatex}            % (find-es "tex" "biber")
%\addbibresource{catsem-slides.bib}        % (find-LATEX "catsem-slides.bib")
%
% (find-es "tex" "geometry")
\begin{document}

\catcode`\^^J=10
\directlua{dofile "dednat6load.lua"}  % (find-LATEX "dednat6load.lua")

% %L dofile "edrxtikz.lua"  -- (find-LATEX "edrxtikz.lua")
% %L dofile "edrxpict.lua"  -- (find-LATEX "edrxpict.lua")
% \pu

%\printbibliography



% (find-LATEX "2021groth-tops-children.tex" "def-Bottle")

% (find-angg "LUA/defwithmanyargs.lua" "Bottle")

\def\sa#1#2{\expandafter\def\csname myarg#1\endcsname{#2}}
\def\ga#1{\csname myarg#1\endcsname}


%  ____        _   _   _      
% | __ )  ___ | |_| |_| | ___ 
% |  _ \ / _ \| __| __| |/ _ \
% | |_) | (_) | |_| |_| |  __/
% |____/ \___/ \__|\__|_|\___|
%                             
% «Bottle»  (to ".Bottle")
% (find-LATEX "2021groth-tops-children.tex" "Bottle")
% (find-angg "LUA/defwithmanyargs.lua" "SetManyArgs-tests")
% (find-angg "LUA/defwithmanyargs.lua" "SetManyArgs-tests" "Bottle")
%
\makeatletter
\def\BottleSetArgs#1{\BottleSetArgs@#1}
\def\BottleSetArgs@#1#2#3#4#5{%
  \sa{32}{#1}\sa{20}{#2}\sa{21}{#3}\sa{22}{#4}\sa{10}{#5}%
  \BottleSetArgs@@}
\def\BottleSetArgs@@#1#2#3#4#5{%
  \sa{11}{#1}\sa{12}{#2}\sa{00}{#3}\sa{01}{#4}\sa{02}{#5}%
  }
\makeatother
%
%R local Bottle = 7/       !ga{32}                     \
%R                 |              !ga{22}              |
%R                 |       !ga{21}       !ga{12}       |
%R                 |!ga{20}       !ga{11}       !ga{02}|
%R                 |       !ga{10}       !ga{01}       |
%R                 \              !ga{00}              /
%R Bottle:tomp({zdef="Bottle-5pt", scale="5pt", meta="s"}):addcells():output()
%R Bottle:tomp({zdef="Bottle-6pt", scale="6pt", meta="s"}):addcells():output()
%R Bottle:tomp({zdef="Bottle-8pt", scale="8pt", meta="s"}):addcells():output()
%R Bottle:tomp({zdef="Bottle^2",  scale="52pt", meta=nil}):addcells():addarrows():output()

\pu

\def\bo  #1{{       \BottleSetArgs{#1}\zha{Bottle-5pt}        }}
\def\bbo #1{{\left[ \BottleSetArgs{#1}\zha{Bottle-5pt} \right]}}
\def\pwbo#1{{\left( \BottleSetArgs{#1}\zha{Bottle-8pt} \right)}}

% Tests:
$\bo{0 123 456 789} \bbo{0 123 456 789} \pwbo{· {20}{21}· {10}{11}· {00}{01}·}$

$$Ω =
  \left(
  \BottleSetArgs{
                                              {\bbo{? ??? ??? ???}}
  {\bbo{· ?·· ?·· ?··}} {\bbo{· ??· ??· ??·}} {\bbo{· ??? ??? ???}}
  {\bbo{· ··· ?·· ?··}} {\bbo{· ··· ??· ??·}} {\bbo{· ··· ??? ???}}
  {\bbo{· ··· ··· ?··}} {\bbo{· ··· ··· ??·}} {\bbo{· ··· ··· ???}}}
  \zha{Bottle^2}
  \right)
$$


\newpage

% __        ___     _      ____        _   _   _      
% \ \      / (_) __| | ___| __ )  ___ | |_| |_| | ___ 
%  \ \ /\ / /| |/ _` |/ _ \  _ \ / _ \| __| __| |/ _ \
%   \ V  V / | | (_| |  __/ |_) | (_) | |_| |_| |  __/
%    \_/\_/  |_|\__,_|\___|____/ \___/ \__|\__|_|\___|
%                                                     
% «WideBottle»  (to ".WideBottle")
% (find-LATEX "2021groth-tops-children.tex" "WideBottle")

WideBottle:

% (find-angg "LUA/defwithmanyargs.lua" "SetManyArgs-tests")
% (find-angg "LUA/defwithmanyargs.lua" "SetManyArgs-tests" "WideBottle")
\makeatletter
\def\WideBottleSetArgs#1{\WideBottleSetArgs@#1}
\def\WideBottleSetArgs@#1#2#3#4#5{%
  \sa{32}{#1}\sa{33}{#2}\sa{20}{#3}\sa{21}{#4}\sa{22}{#5}%
  \WideBottleSetArgs@@}
\def\WideBottleSetArgs@@#1#2#3#4#5{%
  \sa{23}{#1}\sa{10}{#2}\sa{11}{#3}\sa{12}{#4}\sa{13}{#5}%
  \WideBottleSetArgs@@@}
\def\WideBottleSetArgs@@@#1#2#3#4{%
  \sa{00}{#1}\sa{01}{#2}\sa{02}{#3}\sa{03}{#4}%
  }
\makeatother

%R local WideBottle = 7/              !ga{33}                     \
%R                     |       !ga{32}       !ga{23}              |
%R                     |              !ga{22}       !ga{13}       |
%R                     |       !ga{21}       !ga{12}       !ga{03}|
%R                     |!ga{20}       !ga{11}       !ga{02}       |
%R                     |       !ga{10}       !ga{01}              |
%R                     \              !ga{00}                     /
%R WideBottle:tomp({zdef="WideBottle", scale="7pt", meta="s"}):addcells():output()
\pu

\def\pwibo#1{{\left( \WideBottleSetArgs{#1} \zha{WideBottle} \right)}}

$\pwibo{ab cdef ghij klmn}$


\newpage

%  ____  _             _           _ _   _                      
% / ___|| | __ _ _ __ | |_ ___  __| | | | | ___  _   _ ___  ___ 
% \___ \| |/ _` | '_ \| __/ _ \/ _` | |_| |/ _ \| | | / __|/ _ \
%  ___) | | (_| | | | | ||  __/ (_| |  _  | (_) | |_| \__ \  __/
% |____/|_|\__,_|_| |_|\__\___|\__,_|_| |_|\___/ \__,_|___/\___|
%                                                               
% «SlantedHouse»  (to ".SlantedHouse")
% (find-LATEX "2021groth-tops-children.tex" "SlantedHouse")
%
%L SlantedHouse_ts   = TCGSpec.new("32; 32,")
%L SlantedHouse_td_0 = TCGDims {h=15,  v=8,  q=15, crh=3.5,  crv=7, qrh=5}
%L SlantedHouse_td_2 = TCGDims {h=65, v=50,  q=15, crh=20,  crv=15, qrh=5}
%L SlantedHouse_tq   = TCGQ.newdsoa(SlantedHouse_td_0, SlantedHouse_ts,
%L                                  {tdef="SlantedHouseSmall", meta="1pt s"},
%L                                  "h ap")
%L SlantedHouse_tq:LRputs("!ga{L1} !ga{L2} !ga{L3}", "!ga{R1} !ga{R2}"):output()
%L
%L SlantedHouse_tq   = TCGQ.newdsoa(SlantedHouse_td_2, SlantedHouse_ts,
%L                                  {tdef="SlantedHouseBig", meta="1pt p"},
%L                                  "h v ap")
%L SlantedHouse_tq:LRputs("!ga{L1} !ga{L2} !ga{L3}", "!ga{R1} !ga{R2}"):output()
%
\pu
%
\def\SlantedHouseSetargs#1#2#3#4#5{
  \sa{L3}{#1}%
  \sa{L2}{#2}\sa{R2}{#3}%
  \sa{L1}{#4}\sa{R1}{#5}}
%
\def\SlantedHouse#1#2#3#4#5{{%
  \SlantedHouseSetargs{#1}{#2}{#3}{#4}{#5}
  \tcg{SlantedHouseSmall}}}
%
\def\SlantedHouseBig#1#2#3#4#5{{%
  \SlantedHouseSetargs{#1}{#2}{#3}{#4}{#5}
  \tcg{SlantedHouseBig}}}
%
\def\bsh#1#2#3#4#5{\left[ \SlantedHouse#1#2#3#4#5 \right]}
\def\bsht{\bsh01234}

$\SlantedHouse 00110$

$$\SlantedHouseBig
  {\bsh??111}
  {\bsh·?·1·}  {\bsh··1·1}
  {\bsh···1·}  {\bsh····?}
$$



\newpage

%     _         _   ____                 _   _ 
%    / \   _ __| |_|  _ \  ___  ___ ___ | \ | |
%   / _ \ | '__| __| | | |/ _ \/ __/ _ \|  \| |
%  / ___ \| |  | |_| |_| |  __/ (_| (_) | |\  |
% /_/   \_\_|   \__|____/ \___|\___\___/|_| \_|
%                                              
% «ArtDecoN»  (to ".ArtDecoN")
% (find-LATEX "2021groth-tops-children.tex" "ArtDecoN")
% (grdp 4 "ArtDecoN")
% (grd    "ArtDecoN")
% (find-dn6 "tcgs.lua" "TCGSpec-test")
% (find-dn6 "tcgs.lua" "TCGSpec-test" ":ap()")

%L ArtDecoN_ts   = TCGSpec.new("33; 32,")
%L ArtDecoN_td_0 = TCGDims {h=15,  v=8,  q=15, crh=3.5,  crv=7, qrh=5}
%L ArtDecoN_td_2 = TCGDims {h=65, v=50,  q=15, crh=20,  crv=15, qrh=5}
%L ArtDecoN_tq   = TCGQ.newdsoa(ArtDecoN_td_0, ArtDecoN_ts,
%L                                  {tdef="ArtDecoNSmall", meta="1pt s"},
%L                                  "h ap")
%L ArtDecoN_tq:LRputs("!ga{L1} !ga{L2} !ga{L3}", "!ga{R1} !ga{R2} !ga{R3}"):output()
%L
%L ArtDecoN_tq   = TCGQ.newdsoa(ArtDecoN_td_2, ArtDecoN_ts,
%L                                  {tdef="ArtDecoNBig", meta="1pt p"},
%L                                  "h v ap")
%L ArtDecoN_tq:LRputs("!ga{L1} !ga{L2} !ga{L3}", "!ga{R1} !ga{R2} !ga{R3}"):output()
%
\pu
%
\def\ArtDecoNSetargs#1#2#3#4#5#6{
  \sa{L3}{#1}\sa{R3}{#1}%
  \sa{L2}{#2}\sa{R2}{#3}%
  \sa{L1}{#4}\sa{R1}{#5}}
%
\def\ArtDecoN#1#2#3#4#5#6{{%
  \ArtDecoNSetargs{#1}{#2}{#3}{#4}{#5}{#6}
  \tcg{ArtDecoNSmall}}}
%
\def\ArtDecoNBig#1#2#3#4#5#6{{%
  \ArtDecoNSetargs{#1}{#2}{#3}{#4}{#5}{#6}
  \tcg{ArtDecoNBig}}}
%
\def\badn#1#2#3#4#5#6{\left[ \ArtDecoN{#1}{#2}{#3}{#4}{#5}{#6} \right]}

$\ArtDecoN 0?0110$

$$\ArtDecoNBig
  {\badn?!?111}  {\badn?!?111}
  {\badn·!?·1·}  {\badn·!·1·1}
  {\badn·!··1·}  {\badn·!···?}
$$





\newpage

% «ArtDecoNQ»  (to ".ArtDecoNQ")
% ArtDecoN with question marks (and slashings)

%L ArtDecoNQ_ts   = TCGSpec.new("33; 32, ", ".??",".??")
%L ArtDecoNQ_td_1 = TCGDims {h=15,  v=8,  q=15, crh=3.5,  crv=7, qrh=5}
%L ArtDecoNQ_ts:mp({zdef="ArtDecoNQ", scale="12pt", meta="s"}):addlrs():output()
%L ArtDecoNQ_tq   = TCGQ.newdsoa(ArtDecoNQ_td_1, ArtDecoNQ_ts,
%L                              {tdef="ArtDecoNQ", meta="1pt s p"},
%L                              "h q ap"):lrs():output()
\pu

$\zha{ArtDecoNQ} \tcg{ArtDecoNQ}$


\newpage

% «X=H-and-D=N»  (to ".X=H-and-D=N")
% (find-LATEX "2021groth-tops-children.tex" "X=H-and-D=N")

$X=H$ and $D=N$:

%L H_ts = TCGSpec.new("32; 32,")
%L D_ts = TCGSpec.new("33; 32,")
%L H_td = TCGDims {h=35,  v=28,  q=15, crh=7.5,  crv=9, qrh=5}
%L D_td = TCGDims {h=35,  v=28,  q=15, crh=7.5,  crv=9, qrh=5}
%L H_tq = TCGQ.newdsoa(H_td, H_ts, {tdef="H", meta="1pt p"}, "h v ap")
%L D_tq = TCGQ.newdsoa(D_td, D_ts, {tdef="D", meta="1pt p"}, "h v ap")
%L H_tq:lrs():output()
%L D_tq:lrs():output()
%L H_mp = H_ts:mp({zdef="H_zha", scale="11pt", meta=nil})
%L D_mp = D_ts:mp({zdef="D_zha", scale="11pt", meta=nil})
%L H_mp:addlrs():output()
%L D_mp:addlrs():output()
\pu

$$\tcg{H} \zha{H_zha}$$

$$\tcg{D} \zha{D_zha}$$



%L tspec_HHH  = TCGSpec.new("33; 32,")
%L tdims_big   = TCGDims {h=50, v=50,  q=15, crh=19,  crv=15, qrh=5}
%L tdims_mini  = TCGDims {h=15,  v=8,  q=15, crh=3.5,  crv=7, qrh=5}
%L tdims_micro = TCGDims {h=25, v=22,  q=15, crh=7.5,  crv=7, qrh=5}
%L tcg_HHH = TCGQ.newdsoa(tdims_big,   tspec_HHH, {tdef="HHH0", meta="1pt s"}, "h v ap")
%L tcg_Hhh = TCGQ.newdsoa(tdims_micro, tspec_HHH, {tdef="Hhh0", meta="1pt s"}, "h v ap")
%L tcg_hhh = TCGQ.newdsoa(tdims_mini,  tspec_HHH, {tdef="hhh0", meta="1pt s"}, "h   ap")

\def\HHH#1#2#3#4#5#6{{...\tcg{HHH0}
  }}
\def\Hhh#1#2#3#4#5#6{{...\tcg{Hhh0}
  }}
\def\hhh#1#2#3#4#5#6{{...\tcg{hhh0}
  }}

\def\pHHH#1{{\left( \HHH#1 \right)}}
\def\pHhh#1{{\left( \Hhh#1 \right)}}
\def\phhh#1{{\left( \hhh#1 \right)}}
\def\bHHH#1{{\left[ \HHH#1 \right]}}
\def\bhhh#1{{\left[ \hhh#1 \right]}}



\newpage


%  _     _ _   _   _      _   _ 
% | |   (_) |_| |_| | ___| \ | |
% | |   | | __| __| |/ _ \  \| |
% | |___| | |_| |_| |  __/ |\  |
% |_____|_|\__|\__|_|\___|_| \_|
%                               
% «LittleN»  (to ".LittleN")
% (grdp 7 "LittleN")
% (grd    "LittleN")

%L LittleN_ts   = TCGSpec.new("21; 21,")
%L LittleN_td_0 = TCGDims {h=15,  v=8,  q=15, crh=3.5,  crv=7, qrh=5}
%L LittleN_td_2 = TCGDims {h=65, v=50,  q=15, crh=20,  crv=15, qrh=5}
%L LittleN_tq   = TCGQ.newdsoa(LittleN_td_0, LittleN_ts,
%L                                  {tdef="LittleNSmall", meta="1pt s"},
%L                                  "h ap")
%L LittleN_tq:LRputs("!ga{L1} !ga{L2}", "!ga{R1} !ga{R2}"):output()
%L
%L LittleN_tq   = TCGQ.newdsoa(LittleN_td_2, LittleN_ts,
%L                                  {tdef="LittleNBig", meta="1pt p"},
%L                                  "h v ap")
%L LittleN_tq:LRputs("!ga{L1} !ga{L2}", "!ga{R1} !ga{R2}"):output()
%
\pu
%
\def\LittleNSetargs#1#2#3#4{
  \sa{L2}{#1}\sa{R2}{#2}%
  \sa{L1}{#3}\sa{R1}{#4}}
%
\def\LittleN#1#2#3#4{{%
  \LittleNSetargs{#1}{#2}{#3}{#4}
  \tcg{LittleNSmall}}}
%
\def\LittleNBig#1#2#3#4{{%
  \LittleNSetargs{#1}{#2}{#3}{#4}
  \tcg{LittleNBig}}}
%
\def\littlen#1#2#3#4{{
  %\left
  ( \!
  \LittleNSetargs{#1}{#2}{#3}{#4}
  \tcg{LittleNSmall}
  %\right
  )
  }}

$\littlen abcd$


\def\Homp#1#2#3#4{\Hom(\littlen{#1}{#2}{#3}{#4}, P)}
\def\HomP#1#2#3#4#5{\begin{array}{c}
  \Homp{#1}{#2}{#3}{#4} \\
  ≅#5
  \end{array}}


$$\sa{22}{\HomP1111{P(2▁)×_{P(▁1)}P(▁2)}}
  \sa{21}{\HomP1011{P(2▁)}}
  \sa{12}{\HomP0111{P(1▁)×P(▁2)}}
  \sa{11}{\HomP0011{P(1▁)×P(▁1)}}
  \sa{10}{\HomP0010{P(1▁)}}
  \sa{02}{\HomP0101{P(▁2)}}
  \sa{01}{\HomP0001{P(▁1)}}
  \sa{00}{\HomP0000{1}}
  \setlength{\arraycolsep}{-10pt}
  \setlength{\arraycolsep}{0pt}
  \begin{array}{cccccc}
            & \ga{22} &                   \\ \\
    \ga{21} &         & \ga{12}           \\ \\
            & \ga{11} &         & \ga{02} \\ \\
    \ga{10} &         & \ga{01}           \\ \\
            & \ga{00} &                   \\
  \end{array}
$$






% (ph1p 13 "HAs")
% (ph1     "HAs")
% (find-LATEX "2017planar-has-1.tex" "HAs")
% (find-LATEX "2017planar-has-1.tex" "HAs" "PoQai")


% = TCGSpec.new("46; 32, 15 26"                 ):ap()
% = TCGSpec.new("46; 32, 15 26", "?..?","..??.."):mp()
% = TCGSpec.new("46; 32, 15 26", "?..?","..??.."):mp():addlrs()
% = TCGSpec.new("46; 32, 15 26"                 ):mp():addlrs()
% = TCGSpec.new("46; 32, 15 26"                 ):zha()


%L ts = TCGSpec.new("46; 22 34 45, 25", ".???", "???.?.")
%L = ts
%L = ts:zha()
%L = ts:zhaspec()
%L = ts:cuts()
%L = ts:mp()
%L = ts:mp():addlrs()
%L   ts:mp({zdef="foo"}):lprint()
%L 
%L = TCGSpec.new("46; 22 34 45, 25", ".???", "???.?."):mp():addlrs()
%L = TCGSpec.new("46; 22 34 45, 25"                  ):mp():addlrs()





\GenericWarning{Success:}{Success!!!}  % Used by `M-x cv'

\end{document}

%  __  __       _        
% |  \/  | __ _| | _____ 
% | |\/| |/ _` | |/ / _ \
% | |  | | (_| |   <  __/
% |_|  |_|\__,_|_|\_\___|
%                        
% <make>

 (eepitch-shell)
 (eepitch-kill)
 (eepitch-shell)
# (find-LATEXfile "2019planar-has-1.mk")
make -f 2019.mk STEM=2021groth-tops-defs veryclean
make -f 2019.mk STEM=2021groth-tops-defs pdf

% Local Variables:
% coding: utf-8-unix
% ee-tla: "grd"
% End:
