### 6.32.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 de`P` 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]]`