Skip to content

Commit f56f129

Browse files
committed
Various improvements. Renamed makefile.pub to makefile.
1 parent 98e1e5a commit f56f129

11 files changed

+189
-180
lines changed

README.pub.html

-110
This file was deleted.

dgmpmax.tex

+36-31
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
% tex/conc/dgmpmax.tex 2018-1-13 Alan U. Kennington.
1+
% tex/conc/dgmpmax.tex 2018-2-6 Alan U. Kennington.
22
% $Id: tex/conc/dgmpmax.tex fb0adf70be 2017-11-24 12:18:46Z Alan U. Kennington $
33
% Some macros for use in the DG book and MetaPost files.
44
% General mathematics things should go in akmath.tex.
@@ -71,50 +71,51 @@
7171
\gdef\cdotss{\relax\ifmmode\cdotsIV\else$\m@th\cdotsIV\,$\fi}
7272
}
7373

74-
% - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
75-
\def\Xstyle{3}
74+
%==============================================================================
75+
% Use the letter "Y" in "X" macros because "X" clashes with biblio-references.
76+
\def\Ystyle{3}
7677

77-
\ifcase\Xstyle
78+
\ifcase\Ystyle
7879
% 0. Plain X definition.
79-
\gdef\XX{X} % Space of cross-sections.
80-
\gdef\XXo{\overcirc\XX} % Space of local/partial cross-sections.
81-
\gdef\XXhat{\hat\XX} % De-tagged covariant form cross-sections?
82-
\gdef\XXchk{\check\XX} % De-tagged covariant form cross-sections?
80+
\gdef\YY{X} % Space of cross-sections.
81+
\gdef\YYo{\overcirc\YY} % Space of local/partial cross-sections.
82+
\gdef\YYhat{\hat\YY} % De-tagged covariant form cross-sections?
83+
\gdef\YYchk{\check\YY} % De-tagged covariant form cross-sections?
8384
\or
8485
% 1. Squiggly X definition.
85-
\gdef\XX{{\eusm X}} % Space of cross-sections.
86-
\gdef\XXo{\skew2\overcirc\XX} % Space of local/partial cross-sections.
87-
\gdef\XXhat{\skew{1.5}\hat\XX} % De-tagged covariant form cross-sections?
88-
\gdef\XXchk{\skew{1.5}\check\XX} % De-tagged covariant form cross-sections?
86+
\gdef\YY{{\eusm X}} % Space of cross-sections.
87+
\gdef\YYo{\skew2\overcirc\YY} % Space of local/partial cross-sections.
88+
\gdef\YYhat{\skew{1.5}\hat\YY} % De-tagged covariant form cross-sections?
89+
\gdef\YYchk{\skew{1.5}\check\YY} % De-tagged covariant form cross-sections?
8990
\or
9091
% 2. Bold X definition.
91-
\gdef\XX{{\bf X}} % Space of cross-sections.
92-
\gdef\XXo{\skew2\overcirc\XX} % Space of local/partial cross-sections.
93-
\gdef\XXhat{\skew{1.5}\hat\XX} % De-tagged covariant form cross-sections?
94-
\gdef\XXchk{\skew{1.5}\check\XX} % De-tagged covariant form cross-sections?
92+
\gdef\YY{{\bf X}} % Space of cross-sections.
93+
\gdef\YYo{\skew2\overcirc\YY} % Space of local/partial cross-sections.
94+
\gdef\YYhat{\skew{1.5}\hat\YY} % De-tagged covariant form cross-sections?
95+
\gdef\YYchk{\skew{1.5}\check\YY} % De-tagged covariant form cross-sections?
9596
\or
9697
% 3. Italic bold X definition.
97-
\gdef\XX{{\cmmib X}} % Space of cross-sections.
98-
\gdef\XXo{\skew3\overcirc\XX} % Space of local/partial cross-sections.
99-
\gdef\XXhat{\skew{2.5}\hat\XX} % De-tagged covariant form cross-sections?
100-
\gdef\XXchk{\skew{2.5}\check\XX} % De-tagged covariant form cross-sections?
98+
\gdef\YY{{\cmmib X}} % Space of cross-sections.
99+
\gdef\YYo{\skew3\overcirc\YY} % Space of local/partial cross-sections.
100+
\gdef\YYhat{\skew{2.5}\hat\YY} % De-tagged covariant form cross-sections?
101+
\gdef\YYchk{\skew{2.5}\check\YY} % De-tagged covariant form cross-sections?
101102
\fi
102103

103104
% 2017-7-2. Probably the \overlineright macro should be in akmath.tex.
104105
% Could also define \overlineleftright and \overlineleft etc.?
105106
\def\overlineright#1#2{%
106107
{\setbox0\hbox{$#2$}\hbox to\wd0{\hss$\overline{\hbox to#1{\hss$#2$}}$}}}
107-
\def\XXoline{\overlineright{8pt}{\XX}{}}
108+
\def\YYoline{\overlineright{8pt}{\YY}{}}
108109

109-
\let\XXcut\XXoline % Short-cut de-tagged form cross-sections.
110+
\let\YYcut\YYoline % Short-cut de-tagged form cross-sections.
110111

111-
% 2016-12-11. The notations \XXo and \XXloc need further study!
112-
\def\XXloc{\XX_{\rm loc}} % Local cross-sections with open domain.
112+
% 2016-12-11. The notations \YYo and \YYloc need further study!
113+
\def\YYloc{\YY_{\rm loc}} % Local cross-sections with open domain.
113114

114-
% \gdef\vertXX{\,\bigr\vert\,} % Restriction of space of cross-sections.
115-
\gdef\vertXX{\,\vert\,} % Restriction of space of cross-sections.
115+
% \gdef\vertYY{\,\bigr\vert\,} % Restriction of space of cross-sections.
116+
\gdef\vertYY{\,\vert\,} % Restriction of space of cross-sections.
116117

117-
% - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
118+
%==============================================================================
118119
\def\tagpartial{\hat\partial} % Tagged partial-symbol.
119120
\def\tagD{\hat D} % Tagged tangent operator for given tangent vector.
120121

@@ -199,13 +200,17 @@
199200
\def\parenspace{{\cal B}}
200201

201202
% - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
202-
% Quoted math-mode text within the math context.
203+
% Quoted text without/with extra space within the math context.
203204
\def\hboxq#1{\hbox{``#1''}}
204-
\def\hboxqm#1{\hbox{``$#1$''}}
205-
206-
% Quoted mathematical expression with extra space within text context.
207205
\def\hboxqs#1{\hbox{``\ts#1\ts''}}
206+
\def\hboxqsl#1{\hbox{``\ts#1''}}
207+
\def\hboxqsr#1{\hbox{``#1\ts''}}
208+
209+
% Quoted mathematical expression without/with extra space within text context.
210+
\def\hboxqm#1{\hbox{``$#1$''}}
208211
\def\hboxqsm#1{\hbox{``\ts$#1$\ts''}}
212+
\def\hboxqslm#1{\hbox{``\ts$#1$''}}
213+
\def\hboxqsrm#1{\hbox{``$#1$\ts''}}
209214

210215
% - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
211216
% Substitution of logical expressions into a logical expression.

fibdiag4.mp

+3-3
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
% tex/conc/mp/fibdiag4.mp 2017-1-17 Alan U. Kennington.
1+
% tex/conc/mp/fibdiag4.mp 2018-2-4 Alan U. Kennington.
22
% $Id: tex/conc/mp/fibdiag4.mp e6195bdce8 2017-01-17 13:47:55Z Alan U. Kennington $
33
% Spaces and maps for baseless figure/frame bundles.
44

@@ -144,10 +144,10 @@ label.top(btex $\mu_G^F$ etex, ratA[w15,w12]+(0,0.3cr));
144144
% S_tiltlabel_bot_up(btex $\pi$ etex, 0.5[w10,w14], angle(w14-w10), 0pt);
145145
label.llft(btex \strut$q$ etex, 0.5[w10,w13]);
146146
label.lrt(btex \strut$\pi$ etex, 0.5[w10,w14]);
147-
% label.urt(btex \strut$\phi\in\XX(T(P))$ etex, 0.5[w14,w12]);
147+
% label.urt(btex \strut$\phi\in\YY(T(P))$ etex, 0.5[w14,w12]);
148148
S_tiltlabel_top_up(btex $\eta(\phi,\cdotsp)$ etex,
149149
0.5[w12,w14], angle(w14-w12), 0pt);
150-
S_tiltlabel_bot_up(btex $\phi\in\XX(T(P))$ etex,
150+
S_tiltlabel_bot_up(btex $\phi\in\YY(T(P))$ etex,
151151
0.5[w12,w14], angle(w14-w12), 1.5pt);
152152

153153
label.bot(btex \fibre//frame bundle etex, w10+(0,-sepA));

fibdiag7.mp

+2-2
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
% tex/conc/mp/fibdiag7.mp 2017-1-15 Alan U. Kennington.
1+
% tex/conc/mp/fibdiag7.mp 2018-2-4 Alan U. Kennington.
22
% $Id: tex/conc/mp/fibdiag7.mp 09099b7be7 2017-01-15 12:55:05Z Alan U. Kennington $
33
% Spaces and maps for combined topological figure/frame bundles.
44

@@ -99,7 +99,7 @@ label.urt(btex $\phi$ etex, 0.47[w10,w13]+(0.7offA,0.7offA));
9999
label.lrt(btex $\pi$ etex, 0.5[w10,w14]);
100100

101101
% S_tiltlabel_top_up(btex $\eta_\phi$ etex, 0.5[w12,w14], angle(w14-w12), 0pt);
102-
% S_tiltlabel_bot_up(btex $\phi\in\XX(T(P))$ etex,
102+
% S_tiltlabel_bot_up(btex $\phi\in\YY(T(P))$ etex,
103103
% 0.5[w12,w14], angle(w14-w12), 0pt);
104104
label.urt(btex $\eta_\phi$ etex, 0.5[w14,w12]);
105105

fibmap31.mp

+7-7
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
% tex/conc/mp/fibmap31.mp 2015-10-26 Alan U. Kennington.
1+
% tex/conc/mp/fibmap31.mp 2018-2-4 Alan U. Kennington.
22
% $Id: tex/conc/mp/fibmap31.mp d20b973ae3 2015-10-26 10:06:59Z Alan U. Kennington $
33
% Relation between connection on fibration and vector field on fibre space.
44

@@ -46,13 +46,13 @@ draw fullcircle scaled d shifted w3;
4646
label.lft(btex $E$ etex, w0-(q,0));
4747
label.rt(btex $F$ etex, w1+(q,0));
4848

49-
% label.top(btex $\konv_V\in\XX(T(E)\vertXX E_p)$ etex, w2+(0,q));
49+
% label.top(btex $\konv_V\in\YY(T(E)\vertYY E_p)$ etex, w2+(0,q));
5050
label.top(btex $\konv_V$ etex, w2+(0,q));
51-
% label.lft(btex $\XX(T(E)\vertXX E_p)$ etex, w2+(-q,0));
51+
% label.lft(btex $\YY(T(E)\vertYY E_p)$ etex, w2+(-q,0));
5252

53-
% label.top(btex $\phi_*\circ\konv_V\in\XX(T(F))$ etex, w3+(0,q));
53+
% label.top(btex $\phi_*\circ\konv_V\in\YY(T(F))$ etex, w3+(0,q));
5454
label.top(btex $\phi_*\circ\konv_V$ etex, w3+(0,q));
55-
% label.rt(btex $\XX(T(F))$ etex, w3+(q,0));
55+
% label.rt(btex $\YY(T(F))$ etex, w3+(q,0));
5656

5757
% - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
5858
% Points inside circles.
@@ -102,8 +102,8 @@ bboxmargin := 0;
102102
pat1 := bbox currentpicture;
103103
bboxmargin := bbx;
104104

105-
label.lft(btex $\XX(T(E)\vertXX E_p)$ etex, w2+(-q,0));
106-
label.rt(btex $\XX(T(F))$ etex, w3+(q,0));
105+
label.lft(btex $\YY(T(E)\vertYY E_p)$ etex, w2+(-q,0));
106+
label.rt(btex $\YY(T(F))$ etex, w3+(q,0));
107107

108108
setbounds currentpicture to pat1;
109109

fn2d26.mp

+8-1
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
% tex/conc/mp/fn2d26.mp 2018-2-1 Alan U. Kennington.
1+
% tex/conc/mp/fn2d26.mp 2018-2-2 Alan U. Kennington.
22
% $Id$
33
% Unit level curves of some norms for 2-space.
44

@@ -30,6 +30,7 @@ gcol := 0.35white; % Colour of axes and notches.
3030
xcol := 0.35white; % Colour of spirals.
3131

3232
penARROW := 0.5bp;
33+
penARROWLAB := 0.5bp;
3334
penAXIS := 0.5bp;
3435
penLN := 0.5bp;
3536
penNOTCH := 0.5bp;
@@ -116,6 +117,12 @@ for i = 0 upto narrows:
116117
draw zz31;
117118
endfor
118119

120+
pickup pencircle scaled penARROWLAB;
121+
zz40 := point (3.8 * arrowDT) of pat1;
122+
zz41 := zz40 + (0.7unit,0.5unit);
123+
label.rt(btex $\gamma_{(0,1)}$ etex, zz41);
124+
S_arrowspaces(zz41, zz40, 0pt, 2pt, 1, black);
125+
119126
C_bbox_centre_set(currentpicture)(midpt);
120127

121128
endfig;

0 commit comments

Comments
 (0)