Résolution d'inéquations

[yvand]

Salut,

Xcas 1.1.0-44 refuse de résoudre une inéquation avec des "coefficients approchés", mais avec des "coefficients exacts" xcas résout l'inéquation.

Avec des valeurs approchées :

Code : Tout sélectionner

p:=0.13;
alpha:=0.05;
ualpha:=1.96;
solve(p+ualpha*sqrt(p*(1-p)/n) > 19/100, n);

Xcas retourne "Impossible de résoudre une inéquation à coeffs approchés(...)".

Code : Tout sélectionner

p:=exact(0.13);
alpha:=exact(0.05);
ualpha:=exact(1.96);
solve(p+ualpha*sqrt(p*(1-p)/n) > 19/100, n);

Xcas arrive à résoudre l'inéquation.

Je trouve le comportement de Xcas surprenant. Il arrive à résoudre en coefs exacts mais en approchés... Pourquoi Xcas ne convertit pas automatiquement/implicitement les coefs approchés en exacts s'il arrive à résoudre avec des valeurs exactes.

[parisse]

Bon, je vais laisser un warning et faire exact automatiquement.