Forme polynômiale standard

Le calculateur convertit un polynôme multivarié dans la forme standard

Le calculateur présente en outre un polynôme multivarié dans la forme standard (élargit les parenthèses, élève à la puissance et combine les termes similaires). Les variables polynômiales peuvent être spécifiées en caractères minuscules ou en utilisant la forme de n-uplet d'exposants. Par exemple, les deux notations suivantes sont égales : 3a^2bd + c et 3 [2 1 0 1] + [0 0 1]. Vous pouvez choisir la représentation des variables de sorties sous forme symbolique, de variables indexées ou de n-uplet d'exposants. Le calculateur donne également le degré du polynôme et le vecteur des degrés des monômes. Les coefficients du polynôme résultant peuvent être calculés dans le champ des nombres rationnels ou réels.

PLANETCALC, Forme polynômiale standard

Forme polynômiale standard

Résultat
 
Degré polynômial
 
Degrés monomiaux
 

Monôme

Un monôme est un produit de puissances de plusieurs variables xi avec des exposants ai entiers non négatifs :
x^{\alpha}={x_1}^{\alpha_1}{x_2}^{\alpha_2}{x_3}^{\alpha_3} ... {x_n}^{\alpha_n}
Si le nombre de variables est petit, les variables polynômiales peuvent être écrites avec des caractères latins. Par exemple x12x2 et x2y sont des notations équivalents d'un monôme à deux variables.
Un monôme peut également être représenté comme un n-uplet d'exposants :
\alpha=({\alpha_1},{\alpha_2},{\alpha_3}, ... ,{\alpha_n})
Ex. le monôme x2y3z peut être représenté comme le n-uplet : (2,3,1)
Le degré du monôme est la somme de tous les exposants des variables :
\mid \alpha \mid = \alpha_1 + \alpha_2 + \alpha_3 + ... + \alpha_n
Ex. degré du monôme : x2y3z is 2+3+1 = 6

Polynôme

Un polynôme est une somme finie de monômes multipliés par des coefficients cI :
f=\sum _I c_I {x_1}^{\alpha_1}{x_2}^{\alpha_2}{x_3}^{\alpha_3} ... {x_n}^{\alpha_n}
Un degré polynomial deg(f) est le degré monomial |α| maximum avec des coefficients non nuls.
Contrairement aux polynômes à une variable, les polynômes multivariés peuvent avoir plusieurs monômes de même degré. A ce titre, se pose la question de déterminer l'ordre de l'ensemble des termes du polynôme.

Ordre monomial1

Il y a plusieurs manières de spécifier l'ordre des monômes.

Ordre lexicographique

L'ordre monomial le plus simple est lexicographique. Dans ce cas, la coordonnée non-nulle la plus à gauche obtenue en soustrayant les n-uplets d'exposants des monômes comparés est positive :
x^{\alpha}>_{lex}x^{\beta} \Leftarrow {\alpha}>{\beta}
Exemple d'ordre lexicographique :
x^{\alpha}=x^2y^3z >_{lex} x^{\beta}=x^2y^2z^3, \\\alpha-\beta=(2,3,1)-(2,2,3)=(0,1,-2)
Le premier monôme xα est lexicographiquement supérieur au deuxième xβ, puisqu'après la soustraction des n-uplets d'expostants, nous obtenons (0,1,-2), où la coordonnée non-nulle la plus à gauche est positive.

Ordre lexicographique gradué

L'ordre lexicographique gradué est déterminé essentiellement par le degré du monôme. Si le degré est supérieur, alors le monôme est également considéré comme supérieur. En cas de degrés égaux, la comparaison lexicographique est appliquée :
x^{\alpha}>_{grlex}x^{\beta} \Leftarrow \begin{cases} \mid{\alpha}\mid>\mid{\beta}\mid \\ \mid{\alpha}\mid=\mid{\beta}\mid,  {\alpha}>_{lex} {\beta} \end{cases}
Exemples d'ordre lexicographique gradué :
a)
x^{\beta}=x^2y^2z^3 >_{grlex} x^{\alpha}=x^2y^3z , \\ \mid\beta\mid  = 7 > \mid\alpha\mid=6
Le monôme xβ est supérieur à xα, puisque le degré |β|=7 est supérieur au degré |α|=6.
b)
 x^{\alpha}=x^2y^3z >_{grlex} x^{\gamma}=xy^5  , \\ \mid\alpha\mid  =  \mid\gamma\mid=6, {\alpha}>{\gamma}
Le monôme xα est supérieur à xγ, puisqu'ils sont de même degré, mais le premier est lexicographiquement supérieur au deuxième.

Ordre lexicographique inversé gradué

L'ordre lexicographique inversé gradué est similaire au précédent. Si le degré est supérieur, alors le monôme est également considéré comme supérieur. Le monôme est supérieur si la coordonnée non-nulle la plus à droite obtenue en soustrayant les n-uplets d'exposants des monômes comparés est négative dans le cas de degrés égaux.
Exemples de comparaisons lexicographiques inversées graduées :
a)
x^{\beta}=x^2y^2z^3 >_{grevlex} x^{\alpha}=x^2y^3z , \\ \mid\beta\mid  = 7 > \mid\alpha\mid=6
Le monôme xβ est supérieur à xα, puisque le degré|β|=7 est supérieur au degré |α|=6.
b)
  x^{\gamma}=xy^5  >_{grevlex} x^{\alpha}=x^2y^3z , \\ \mid\alpha\mid  =  \mid\gamma\mid=6, {\gamma}-{\alpha}=(1,5,0)-(2,3,1)=(-1,2,-1)
Le monôme xγ est supérieur à xα, puisque leurs degrés sont égaux mais la soustraction des n-uplets d'exposants donne (-1,2,-1) et nous voyons que la valeur la plus à droite est inférieure à zéro.


  1. David Cox, John Little, Donal O’Shea Ideals, Variétés, et Algorithmes. Une Introduction à la géométrie algébrique computationnelle et à l'algèbre commutative, Troisième édition, 2007, Springer 

URL copiée dans le presse-papiers
PLANETCALC, Forme polynômiale standard

commentaires