summaryrefslogtreecommitdiffstats
path: root/chapitres/bases-groebner.tex
Commit message (Collapse)AuthorAgeFilesLines
* [Gröbner] coquilleHEADmasterFabrice (eramangarria)2017-10-161-1/+1
|
* [Gröbner] référence précédente : les auteurs semblent un peu se moquer ↵Fabrice (eramangarria)2013-05-201-1/+2
| | | | | | | du monde... Le cas où k n'est pas un corps fini, est traité de façon vague dans les dernières lignes...
* [Gröbner] proposition d'une autre stratégie.Fabrice (eramangarria)2013-05-201-0/+10
| | | | | Je pense qu'on a maintenant des méthodes un peu plus simples. À vérifier.
* Affichage du numéro de version Git si on compile avec --shell-escapeDavid A. Madore2013-03-071-0/+1
| | | | | | Affiche le numéro de commit et la date de celui-ci (sortie de « git log --pretty=format:"%h %ai" -1 ») suivi du mot « (dirty) » si des changements ont été faits par rapport à ce commit.
* Encadrement de chaque chapitre par un \begingroup .. \endgroupDavid A. Madore2013-03-071-0/+3
| | | | | | | | Ceci permet de rendre locales à ce chapitre les définitions qui seraient faites dans un chapitre. Au passage, ceci a permis d'attraper deux accolades ouvrantes pas fermées (dans brauer.tex et verselles.tex).
* Introduction de macros \mathtextrm, \mathtextsf et \mathtextttDavid A. Madore2013-03-061-24/+24
| | | | | | | | | | | | | | | | | | | Le but est de résoudre le problème des accents qui n'apparaissaient pas, par exemple, dans \mathrm{Dér} (parce qu'Unicode ne définit pas les caractères accentués dans les alphabets mathématiques et, concrètement, parce que le package unicode-math ne leur donne pas des \mathcode appropriés, et ne fournit d'ailleurs pas de 'é' sans-sérif ou autre truc du genre). Ces macros servent donc à écrire du texte dans des formules mathématiques, de façon un peu « intermédiaire » entre \mathrm et \textrm : elles créent du vrai mode maths (donc qui change de taille en exposant et indice, contrairement à \textrm) mais en allant chercher dans une police orientée texte et _sans_ aller prendre dans les alphabets « mathématiques » d'Unicode. Attention : à cause de l'usage de \emitmathchars, le paramètre passé à ces macros ne doit pas contenir de commande quelle qu'elle soit, uniquement des caractères.
* Déplacement bibliographie dans un répertoire biblio/David A. Madore2013-03-011-2/+2
|
* Transformation en LuaTeX: bases-groebner.tex, conversion des tirets.David A. Madore2013-02-281-41/+23
|
* Ajout à tous les fichiers d'une ligne magique pour Emacs.David A. Madore2013-02-211-0/+1
| | | | | | | | (À cause du \ifx commençant les fichiers, il ne les reconnaît pas comme du LaTeX mais seulement du TeX. Ceci force à passer en mode LaTeX. Si on veut mettre aussi des variables pour vim, il faut le faire comme dans locaux-globaux.tex (par exemple) en terminant par le caractère ':'.)
* [Gröbner] Construction par récurrence de l'algèbre de décomposition ↵David A. Madore2013-02-211-6/+51
| | | | universelle.
* [Gröbner] Généralisation de certains énoncés sur l'algèbre de ↵David A. Madore2013-02-211-27/+52
| | | | | | décomposition universelle à un anneau au lieu d'un corps. Écrit comme ça, c'est malheureusement assez moche.
* [Gröbner] Cohérence des notations.David A. Madore2013-02-211-1/+1
|
* [Gröbner] Ajout d'une remarque plus explicite sur la dimension de ↵David A. Madore2013-02-211-7/+22
| | | | l'algèbre de décomposition universelle (et sa base).
* Gröbner: esquisse argumentFabrice (Phare)2013-02-151-0/+7
|
* 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
|