### 6.33.6 Borne inférieure des racines réelles positives d’un polynôme : poslbdLMQ

poslbdLMQ(P) renvoie une borne inférieure pour les racines positives de P par l’algorithme Akritas-Strzebonski-Vigklas’ Local Max Quadratic (LMQ). Cette borne n’est pas optimale.
On tape :
poslbdLMQ(x`^`3-7*x+7)
On obtient :
1/2
On tape :
poslbdLMQ(x`^`5+2*x`^`4-6*x`^`3-7*x`^`2+7*x+7)
On obtient :
1/2
On tape :
poslbdLMQ((x`^`3-x`^`2-2*x+2)
On obtient :
1/2