Added another tree diagram.

Author: drauk

dgmpmax.tex

@@ -1,5 +1,5 @@
-% tex/conc/dgmpmax.tex   2017-7-2   Alan U. Kennington.
-% $Id: tex/conc/dgmpmax.tex 9162242ded 2017-07-02 19:31:27Z Alan U. Kennington $
+% tex/conc/dgmpmax.tex   2017-11-24   Alan U. Kennington.
+% $Id: tex/conc/dgmpmax.tex fb0adf70be 2017-11-24 12:18:46Z Alan U. Kennington $
 % Some macros for use in the DG book and MetaPost files.
 % General mathematics things should go in akmath.tex.
 % The macros in _this_ file are mostly not standard enough for akmath.tex.
@@ -54,6 +54,9 @@
 \def\ehatbar{\skew2\hat{\bar e}}
 \def\Yhatbar{\hat{\bar Y}}
 
+% Punctured closed ball.
+\def\Bdotbar{\skew3\dot{\bar B}}
+
 \def\opP{\overcirc P}       % Untagged tangent operator frames.
 \def\tagP{\hat P}           % Tagged tangent operator frames.
 

log49.mp

@@ -1,4 +1,4 @@
-% tex/conc/mp/log49.mp   2015-1-29   Alan U. Kennington.
+% tex/conc/mp/log49.mp   2017-12-25   Alan U. Kennington.
 % $Id: tex/conc/mp/log49.mp 2f2a127ff9 2015-01-29 07:27:00Z Alan U. Kennington $
 % Eight independent definitions for a finite set.
 
@@ -36,9 +36,10 @@ for i=0 upto nRows-1:
         zz3 := zz1 + (xI, 0);
         fill zz3--zz2--(zz2+(0,-bb))--(zz3+(0,-bb))--cycle
             withcolor colA;
-        draw zz3--(zz3+(0,-bb));
+%        draw zz3--(zz3+(0,-bb));
         zz4 := 0.5[zz3,zz2] + (0,-bb/2);
-        zz5 := zz3;
+%        zz5 := zz3;
+        zz5 := zz3 + (0, -bb);
         zz6 := zz0 + (xI, -bb);
         fi
     draw zz1--(zz1+(aa,0))--(zz1+(aa,-bb))--(zz1+(0,-bb))--cycle;

makefile.pub

@@ -1,4 +1,4 @@
-# tex/conc/mp/makefile.pub   2017-9-23   Alan U. Kennington.
+# tex/conc/mp/makefile.pub   2017-12-21   Alan U. Kennington.
 # $Id: tex/conc/mp/makefile.pub 631e2d0fd4 2017-09-23 03:47:28Z Alan U. Kennington $
 # Makefile for:  http://www.topology.org/tex/conc/mp/
 #          and:  http://www.geometry.org/tex/conc/mp/
@@ -184,7 +184,7 @@ MPFILES     = \
 	    tree70.mp tree71.mp tree72.mp tree73.mp tree74.mp \
 	    tree75.mp tree76.mp tree77.mp tree78.mp tree79.mp \
 	    tree80.mp tree81.mp tree82.mp tree83.mp tree84.mp \
-	    tree85.mp tree86.mp tree87.mp tree88.mp \
+	    tree85.mp tree86.mp tree87.mp tree88.mp tree89.mp \
 	vec1.mp vec2.mp vec3.mp vec4.mp \
 	    vec5.mp vec6.mp vec7.mp vec8.mp vec9.mp \
 	    vec10.mp vec11.mp vec12.mp vec13.mp vec14.mp \
@@ -922,6 +922,7 @@ tree85.1: boxmax.mp $(DGMPTEX)
 tree86.1: boxmax.mp $(DGMPTEX)
 tree87.1: boxmax.mp $(DGMPTEX)
 tree88.1: boxmax.mp centmax.mp $(DGMPTEX)
+tree89.1: boxmax.mp $(DGMPTEX) $(DGSPELL)
 
 vec1.1:
 vec2.1:

mpdemo.tex

@@ -1,4 +1,4 @@
-% tex/conc/mp/mpdemo.tex   2017-9-23   Alan U. Kennington.
+% tex/conc/mp/mpdemo.tex   2017-12-21   Alan U. Kennington.
 % $Id: tex/conc/mp/mpdemo.tex 631e2d0fd4 2017-09-23 03:47:28Z Alan U. Kennington $
 % Copyright (C) 2016, Alan U. Kennington.
 % Demo document for differential geometry diagrams created using MetaPost.
@@ -4044,6 +4044,12 @@
 \centerline{\epsfbox{tree88.1}}
 $$
 
+Diagram tree89. Family tree of differentiable \fibre/ bundles for connection
+styles.
+$$
+\centerline{\epsfbox{tree89.1}}
+$$
+
 %==============================================================================
 \secteject
 \edef\SECTvec{\the\pageno}\LinkName{vec}

tree89.mp

@@ -0,0 +1,77 @@
+% tex/conc/mp/tree89.mp   2017-12-21   Alan U. Kennington.
+% $Id$
+% Tree of differentiable fibre bundles for the purpose of connection styles.
+
+input boxmax
+verbatimtex
+\input akmath
+\input dgmpmax
+\input dgspell
+
+% \def\blskip{9pt}
+\def\blskip{11pt}
+
+% \def\fontA{\sevenrm}
+\def\fontA{}
+
+\font\smallrm cmr9
+\font\smallmi cmmi9
+\font\smallsy cmsy9
+\font\ssmallsy cmsy6
+% \def\fontB{\scriptstyle}
+% \def\fontB{}
+\def\fontB{%
+ \textfont0=\smallrm
+ \textfont1=\smallmi
+ \textfont2=\smallsy
+ \scriptfont2=\ssmallsy
+ }
+etex
+
+%%%%%%%%%%%%%%%%%%%%%%%%%
+%       figure 1        %
+%%%%%%%%%%%%%%%%%%%%%%%%%
+beginfig(1);
+numeric w[], h[];
+pair p[];
+
+w1 := 52pt;
+h1 := 30pt;
+h2 := h1 + 8pt;
+
+p1 := (0,0);
+p2 := p1 + (-w1,-h2);
+p3 := p1 + (w1,-h2);
+p4 := p2 + (0,-h2);
+p5 := p3 + (0,-h2);
+
+% Draw the boxes.
+B_draw(1, btex\baselineskip\blskip
+ \tmat{\hfil\fontA\vphantom{f}\fontA \fibre/ bundle\cr\hfil
+ \fontA\vphantom{f}\fontA FB$\fontB{}\equiv{}$OFB\cr}etex, p1);
+
+B_draw(2, btex\baselineskip\blskip
+ \tmat{\hfil\fontA\vphantom{f}\fontA vector bundle\cr\hfil
+ \fontA\vphantom{f}\fontA VB\cr}etex, p2);
+
+B_draw(3, btex\baselineskip\blskip
+ \tmat{\hfil\fontA\vphantom{f}\fontA principal \fibre/ bundle\cr\hfil
+ \fontA\vphantom{f}\fontA PFB\cr}etex, p3);
+
+B_draw(4, btex\baselineskip\blskip
+ \tmat{\hfil\fontA\vphantom{f}tangent bundle\cr\hfil
+ $\fontB T(M)$\cr}etex, p4);
+
+B_draw(5, btex\baselineskip\blskip
+ \tmat{\hfil\fontA\vphantom{f}principal frame bundle\cr\hfil
+ $\fontB \Frame(M)$\cr}etex, p5);
+
+% Draw the arrows.
+B_margset(2pt, 2pt);
+B_arrow(1,2,1);
+B_arrow(1,3,1);
+B_arrow(2,4,1);
+B_arrow(3,5,1);
+
+endfig;
+end