/*
 * This file:
 *   http://anggtwu.net/MAXIMA/2025-1-s.mac.html
 *   http://anggtwu.net/MAXIMA/2025-1-s.mac
 *          (find-angg "MAXIMA/2025-1-s.mac")
 * Author: Eduardo Ochs <eduardoochs@gmail.com>
 *
 * (defun e () (interactive) (find-angg "MAXIMA/2025-1-s.mac"))
 * (find-es "maxima" "operator-subst")
 * (find-lisptree "lisptree.mac" "lisptree0")
 * (find-maximanode "psubst")
 * (find-maximanode "sublis")
 * (find-telegachat  "-1002074960141#3276" "eu acabei de melhorar")
 * (find-telegachatm "-1002074960141#3276" "eu acabei de melhorar")
*/

"_s_"  (o,oes) := psubst(_s_s(oes), o);
_s_s   (oes)   := map('_s_1, oes);
_s_1   (oe)    := if atom(lhs(oe)) then _s_ae(oe) else _s_fxye(oe);
_s_ae  (ae)    := (lhs(ae) = rhs(ae));
_s_fxye(fxye)  := block(
  [fxy,e,f,xy],
  fxy : lhs (fxye),
  e   : rhs (fxye),
  f   : op  (fxy),
  xy  : args(fxy),
  buildq([f,xy,e], f=lambda(xy,e)));

infix("_s_",99,101);

RC     : ('diff(f(g(x)),x) = fp(g(x))*gp(x));
TFC2   : ('integrate(Fp(x), x, a, b) = F(b) - F(a));
II     : ('integrate(Fp(x), x)       = F(x));
Aipim  : (sqrt(a^2 + b^2) = a + b);
Aipim2 : (sqrt(a^2 - b^2) = a - b);

DefAt     : 'at(f(x),x=a) = f(a);
DefDeriv  : 'at('diff(f(x),x),x=a) = 'limit((f(a+eps)-f(a))/eps,eps,0);
DefDeriv2 : 'at('diff(f(x),x),x=a) = 'limit((f(x)-f(a))/(x-a),x,a);


/*
* (eepitch-maxima)
* (eepitch-kill)
* (eepitch-maxima)
load("2025-1-s.mac");

RC : ('diff(f(g(x)),x) = fp(g(x))*gp(x));

S1 : '[f (x):=sin(x),
       fp(x):=cos(x),
       g (x):=42*x,
       gp(x):=42];

RC _s_ S1;
RC _s_ S1 _s_ '[x:=t];

_s_1 (g(a,b)=a/b);
_s_1 (c     =a/b);

"_s_"(a/b,    [a=c+d]);
"_s_"(a/b,    [a=b,b=a]);
"_s_"(a/f(b), '[a:=b,b:=a,f(x):=x^2+x^3]);

(a/f(b)) _s_  '[a:=b, b:=a, f(x):=x^2+x^3];

*/




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