FormalGeomNotes/anss3.tex at master · ecpeterson/FormalGeomNotes · GitHub

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
% -*- root: main.tex -*-

\begin{sseqpage}[
    Adams grading,
    differentials={-{>[width=4]}, target anchor=-60},
    y range={0}{10},
    x range={0}{45},
    x tick step=5,
    xscale=0.30,
    yscale=0.70,
    class labels={below=0.2em},
]
\class[rectangle,fill,inner sep=3pt](0,0)

\class["\alpha_1"](3,1) \structline(0,0)(3,1)
\class["\alpha_2"](7,1)
\class[circlen=2,"\alpha_{3/2}"](11,1)
\class["\alpha_4"](15,1)
\class["\alpha_5"](19,1)
\class[circlen=2,"\alpha_{6/2}"](23,1)
\class["\alpha_7"](27,1)
\class["\alpha_8"](31,1)
\class[circlen=3,"\alpha_{9/3}"](35,1)
\class["\alpha_{10}"](39,1)
\class["\alpha_{11}"](43,1)

\class["\beta_1"](10,2) \structline(3,1)(10,2)
\class["\beta_2"](26,2)
\class["\beta_{3/3}"](34,2)
\class["\beta_{3/2}"](38,2)
\class["\beta_3"](42,2)

% tower definitions
\gdef\alphaclass(#1,#2){
    \class(#1,#2)
    \structline(#1-3,#2-1,-1)(#1,#2,-1)
}
\gdef\betaclass(#1,#2){
    \class(#1,#2)
    \structline(#1-7,#2-1,-1)(#1,#2,-1)
}

% tower off of beta_1
\alphaclass(13,3)
\betaclass(20,4)
\alphaclass(23,5)
\betaclass(30,6)
\alphaclass(33,7)
\betaclass(40,8)
\alphaclass(43,9)
\betaclass(50,10)

% tower off of beta_2
\class["\gamma_1"](29,3)
\structline(29-3,3-1,-1)(29,3,-1)
\betaclass(36,4)
\alphaclass(39,5)
\betaclass(46,6)
\alphaclass(49,7)


% tower off of beta_3/3
\alphaclass(37,3)
\betaclass(44,4)
\alphaclass(47,5)
\betaclass(54,6)

% tower off of beta_3
\class[circlen=2, "\alpha_{3/2} \beta_{3/3}" {below=0.2em, xshift=0.1cm}](45,3) \structline(42,2,-1)(45,3,-1)
\betaclass(52,4)

% d5s
\d5(34,2)
\d5(44,4)
\end{sseqpage}