VAS_positive(P) renvoie une liste d’intervalles d’isolation des racines réelles positives de P par l’algorithme de Vincent-Akritas-Strzebonski.
Cela ne fait que calculer des intervalles d’isolation des racines.
On tape :
VAS_positive(x^3-7*x+7)
On obtient :
[[1,3/2],[3/2,2]]
On tape :
VAS_positive(x^5+2*x^4-6*x^3-7*x^2+7*x+7)
On obtient :
[[1,3/2],[3/2,2]]
On tape :
VAS_positive(x^3-x^2-2*x+2)
On obtient :
[1,[1,3]]