Résolution d'équation et d'inéquation

[bcm]

Bonjour,

J'ai un problème que je ne comprends pas:
Je cherche à résoudre l'équation x^2 + (sqrt(6)-sqrt(3))x-3sqrt(2)=0
et l'inéquation 0.0005x^2-0.045x+1.25<=0.20

Voici ce que je tape :

resoudre(x^2+(sqrt(6)-sqrt(3))*x-3*sqrt(2)=0,x)

Voici la réponse que j'obtiens :

[1/6*(3*sqrt(3)-3*sqrt(6)-sqrt(-sqrt(2)*54+81)),1/6*(3*sqrt(3)-3*sqrt(6)+sqrt(-sqrt(2)*54+81))]

puis en simplifiant

simplifier([1/6*(3*sqrt(3)-3*sqrt(6)-sqrt(-sqrt(2)*54+81)),1/6*(3*sqrt(3)-3*sqrt(6)+sqrt(-sqrt(2)*54+81))])

j'obtiens :

[sqrt(3)-sqrt(6),0]

La réponse doit être -sqrt(6) et sqrt(3).

Puis

resoudre(0.0005*x^2-0.0045*x+1.25<=0.20,x) donne le message

"Unable to solve inequations with approx coeffs (0.0005*x^2-0.0045*x+1.25)<=0.2 Error: Bad Argument Valu"


Pouvez-vous m'expliquer ces bugs?

Merci

[alb]

Bonsoir,
pour resoudre(0.0005*x^2-0.0045*x+1.25<=0.20,x) la réponse est dans le message:
il faut travailler avec des valeurs exactes, par exemple:
resoudre(5/10000*x^2-45/10000*x+125/100<=13/10)
pour le reste on dirait bien un bug. Patientons...
RQ: resoudre(factor(x^2+(sqrt(6)-sqrt(3))*x-3*sqrt(2))) est correct.

[parisse]

Il y a en effet un bug que je corrige, mais suite aux fêtes il n'y aura pas de mise à jour avant début janvier.

[bcm]

Merci pouur les infos!

Bonnes fêtes de fin d'année.