-
Notifications
You must be signed in to change notification settings - Fork 1
/
arrow32.mp
96 lines (74 loc) · 2.5 KB
/
arrow32.mp
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
% tex/conc/mp/arrow32.mp 2012-4-9 Alan U. Kennington.
% $Id: tex/conc/mp/arrow32.mp d352ed384c 2012-04-09 08:23:26Z Alan U. Kennington $
% Notations for spaces of multilinear maps.
input mapmax.mp
verbatimtex
\input akmath
etex
% - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
beginfig(1);
path pat[];
pair w[];
aa := 3.3cm;
bb := 1.2cm;
cc := 0.80cm;
ddA := 0.4cm;
ddB := 0.3cm;
ee := 1.4cm;
ffA := 1.15cm;
ffB := 0.6cm;
qqa := 0.38cm;
qqb := 0.25cm;
qqc := 0.20cm;
da := 3.0cm;
dyA := 3pt;
dyB := 8pt;
penA := 0.5bp; % Pen scale for markings.
penB := 0.5bp; % Pen scale for boxes.
sizeA := 3pt;
de := ddA + 2pt;
w0 := (0,0);
w1 := w0 + (0,bb);
w2 := w0 + (da,0);
w3 := w2 + (0,bb);
w4 := w2 + (da,0);
w5 := w4 + (0,bb);
% - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
% Multilinear maps from the V-spaces to U.
label(btex
\strut$\displaystyle\mathop{\times}\limits_{\alpha\in A}V_\alpha$ etex, w0);
label(btex \strut$U$ etex, w1);
pickup pencircle scaled penA;
S_arrowspaces(w0, w1, qqa, qqb, 1, black);
S_erd(w0, w1, qqa, qqb, 3, 0, black, black, sizeA, sizeA, penA, penA);
label.bot(btex \strut$\mlin((V_\alpha)_{\alpha\in A};U)$ etex, w0+(0,-de));
pickup pencircle scaled penB;
pat1 := (w0+(-cc,-ddA))--(w0+(cc,-ddA))--(w1+(cc,ddB))--(w1+(-cc,ddB))--cycle;
draw pat1;
% - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
% Multilinear maps from the W-spaces to U.
label(btex
\strut$\displaystyle V_1\dots V_m$ etex, w2);
label(btex \strut$U$ etex, w3);
pickup pencircle scaled penA;
S_arrowspaces(w2, w3, qqa, qqb, 1, black);
S_erd(w2, w3, qqa, qqb, 3, 0, black, black, sizeA, sizeA, penA, penA);
label.bot(btex \strut$\mlin(V_1,\dots V_m;U)$ etex, w2+(0,-de));
pickup pencircle scaled penB;
pat2 := (w2+(-cc,-ddA))--(w2+(cc,-ddA))--(w3+(cc,ddB))--(w3+(-cc,ddB))--cycle;
draw pat2;
% - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
% Multilinear maps from the V-spaces to U.
label(btex \strut$\underbrace{V\dots V}$ etex, w4+(0,dyA));
% label(btex $m$ etex, w4+(0,-dyB));
label(btex $\scriptstyle m$ etex, w4+(0,-dyB));
label(btex \strut$U$ etex, w5);
pickup pencircle scaled penA;
S_arrowspaces(w4, w5, qqa, qqb, 1, black);
S_erd(w4, w5, qqa, qqb, 3, 0, black, black, sizeA, sizeA, penA, penA);
label.bot(btex \strut$\mlin_m(V;U)$ etex, w4+(0,-de));
pickup pencircle scaled penB;
pat1 := (w4+(-cc,-ddA))--(w4+(cc,-ddA))--(w5+(cc,ddB))--(w5+(-cc,ddB))--cycle;
draw pat1;
endfig;
end