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