/*
 * This file:
 *   https://anggtwu.net/MAXIMA/2026-lpp.mac.html
 *   https://anggtwu.net/MAXIMA/2026-lpp.mac
 *           (find-angg "MAXIMA/2026-lpp.mac")
 * Author: Eduardo Ochs <eduardoochs@gmail.com>
 *
 * (defun e () (interactive) (find-angg "MAXIMA/2026-lpp.mac"))
 * (defun o () (interactive) (find-angg "MAXIMA/2026-ffgg.mac"))
 *
 * «.gains-and-pitfalls»	(to "gains-and-pitfalls")
 * «.ggff»			(to "ggff")
 * «.edo»			(to "edo")
 * «.TN3»			(to "TN3")
*/



/*   ____       _                             _         _ _    __       _ _     
 *  / ___| __ _(_)_ __  ___    __ _ _ __   __| |  _ __ (_) |_ / _| __ _| | |___ 
 * | |  _ / _` | | '_ \/ __|  / _` | '_ \ / _` | | '_ \| | __| |_ / _` | | / __|
 * | |_| | (_| | | | | \__ \ | (_| | | | | (_| | | |_) | | |_|  _| (_| | | \__ \
 *  \____|\__,_|_|_| |_|___/  \__,_|_| |_|\__,_| | .__/|_|\__|_|  \__,_|_|_|___/
 *                                               |_|                            
*/
** «gains-and-pitfalls»  (to ".gains-and-pitfalls")
* (eepitch-maxima)
* (eepitch-kill)
* (eepitch-maxima)
** (find-angg "MAXIMA/2025-emaxima+.mac")
load       ("~/MAXIMA/2025-emaxima+.mac");
linenum:0;
** display2d:true$

/* block gains and pitfalls */
lisptreemq(3*(x+5)+1);
           3*(x+5)+1;
f(x) :=    3*(x+5)+1;
f(0);
f(195);

/* block gains and pitfalls 2 */
      f(x)=1;
solve(f(x)=1, x);
subst(x= 195,  3*(x+5)+1);
subst(x="195", 3*(x+5)+1);

* (ee-write-buffer-contents "*maxima*" "/tmp/o")
* (find-angg "LUA/Maxima3.lua" "log-to-i" 4)





/*         __         __   __  __   __  __        __   __   __   __  
 *   __ _ / /   __ _ / /  / _|/ /  / _|/ / __  __ \ \  \ \  \ \  \ \ 
 *  / _` | |   / _` | |  | |_| |  | |_| |  \ \/ /  | |  | |  | |  | |
 * | (_| | |  | (_| | |  |  _| |  |  _| |   >  <   | |  | |  | |  | |
 *  \__, | |   \__, | |  |_| | |  |_| | |  /_/\_\  | |  | |  | |  | |
 *  |___/ \_\  |___/ \_\      \_\      \_\        /_/  /_/  /_/  /_/ 
*/
** «ggff»  (to ".ggff")
** Used in: (wld2026p 63 "subst-detalhes-tecnicos")
**          (wld2026a    "subst-detalhes-tecnicos")
* (eepitch-maxima)
* (eepitch-kill)
* (eepitch-maxima)
** (find-angg "MAXIMA/2025-emaxima+.mac")
load       ("~/MAXIMA/2025-emaxima+.mac");
linenum:0;
display2d:true$
tree(o) := lisptreem(o);

sa_bigstr : "";
sa_addline("% Generated by:");
sa_addline("% (find-angg \"MAXIMA/2026-lpp.mac\" \"ggff\")");

fgt1 : f(g(t));
fgt2 : ap(f,ap(g,t));
newfx : λ(x,g(g(x)));
newfy : λ(y,g(g(y)));
newgx : λ(x,f(f(x)));
newgy : λ(y,f(f(y)));
S1 : [f(x)=g(g(x)), g(x)=f(f(x))];
S2 : [f=newfx, g=newgx];
S3 : [f=newfx, g=newgy];
S4 : [f=tree(newfx), g=tree(newgy)];

L1 : fgt1;
L2 : underbrace(L1, lisptreem(L1));
L3 : underbrace(L2, lisptreem(fgt2));

M1 : V(S1);
M2 : underbrace(M1, V(S2));
M3 : underbrace(M2, V(S3));
M4 : underbrace(M3, V(S4));

R1 : fgt1 _s_ S1;
R2 : underbrace(R1, tree(R1));
R3 : underbrace(R2, tree(fgt2 _s_ S3));

ggff_small : fgt1 _sss_ S1;
ggff_big   : L3 *. M4 = R3;

sa("ggff small", ggff_small);
sa("ggff big",   ggff_big);

sa_bigstr;
sa_bigstr_writeto("/tmp/o");





/*  _____ ____   ___  
 * | ____|  _ \ / _ \ 
 * |  _| | | | | | | |
 * | |___| |_| | |_| |
 * |_____|____/ \___/ 
*/
** «edo»  (to ".edo")
* (eepitch-maxima)
* (eepitch-kill)
* (eepitch-maxima)
** (find-angg "MAXIMA/2025-emaxima+.mac")
load       ("~/MAXIMA/2025-emaxima.mac");
linenum:0;
[topdf_a,topdf_b,topdf_c,topdf_n] : ["~/LATEX/", "2026logica-para-pessoas/", "edo", 0];
myqdrawp_to_new_pdf(); myps(s):=ps(s/5);
myqdrawp_to_screen (); myps(s):=ps(s);
display2d:true$

[xmin,ymin, xmax,ymax] : [-6,-6, 6,6];
[xmin,ymin, xmax,ymax] : [-5,-5, 5,5];
eq1 : x^2 + y^2 = 25;
solve(eq1, y);
fp(x) :=   sqrt(25 - x^2);
fn(x) := - sqrt(25 - x^2);

myqdrawp(xyrange(),
        myex1(fp(x), lc(red)),
        myex1(fn(x), lc(orange)),
        pts([[3, 4]], myps(4), pc(forest_green)),
        pts([[4,-3]], myps(4), pc(blue))
       );

** (find-pdf-page              "~/LATEX/2026logica-para-pessoas/edo_001.pdf")
** (find-includegraphics-links "~/LATEX/2026logica-para-pessoas/edo_001.pdf" "")



/*  _____ _   _ _____ 
 * |_   _| \ | |___ / 
 *   | | |  \| | |_ \ 
 *   | | | |\  |___) |
 *   |_| |_| \_|____/ 
*/
** «TN3»  (to ".TN3")
** Used in: (wld2026p 63 "subst-detalhes-tecnicos")
**          (wld2026a    "subst-detalhes-tecnicos")
* (eepitch-maxima)
* (eepitch-kill)
* (eepitch-maxima)
** (find-angg "MAXIMA/2025-emaxima+.mac")
load       ("~/MAXIMA/2025-emaxima+.mac");
linenum:0;
display2d:true$
texput(eps,"\\epsilon ");

sa_bigstr : "";
sa_addline("% Generated by:");
sa_addline("% (find-angg \"MAXIMA/2026-lpp.mac\" \"TN3\")");

S : [f(x)=x^.10, a=1];
o1 : DefDeriv;
o2 : DefDeriv _s_ S;

sa("TN3 defderiv geral", o1);
sa("TN3 defderiv x^10",  o2);

o3 : ddx(f(sen(x^4) + ln(x)));
o4 : lisptreem(o3);
sa("TN2 tree",  o4);


sa_bigstr;
sa_bigstr_writeto("/tmp/o");





/*
 * Local Variables:
 * coding:  utf-8-unix
 * End:
*/