simplifier et trigonométrie

[alb]

supposons(x>-pi et x<=pi);
solve(cos(x)<sqrt(2)/2); // ok
simplifier(solve(cos(x)<=sqrt(2)/2)); // ??

[parisse]

C'est and qui semble poser problème, il n'évalue pas correctement par exemple x>0 and 1 est laissé tel quel.

[alb]

ok c'est résolu.
voici un autre usage de simplifier qu'il vaut mieux éviter (Pondichery 2013, calcul d'une valeur moyenne):

Code : Tout sélectionner

E:=2*exp(t/25)/(19+exp(t/25));
F:=simplifier(int(E,t));
M:=(1/50)*int(E,t,50,100);
normal(M); //ok
factor(M); // ok

Code : Tout sélectionner

simplifier(M); // simplification discutable :-)

j'imagine que c'est un cas particulier qui ne mérite pas d'être traité à part.

[parisse]

Oui, il faut que je rajoute un ratnormal au début de simplify pour éviter ça!