summaryrefslogtreecommitdiffstats
path: root/chapitres/bases-groebner.tex
Commit message (Collapse)AuthorAgeFilesLines
* Gröbner: question sur l'ADU d'un polynôme.Fabrice (Phare)2013-02-151-0/+1
| | | | | | | | | Il me semble aussi que les monômes x₁^r₁...x_{d-1}^r_d-1 avec r_i ≤ d-i forment une base. Si oui, on devrait le dire. Et puis la majoration par d! est liée au fait classique que le corps de décomposition est toujours de degré ≤ d! sur le corps de base. [Avec égalité si...]
* [Gröbner] Proposition : si les monômes initiaux sont deux à deux ↵David A. Madore2013-01-181-5/+48
| | | | premiers entre eux, on a une base de Gröbner. + Utilisation.
* [Gröbner] Démonstration du lemme-à-tout-faire sur les modules de Cauchy.David A. Madore2013-01-181-2/+59
|
* [Gröbner] Suite du nettoyage des écuries d'Augias.David A. Madore2012-12-201-67/+53
|
* [Gröbner] Un lemme sur les modules de Cauchy qui devrait permettre de ↵David A. Madore2012-12-201-0/+44
| | | | démerdifier tout ça.
* [Gröbner] Démonstration toujours inachevée. Je m'embrouille de plus en plus.David A. Madore2012-12-201-20/+25
|
* [Gröbner] Commit d'un lemme que je vais effacer immédiatement.David A. Madore2012-12-201-0/+20
|
* [Gröbner] Je merde complètement.David A. Madore2012-12-131-1/+6
|
* [Gröbner] Typo.David A. Madore2012-12-131-3/+3
|
* [Gröbner] Base de Gröbner des relations de l'algèbre de décomposition ↵David A. Madore2012-12-061-18/+44
| | | | | | universelle (suite). (Commit oublié plus tôt.)
* [Gröbner, Radicaux] Petites remarques suite à ce qui vient d'être démontré.David A. Madore2012-12-061-0/+6
|
* [Gröbner] Déplacement dans une nouvelle sous-section.David A. Madore2012-12-061-64/+69
|
* [Gröbner] Algorithme de calcul de l'inverse (remaniement + fin de la ↵David A. Madore2012-12-061-18/+40
| | | | démonstration).
* [Gröbner] Une proposition donnant une borne triviale sur le degré de la ↵David A. Madore2012-12-061-0/+31
| | | | | | | base de Gröbner réduite en une variable dominante. Bizarrement, je ne trouve aucune trace de cette remarque — qui a pourtant l'air utile — dans la littérature. À vérifier soigneusement.
* [Gröbner] Typo stupide.David A. Madore2012-12-061-1/+1
|
* [Gröbner] Micro-remarque pour clarifier un énoncé.David A. Madore2012-12-061-1/+2
|
* [Gröbner] Début de démonstration de correction de l'algorithme d'inversion.David A. Madore2012-11-221-0/+9
|
* [Gröbner] Petit changement notationnel.David A. Madore2012-11-221-8/+8
|
* [Gröbner] L'énoncé précédent était incorrect. Rectification ↵David A. Madore2012-11-221-7/+12
| | | | (malheureusement lourdingue).
* [Gröbner] Algorithme de calcul d'un inverse dans une algèbre de type fini ↵David A. Madore2012-11-221-0/+26
| | | | (explicitement présentée) sur un corps.
* [Gröbner] Mot oublié.David A. Madore2012-11-221-7/+8
|
* [Gröbner] Un éclaircissement sur ce qu'on peut et ne peut pas faire (test ↵David A. Madore2012-11-221-0/+38
| | | | de primalité indécidable en général).
* [Gröbner] Élimination des hypothèses de perfection (suite et fin(?)).David A. Madore2012-11-151-54/+54
|
* [Gröbner] Élimination des hypothèses de perfection (suite).David A. Madore2012-11-151-27/+31
|
* [Gröbner] Élimination des hypothèses de perfection (début).David A. Madore2012-11-151-39/+94
|
* [Gröbner] Surtout du blabla.David A. Madore2012-10-121-8/+59
|
* [Gröbner] Algorithme final de calcul du groupe de Galois par bases de Gröbner.David A. Madore2012-10-121-3/+42
|
* [Gröbner] L'algèbre de décomposition universelle sépare les racines ↵David A. Madore2012-10-121-13/+39
| | | | (d'un polynôme séparable).
* [Gröbner, calculs] Correction erreur de signe qui traînait.David A. Madore2012-10-121-1/+1
|
* [Gröbner] Début d'une discussion (mais il faut que je revienne sur ↵David A. Madore2012-10-121-9/+51
| | | | l'algèbre de décomposition universelle).
* [Gröbner] Suite exemple (explications peut-être un peu vaseuses).David A. Madore2012-10-121-6/+18
|
* [Gröbner] Un exemple explicite de décomposition.David A. Madore2012-10-121-3/+31
|
* [Gröbner] Énoncé d'un algorithme déjà décrit : décomposition des ↵David A. Madore2012-10-121-2/+9
| | | | idéaux radicaux de dimension 0.
* [Gröbner] Discussion qu'il va falloir reformuler comme une démonstration.David A. Madore2012-09-201-0/+16
|
* [Gröbner] Test de primalité en dimension 0.David A. Madore2012-09-201-1/+70
|
* [Gröbner] Comment ajouter une variable en position nette.David A. Madore2012-09-201-1/+26
|
* [Gröbner] Démonstration de la proposition de "netteté générique".David A. Madore2012-09-201-2/+51
|
* [Gröbner] Énoncé de la proposition que je crois devoir démontrer maintenant.David A. Madore2012-09-201-1/+10
|
* [Gröbner] Idéal en « position nette » par rapport à une variable.David A. Madore2012-09-121-2/+91
|
* [Gröbner] Référence pour idéal premier de dimension 0 ⇒ maximal.David A. Madore2012-09-121-7/+10
|
* [Gröbner] Blabla général sur les idéaux premiers de dimension 0.David A. Madore2012-09-121-12/+65
|
* [Gröbner] Calcul algorithmique du radical d'un idéal de dimension 0.David A. Madore2012-09-061-13/+81
|
* [Gröbner] Radicalité de l'algèbre de décomposition universelle d'un ↵David A. Madore2012-09-061-2/+28
| | | | polynôme séparable.
* [Gröbner] « Lemme 92 » de Seidenberg (critère pour qu'un idéal de ↵David A. Madore2012-09-061-0/+41
| | | | dimension 0 soit radical).
* [Gröbner] Algèbre de décomposition universelle d'un polynôme.David A. Madore2012-09-061-3/+58
|
* [Gröbner] Vague programme pour la suite.David A. Madore2012-08-301-0/+6
|
* [Gröbner] Petite remarque.David A. Madore2012-08-301-1/+12
|
* [Gröbner] Factorisation d'un bout de démonstration.David A. Madore2012-08-301-14/+8
|
* [Gröbner] Idéaux de dimension 0, preuve de certaines équivalences.David A. Madore2012-08-301-5/+38
|
* [Gröbner] Idéaux de dimension 0 (début).David A. Madore2012-08-301-1/+24
|