summaryrefslogtreecommitdiff
path: root/graphics/pgf/contrib/spectralsequences/examples/J_RPinfty.tex
blob: 8c4d91a6b229fc9a2f63dfb2a237f48c15f55130 (plain)
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
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
%%
%% Package: spectralsequences v1.3.2 2022-02-19
%% Author: Hood Chatham
%% Email: hood@mit.edu
%% Date: 2022-02-19
%% License: Latex Project Public License
%%
%% File: example_endofVFoS.tex
%%
%%   This is the drawing that got me started making the package. To this day, I don't know what it is. I copied it from Matt Ando's handwritten notes on
%%   Haynes 1990(?) class on Vector Fields on Spheres. It's on the very last page of the second part of the notes, so it must have been the last day of class.
%%   Looking back, I seem to have inferred a bunch of stuff that wasn't actually written down on the page, but I'm not sure how so there's a chance some of it is wrong.
%%

\documentclass{spectralsequence-example}
\usepackage{amssymb}

\NewSseqCommand\row { m } {\foreach \x in {1,...,35}{\class(\x,#1)}}
\NewSseqCommand\twoptrow { m } {\foreach \x in {1,...,35}{\class(\x,#1)\class(\x,#1)}}
\begin{document}
\begin{sseqdata}[
    name=mysseq,
    x range={1}{25},
    y range={0}{19},
    homological Serre grading,
    classes=fill,
    permanent classes={circle,red},
    transient cycles={black},
    differentials={blue},
    grid = go,
    scale=0.9
]

\foreach \x in {1,3,5,...,35} {\class(\x,0)}

\row{1}
\row{2}
\row{3}

\foreach \y in {7,15,23}{
    \row{\y}
    \row{\y+1}
    \twoptrow{\y+2}
    \row{\y+3}
    \row{\y+4}
}

\foreach \x in {9,13,...,25}{
    \d2(\x,0)
%
    \foreach \y in {7,15}{
        \d2 (\x,\y)
        \d2 (\x,\y+1,,2)
        \d2 (\x,\y+2,1,)
    }
}



\foreach \x in {4,8,...,24}{
    \d2 (\x,1)
    \d2 (\x,2)
    \foreach \y in {7,15}{
         \d2 (\x,\y+1,,2)
        \d2 (\x,\y+2,1,)
        \d2 (\x,\y+3)
    }
}


\foreach \x in {4,8,..., 24,28}
    \foreach \y in {7,15}{
        \d3 (\x+2,\y,,1)
        \d3 (\x,\y+2,2,)
}

\foreach \x in {11,19,27}{
    \d4(\x,0)
}

\foreach \x in {12,20,28}
    \foreach \y in {7,15}{
        \d5(\x,\y)
}



\foreach \x in {10,18,26,34}{
    \d7(\x,1)
    \d7(\x-1,2)
    \d7(\x-2,3,,2)

    \foreach \y in {9,17}{
        \d7(\x,\y,1)
        \d7(\x-1,\y+1)
        \d7(\x-2,\y+2,,2)
    }
}

\d9(15,0)
\d9(14,1,,2)
\d10(13,2)

\d8(23,0)
\d8(22,1)
\foreach \x in {23,31} {
    \d8(\x-2,2,,2)
    \d9(\x-3,3)
}
\foreach \x in {16,24,32} {
    \d9(\x,7)
    \d8(\x-2,9,1,)
    \d8(\x-3,10,,2)
    \d9(\x-4,11)
}
\end{sseqdata}


\printpage[name=mysseq, page=0]
\newpage
\printpage[name=mysseq, page=2]
\newpage
\printpage[name=mysseq, page=3]
\newpage
\printpage[name=mysseq, page=4]
\newpage
\printpage[name=mysseq, page=5]
\newpage
\printpage[name=mysseq, page=7]
\newpage
\printpage[name=mysseq, page=8]
\newpage
\printpage[name=mysseq, page=9]
\newpage
\printpage[name=mysseq, page=10]
\end{document}