6.31.1  Base de Gröbner : gbasis

gbasis a au moins deux arguments : une liste de polynômes de plusieurs variables et la liste du nom de ces variables.
gbasis renvoie une base de Gröbner de l’idéal polynomial engendré par les polynômes donnés dans le premier argument.
On choisit d’ordonner les monômes selon l’ordre lexicographique en accord avec la liste donnée par le dernier argument et selon les puissances décroissantes : par exemple on écrira x²*y⁴*z³ puis x²*y³*z⁴ si le deuxième argument est [x,y,z] car (2,4,3)>(2,3,4) mais on écrira x²*y³z⁴ puis x²*y⁴*z³ si le deuxième argument est [x,z,y].
Si I est un idéal et si (G_k)_{k ∈ K} est une base de Gröbner de l’idéal I alors, si F est un polynôme non nul de I, le terme dominant de F est divisible par le terme dominant d’un G_k.
Propriété : Si on fait la division euclidienne de F par un des G_k puis, si on recommence avec le reste obtenu et le G_k suivant, on finit par obtenir un reste nul.
On tape :

On obtient :

On peut donner des arguments supplémentaires :

• plex (lexicographique pur utilisé par défaut)), tdeg (degré total puis ordre lexicographique), revlex (degré total puis ordre lexicographique inverse), pour spécifier un ordre sur les monômes différent de l’ordre par défaut (qui est plex),
• with_cocoa=true ou with_cocoa=false, si on veut utiliser la librairie CoCoA pour faire le calcul de la base de Gröbner.
• with_f5=true ou with_f5=false pour utiliser l’implémentation de l’algorithme F5 de la librairie CoCoA. L’ordre spécifié n’est alors pas utilisé, les polynômes étant homogénéisés.

On tape :

On obtient