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)