Wichtiges zu Termumformungen

Quadrieren und Wurzelziehen bei Termumformungen führt dazu,
dass die Definitionsmengen der Terme sich ändern
und deshalb manche Umformungen nicht gültig sind.

Zum Beispiel ist x = sqrt(x^2) nur gültig für x>0.

Man muss also von vorneherein die Definitionsmengen der Variablen einschränken.

Das tut man im Aufgabenvariablenfeld so: assume(x>0,y>0,...)