|
Warning: this is an htmlized version!
The original is here, and the conversion rules are here. |
% (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: