summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2021-08-31 20:19:52 +0200
committerDavid A. Madore <david+git@madore.org>2021-08-31 20:19:52 +0200
commit6d67eef925d1419091d811f1e78d5dab569f3942 (patch)
tree55b71c9351c0b63e9fe75bea49125d53ece7eb88
parentc59c04f75c5cdab448a40e25c5c6bb0707be4e06 (diff)
downloadgalois-6d67eef925d1419091d811f1e78d5dab569f3942.tar.gz
galois-6d67eef925d1419091d811f1e78d5dab569f3942.tar.bz2
galois-6d67eef925d1419091d811f1e78d5dab569f3942.zip
[config] Réparation minimale de la config pour avoir quelque chose qui compile.
-rw-r--r--chapitres/AC.tex4
-rw-r--r--chapitres/brauer.tex2
-rw-r--r--chapitres/exemples-galois.tex2
-rw-r--r--config/macros.tex175
-rw-r--r--config/preambule.tex12
5 files changed, 56 insertions, 139 deletions
diff --git a/chapitres/AC.tex b/chapitres/AC.tex
index c578070..07e28bf 100644
--- a/chapitres/AC.tex
+++ b/chapitres/AC.tex
@@ -158,7 +158,7 @@ et $M ⊗ K ≃ N ⊗ K$ avec $M,N$ de type fini, il existe $a$
tel que $M ⊗ A[a^{-1}] ≃ N ⊗ A[a^{-1}]$.
\end{proposition2}
-\section{L'espace topologique $\Spec(A)$}
+\section{L'espace topologique \texorpdfstring{$\Spec(A)$}{Spec(A)}}
\label{espace-topologique-SpecA}
\subsection{Premières propriétés}
@@ -965,7 +965,7 @@ n'est pas pas injective. \XXX.
\subsection{Groupes de décomposition et d'inertie ; action de $G$
-sur les fibres de $\Spec(B)→\Spec(A)$}\label{décomposition-inertie et quotient}
+sur les fibres de \texorpdfstring{$\Spec(B)→\Spec(A)$}{Spec(B)→Spec(A)}}\label{décomposition-inertie et quotient}
\begin{théorème2}
Soient $B$ un anneau, $G$ un groupe fini agissant par
diff --git a/chapitres/brauer.tex b/chapitres/brauer.tex
index 0d63d10..ae957b1 100644
--- a/chapitres/brauer.tex
+++ b/chapitres/brauer.tex
@@ -1438,7 +1438,7 @@ que l'on peut supposer l'existe d'un relèvement dans $B_{k ′}$ des $γ_σ$.
On conclut alors comme dans le cas fini.
\end{démo}
-\subsection{Description cohomologique de la $n$-torsion du groupe $\Br(k)$}
+\subsection{Description cohomologique de la $n$-torsion du groupe \texorpdfstring{$\Br(k)$}{Br(k)}}
Soient $k$ un corps, $k\sep$ une clôture séparable de $k$ et $n$ un entier
inversible sur $k$. Sous cette hypothèse, l'élévation à la puissance $n$,
diff --git a/chapitres/exemples-galois.tex b/chapitres/exemples-galois.tex
index 85b00f2..88362ad 100644
--- a/chapitres/exemples-galois.tex
+++ b/chapitres/exemples-galois.tex
@@ -1761,7 +1761,7 @@ $c(\tau)$.
\section{Autres exemples}
-\subsection{$\PSL_3(\FF_2)$}\label{exemple-galois-psl-3-f-2}
+\subsection{\texorpdfstring{$\PSL_3(\FF_2)$}{PSL₃(𝔽₂)}}\label{exemple-galois-psl-3-f-2}
Considérons le polynôme $f = X^7 - 7X + 3$ sur $\QQ$ : il est
irréductible car sa réduction modulo $2$ l'est. (En effet,
diff --git a/config/macros.tex b/config/macros.tex
index 20b8383..b818db7 100644
--- a/config/macros.tex
+++ b/config/macros.tex
@@ -1,88 +1,14 @@
%%% Emacs: -*- mode:latex; coding:utf-8; -*-
-%% Un peu de magie en Lua: ces fonctions servent à transformer une
-%% suite de caractères en les commandes \char ou \luatexUmathchar qui
-%% représentent ces caractères.
-
-\directlua{
-dmadore = {} % Nom du module où stocker ces fonctions
-function dmadore.process_chars(consumer)
- local nesting = 0
- local t
- repeat
- t = token.get_next()
- if t[1]==1 then % Accolade ouvrante
- if nesting>0 then consumer(t[2]) end
- nesting = nesting+1
- elseif t[1]==2 then % Accolade fermante
- nesting = nesting-1
- if nesting>0 then consumer(t[2]) end
- elseif t[1]>=3 and t[1]<=15 then % La plupart des caractères
- consumer(t[2])
- elseif token.is_activechar(t) then % Caractère actif
- for v in string.utfvalues(token.csname_name(t)) do
- consumer(v)
- end
- else % Commande
- do
- local name_iter = string.utfvalues(token.csname_name(t))
- local v = name_iter()
- if v == nil or not (name_iter() == nil) then
- tex.error("I didn't expect a control sequence here")
- else
- consumer(v)
- end
- end
- end
- until nesting==0
-end
-function dmadore.emit_text_char(v)
- tex.sprint(luatexbase.catcodetables.CatcodeTableLaTeX, string.char(0x5c).."char ", v)
-end
-function dmadore.emit_math_char(v)
- tex.sprint(luatexbase.catcodetables.CatcodeTableLaTeX, string.char(0x5c).."luatexUmathchar 7 0 ", v)
-end
-function dmadore.emit_text_chars()
- dmadore.process_chars(dmadore.emit_text_char)
- tex.sprint(string.char(0x5c).."relax ")
-end
-function dmadore.emit_math_chars()
- dmadore.process_chars(dmadore.emit_math_char)
- tex.sprint(string.char(0x5c).."relax ")
-end
-}
-
-\def\emittextchars{\directlua{dmadore.emit_text_chars()}}
-\def\emitmathchars{\directlua{dmadore.emit_math_chars()}}
-
%%
%% Macros pour les formules
%%
%% Opérateurs en caractères romains, etc.
-% Macros servant à obtenir des caractères romains/sans-sérif "ordinaires" en mode maths
-%
-% 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.
-
-\newcommand\mymathtextrm[1]{\mymathtextrmfont{\emitmathchars{#1}}}
-\newcommand\mymathtextsf[1]{\mymathtextsffont{\emitmathchars{#1}}}
-\newcommand\mymathtext[1]{\mymathtextfont{\emitmathchars{#1}}}
+\let\mymathtextrm=\mymathtextrmfont
+\let\mymathtextsf=\mymathtextsffont
+\let\mymathtext=\mymathtextfont
% Macro pour définir un opérateur dans une police quelconque
\newcommand\DeclareMathOperatorWithFont[3]{%
@@ -137,7 +63,7 @@ end
\DeclareMathOperatorWithFont{\Trd}{\mymathtextrm}{Trd}
\DeclareMathOperatorWithFont{\N}{\mymathtextrm}{N}
\DeclareMathOperatorWithFont{\Nrd}{\mymathtextrm}{Nrd}
-\DeclareMathOperatorWithFont{\NSpin}{\mymathtextrmfont}{\emitmathchars{N}\!\emitmathchars{S}}
+\DeclareMathOperatorWithFont{\NSpin}{\mymathtextrm}{N\!S}
\DeclareMathOperatorWithFont{\ev}{\mymathtextrm}{ev}
\DeclareMathOperatorWithFont{\pr}{\mymathtextrm}{pr}
@@ -206,14 +132,14 @@ end
\providecommand*\clap[1]{\hbox to 0pt{\hss#1\hss}}
% Trouvé sur <URL: http://tug.org/pipermail/luatex/2010-October/002192.html >
-\makeatletter
-\def\DeclareUnicodeMathSymbol#1#2#3#4{
- \global\luatexUmathchardef#1=
- "\mathchar@type#2
- \the\csname sym#3\endcsname
- #4
-}
-\makeatother
+%% \makeatletter
+%% \def\DeclareUnicodeMathSymbol#1#2#3#4{
+%% \global\luatexUmathchardef#1=
+%% "\mathchar@type#2
+%% \the\csname sym#3\endcsname
+%% #4
+%% }
+%% \makeatother
% Adapté du package mathtools
\makeatletter
@@ -229,23 +155,16 @@ end
%% Tiret et trait d'union en mode maths
%\DeclareMathSymbol{\tiret}{\mathord}{operators}{"2013}
-\DeclareUnicodeMathSymbol{\tiret}{\mathord}{operators}{"2013}
+\DeclareMathSymbol{\tiret}{\mathord}{operators}{"2013}
\DeclareMathSymbol{\traitdunion}{\mathord}{operators}{"2D}
%% Symboles divers
-
-%\newfontface \symbolesnoto {NotoSansSymbols-Bold.ttf}[NFSSFamily=symbolesbis]
-%\DeclareSymbolFont{symboles}{TU}{symbolesbis}{m}{n}
-%\Umathchardef\boxempty="1 \symsymboles "2541
-% je ne sais pas si ce caractère est dans la police et luatex ne la trouve
-% pas bien que dans .fonts/noto et base de données reconstruite…
-
-\DeclareUnicodeMathSymbol{\boxempty}{\mathord}{operators}{"25A1}
-\DeclareUnicodeMathSymbol{\bimu}{\mathord}{operators}{"1D6CD}
+\DeclareMathSymbol{\boxempty}{\mathord}{operators}{"25A1}
+\DeclareMathSymbol{\bimu}{\mathord}{operators}{"1D6CD}
% Ne pas utiliser \buildrel\sim\over\to mais plutôt :
-\DeclareUnicodeMathSymbol{\simto}{\mathrel}{operators}{"2972}
+\DeclareMathSymbol{\simto}{\mathrel}{operators}{"2972}
%% En attendant de trouver une solution (cf. \bigboxtimes de mathabx qui ne marche pas avec nos paquets)
\newcommand{\bigboxtimes}{\mathop{\lower.6ex\hbox{\huge$\boxtimes$}}\limits}
@@ -267,25 +186,22 @@ end
% On définit la police IPA Mincho. En mode texte :
\newfontfamily\IPAMincho[Script=CJK]{IPAMincho}
% Et en mode maths :
-
-\newfontface \japonaisnoto {NotoSansCJKjp-Regular.otf}[NFSSFamily=japonaisbis]
-\DeclareSymbolFont{japonais}{TU}{japonaisbis}{m}{n}
-
-%% pas sûr du « "1 » pour un opérateur mais semble bien
-\Umathchardef\yoneDA="1 \symjaponais "7530
-\Umathcode`田="1 \symjaponais"7530
-\newcommand \textyoneDA {{\japonaisnoto{\char"7530}}} % version texte
-
-\Umathchardef\yone="1 \symjaponais "7C73
-\Umathcode`米="0 \symjaponais"7C73
-
-\Umathchardef\betsu="1 \symjaponais "5225
-\Umathcode`別="1 \symjaponais"5225
-
-\Umathchardef\tama="1 \symjaponais "7389
-\Umathcode`玉="0 \symjaponais"7389
-
-\newcommand{\japonais}[1]{{\japonaisnoto #1}}
+\ExplSyntaxOn
+\fontspec_set_family:Nnn{\IPAMinchoFamily}{Script=CJK}{IPAMincho}
+\ExplSyntaxOff
+\DeclareSymbolFont{japanese}{TU}{\IPAMinchoFamily}{\mddefault}{\updefault}
+% Maintenant on peut définir les caractères eux-mêmes
+\Umathcode`別="0 \symjapanese"5225
+\DeclareMathSymbol{\betsu}{\mathord}{japanese}{"5225}
+\Umathcode`正="0 \symjapanese"6B63
+\Umathcode`玉="0 \symjapanese"7389
+\Umathcode`田="0 \symjapanese"7530
+\DeclareMathSymbol{\yoneDA}{\mathord}{japanese}{"7530}
+\Umathcode`米="0 \symjapanese"7C73
+\DeclareMathSymbol{\yone}{\mathord}{japanese}{"7C73}
+\Umathcode`鬼="0 \symjapanese"9B3C
+
+\newcommand{\japonais}[1]{{\IPAMincho #1}}
% Voir <URL: http://tex.stackexchange.com/questions/95304/spacing-changes-when-using-unicode-math-range-feature-why >
\setmathfont[range={}]{XITS Math}
@@ -303,14 +219,7 @@ end
%% Utiliser les règles de césure françaises
-%% Note pour moi-même : \bbl@patterns est défini dans
-%% tex/luatex/hyph-utf8/hyphen.cfg (un remplacement minimal des
-%% fonctions de Babel pour LuaTeX). Ceci va essentiellement charger
-%% puis appeler luatexhyphen.loadlanguage("french") puis
-%% \language=\csname l@french\endcsname\relax (primitive).
-\makeatletter
-\bbl@patterns{french}
-\makeatother
+%% TODO: <faire quelque chose ici>
%% Noms français pour toutes sortes de choses
@@ -380,27 +289,29 @@ end
\catcode`\%=12
\directlua{
-function command_output(cmd)
+dmadore = {}
+dmadore.stdcatcodetable = tex.catcodetable
+function dmadore.command_output(cmd)
local output_pipe = io.popen(cmd)
local line_iter = output_pipe and output_pipe:lines()
local line = line_iter and line_iter()
if output_pipe then output_pipe:close() end
return line
end
-local git_command1 = [[git log --pretty=format:"%h %ai" -1]]
-local git_command2 = [[if git diff --quiet HEAD ; then echo clean ; else echo dirty ; fi]]
-function git_status()
- local status = command_output(git_command1)
+dmadore.git_command1 = [[git log --pretty=format:"%h %ai" -1]]
+dmadore.git_command2 = [[if git diff --quiet HEAD ; then echo clean ; else echo dirty ; fi]]
+function dmadore.git_status()
+ local status = dmadore.command_output(dmadore.git_command1)
if status then
- tex.tprint({luatexbase.catcodetables.CatcodeTableLaTeX, string.char(0x5c).."texttt{"}, {-2,status}, {luatexbase.catcodetables.CatcodeTableLaTeX, "}"})
- if not (command_output(git_command2) == "clean") then tex.sprint(-2, " (dirty)") end
+ tex.tprint({dmadore.stdcatcodetable, string.char(0x5c).."texttt{"}, {-2,status}, {dmadore.stdcatcodetable, "}"})
+ if not (dmadore.command_output(dmadore.git_command2) == "clean") then tex.sprint(-2, " (dirty)") end
else
tex.sprint(-2, "?")
end
end
}
\catcode`\%=14
-\def\showgitstatus{\directlua{git_status()}}
+\def\showgitstatus{\directlua{dmadore.git_status()}}
%%
%% Paramétrages divers
diff --git a/config/preambule.tex b/config/preambule.tex
index bbef87d..84d14c9 100644
--- a/config/preambule.tex
+++ b/config/preambule.tex
@@ -12,6 +12,12 @@
\usepackage{xr-hyper}
\fi
\usepackage[pagebackref,unicode,colorlinks=true,linkcolor=blue,citecolor=Sepia,urlcolor=magenta]{hyperref}
+%% NB: Prendre connaissance de <URL:
+%% https://tex.stackexchange.com/questions/69331/strange-error-when-unicode-math-and-hyperref-are-combined-in-xelatex
+%% > pour un problème causé par hyperref et de la nécessité qui en
+%% résulte de saupoudrer des \texorpdfstring{…} dès que les titres de
+%% section contiennent des choses avec du \mathtextrm ou équivalent.
+%% (Symptôme typique: "! Improper alphabetic constant.")
\usepackage[usenames,dvipsnames]{xcolor}
\usepackage{tikz}
\usepackage{fontspec}
@@ -50,7 +56,7 @@
\fontspec_set_family:Nnn{\TeXGyreTermesFamily}{}{TeXGyreTermes}
\fontspec_set_family:Nnn{\TeXGyreHerosFamily}{}{TeXGyreHeros}
\fontspec_set_family:Nnn{\CMUTypewriterFamily}{}{CMU Typewriter Text}
-\DeclareMathAlphabet{\mymathtextrmfont}{EU2}{\TeXGyreTermesFamily}{\mddefault}{\updefault}
-\DeclareMathAlphabet{\mymathtextsffont}{EU2}{\TeXGyreHerosFamily}{\mddefault}{\updefault}
-\DeclareMathAlphabet{\mymathtextfont}{EU2}{\CMUTypewriterFamily}{\mddefault}{\updefault}
+\DeclareMathAlphabet{\mymathtextrmfont}{TU}{\TeXGyreTermesFamily}{\mddefault}{\updefault}
+\DeclareMathAlphabet{\mymathtextsffont}{TU}{\TeXGyreHerosFamily}{\mddefault}{\updefault}
+\DeclareMathAlphabet{\mymathtextfont}{TU}{\CMUTypewriterFamily}{\mddefault}{\updefault}
\ExplSyntaxOff