Poolraum und Computerpraktika der Fakultät für Physik

Beispiel für Nebenbedingungen

> expr := sqrt( abs(cos(t)^2)+ abs(sin(t)^2) );
(1.1)
> simplify(expr);
(1.2)
> simplify(expr) assuming t::real;
1 (1.3)
> simplify(expr);
(1.4)
> assume(t::real,a>0);
> about(t);
Originally t, renamed t~:
is assumed to be: real
> about(a);
Originally a, renamed a~:
is assumed to be: RealRange(Open(0),infinity)