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

### 6.33.3 Encadrement exact des racines réelles d’un polynôme : VAS

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