Ce système a trop de solutions

[alb]

solve([a+b/c=-3,a+b/(2+c)=0,(-2*b)/(2+c)^2=-2],[a,b,c]) renvoie [[-3,0,-2],[(-6)/5,36/25,(-4)/5]]
le premier vecteur n'est pas solution.

[parisse]

oui, car xcas commence par multiplier les equations fractions rationnelles par le denominateur pour se ramener a un systeme polynomial, dont le 1er vecteur est bien solution. Il faudrait verifier a posteriori les solutions, mais ca peut etre tres couteux, voir ne pas fonctionner du tout (quand il y a des extensions algebriques par exemple). Pour l'instant je laisse comme ca, on verra si j'ai une idee un jour ou si quelqu'un me suggere une solution...

[alb]

Désolé d'avoir posé cette question rebattue mais j'avais besoin d'une explication claire pour un sujet dans un forum.
Le problème posé pouvait se résoudre avec Xcas ainsi:
f(x):=a+b/(2x+c)
solve([f(0)=-3,f(1)=0,f'(1)=-2],[a,b,c])

[parisse]

Bon, en y reflechissant, je vais experimenter une solution peu couteuse qui consiste a remplacer dans le systeme les variables par leur valeur et simplement detecter si ca donne des undef, et eliminer les solutions correspondantes.