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