summaryrefslogtreecommitdiffstats
path: root/chapitres/AVD-Dedekind.tex
Commit message (Collapse)AuthorAgeFilesLines
* [AVD-D] ajout référence à lireFabrice (eramangarria)2013-04-261-0/+4
|
* 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-6/+6
| | | | | | | | | | | | | | | | | | | 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.
* Unicode : remplacement du caractère U+00B5 MICRO SIGN par U+03BC GREEK ↵David A. Madore2013-03-031-1/+1
| | | | SMALL LETTER MU.
* Déplacement bibliographie dans un répertoire biblio/David A. Madore2013-03-011-2/+2
|
* Transformation en LuaTeX : derniers chapitres.David A. Madore2013-03-011-52/+25
|
* Unicode : remplacement du caractère U+2126 OHM SIGN par U+03A9 GREEK ↵David A. Madore2013-02-281-5/+5
| | | | CAPITAL LETTER OMEGA partout.
* 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 ':'.)
* [AVD-D] étiquetteFabrice (Darwin)2013-01-101-0/+1
|
* [AVD-D] ajout étiquetteFabrice (Darwin)2012-10-121-0/+1
|
* [AVD-D] étiquetteFabrice (Darwin)2012-09-201-2/+2
|
* [LG, AVD-D] théorème d'approximation pour les Dedekind (énoncé) et ↵Fabrice (eramangarria)2012-09-121-0/+20
| | | | application (début)
* [AVD-D] mini toudouFabrice (Darwin)2012-09-121-0/+7
|
* [AVD-D] énoncé (vague) : à faireFabrice (eramangarria)2012-07-131-1/+11
|
* [AVD-D] coquille mathématiqueFabrice (eramangarria)2012-07-121-1/+1
|
* [AVD-D, LG] 日本式ローマ字Fabrice (eramangarria)2012-07-121-3/+3
| | | | Le nom étant あきづき (et pas son homophone あきずき)
* [RT, AVD-D] ajout de quelques énoncés sur séparabilité, k((t)) etc. (à ↵Fabrice (eramangarria)2012-06-211-4/+16
| | | | détailler lors de l'écriture)
* [AVD-D] clarification énoncé sur extensions valuationsFabrice (eramangarria)2012-06-211-10/+22
|
* [AVD-D] precisions sur Krull-AkidukiFabrice Orgogozo2012-03-221-2/+4
| | | | | C'est la forme utilisee dans [LG] Merci emacs (pas d'accent, pas de japonais :()
* [AC,AVD-D,CG,Alg] tiquettes, mini-toudou, coquillesFabrice Orgogozo2012-03-151-0/+1
|
* [AVD-D] mini toudouFabrice (Phare)2012-03-081-0/+7
|
* [AC,AVD-D,RT] toudousFabrice (Darwin)2012-03-011-0/+10
|
* [AVD-D] notation à changerFabrice (Darwin)2011-11-251-0/+5
|
* [AVD-D] petit toudou (fonctorialité ensemble des classes de valeurs absolues)Fabrice (iLiburu)2011-06-081-0/+4
|
* [AVD-D] toudou (variante sur Ostrowski) + doutes terminologiquesFabrice (iLiburu)2011-06-081-1/+14
| | | | | | | pseudo-valeur absolue/valeur absolue ? norme/quasi-norme ? module/norme ? etc.
* [AVD-D] EVT localement compact sur corps *valué* (non discret) est de ↵Fabrice (iLiburu)2011-06-081-0/+42
| | | | | | | | | dimension fini Il y a un énoncé plus général dans [BNT] mais il semblerait que l'on puisse s'en passer. (Et, in fine, les énoncés sont équivalents compte tenu de la description des corps localement compacts que l'on cherche à établir...)
* [AVD-D] changement terminologique (pseudo-valuation -> valuation)Fabrice (iLiburu)2011-06-081-10/+16
|
* [AVD-D] référence ajoutéeFabrice (iLiburu)2011-06-011-0/+7
|
* [AVD-D] quelques sorites sur EVT. (Applications : à faire)Fabrice (iLiburu)2011-06-011-0/+95
|
* [AVD-D] toudou (Gelfand-Mazur-Ostrowski, sorites sur valeurs absolues)Fabrice (iLiburu)2011-05-251-4/+24
|
* [AVD-D] étiquettes + toudouFabrice (iLiburu)2011-05-181-15/+38
|
* [AVD-D] étiquette + référenceFabrice Orgogozo2011-04-201-3/+4
|
* [AVD-D] ajout d'une référenceFabrice (iLiburu)2011-04-091-0/+2
|
* [AVD-D] ajout étiquettes/toudouFabrice (iLiburu)2011-04-071-11/+34
|
* [A(V)D] mini-toudouFabrice (Polytechnique)2011-03-241-1/+5
|
* [AVD, corps locaux/globaux] petite réorganisation + précision sur plan ↵Fabrice (Darwin)2011-03-231-0/+827
adèles/idèles et Riemann-Roch