Simplifier acos(cos)
Publié : dim. nov. 03, 2013 3:37 pm
Peut-etre pas un bug mais voici deux simplifications qui ne se terminent pas:
Code : Tout sélectionner
assume(x>0 et x<pi/2);//purge(x);
E:=acos(cos(x));simplifier(E);
F:=acos(cos(2*x));simplifier(F);
G:=acos(cos(x))+acos(cos(2*x));
simplifier(G); // il faut stopper
simplifier(E');
simplifier(F');
simplifier(G'); // il faut stopper