next up previous contents index
suivant: Matrice de Sylvester de monter: Arithmétique des polynômes précédent: Nombre de racines sur   Table des matières   Index


Suites de Sturm : sturm

sturm a comme paramètre un polynôme P(x) ou une fraction rationnelle P(x)/Q(x).
sturm renvoie la liste des suites de Sturm et de leur multiplicité pour P ou pour P et pour Q.
La suite de sturm R1, R2,... est obtenue à partir du facteur F sans carré de P. Pour obtenir F à partir de la décomposition de P en facteurs premiers, on élimine les termes carrés et on transforme les puissances impaires en puissances 1.
R1 est l'opposé du reste de la division euclidienne de F par F' puis, R2 est l'opposé du reste de la division euclidienne de F' par R1
et ainsi de suite jusqu'à ce que Rk = 0.
On tape :
sturm(2*x^3+2)
ou
sturm(2*y^3+2,y)
On obtient :
[2,[[1,0,0,1],[3,0,0],-9],1]
Le premier terme donne le coefficient principal du numérateur (ici 2), le dernier terme donne le dénominateur (ici 1). Entre les deux on a la suite des polynômes $ \tt [x^3+1,3x^2, -9]$.
On tape :
sturm((x^3+1)^2,x)
On obtient :
[1,1]
En effet les termes carrés sont éliminés et F = 1.
On tape :
sturm(3*(3*x^3+1)/(2*x+2),x)
On obtient :
[3,[[3,0,0,1],[9,0,0],-81],2,[[1,1],1]]
Le premier terme donne le coefficient principal du numérateur (ici 3),
le deuxième terme donne la suite de polynômes (ici 3x^3+1, 9x^2, -81),
le troisième terme donne le coefficient principal du dénominateur (ici 2),
le quatrième terme indique la suite de polynômes du dénominateur (x+1,1).
Attention!!!!
P doit être donné par son expression symbolique et,si on tape :
sturm([1,0,0,1],x),
on obtient :
Bad argument type.


next up previous contents index
suivant: Matrice de Sylvester de monter: Arithmétique des polynômes précédent: Nombre de racines sur   Table des matières   Index
Documentation de giac écrite par Renée De Graeve