• Aucun résultat trouvé

Travaux Pratiques Algèbre Commutative et Géométrie Algébrique I. Résultants et bases de Gröbner

N/A
N/A
Protected

Academic year: 2021

Partager "Travaux Pratiques Algèbre Commutative et Géométrie Algébrique I. Résultants et bases de Gröbner"

Copied!
1
0
0

Texte intégral

(1)

Travaux Pratiques

Algèbre Commutative et Géométrie Algébrique I. Résultants et bases de Gröbner

Bernard Le Stum 25 janvier 2021

On s’interéresse au système

"

x2`3y2´4“0 x2`xy`2y2´4“0 et on noteraF :x2`3y2´4 et Gx2`xy`2y2 ´4.

1. Résoudre le système (à la main).

2. Déterminer les résultants en x et en y de F et G.

3. Retrouver (à la main) les solutions du système.

4. Automatiser cette seconde question.

5. En déduire un programme qui prend en entrée deux polynômesF etGet donne en sortie l’ensemble des solutions (rationnelles) du systèmeFpx, yq “Gpx, yq “ 0.

6. L’appliquer à notre système.

7. Déterminer une base de Gröbner de l’idéal engendré parF etG pourinvlex.

8. En déduire (à la main) les solutions de notre système.

9. Automatiser cette seconde question.

10. En déduire un autre programme qui prend en entrée deux polynômes F et G et donne en sortie l’ensemble des solutions (rationnelles) du système Fpx, yq “ Gpx, yq “0.

11. L’appliquer aussi à notre système afin de retrouver nos solutions.

12. Résoudre (dansQ) le système

"

x2`y2`x3`y3 “0 x3`y3´2xy“0 en utilisant l’un ou l’autre des programmes.

1

Références

Documents relatifs

Pour les questions suivantes, utiliser la figure.. Les questions sont indépendantes les unes

On appelle J, K et L les milieux respectifs des segments [CD], [DA] et [AB].. On admet que le quadrilatère JKLM est

On prouve bien ainsi qu'il s'agit d'isomorphismes mais pas qu'ils sont inverses l'un de l'autre.. Si on était en dimension nie, les deux seraient bijectifs donc vériant ker g = {0 E

Ce document 1 contient quelques exercices corrigés sur les classes d'équivalence et il est à travailler après avoir assimilé le document sur les relations.. Il peut contenir

On appelle relation d'équivalence sur un ensemble E une relation binaire sur E qui est : réexive, symétrique et transitive..

Exercices sur les équations diérentielles linéaires d'ordre 1.

Soit S un ensemble non vide d'un espace vectoriel normé E, et K = convS. On s'intéresse à

Propriété n°1 (Unicité et existence de la fonction exponentielle) Il existe une unique fonction f , définie et dérivable sur R , telle que