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);
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);
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.