|
Warning: this is an htmlized version!
The original is here, and the conversion rules are here. |
% (find-LATEX "2026-test-maxima.tex")
% (defun c () (interactive) (find-LATEXsh "lualatex -record 2026-test-maxima.tex" :end))
% (defun C () (interactive) (find-LATEXsh "lualatex 2026-test-maxima.tex" "Success!!!"))
% (defun D () (interactive) (find-pdf-page "~/LATEX/2026-test-maxima.pdf"))
% (defun d () (interactive) (find-pdftools-page "~/LATEX/2026-test-maxima.pdf"))
% (defun e () (interactive) (find-LATEX "2026-test-maxima.tex"))
% (defun o () (interactive) (find-LATEX "2026-test-maxima.tex"))
% (defun u () (interactive) (find-latex-upload-links "2026-test-maxima"))
% (defun v () (interactive) (find-2a '(e) '(d)))
% (defun d0 () (interactive) (find-ebuffer "2026-test-maxima.pdf"))
% (defun cv () (interactive) (C) (ee-kill-this-buffer) (v) (g))
% (defun oe () (interactive) (find-2a '(o) '(e)))
% (code-eec-LATEX "2026-test-maxima")
% (find-pdf-page "~/LATEX/2026-test-maxima.pdf")
% (find-sh0 "cp -v ~/LATEX/2026-test-maxima.pdf /tmp/")
% (find-sh0 "cp -v ~/LATEX/2026-test-maxima.pdf /tmp/pen/")
% (find-xournalpp "/tmp/2026-test-maxima.pdf")
% file:///home/edrx/LATEX/2026-test-maxima.pdf
% file:///tmp/2026-test-maxima.pdf
% file:///tmp/pen/2026-test-maxima.pdf
% http://anggtwu.net/LATEX/2026-test-maxima.pdf
% https://anggtwu.net/LATEX/2026-test-maxima.pdf
% (find-LATEX "2019.mk")
% (find-Deps1-links "Caepro5 Piecewise4 Maxima2")
% (find-Deps1-cps "Caepro5 Piecewise4 Maxima2 Escadas4 ExprDxDy4")
% (find-Deps1-cps "Caepro5 Piecewise4 Maxima2 Escadas4 ExprDxDy4 DiagTeX1")
% (find-Deps1-anggs "Caepro5 Piecewise4 Maxima2")
% (find-MM-aula-links "2026-test-maxima" "2" "2026testmaxima" "tml")
% «.geometry» (to "geometry")
% «.edrx26a» (to "edrx26a")
% «.edrx26b» (to "edrx26b")
% «.edrx26c» (to "edrx26c")
% «.defs» (to "defs")
% «.footer» (to "footer")
%
% ;-- defs
%\documentclass[oneside,12pt]{article}
\documentclass[oneside]{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-LATEX "dednat7-test1.tex")
%\usepackage{proof} % For derivation trees ("%:" lines)
\input diagxy % For 2D diagrams ("%D" lines)
%\xyoption{curve} % For the ".curve=" feature in 2D diagrams
%
% «geometry» (to ".geometry")
% (find-es "tex" "geometry")
\usepackage[a6paper, landscape,
top=1.5cm, bottom=.25cm, left=1cm, right=1cm, includefoot
]{geometry}
%
% «edrx26a» (to ".edrx26a")
\usepackage{edrx26a} % (find-LATEX "edrx26a.sty")
%
\begin{document}
% «edrx26b» (to ".edrx26b")
\input edrx26b.tex % (find-LATEX "edrx26b.tex")
% «edrx26c» (to ".edrx26c")
% (find-LATEX "edrx26c.tex")
%L processsubfile "edrx26c.tex" -- runs the "%L"s
\input edrx26c.tex % loads the defs
%L require "DiagTeX1" -- (find-angg "LUA/DiagTeX1.lua")
\pu
% «defs» (to ".defs")
% (find-LATEX "edrx21defs.tex" "colors")
% (find-LATEX "edrx21.sty")
% «footer» (to ".footer")
% (find-LATEX "edrxheadfoot.tex")
\def\drafturl{http://anggtwu.net/LATEX/2026-1-C2.pdf}
\def\drafturl{http://anggtwu.net/2026.1-C2.html}
\def\draftfooter{\tiny \href{\drafturl}{\jobname{}} \ColorBrown{\shorttoday{} \hours}}
\long\def\ColorBlue #1{{\color{Blue1}#1}}
\def\P#1{\left(#1\right)}
%L PP("HELLO")
%L PP(status.filename)
\sa{F}{F}
\sa{G}{G}
%D diagram Color-NT-0
%D 2Dx 100 +30
%D 2D 100 A1
%D 2D |
%D 2D +20 A2 |-> A3
%D 2D | |
%D 2D +20 A4 |-> A5
%D 2D | |
%D 2D +20 A6 |-> A7
%D 2D
%D 2D +15 B0 --> B1
%D 2D
%D ren A1 ==> A
%D ren A2 A3 ==> C RC
%D ren A4 A5 ==> D RD
%D ren A6 A7 ==> E RE
%D ren B0 B1 ==> \ga{F} \ga{G}
%D
%D (( A1 A3 -> .plabel= r η
%D A2 A3 |->
%D A2 A4 -> .plabel= l f .arrowColor= Red
%D A3 A5 -> # .plabel= r Rf
%D A2 A5 harrownodes nil 20 nil |->
%D A4 A5 |->
%D A4 A6 -> .plabel= l g
%D A5 A7 -> # .plabel= r Rg
%D A4 A7 harrownodes nil 20 nil |->
%D A6 A7 |->
%D A1 A5 -> .slide= 15pt .arrowColor= Green
%D A1 A7 -> .slide= 25pt .arrowColor= Blue
%D
%D A2 A6 -> .slide= -10pt .arrowColor= Orange
%D
%D B0 B1 -> .plabel= a T
%D ))
%D enddiagram
\pu
%D diagram Color-NT-1
%D 2Dx 100 +40
%D 2D 100 A0 -> A1
%D 2D | |
%D 2D | |
%D 2D +20 v v
%D 2D +7 A2 -> A3
%D 2D
%D ren A0 A1 ==> \ColorRed{(C{→}D)} \ColorGreen{(A{→}RD)}
%D ren A2 A3 ==> \ColorOrange{(C{→}E)} \ColorBlue{(A{→}RE)}
%D
%D (( A0 A1 ->
%D A0 A2 ->
%D A1 A3 ->
%D A2 A3 ->
%D ))
%D enddiagram
\pu
%D diagram Color-NT-2
%D 2Dx 100 +35
%D 2D 100 B0 -> B1
%D 2D | |
%D 2D | v
%D 2D +20 v B3
%D 2D +7 B2 -> B3'
%D 2D
%D ren B0 B1 ==> \ColorRed{f} \ColorGreen{η;Rf}
%D ren B3 ==> \ColorBlue{(η;Rf);Rg}
%D ren B2 B3' ==> \ColorOrange{f;g} \ColorBlue{η;R(f;g)}
%D
%D (( B0 B1 |->
%D B0 B2 |->
%D B1 B3 |->
%D B2 B3' |->
%D ))
%D enddiagram
\pu
$$\diag{Color-NT-0}
\qquad
\qquad
\diag{Color-NT-1}
\qquad
\diag{Color-NT-2}
$$
%D diagram DE
%D 2Dx 100
%D 2D 100 D
%D 2D |
%D 2D v
%D 2D +20 E
%D 2D
%D (( D E -> .plabel= l \ga{f}
%D ))
%D enddiagram
\pu
\sa {(DE)} {{\sa{f}{} \pdiag{DE}}}
\sa {(DgE)} {{\sa{f}{f} \pdiag{DE}}}
\sa {(FG)} {(F \to G)}
\sa {(FTG)} {(F \ton{T} G)}
\sa {(C->AR)} {((C{→}) \to (A{→}R-))}
$$\ga{(FG)}
\ga{(FTG)}
\ga{(C->AR)}
\ga{(DE)}
\ga{(DgE)}
$$
%D diagram square-30
%D 2Dx 100 +30
%D 2D 100 \ga{nw} -> \ga{ne}
%D 2D | |
%D 2D v v
%D 2D +20 \ga{sw} -> \ga{se}
%D 2D
%D (( \ga{nw} \ga{ne} -> .plabel= a \ga{n}
%D \ga{nw} \ga{sw} -> .plabel= l \ga{w}
%D \ga{ne} \ga{se} -> .plabel= r \ga{e}
%D \ga{sw} \ga{se} -> .plabel= a \ga{s}
%D ))
%D enddiagram
\pu
%D diagram square-40
%D 2Dx 100 +40
%D 2D 100 \ga{nw} -> \ga{ne}
%D 2D | |
%D 2D v v
%D 2D +20 \ga{sw} -> \ga{se}
%D 2D
%D (( \ga{nw} \ga{ne} -> .plabel= a \ga{n}
%D \ga{nw} \ga{sw} -> .plabel= l \ga{w}
%D \ga{ne} \ga{se} -> .plabel= r \ga{e}
%D \ga{sw} \ga{se} -> .plabel= a \ga{s}
%D ))
%D enddiagram
\pu
\Sa{square-30}#1#2#3#4#5#6#7#8{{
\sa{nw}{#1} \sa{n}{#2} \sa{ne}{#3}
\sa {w}{#4} \sa {e}{#5}
\sa{sw}{#6} \sa{s}{#7} \sa{se}{#8}
\diag{square-30}
}}
\Sa{square-40}#1#2#3#4#5#6#7#8{{
\sa{nw}{#1} \sa{n}{#2} \sa{ne}{#3}
\sa {w}{#4} \sa {e}{#5}
\sa{sw}{#6} \sa{s}{#7} \sa{se}{#8}
\diag{square-40}
}}
\sa {(FTG)*(DgE)} {\P{\ga{square-30} {FD} {TD} {GD}
{Fg} {Gg}
{FE} {TE} {GE}}}
\sa {(FG)*(DE)} {\P{\ga{square-30} {FD} {} {GD}
{} {}
{FE} {} {GE}}}
\sa {(C->AR)*(DE)} {\P{\ga{square-40} {(C{→})D} {} {(A{→}R-)D}
{} {}
{(C{→})E} {} {(A{→}R-)E}}}
$$\begin{array}{rcc}
\ga{(FTG)} \ga{(DgE)} &=& \ga {(FTG)*(DgE)} \\\\[-5pt]
\ga{(FG)} \ga{(DE)} &=& \ga {(FG)*(DE)} \\\\[-5pt]
\ga{(FG)} \ga{(DE)} &=& \P{\diag{Color-NT-1}} \\\\[-5pt]
\ga{(C->AR)} \ga{(DE)} &=& \ga {(C->AR)*(DE)} \\
\end{array}
$$
% (find-LATEX "edrx21.sty" "sa-and-ga")
$$\sa {F->G} {(F\ton{T}G)}
\sa {D->E} {\pmat{D\\↓\\E}}
\sa {big1} {\pmat{(C{→}D) & → & (A{→}RD) \\
↓ & & ↓ \\
(C{→}E) & → & (A{→}RE) \\
}
}
%
(F \ton{T} G) \pmat{D\\↓\\E}
$$
\unitlength=20pt
\GenericWarning{Success:}{Success!!!} % Used by `M-x cv'
\end{document}
% (find-pdfpages2-links "~/LATEX/" "2026-test-maxima")
% Local Variables:
% coding: utf-8-unix
% outline-regexp: "% +;--"
% ee-tla: "tml"
% ee-tla: "2026testmaxima"
% End: