/*
 * This file:
 *   https://anggtwu.net/MAXIMA/2025-example-6.mac.html
 *   https://anggtwu.net/MAXIMA/2025-example-6.mac
 *           (find-angg "MAXIMA/2025-example-6.mac")
 * Author: Eduardo Ochs <eduardoochs@gmail.com>
 *
 * (defun e () (interactive) (find-angg "MAXIMA/2025-example-6.mac"))
 * Used by: (find-LATEX "2025-2-C2-example-6.tex" "Js")
 *     See: (c2m252example6p 36 "Js-all")
 *          (c2m252example6a    "Js-all")
 *          (wld2026p 8 "example-6")
 *          (wld2026a   "example-6")
 *
 * (find-angg "MAXIMA/2025-1-s.mac")
 * (find-angg "MAXIMA/2025-sa.mac")
*/
load("~/MAXIMA/2025-1-s.mac");
load("~/MAXIMA/2025-sa.mac");

sa_bigstr : "";
sa_addline("% Created by:");
sa_addline("% (find-angg \"MAXIMA/2025-example-6.mac\")");

texput(fp,"f'");
texput(gp,"g'");
texput(hp,"h'");
texput(kp,"k'");

/* (c2m252example6p 4 "notas-2023")
 * (c2m252example6a   "notas-2023")
*/
_ddx(expr) := _diff(expr,x,1); 

RProd_ga    : ga("[RProd]");
RProd_short : _ddx(f*.g) = f*._ddx(g) +. g*._ddx(f);
RProd_long  : _ddx(f(x)*.g(x)) = f(x)*._ddx(g(x)) +. g(x)*._ddx(f(x));
RProd_longV : align_eqs_1c(RProd_long);
RProd_u     : underbrace(RProd_ga, RProd_longV);

RMC_ga      : ga("[RMC]");
RMC_long    : _ddx(c*.f(x)) = c*._ddx(f(x));
RMC_longV   : align_eqs_1c(_ddx(c*.f(x)) = c*._ddx(f(x)));
RMC_u       : underbrace(RMC_ga, RMC_longV);

RPot_ga     : ga("[RPot]");
RPot_long   : _ddx(x^.n) = n *. x^(n -. 1);
RPot_longv  : align_eqs_1c(RPot_long);
RPot_u      : underbrace(RPot_ga, RPot_longv);


S2 : [f(x)=6*.x^3, g(x)=7*.x^4];
J2_veryshort : RProd_ga;
J2_short     : RProd_ga _ss_  S2;
J2_long      : RProd_u  _usu_ S2;

S3 : [c=6, f(x)=x^3];
J3_veryshort : RMC_ga;
J3_short     : RMC_ga _ss_  S3;
J3_long      : RMC_u  _usu_ S3;

S4 : [n=3];
J4_veryshort : RPot_ga;
J4_short     : RPot_ga _ss_  S4;
J4_long      : RPot_u  _usu_ S4;

S6 : [c=7, f(x)=x^4];
J6_veryshort : RMC_ga;
J6_short     : RMC_ga _ss_  S6;
J6_long      : RMC_u  _usu_ S6;

S7 : [n=4];
J7_veryshort : RPot_ga;
J7_short     : RPot_ga _ss_  S7;
J7_long      : RPot_u  _usu_ S7;

/*
* (eepitch-maxima)
* (eepitch-kill)
* (eepitch-maxima)
load("2025-example-6.mac");
RProd_short;
RProd_long;
RProd_longV;

sa("J2_veryshort", J2_veryshort);
sa("J2_short",     J2_short);
sa("J2_long",      J2_long);
sa("J3_veryshort", J3_veryshort);
sa("J3_short",     J3_short);
sa("J3_long",      J3_long);
sa("J4_veryshort", J4_veryshort);
sa("J4_short",     J4_short);
sa("J4_long",      J4_long);
sa("J6_veryshort", J6_veryshort);
sa("J6_short",     J6_short);
sa("J6_long",      J6_long);
sa("J7_veryshort", J7_veryshort);
sa("J7_short",     J7_short);
sa("J7_long",      J7_long);

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

*/





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