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

% «.ArtDecoN»	(to "ArtDecoN")
% «.OArtDecoN»	(to "OArtDecoN")

\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 -- (find-dn6 "output.lua" "Deletecomments-class")
% %L dofile "edrxtikz.lua"  -- (find-LATEX "edrxtikz.lua")
% %L dofile "edrxpict.lua"  -- (find-LATEX "edrxpict.lua")
% \pu


\def\Downs{\mathsf{D}}

% (grcp 32 "sieves-as-tvs")
% (grca    "sieves-as-tvs")



% «ArtDecoN»  (to ".ArtDecoN")
%
%L ArtDecoN_ts   = TCGSpec.new("33; 32,"):LRcolstrs("!ga{L1} !ga{L2} !ga{L3}",
%L                                                  "!ga{R1} !ga{R2} !ga{R3}")
%L ArtDecoN_td_0 = TCGDims {h=15,  v=8,  q=15, crh=3.5,  crv=7, qrh=5}
%L ArtDecoN_td_1 = TCGDims {h=25, v=22,  q=15, crh=7.5,  crv=7, qrh=5}
%L ArtDecoN_td_2 = TCGDims {h=65, v=50,  q=15, crh=20,  crv=15, qrh=5}
%L ArtDecoN_td_3 = TCGDims {h=85, v=70,  q=15, crh=30,  crv=30, qrh=5}
%L ArtDecoN_td_4 = TCGDims {h=85, v=80,  q=15, crh=35,  crv=35, qrh=5}
%L ArtDecoN_tq   = TCGQ.newdsoa(ArtDecoN_td_0, ArtDecoN_ts,
%L                              {tdef="ArtDecoNSmall", meta="1pt s"},
%L                              "h ap LR o")
%L ArtDecoN_tq   = TCGQ.newdsoa(ArtDecoN_td_1, ArtDecoN_ts,
%L                              {tdef="ArtDecoNMed", meta="1pt s"},
%L                              "h v ap LR o")
%L ArtDecoN_tq   = TCGQ.newdsoa(ArtDecoN_td_2, ArtDecoN_ts,
%L                              {tdef="ArtDecoNBig", meta="1pt"},
%L                              "h v ap LR o")
%L ArtDecoN_tq   = TCGQ.newdsoa(ArtDecoN_td_3, ArtDecoN_ts,
%L                              {tdef="ArtDecoNBigg", meta="1pt"},
%L                              "h v ap LR o")
%L ArtDecoN_tq   = TCGQ.newdsoa(ArtDecoN_td_4, ArtDecoN_ts,
%L                              {tdef="ArtDecoNBigg", meta="1pt"},
%L                              "h v ap LR o")
\pu
%
\def\ArtDecoNSetargs#1#2#3#4#5#6{
  \sa{L3}{#1}\sa{R3}{#2}%
  \sa{L2}{#3}\sa{R2}{#4}%
  \sa{L1}{#5}\sa{R1}{#6}%
  }

\def\adnsetargs#1{\ArtDecoNSetargs#1}
\def\adn       #1{{\adnsetargs#1        \tcg{ArtDecoNSmall}         }}
\def\padn      #1{{\adnsetargs#1 \left( \tcg{ArtDecoNSmall} \right) }}
\def\badn      #1{{\adnsetargs#1 \left[ \tcg{ArtDecoNSmall} \right] }}
\def\padnmed   #1{{\adnsetargs#1 \left( \tcg{ArtDecoNMed}   \right) }}
\def\padnbig   #1{{\adnsetargs#1 \left( \tcg{ArtDecoNBig}   \right) }}
\def\padnbigg  #1{{\adnsetargs#1 \left( \tcg{ArtDecoNBigg}  \right) }}
\def\padnbiggg #1{{\adnsetargs#1 \left( \tcg{ArtDecoNBigg}  \right) }}

$\adn{abcdef}
 \padn{abcdef}
 \badn{abcdef}
 \padnmed{abcdef}
 \padnbig{abcdef}
$

$
 \padnbigg{abcdef}
 \padnbiggg{abcdef}
$

% (find-angg "LUA/defwithmanyargs.lua" "SetManyArgs-tests")
% (find-angg "LUA/defwithmanyargs.lua" "SetManyArgs-tests" "OArtDecoN")


% «OArtDecoN»  (to ".OArtDecoN")
%R local OArtDecoN = 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 OArtDecoN:tomp({zdef="OArtDecoN",    scale="7pt", meta="s"}):addcells():output()
%R OArtDecoN:tomp({zdef="OArtDecoNMed", scale="10pt", meta=""}):addcells():output()
\pu

\makeatletter
\def\OArtDecoNSetArgs#1{\OArtDecoNSetArgs@#1}
\def\OArtDecoNSetArgs@#1#2#3#4#5{%
  \sa{32}{#1}\sa{33}{#2}\sa{20}{#3}\sa{21}{#4}\sa{22}{#5}%
  \OArtDecoNSetArgs@@}
\def\OArtDecoNSetArgs@@#1#2#3#4#5{%
  \sa{23}{#1}\sa{10}{#2}\sa{11}{#3}\sa{12}{#4}\sa{13}{#5}%
  \OArtDecoNSetArgs@@@}
\def\OArtDecoNSetArgs@@@#1#2#3#4{%
  \sa{00}{#1}\sa{01}{#2}\sa{02}{#3}\sa{03}{#4}%
  }
\makeatother

\def\oadnsetargs#1{\OArtDecoNSetArgs{#1}}
\def\oadn    #1{{ \oadnsetargs{#1}        \zha{OArtDecoN}            }}
\def\oadnmed #1{{ \oadnsetargs{#1}        \zha{OArtDecoNMed}         }}
\def\poadn   #1{{ \oadnsetargs{#1} \left( \zha{OArtDecoN}    \right) }}
\def\poadnmed#1{{ \oadnsetargs{#1} \left( \zha{OArtDecoNMed} \right) }}

$\oadn    {ab cdef ghij klmn}
 \oadnmed {ab cdef ghij klmn}
 \poadn   {ab cdef ghij klmn}
 \poadnmed{ab cdef ghij klmn}
$


\newpage

% (find-es "dednat" "lawvere-tierney-mpunder")
% (find-dn6 "zhas.lua" "MixedPicture-cuts")
% (find-dn6 "zhas.lua" "MixedPicture-cuts" "addlrs =")

%L ArtDecoNQ_ts   = TCGSpec.new("33; 32, ")
%L ArtDecoNQ_ts   = TCGSpec.new("33; 32, ", "..?",".?.")
%L
%L -- Question marks:
%L ArtDecoNQ_td_1 = TCGDims {h=35,  v=25,  q=15, crh=12,  crv=8, qrh=5}
%L ArtDecoNQ_tq   = TCGQ.newdsoa(ArtDecoNQ_td_1, ArtDecoNQ_ts,
%L                              {tdef="ArtDecoN-qmarks", meta="1pt p"},
%L                              "h v q ap"):lrs():output()
%L
%L -- Nucleus/J-operator:
%L ArtDecoNQ_ts:mp({zdef="ArtDecoN-nucleus", scale="12pt", meta=""}):addlrs():output()
%L
%L -- Components of the Lawvere-Tierney topology:
%L mp = ArtDecoNQ_ts:mpunder("32", {zdef="OADN:j:3_", scale="8pt", meta="s"}):output()
%L mp = ArtDecoNQ_ts:mpunder("20", {zdef="OADN:j:2_", scale="8pt", meta="s"}):output()
%L mp = ArtDecoNQ_ts:mpunder("10", {zdef="OADN:j:1_", scale="8pt", meta="s"}):output()
%L mp = ArtDecoNQ_ts:mpunder("03", {zdef="OADN:j:_3", scale="8pt", meta="s"}):output()
%L mp = ArtDecoNQ_ts:mpunder("02", {zdef="OADN:j:_2", scale="8pt", meta="s"}):output()
%L mp = ArtDecoNQ_ts:mpunder("01", {zdef="OADN:j:_1", scale="8pt", meta="s"}):output()
\pu


\def\QMarks {\tcg{ArtDecoN-qmarks}}
\def\RelevantPoints{
  \cmat{     & ▁3, \\
         2▁, &     \\
         1▁, & ▁1  \\
       }}
\def\Nucleus{\zha{ArtDecoN-nucleus}}

\def\GrTopology{
  \padnbig{
    {{\badn{?·1?11}}}  {\badn{·1·?·1}}
     {\badn{··1·1·}}   {\badn{···?·1}}
     {\badn{····1·}}   {\badn{·····1}}
    }}
\def\LTTopology{
  \padnbiggg{
    {{\zha{OADN:j:3_}}} {\zha{OADN:j:_3}}
     {\zha{OADN:j:2_}}  {\zha{OADN:j:_2}}
     {\zha{OADN:j:1_}}  {\zha{OADN:j:_1}}
    }}


The bijections:

\bsk
\bsk

\hspace*{-1.5cm}
$\mat{
 \QMarks &↔& \RelevantPoints &↔& \Nucleus \\
          && ↕               &&           \\
          && \GrTopology     &↔& \LTTopology \\
 }
$



% (grsp 21 "bijections-1")
% (grsa    "bijections-1")


% (cltp 42 "def-j-example")
% (clta    "def-j-example")









%\printbibliography

\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=2021ArtDecoN veryclean
make -f 2019.mk STEM=2021ArtDecoN pdf

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

