Ich möchte Mathematica zusichern, daß die Variable x reell und nicht-negativ ist, damit
es in folgenden Umformungen Ausdrücke wie etwa Sqrt[x^2] zu x vereinfacht.
Ich habe eine Lösung, die funktioniert, bin aber nicht sicher, ob sie gut ist. Hier ist,
was ich gemacht habe:
Unprotect[Sqrt]; Sqrt[x_^2] := x /; 0 <= x; Protect[Sqrt];
x /: 0 <= x = True;
Ein anderes Beispiel, wo ich eine derartige Zusicherung brauche, wäre der Wertebereich der
Elevationskoordinate im spherischen Koordinatensystem: 0 <= theta < Pi. Wie sage ich
Mathematica das, so daß es den Ausdruck ArcSin[Sin[theta]] entsprechend zu theta
vereinfacht, ...
Beste Grüße und noch gute Wünsche zum Neuen Jahr!
-erk-
--
Dr.-Ing. Erk JENSEN mailto:Erk.Jensen@XXXXXXX.ch
CERN PS/RF G00710 http://nicewww.cern.ch/~jensene
CH-1211 Geneva 23 Tel.: +41 22 76 74298
Switzerland Fax.: +41 22 76 78590
|