Encadrement exact des racines réelles positives d’un polynôme : VAS_positive

### 6.33.4 Encadrement exact des racines réelles positives d’un polynôme : VAS_positive

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]]