Lösung (Vorschlag):
f : subst ( [solve(9*x^2+16*y^2=144,y) [2]], x*y ); plot2d (f, [x, -4, 4]); solve ( diff(f,x),x );
Definiere
t' = t[p : = s]
t' = t {(p⋅q, z) | q∈*}∪{(p⋅q, z) | (q, z)∈s}
t'(q) = if p≤upq then s(p q) else t(q)
mit (partieller) Funktion
p q
t : sin (2 * acos (x)); :lisp $t
op
, args
,
op
) von
3*x/y
, a+b-c
, usw.
subst(f(y),x,g(x,x))
subst([y=g(x),x=4],f(x,y)); subst([x=4,y=g(x)],f(x,y)); load(to_poly_solve); subst_parallel([y=g(x),x=4],f(x,y));
matchdeclare(x,true,y,true); tellsimp (m(S(x),y),p(m(x,y),y)); /* und weitere Regeln lt. Skript */ m(S(S(Z)),S(S(Z)));
Johannes Waldmann 2015-12-11