solve et pi

[alb]

solve(2x*sqrt(4-x^2)=pi) devrait renvoyer 2 solutions mais on obtient une liste vide !

[parisse]

C'est a cause de pi. Je peux faire comme si pi n'était pas un nom de variable pour la résolution, mais le test final sur l'équation de départ devient trop long et impraticable (à cause de pi), je suis obligé de le désactiver (avec warning), on obtient alors 4 solutions, charge à l'utilisateur de sélectionner les bonnes.

[alb]

le remède ici est simple:
supposons(x>=0);solve(4x^2*(4-x^2)=pi^2);

[parisse]

bon, je pense y arriver en ajoutant un test numérique pour éviter le test formel trop long.