|
Warning: this is an htmlized version!
The original is here, and the conversion rules are here. |
% (find-LATEX "2026-eval-simp-anim.tex")
% (defun c () (interactive) (find-LATEXsh "lualatex -record 2026-eval-simp-anim.tex" :end))
% (defun C () (interactive) (find-LATEXsh "lualatex 2026-eval-simp-anim.tex" "Success!!!"))
% (defun D () (interactive) (find-pdf-page "~/LATEX/2026-eval-simp-anim.pdf"))
% (defun d () (interactive) (find-pdftools-page "~/LATEX/2026-eval-simp-anim.pdf"))
% (defun o () (interactive) (find-LATEX "2026-test-maxima.tex"))
% (defun e () (interactive) (find-LATEX "2026-eval-simp-anim.tex"))
% (defun u () (interactive) (find-latex-upload-links "2026-eval-simp-anim"))
% (defun v () (interactive) (find-2a '(e) '(d)))
% (defun d0 () (interactive) (find-ebuffer "2026-eval-simp-anim.pdf"))
% (defun cv () (interactive) (C) (ee-kill-this-buffer) (v) (g))
% (defun oe () (interactive) (find-2a '(o) '(e)))
% (code-eec-LATEX "2026-eval-simp-anim")
% (find-pdf-page "~/LATEX/2026-eval-simp-anim.pdf")
% (find-sh0 "cp -v ~/LATEX/2026-eval-simp-anim.pdf /tmp/")
% (find-sh0 "cp -v ~/LATEX/2026-eval-simp-anim.pdf /tmp/pen/")
% (find-xournalpp "/tmp/2026-eval-simp-anim.pdf")
% file:///home/edrx/LATEX/2026-eval-simp-anim.pdf
% file:///tmp/2026-eval-simp-anim.pdf
% file:///tmp/pen/2026-eval-simp-anim.pdf
% http://anggtwu.net/LATEX/2026-eval-simp-anim.pdf
% (find-LATEX "2019.mk")
% (find-Deps1-links "Caepro5 Piecewise2 Maxima2")
% (find-Deps1-cps "Caepro5 Piecewise2 Maxima2")
% (find-Deps1-anggs "Caepro5 Piecewise2 Maxima2")
% (find-MM-aula-links "2026-eval-simp-anim" "2" "2026evalsimpanim" "esan")
% «.defs» (to "defs")
% «.defs-T-and-B» (to "defs-T-and-B")
% «.defs-caepro» (to "defs-caepro")
% «.defs-pict2e» (to "defs-pict2e")
% «.defs-maxima» (to "defs-maxima")
% «.defs-V» (to "defs-V")
%
%newpage %-- defs
\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-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
%
\usepackage{edrx21} % (find-LATEX "edrx21.sty")
\input edrxaccents.tex % (find-LATEX "edrxaccents.tex")
\input edrx21chars.tex % (find-LATEX "edrx21chars.tex")
\input edrxheadfoot.tex % (find-LATEX "edrxheadfoot.tex")
\input edrxgac2.tex % (find-LATEX "edrxgac2.tex")
%
% (find-LATEX "2026logica-para-pessoas.tex" "screenshotdimens")
% (find-es "tex" "geometry")
\usepackage[%a6paper, landscape,
paperwidth=4cm,
paperheight=4cm,
%top=1.5cm, bottom=.25cm, left=1cm, right=1cm, includefoot
%top=0.5cm, bottom=0.5cm, left=0.5cm, right=0.5cm%, includefoot
top=0.2cm, bottom=0.2cm, left=0.2cm, right=0.2cm%, includefoot
]{geometry}
%
\begin{document}
% «defs» (to ".defs")
% (find-LATEX "edrx21defs.tex" "colors")
% (find-LATEX "edrx21.sty")
\def\drafturl{http://anggtwu.net/LATEX/2025-2-C2.pdf}
\def\drafturl{http://anggtwu.net/2025.2-C2.html}
\def\draftfooter{\tiny \href{\drafturl}{\jobname{}} \ColorBrown{\shorttoday{} \hours}}
% (find-LATEX "2024-1-C2-carro.tex" "defs-caepro")
% (find-LATEX "2024-1-C2-carro.tex" "defs-pict2e")
\catcode`\^^J=10
\directlua{dofile "dednat7load.lua"} % (find-LATEX "dednat7load.lua")
\directlua{dednat7preamble()} % (find-angg "LUA/DednatPreamble1.lua")
\directlua{dednat7oldheads()} % (find-angg "LUA/Dednat7oldheads.lua")
% «defs-T-and-B» (to ".defs-T-and-B")
\long\def\ColorDarkOrange#1{{\color{orange!90!black}#1}}
\def\T(Total: #1 pts){{\bf(Total: #1)}}
\def\T(Total: #1 pts){{\bf(Total: #1 pts)}}
\def\T(Total: #1 pts){\ColorRed{\bf(Total: #1 pts)}}
\def\B (#1 pts){\ColorDarkOrange{\bf(#1 pts)}}
% «defs-caepro» (to ".defs-caepro")
%L dofile "Caepro5.lua" -- (find-angg "LUA/Caepro5.lua" "LaTeX")
\def\Caurl #1{\expr{Caurl("#1")}}
\def\Cahref#1#2{\href{\Caurl{#1}}{#2}}
\def\Ca #1{\Cahref{#1}{#1}}
% «defs-pict2e» (to ".defs-pict2e")
%L dofile "Piecewise2.lua" -- (find-LATEX "Piecewise2.lua")
%L --dofile "Escadas1.lua" -- (find-LATEX "Escadas1.lua")
\def\pictgridstyle{\color{GrayPale}\linethickness{0.3pt}}
\def\pictaxesstyle{\linethickness{0.5pt}}
\def\pictnaxesstyle{\color{GrayPale}\linethickness{0.5pt}}
\celllower=2.5pt
% «defs-maxima» (to ".defs-maxima")
%L dofile "Maxima2.lua" -- (find-angg "LUA/Maxima2.lua")
\pu
% «defs-V» (to ".defs-V")
%L --- See: (find-angg "LUA/MiniV1.lua" "problem-with-V")
%L V = MiniV
%L v = V.fromab
\pu
% Generated by:
% (find-angg "MAXIMA/2026-eval-simp-anim.mac")
\sa {boxes 1} {\stackrel{\mathrm{cm}}{\boxed{f\left(4\right)}}}
\sa {boxes 2} {\stackrel{\mathrm{cm}}{\boxed{f\left(\stackrel{\mathrm{cm}}{\boxed{4}}\right)}}}
\sa {boxes 3} {\stackrel{\mathrm{cm}}{\boxed{f\left(\stackrel{\mathrm{cm}}{\boxed{\stackrel{\mathrm{cs}}{\boxed{4}}}}\right)}}}
\sa {boxes 4} {\stackrel{\mathrm{cm}}{\boxed{f\left(\stackrel{\mathrm{cm}}{\boxed{\stackrel{\mathrm{rs}}{\boxed{4}}}}\right)}}}
\sa {boxes 5} {\stackrel{\mathrm{cm}}{\boxed{f\left(\stackrel{\mathrm{rm}}{\boxed{4}}\right)}}}
\sa {boxes 6} {\stackrel{\mathrm{cm}}{\boxed{\left(1+2\right)\,x}}}
\sa {boxes 7} {\stackrel{\mathrm{cm}}{\boxed{\stackrel{\mathrm{cm}}{\boxed{\left(1+2\right)\,x}}}}}
\sa {boxes 8} {\stackrel{\mathrm{cm}}{\boxed{\stackrel{\mathrm{cm}}{\boxed{\stackrel{\mathrm{cm}}{\boxed{1+2}}\,x}}}}}
\sa {boxes 9} {\stackrel{\mathrm{cm}}{\boxed{\stackrel{\mathrm{cm}}{\boxed{\stackrel{\mathrm{cm}}{\boxed{\stackrel{\mathrm{cm}}{\boxed{1}}+2}}\,x}}}}}
\sa {boxes 10} {\stackrel{\mathrm{cm}}{\boxed{\stackrel{\mathrm{cm}}{\boxed{\stackrel{\mathrm{cm}}{\boxed{\stackrel{\mathrm{cm}}{\boxed{\stackrel{\mathrm{cs}}{\boxed{1}}}}+2}}\,x}}}}}
\sa {boxes 11} {\stackrel{\mathrm{cm}}{\boxed{\stackrel{\mathrm{cm}}{\boxed{\stackrel{\mathrm{cm}}{\boxed{\stackrel{\mathrm{cm}}{\boxed{\stackrel{\mathrm{rs}}{\boxed{1}}}}+2}}\,x}}}}}
\sa {boxes 12} {\stackrel{\mathrm{cm}}{\boxed{\stackrel{\mathrm{cm}}{\boxed{\stackrel{\mathrm{cm}}{\boxed{\stackrel{\mathrm{rm}}{\boxed{1}}+2}}\,x}}}}}
\sa {boxes 13} {\stackrel{\mathrm{cm}}{\boxed{\stackrel{\mathrm{cm}}{\boxed{\stackrel{\mathrm{cm}}{\boxed{1+\stackrel{\mathrm{cm}}{\boxed{2}}}}\,x}}}}}
\sa {boxes 14} {\stackrel{\mathrm{cm}}{\boxed{\stackrel{\mathrm{cm}}{\boxed{\stackrel{\mathrm{cm}}{\boxed{1+\stackrel{\mathrm{cm}}{\boxed{\stackrel{\mathrm{cs}}{\boxed{2}}}}}}\,x}}}}}
\sa {boxes 15} {\stackrel{\mathrm{cm}}{\boxed{\stackrel{\mathrm{cm}}{\boxed{\stackrel{\mathrm{cm}}{\boxed{1+\stackrel{\mathrm{cm}}{\boxed{\stackrel{\mathrm{rs}}{\boxed{2}}}}}}\,x}}}}}
\sa {boxes 16} {\stackrel{\mathrm{cm}}{\boxed{\stackrel{\mathrm{cm}}{\boxed{\stackrel{\mathrm{cm}}{\boxed{1+\stackrel{\mathrm{rm}}{\boxed{2}}}}\,x}}}}}
\sa {boxes 17} {\stackrel{\mathrm{cm}}{\boxed{\stackrel{\mathrm{cm}}{\boxed{\stackrel{\mathrm{cm}}{\boxed{\stackrel{\mathrm{cs}}{\boxed{1+2}}}}\,x}}}}}
\sa {boxes 18} {\stackrel{\mathrm{cm}}{\boxed{\stackrel{\mathrm{cm}}{\boxed{\stackrel{\mathrm{cm}}{\boxed{\stackrel{\mathrm{cs}}{\boxed{\stackrel{\mathrm{cs}}{\boxed{1}}+2}}}}\,x}}}}}
\sa {boxes 19} {\stackrel{\mathrm{cm}}{\boxed{\stackrel{\mathrm{cm}}{\boxed{\stackrel{\mathrm{cm}}{\boxed{\stackrel{\mathrm{cs}}{\boxed{\stackrel{\mathrm{rs}}{\boxed{1}}+2}}}}\,x}}}}}
\sa {boxes 20} {\stackrel{\mathrm{cm}}{\boxed{\stackrel{\mathrm{cm}}{\boxed{\stackrel{\mathrm{cm}}{\boxed{\stackrel{\mathrm{cs}}{\boxed{1+\stackrel{\mathrm{cs}}{\boxed{2}}}}}}\,x}}}}}
\sa {boxes 21} {\stackrel{\mathrm{cm}}{\boxed{\stackrel{\mathrm{cm}}{\boxed{\stackrel{\mathrm{cm}}{\boxed{\stackrel{\mathrm{cs}}{\boxed{1+\stackrel{\mathrm{rs}}{\boxed{2}}}}}}\,x}}}}}
\sa {boxes 22} {\stackrel{\mathrm{cm}}{\boxed{\stackrel{\mathrm{cm}}{\boxed{\stackrel{\mathrm{cm}}{\boxed{\stackrel{\mathrm{cs}}{\boxed{3}}}}\,x}}}}}
\sa {boxes 23} {\stackrel{\mathrm{cm}}{\boxed{\stackrel{\mathrm{cm}}{\boxed{\stackrel{\mathrm{cm}}{\boxed{\stackrel{\mathrm{rs}}{\boxed{3}}}}\,x}}}}}
\sa {boxes 24} {\stackrel{\mathrm{cm}}{\boxed{\stackrel{\mathrm{cm}}{\boxed{\stackrel{\mathrm{rm}}{\boxed{3}}\,x}}}}}
\sa {boxes 25} {\stackrel{\mathrm{cm}}{\boxed{\stackrel{\mathrm{cm}}{\boxed{3\,\stackrel{\mathrm{cm}}{\boxed{x}}}}}}}
\sa {boxes 26} {\stackrel{\mathrm{cm}}{\boxed{\stackrel{\mathrm{cm}}{\boxed{3\,\stackrel{\mathrm{cm}}{\boxed{4}}}}}}}
\sa {boxes 27} {\stackrel{\mathrm{cm}}{\boxed{\stackrel{\mathrm{cm}}{\boxed{3\,\stackrel{\mathrm{cm}}{\boxed{\stackrel{\mathrm{cs}}{\boxed{4}}}}}}}}}
\sa {boxes 28} {\stackrel{\mathrm{cm}}{\boxed{\stackrel{\mathrm{cm}}{\boxed{3\,\stackrel{\mathrm{cm}}{\boxed{\stackrel{\mathrm{rs}}{\boxed{4}}}}}}}}}
\sa {boxes 29} {\stackrel{\mathrm{cm}}{\boxed{\stackrel{\mathrm{cm}}{\boxed{3\,\stackrel{\mathrm{rm}}{\boxed{4}}}}}}}
\sa {boxes 30} {\stackrel{\mathrm{cm}}{\boxed{\stackrel{\mathrm{cm}}{\boxed{\stackrel{\mathrm{cs}}{\boxed{3\,4}}}}}}}
\sa {boxes 31} {\stackrel{\mathrm{cm}}{\boxed{\stackrel{\mathrm{cm}}{\boxed{\stackrel{\mathrm{cs}}{\boxed{\stackrel{\mathrm{cs}}{\boxed{3}}\,4}}}}}}}
\sa {boxes 32} {\stackrel{\mathrm{cm}}{\boxed{\stackrel{\mathrm{cm}}{\boxed{\stackrel{\mathrm{cs}}{\boxed{\stackrel{\mathrm{rs}}{\boxed{3}}\,4}}}}}}}
\sa {boxes 33} {\stackrel{\mathrm{cm}}{\boxed{\stackrel{\mathrm{cm}}{\boxed{\stackrel{\mathrm{cs}}{\boxed{3\,\stackrel{\mathrm{cs}}{\boxed{4}}}}}}}}}
\sa {boxes 34} {\stackrel{\mathrm{cm}}{\boxed{\stackrel{\mathrm{cm}}{\boxed{\stackrel{\mathrm{cs}}{\boxed{3\,\stackrel{\mathrm{rs}}{\boxed{4}}}}}}}}}
\sa {boxes 35} {\stackrel{\mathrm{cm}}{\boxed{\stackrel{\mathrm{cm}}{\boxed{\stackrel{\mathrm{cs}}{\boxed{12}}}}}}}
\sa {boxes 36} {\stackrel{\mathrm{cm}}{\boxed{\stackrel{\mathrm{cm}}{\boxed{\stackrel{\mathrm{rs}}{\boxed{12}}}}}}}
\sa {boxes 37} {\stackrel{\mathrm{cm}}{\boxed{\stackrel{\mathrm{rm}}{\boxed{12}}}}}
\sa {boxes 38} {\stackrel{\mathrm{cm}}{\boxed{\stackrel{\mathrm{cs}}{\boxed{12}}}}}
\sa {boxes 39} {\stackrel{\mathrm{cm}}{\boxed{\stackrel{\mathrm{rs}}{\boxed{12}}}}}
\sa {boxes 40} {\stackrel{\mathrm{rm}}{\boxed{12}}}
\pagestyle{empty}
\def\prbox#1{\newpage
$\ga{boxes #1}$
}
\prbox{1}
\prbox{2}
\prbox{3}
\prbox{4}
\prbox{5}
\prbox{6}
\prbox{7}
\prbox{8}
\prbox{9}
\prbox{10}
\prbox{11}
\prbox{12}
\prbox{13}
\prbox{14}
\prbox{15}
\prbox{16}
\prbox{17}
\prbox{18}
\prbox{19}
\prbox{20}
\prbox{21}
\prbox{22}
\prbox{23}
\prbox{24}
\prbox{25}
\prbox{26}
\prbox{27}
\prbox{28}
\prbox{29}
\prbox{30}
\prbox{31}
\prbox{32}
\prbox{33}
\prbox{34}
\prbox{35}
\prbox{36}
\prbox{37}
\prbox{38}
\prbox{39}
\prbox{40}
\GenericWarning{Success:}{Success!!!} % Used by `M-x cv'
\end{document}
% (find-pdfpages2-links "~/LATEX/" "2026-eval-simp-anim")
% Local Variables:
% coding: utf-8-unix
% outline-regexp: "[%\\\\]newpage %--"
% ee-tla: "esan"
% ee-tla: "2026evalsimpanim"
% End: