Le forum de XCAS

2 réponses assez bizarres.
simplifier(solve(sin(2x)>=-sqrt(2)/2)) qui renvoie list[(-1/8*pi)>=x,((x>=(-pi/8)) and ((5*pi/8)>=x)),x>=(5/8*pi)]
simplifier(solve(sin(2x)<=-sqrt(2)/2)) qui renvoie list[(-pi)/8,5*pi/8]

Je viens de rajouter du code pour gerer les equations trigonometriques. Il va falloir faire des hypotheses sur la variable, par ex. assume(x>-pi/2 and x<pi/2) sinon on aura un message d'erreur qui le suggerera. Par contre simplifier posera probleme, parce qu'il evalue le test. Je rajoute donc aussi un ratnormal automatique sur les valeurs qui apparaissent.

Excellent. Merci !

Désolé pour ce petit cadeau de fin d'année
assume(x>=0 et x<=2*pi);
simplifier(solve(sin(x)=cos(x)))
ne renvoie qu'une solution pi/4 sauf si on coche All_trig_sol

ok, ca attendra début janvier!