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