diff options
author | Karl Berry <karl@freefriends.org> | 2017-08-03 21:07:30 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2017-08-03 21:07:30 +0000 |
commit | ff587f620cc7c6d0068c33b27a8e554bce2b08fe (patch) | |
tree | 0857cebe6e2e1325bb94305516fbf9b6e27326c0 /Master/texmf-dist/doc/latex/spectralsequences/examples | |
parent | 29d69088963132c0a036286f984331c74ac99f1a (diff) |
spectralsequences (3aug17)
git-svn-id: svn://tug.org/texlive/trunk@44942 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/doc/latex/spectralsequences/examples')
39 files changed, 902 insertions, 698 deletions
diff --git a/Master/texmf-dist/doc/latex/spectralsequences/examples/ANSS-S_2.pdf b/Master/texmf-dist/doc/latex/spectralsequences/examples/ANSS-S_2.pdf Binary files differnew file mode 100644 index 00000000000..46bede4dcbf --- /dev/null +++ b/Master/texmf-dist/doc/latex/spectralsequences/examples/ANSS-S_2.pdf diff --git a/Master/texmf-dist/doc/latex/spectralsequences/examples/ANSS-S_2.tex b/Master/texmf-dist/doc/latex/spectralsequences/examples/ANSS-S_2.tex new file mode 100644 index 00000000000..1bd2cf23287 --- /dev/null +++ b/Master/texmf-dist/doc/latex/spectralsequences/examples/ANSS-S_2.tex @@ -0,0 +1,175 @@ +%% +%% Description: Adams Novikov Spectral Sequence for $S_2$ + +\documentclass{spectralsequence-example} + +% figure out how to get width("\noexpand\small 16") working +\sseqset{ppower/.sseq style={ + rectangle,"#1" {inside, font=\tiny}, + minimum height=width("16"), + minimum width=width("16") +}} + +\sseqnewfamily{imJ} +\begin{document} + +\NewSseqCommand\etaclass{O{}d()}{ + \IfNoValueF{#2}{\pushstack(#2)} + \class[#1](\lastx+1,\lasty+1) + \structline(\lastclass1)(\lastclass) +} + +\NewSseqCommand\divetaclass{O{}d()}{ + \IfNoValueF{#2}{\pushstack(#2)} + \class[#1](\lastx-1,\lasty-1) + \structline(\lastclass1)(\lastclass) +} + +\NewSseqCommand\nuclass{O{}d()}{ + \IfNoValueF{#2}{\pushstack(#2)} + \class[#1](\lastx+3,\lasty+1) + \structline(\lastclass1)(\lastclass) +} + +\NewSseqCommand\nustruct{d()}{ + \IfNoValueF{#1}{\pushstack(#1)} + \structline(\lastx-3,\lasty-1,-1)(\lastclass) +} + +\begin{sseqdata}[ + name=ANSS-S_2, Adams grading, + class labels={below}, + %label distance=-1pt, + below label distance=0pt, + classes={tooltip={(\xcoord,\ycoord)}}, + class pattern = linear, + class placement transform={rotate=90,scale=2}, + differentials=blue, + x range={0}{40}, + y range={0}{10}, + xscale=0.7, + yscale=1.7, + grid=go, + right clip padding=2em +] +\begin{scope}[imJ] +\class[rectangle,fill,inner sep=3pt](0,0) +\DoUntilOutOfBoundsThenNMore{3}{\etaclass} +\classoptions["\alpha_1" above left](1,1) + +\class["\alpha_{2/2}",circlen=2](3,1) +\nustruct +\structline[dashed](3,1)(3,3) + + +\class["\alpha_3"](5,1) +\d3(\lastclass) +\DoUntilOutOfBounds{\etaclass\d3(\lastclass)} + +\class["\alpha_{4/4}",ppower=16](7,1) +\DoUntilOutOfBoundsThenNMore{3}{\etaclass} + +\class["\alpha_{5}"](9,1) +\DoUntilOutOfBoundsThenNMore{3}{\etaclass} + +\class["\alpha_{6/3}", circlen=3](11,1) +\d3(\lastclass) +\DoUntilOutOfBounds{\etaclass\d3(\lastclass)} +\replaceclass["\alpha_{6/2}", circlen=2](11,1) +\structline[dashed](11,1)(11,3) + +\class["\alpha_7"](13,1) +\d3(\lastclass) +\DoUntilOutOfBounds{\etaclass\d3(\lastclass)} + + +\class["\alpha_{8/5}",ppower=32](15,1) +\DoUntilOutOfBoundsThenNMore{3}{\etaclass} + +\class["\alpha_9"](17,1) +\DoUntilOutOfBoundsThenNMore{3}{\etaclass} + +\class["\alpha_{10/3}",circlen=3](19,1) +\d3(\lastclass) +\DoUntilOutOfBounds{\etaclass\d3(\lastclass)} +\replaceclass["\alpha_{10/2}",circlen=2](19,1) +\structline[dashed](19,1)(19,3) + +\class["\alpha_{11}"](21,1) +\d3(\lastclass) +\DoUntilOutOfBounds{\etaclass\d3(\lastclass)} +\end{scope} + +\class["\beta_{2/2}"](6,2) +\nustruct +\class["\beta_{2}" below](8,2) +\etaclass\structline(\lastclass)(6,2,2) % This is a *nu + +\class["\beta_3" left,insert = 1](14,2) +\etaclass[insert=1](14,2,-1) +\divetaclass["\beta_{4/4}" left, insert = 2] +\nuclass(14,2,2)\nuclass[circlen=2]\nuclass[circlen=3]\nuclass["P\beta_{2/2}" above left] +\nuclass\divetaclass["P\beta_2"] + + +\class["\beta_{4/3}",insert=1](16,2) +\etaclass[insert=1]\etaclass[insert=1] +\class["\beta_{4/2,2}",circlen=2](18,2) +\structline[dashed,](18,2,-1)(18,4,-1) + +\class["\eta_2"](19,3) +\etaclass + +\class["\beta_{4}"below](20,2) +\structline[dashed,bend left=20](20,2,-1)(20,4,2) +%\structlineoptions[](20,2,-1)(20,4,2)%page=0--3 +\etaclass\etaclass\structline(\lastclass)(\lastx+1,\lasty+1,-1) + +\nuclass["\alpha_{4/4}^3" {above left=-1pt}](18,2,-1) + + + +\class["\eta_{3/2}"](23,3) +\etaclass\etaclass + +\class["\beta_5" below](26,2) +\d3(\lastclass,-1) + +\class["\beta_{8/8}" ](30,2) +\etaclass +\class["\beta_{6/2}" left](30,2) +\d5(\lastclass) + +\class["\gamma_3" left](31,3) +\nuclass +\class["\eta_{5/3}"](33,4) + +\class["\beta_{8/7}"](32,2) +\etaclass\etaclass\etaclass\etaclass\etaclass\etaclass +\class["\beta_{6}"left](32,2)\etaclass + +\class["x_{32}"](32,4)\etaclass\etaclass["P\beta_{4/4}" right] +\class["x_{36}"](36,4) +\nuclass(32,4,-1)\nuclass + +\class["P\beta_3" above left](34,6)\etaclass\nuclass(34,6,-1) + +\class["\beta_{8/6,2}",circlen=2](34,2) +\etaclass\nuclass(\lastclass1) + +\class["\gamma_{4/2,2}" right](37,3) +\class["\beta_{8/4,2}",circlen=2](38,2) +\class["\beta_{7}" right](38,2) +\class["d_{4/4}\beta_{8/7}" right](39,3) +\class["x''_{39}" right](39,3) +\class["\gamma_{4,2}" right](39,3) +\class["x_{39}'"](39,5) +\class["P\eta_2"](39,7) +\end{sseqdata} + +\printpage[name=ANSS-S_2] + +\printpage[name=ANSS-S_2,page=5] + +\printpage[name=ANSS-S_2, no imJ] +\end{document}
\ No newline at end of file diff --git a/Master/texmf-dist/doc/latex/spectralsequences/examples/example_anss3.pdf b/Master/texmf-dist/doc/latex/spectralsequences/examples/ANSS-S_3.pdf Binary files differindex 00050e20386..2821d2ab8bf 100644 --- a/Master/texmf-dist/doc/latex/spectralsequences/examples/example_anss3.pdf +++ b/Master/texmf-dist/doc/latex/spectralsequences/examples/ANSS-S_3.pdf diff --git a/Master/texmf-dist/doc/latex/spectralsequences/examples/example_anss3.tex b/Master/texmf-dist/doc/latex/spectralsequences/examples/ANSS-S_3.tex index b3d801acf6b..0dc8e67a959 100644 --- a/Master/texmf-dist/doc/latex/spectralsequences/examples/example_anss3.tex +++ b/Master/texmf-dist/doc/latex/spectralsequences/examples/ANSS-S_3.tex @@ -1,20 +1,15 @@ %% -%% Package: spectralsequences.sty version 1.0 -%% Author: Hood Chatham -%% Email: hood@mit.edu -%% Date: 2017-06-18 -%% License: Latex Project Public License +%% Description: Adams Novikov Spectral Sequence for $S_3$ %% %% File: example_anss3.tex %% %% Draws the Adams Novikov spectral sequence at the prime 3 through the 45 stem. %% In this range, all we see is the Toda differential d_{2p-1}(\beta_{p/p}) = \alpha\beta^p -%% Thanks to Eric Peterson for contributing this diagram. +%% Thanks to Eric Peterson for contributing this diagram. Presumably he copied it from page 13 of the green book. +%% Compare this to page 5 of example_ass3 %% -\documentclass{article} -\usepackage{spectralsequences} -\usepackage[landscape]{geometry} +\documentclass{spectralsequence-example} \begin{document} % tower definitions \NewSseqCommand\alphaclass{d()}{ @@ -29,16 +24,19 @@ \structline(\lastclass)(\lastclass1) } +\centering \begin{sseqpage}[ Adams grading, - classes = { tooltip = {(\xcoord,\ycoord)} }, - class labels = above left, + classes = { tooltip = {(\xcoord,\ycoord)}, inner sep=1.2pt }, + class labels = below, label distance=3pt, differentials={-{>[width=4]}, target anchor=-60}, - y range={0}{10}, + y range={0}{11}, x range={0}{45}, x tick step=5, - xscale=0.375 + xscale=0.7, + yscale=1.2, + y axis gap=2em ] \class[rectangle,fill,inner sep=3pt](0,0) @@ -55,10 +53,10 @@ \class["\alpha_{11}"](43,1) \class["\beta_1"](10,2) \structline(3,1)(10,2) -\class["\beta_2"](26,2) -\class["\beta_{3/3}" {xshift = -2pt, yshift=-2pt}](34,2) -\class["\beta_{3/2}"](38,2) -\class["\beta_3"](42,2) +\class["\beta_2" left](26,2) +\class["\beta_{3/3}" left](34,2) +\class["\beta_{3/2}" {left}](38,2) +\class["\beta_3" left](42,2) % tower off of beta_1 \alphaclass(10,2)\betaclass @@ -83,6 +81,12 @@ % d5s \d5(34,2) \d5(44,4) + +%% Doug's contributions +\classoptions["{\left<\alpha_1,\alpha_1,\beta_1^3\right>}" {below right=0em}](37,3) +\structline[dashed](37,3)(40,8) + + \end{sseqpage} \end{document}
\ No newline at end of file diff --git a/Master/texmf-dist/doc/latex/spectralsequences/examples/ASS-S_2.pdf b/Master/texmf-dist/doc/latex/spectralsequences/examples/ASS-S_2.pdf Binary files differnew file mode 100644 index 00000000000..79621a0e2e6 --- /dev/null +++ b/Master/texmf-dist/doc/latex/spectralsequences/examples/ASS-S_2.pdf diff --git a/Master/texmf-dist/doc/latex/spectralsequences/examples/ASS-S_2.tex b/Master/texmf-dist/doc/latex/spectralsequences/examples/ASS-S_2.tex new file mode 100644 index 00000000000..67be3dd6b57 --- /dev/null +++ b/Master/texmf-dist/doc/latex/spectralsequences/examples/ASS-S_2.tex @@ -0,0 +1,399 @@ +%% +%% Description: Adams Novikov Spectral Sequence for $S_2$ +%% +%% +%% Draws the Adams Spectral Sequence at the prime 2 through the 45 stem. +%% See pages 146 - 147 of Green book +%% https://mathoverflow.net/questions/102316/differentials-in-the-adams-spectral-sequence-for-spheres-at-the-prime-p-2 +%% https://en.wikipedia.org/wiki/Homotopy_groups_of_spheres#Table_of_stable_homotopy_groups +%% + + +\documentclass{spectralsequence-example} + + +\begin{document} +\sseqset{imJ/.sseq style={purple}} + + +\NewSseqCommand\twoclass{O{}d()}{ + \IfNoValueF{#2}{\pushstack(#2)} + \class[#1](\lastx,\lasty+1) + \structline(\lastclass1)(\lastclass) +} + +\NewSseqCommand\divtwoclass{O{}d()}{ + \IfNoValueF{#2}{\pushstack(#2)} + \class[#1](\lastx,\lasty-1) + \structline(\lastclass1)(\lastclass) +} + + +\NewSseqCommand\etaclass{O{}d()}{ + \IfNoValueF{#2}{\pushstack(#2)} + \class[#1](\lastx+1,\lasty+1) + \structline(\lastclass1)(\lastclass) +} +\NewSseqCommand\divetaclass{O{}d()}{ + \IfNoValueF{#2}{\pushstack(#2)} + \class[#1](\lastx-1,\lasty-1) + \structline(\lastclass1)(\lastclass) +} +\NewSseqCommand\etastruct{d()}{ + \IfNoValueF{#1}{\pushstack(#1)} + \structline(\lastx-1,\lasty-1,-1)(\lastclass) +} + + +\NewSseqCommand\nuclass{O{}d()}{ + \IfNoValueF{#2}{\pushstack(#2)} + \class[#1](\lastx+3,\lasty+1) + \structline(\lastclass1)(\lastclass) +} + +\NewSseqCommand\nustruct{d()}{ + \IfNoValueF{#1}{\pushstack(#1)} + \structline(\lastx-3,\lasty-1,-1)(\lastclass) +} + +\NewSseqCommand\hznudiamond{d()}{ + \IfNoValueF{#1}{\pushstack(#1)} + \savestack + \class(\lastx,\lasty+1) + \structline(\lastclass1)(\lastclass) + \nustruct + \restorestack +} + +\NewSseqCommand\etanudiamond{d()}{ + \IfNoValueF{#1}{\pushstack(#1)} + \savestack + \class(\lastx+1,\lasty+1) + \structline(\lastclass1)(\lastclass) + \nustruct + \restorestack +} + +\NewSseqCommand \czero {O{} r() }{ + \savestack + \class[#1](#2) + \etaclass + \restorestack +} + +\NewSseqCommand\tower {O{}d()mO{}} { + \begin{scope}[#4] + \IfNoValueF{#2}{\class[#1](#2)} + \savestack + \Do{#3-1}{ + \class(\lastx, \lasty+1) + \structline(\lastclass)(\lastclass1) + } + \restorestack + \end{scope} +} + + +\NewSseqCommand \towergroup {o r() m O{}} { + \tower(#2){#3}[#4] + \IfNoValueF{#1}{\classoptions[#1](#2)} + \etaclass\etaclass\etaclass + \nustruct\divtwoclass\nustruct\divtwoclass + \nustruct\nuclass +} + + +\protected\def\Psqvphant{\vphantom{P^2}} +\NewSseqGroup \Phone { mm } { + \class["#1h_1#2"](0,0) + \etaclass\etaclass + \divtwoclass\divtwoclass["\Psqvphant#1h_2#2" {below=-4pt}] +} + +\NewSseqGroup \Phonegroup {G{}}{ + \sseqset{class label handler = { \sseqnormalizemonomial{##1} }} + \czero["#1c_0" above](-1,-2) + \Phone[imJ]{P#1}{} + \nuclass[imJ]\divtwoclass[imJ]\divtwoclass["#1d_0" left,name=d0] + \etaclass\etaclass\etaclass + \nustruct\divtwoclass\nustruct\divtwoclass\nustruct\divtwoclass["#1e_0" left,name=e0] + \nuclass\hznudiamond + \divtwoclass + \classoptions["#1g" {below=0.3em},page=0-3](\lastclass) + %\etanudiamond + + % Have to go back and draw path e0 to g + \savestack + \d2(e0,-1) + \etaclass(e0)\d2(\lastclass,-1) + \divtwoclass[name=f0]\d2(\lastclass,-1) + \nuclass[name=nuf0] + \etastruct % Now we're back at g + \restorestack + \nuclass[name=nug]\hznudiamond\nuclass[name=nu2g] +} + + +\NewSseqGroup \Phonegroupb {G{}}{ + \Phonegroup{P#1} + + \divtwoclass["\Psqvphant#1j" {below left=-1pt,yshift=2pt}](f0) \d2(\lastclass,-1) + \divtwoclass(nuf0) \d2(\lastclass,-1) + \nustruct\divtwoclass["\Psqvphant#1k" {below=-1pt}] \d2(\lastclass,-1) + \nuclass\d2(\lastclass,-1) + \hznudiamond + \divtwoclass["\Psqvphant#1l" {below left=-1pt,yshift=2pt}]\d2(\lastclass,-1) + \nuclass\d2(\lastclass,-1)\hznudiamond + \divtwoclass["\Psqvphant#1m" {below left=-3pt},name=m] + + \divtwoclass(nug)\structline(\lastclass)(\lastx+1,\lasty+1) + \divtwoclass(nu2g)\nustruct + \divtwoclass\structline(\lastclass)(\lastx+1,\lasty+1) + \d2(m,-1) +} + + + +\begin{sseqdata}[ + name = ASS-S_2, + Adams grading, + classes=fill, + class labels={above left=0.2em,black}, + x range={0}{46}, + y range={0}{23}, + % xscale=0.7, + % yscale=0.8, + differentials = blue, + classes = { tooltip = { (\xcoord,\ycoord) } }, + grid = go, + run off = - +] +\towergroup(0,0){\ymax-\ymin+2} +\classoptions["h_2" below](3,1) +\nuclass +\divetaclass\divetaclass["h_3" below] +\tower{4} + + +\Phonegroup(9,5) +\classoptions["f_0"](f0) + +\Phonegroupb(17,9) +\pushstack(d0) +\tower["i" {below left,yshift=2pt}](23,7){6}[imJ] +\structline(\lastclass)(\lastx+3,\lasty+1,-1) +\structline(\lastx,\lasty+1)(\lastx+3,\lasty+2,-1) +\d2(23,7) +\d2(23,8) + +\Phonegroupb(25,13){P} +\Phonegroupb(33,17){P^2} +\tower["P^2i" {below left,yshift=2pt}](39,15){6}[imJ] +\structline(\lastclass)(\lastx+3,\lasty+1,-1) +\structline(\lastx,\lasty+1)(\lastx+3,\lasty+2,-1) +\d2(39,15) +\d2(39,16) +\d4(39,12) +\d4(40,13,,1) + +\Phonegroup(41,21){P^4} +\tower["P^2i" {below left,yshift=2pt}](47,19){6}[imJ] +\d2(47,19) +\d2(47,20) + +\towergroup["h_4" below](15,1){8}[imJ] +\classoptions["h_3^3" below](\lastclass) + +\tower["h_3^2" left](14,2){2} +\d2(15,1) % d2(h_4) = h_0h_3^2 +\d3(15,2)\d3(15,3) % d2(h_0h_4) = h_0d_0 + +\class["c_1"](19,3)\nuclass +\czero["h_4c_0"](23,4) + + + +\towergroup["h_5" below](31,1){16}[imJ] +\nuclass +\divetaclass\divetaclass["h_3h_5" {below=-2pt}] +\tower{4} + +\class["n"{above=-0.5pt}](31,5) +\nuclass\nuclass +\divetaclass["t"] +\nuclass["c_1g"] + +\class["q" {below right=-0.7pt}](32,6) +\etaclass + +\class["p"](33,4) +\twoclass\divetaclass["d_1"] +\nuclass\nuclass +\divetaclass["x" below]\tower{6} + +\d[bend left=15]4(38,3,,2) +\d[bend left=30]4(38,2) + + +\tower["h_4^2" below](30,2){4} +\etaclass +\tower["r" left](30,6){6} +\d3(\lastclass) + +\d2(31,1)\d2(31,2)\d2(31,3) +\d3(31,4)\d3(31,5)\d3(31,6)\d3(31,7)\d3(31,8,-1) +\d4(31,8,1)\d4(32,9,,1) +\d4(31,9,-1,-1)\d4(31,10,-1,-1) + +\d3(34,2) + + +\class(38,6)\d2(\lastclass,-1) +\twoclass\d2(\lastclass,-1) +\twoclass\nustruct\d2(\lastclass,-1) +\twoclass\nustruct\d4(\lastclass,-1) +\divetaclass["e_0g"]\d4(\lastclass,-1) + +\czero[pin distance=3em,pin=below right:h_5c_0"](39,4) + +\class["e_1" {below=-1pt}](38,4) +\d3(\lastclass,1) +\etaclass\etaclass\divtwoclass\divtwoclass["f_1" below] +\etaclass +\divtwoclass\d2(\lastclass) +\divtwoclass\d2(\lastclass,-1) + + +\Phone(40,6){P}{h_5} + +\class["u"](39,9)\etaclass\etaclass\divtwoclass + +\class["g^2"](40,8) +\class["v"](42,9) +\d2(\lastclass) + +\tower["P^2r" {below=-4pt}](46,14){6} +\d3(\lastclass) + +\class["Pe_0g" right](45,12) +\d4(\lastclass) + +\class["w"](45,9) + +\class["d_0r" right](44,10) +\d3(\lastclass) + + +\class["h_4^3" below](45,3)\twoclass + +\tower["h_5d_0" {below right=-2pt}](45,5){3} +\etaclass\etaclass +\nuclass(45,5)\hznudiamond +\nustruct(45,7) + +\tower["g_2" below](44,4){3} +\etaclass + +\class["N"](46,8) +\class["gj"](46,11) + +\tower(47,13){12} +\foreach \y in {13,...,18} { \d2(47,\y)} +\end{sseqdata} +\centering + +\begin{sseqpage}[ + page=7, + name=ASS-S_2, Adams grading, + class labels={below}, + %label distance=-1pt, + below label distance=0pt, + differentials=blue, + x range={0}{40}, + y range={0}{10}, + xscale=0.7, + yscale=1.7, + grid=go, + right clip padding=2em +] +\structline[dashed,bend right=20](15,4)(16,7,1) +\structline[dashed,bend right=20](23,9,2)(24,11) +\structline[dashed,bend right=20](31,11)(32,15) +\structline[dashed,bend right=20](39,17,2)(40,19) + +\structline[dashed](14,2)(15,5,1) +\structline[dashed](21,5)(22,8) +\structline[dashed,bend right=20](20,6)(23,9,1) +\structline[dashed](23,6)(23,9,1) +\structline[dashed,bend right=20](30,2)(33,4) +\structline[dashed,bend left=20](32,6)(35,9) + +\structline[dashed](38,4)(39,7) + +\structline[dashed](40,8)(40,10) +\structline[dashed](40,8)(41,10) +\structline[dashed,bend left=40](39,9)(42,12) +\structline[dashed](41,10)(42,12) + +\classoptions["h_0^2i" right=1pt](23,9) +\classoptions["h_0^{10}h_5" left](31,11) +\classoptions["h_1h_5" below](32,2) +\classoptions["h_0h_2h_5" below](34,3) +\classoptions["h_2^2h_5" below](37,3) +\classoptions["h_0^2h_3h_5" {left=-0.1em}](38,4,1) +\classoptions["h_1h_3h_5" {below=-.4em}](39,3,1) + +\classoptions["Ph_3" left](15,5,1) +\classoptions["P^2h_3" left](23,9,1) +%\classoptions["P^3h_3" left](31,13,1) +%\classoptions["P^4h_3" left](39,17,1) +\end{sseqpage} +%\end{document} + +\newgeometry{margin = 0.1cm} +\printpage[name=ASS-S_2,page=2,xscale=0.7,yscale=0.8,keep changes] + +%\printpage[name=ASS-S_2,page=2] + +\printpage[name=ASS-S_2,page=3] + +\printpage[name=ASS-S_2,page=4] + +\begin{sseqpage}[name=ASS-S_2,page=5] +\structline[dashed,bend right=20](15,4)(16,7,1) +\structline[dashed,bend right=20](23,9,2)(24,11) +\structline[dashed,bend right=20](31,11)(32,15) +\structline[dashed,bend right=20](39,17,2)(40,19) + +\structline[dashed](14,2)(15,5,1) +\structline[dashed](21,5)(22,8) +\structline[dashed,bend right=20](20,6)(23,9,1) +\structline[dashed](23,6)(23,9,1) +\structline[dashed,bend right=20](30,2)(33,4) +\structline[dashed,bend left=20](32,6)(35,9) + +\structline[dashed](38,4)(39,7) + +\structline[dashed](40,8)(40,10) +\structline[dashed](40,8)(41,10) +\structline[dashed,bend left=40](39,9)(42,12) +\structline[dashed](41,10)(42,12) + +\classoptions["g" {below=0.3em}](20,4) +\classoptions["{d_0^2=Pg=c_0g}" {xshift=5pt, below=-2.15em}](28,8) + + +\classoptions["h_0^2i" right=1pt](23,9) +\classoptions["h_0^{10}h_5" left](31,11) +\classoptions["h_1h_5" below](32,2) +\classoptions["h_0h_2h_5" below](34,3) +\classoptions["h_2^2h_5" below](37,3) +\classoptions["h_0^2h_3h_5" {left=-0.1em}](38,4,1) +\classoptions["h_1h_3h_5" {below=-.4em}](39,3,1) + +\classoptions["Ph_3" left](15,5,1) +\classoptions["P^2h_3" left](23,9,1) +%\classoptions["P^3h_3" left](31,13,1) +%\classoptions["P^4h_3" left](39,17,1) +\end{sseqpage} +\end{document}
\ No newline at end of file diff --git a/Master/texmf-dist/doc/latex/spectralsequences/examples/ASS-S_3.pdf b/Master/texmf-dist/doc/latex/spectralsequences/examples/ASS-S_3.pdf Binary files differnew file mode 100644 index 00000000000..01bdc0c0121 --- /dev/null +++ b/Master/texmf-dist/doc/latex/spectralsequences/examples/ASS-S_3.pdf diff --git a/Master/texmf-dist/doc/latex/spectralsequences/examples/ASS-S_3.tex b/Master/texmf-dist/doc/latex/spectralsequences/examples/ASS-S_3.tex new file mode 100644 index 00000000000..aeab68e5212 --- /dev/null +++ b/Master/texmf-dist/doc/latex/spectralsequences/examples/ASS-S_3.tex @@ -0,0 +1,158 @@ +%% +%% Description: The Adams Novikov Spectral Sequence for $S_3$, styled to superimpose on ANSS-S_3 +%% +%% The Adams spectral sequence at the prime 3 through the 45 stem. +%% Compare page 5 to example_ass3 +%% Copied from page 11 of the green book. +%% + +\documentclass{spectralsequence-example} + +\begin{document} + +\NewSseqCommand\tower {d()m} { + \IfNoValueF{#1}{\class(#1)} + \savestack + \Do { #2 } { + \class(\lastx, \lasty+1) + \structline(\lastclass1)(\lastclass) + } + \restorestack +} + +\NewSseqCommand\hclass {d()}{ + \IfNoValueF{#1}{\pushstack(#1)} + \class(\lastx+3,\lasty+1) + \structline(\lastclass1)(\lastclass) +} + +\NewSseqCommand\bclass {d()}{ + \IfNoValueF{#1}{\pushstack(#1)} + \class(\lastx+7,\lasty+1) + \structline(\lastclass1)(\lastclass) +} + +\NewSseqCommand\hbachair {d()}{ + \IfNoValueF{#1}{\pushstack(#1)} + \nameclass{tempclass}(\lastclass) + \bclass(\lastx,\lasty+1) + \hclass + \hclass(tempclass) + \bclass + \structline(\lastclass3)(\lastclass) +} + +\NewSseqCommand\bahclaw { r() } { + \class(#1) + \bclass + \class(\lastx,\lasty+1) + \structline(\lastclass1)(\lastclass) + \class(\lastx-3,\lasty-1) + \structline(\lastclass1)(\lastclass) + \pushstack(\lastclass2) +} +\begin{sseqdata}[ + name=ass3, + Adams grading, + classes={fill, inner sep=1.2pt, tooltip={(\xcoord,\ycoord)}}, + class labels={below,black}, + differentials=blue, + grid = go, + x tick step = 5, + x range={0}{45}, + y range={0}{11}, + xscale=0.7, + yscale=1.2, + y axis gap=2em +] +\tower(0,0){\ymax+1} +\classoptions["a_0" {left=0pt}](0,1) +\hbachair +\classoptions["h_0"](3,1) +\classoptions["b_0"](\lastclass) +\classoptions[purple,page=3](7,2) +\DoUntilOutOfBounds{\hbachair} + +\begin{scope}[sseq=purple] +\class["h_1"](11,1) +\tower{2} +\d2(\lastclass) +\DoUntilOutOfBounds{ + \bclass\d2(\lastclass) + \hclass\d2(\lastclass) +} +\end{scope} + +\begin{scope}[orange] +\class["k_0"](26,2) +\DoUntilOutOfBounds{ + \hclass\bclass +} +\end{scope} + + +\begin{scope}[sseq=purple] +\bahclaw(15,4) +\DoUntilOutOfBounds{\hbachair} +\bahclaw(27,7) +\DoUntilOutOfBounds{\hbachair} +\bahclaw(39,10) +\DoUntilOutOfBounds{\hbachair} +\bahclaw(38,7) +\d2(\lastclass1)\d2(\lastclass2)\d2(\lastclass3)\d2(\lastclass4) +\DoUntilOutOfBounds{ + \hbachair + \d2(\lastclass)\d2(\lastclass1) + \d2(\lastclass3)\d2(\lastclass4) +} +\end{scope} + + + + +\begin{scope}[sseq=purple] +\class[](23,3) % label me +\tower{3} +\d2(\lastclass)\d2(\lastx,\lasty+1) +\DoUntilOutOfBounds{ + \hbachair + \d2(\lastclass)\d2(\lastclass1) + \d2(\lastclass3)\d2(\lastclass4) +} +\end{scope} + + +\class["h_2"](35,1) +\tower{8} +\DoUntilOutOfBounds{\hbachair} + +\begin{scope}[sseq=orange] +\class["b_{11}"](34,2) +\tower{4} +\DoUntilOutOfBounds{ + \hclass\bclass +} +\d5(34,2) +\d5(44,4) +\end{scope} +\foreach \y in {1,...,4}{ + \d2(35,\y) +} +\d3(35,5)\d3(35,6) +\foreach \y in {7,...,9}{ + \classoptions[purple,page=4](35,\y,-1) +} + + + + +\end{sseqdata} +\centering +\printpage[name=ass3,page=1] +\newpage +\printpage[name=ass3,page=2] +\newpage +\printpage[name=ass3,page=3] +\newpage +\printpage[name=ass3,page=5] +\end{document}
\ No newline at end of file diff --git a/Master/texmf-dist/doc/latex/spectralsequences/examples/example_tmfass.pdf b/Master/texmf-dist/doc/latex/spectralsequences/examples/ASS-tmf_2.pdf Binary files differindex 0939e810f49..35291705371 100644 --- a/Master/texmf-dist/doc/latex/spectralsequences/examples/example_tmfass.pdf +++ b/Master/texmf-dist/doc/latex/spectralsequences/examples/ASS-tmf_2.pdf diff --git a/Master/texmf-dist/doc/latex/spectralsequences/examples/example_tmfass.tex b/Master/texmf-dist/doc/latex/spectralsequences/examples/ASS-tmf_2.tex index a16a581d681..d9719ac38ca 100644 --- a/Master/texmf-dist/doc/latex/spectralsequences/examples/example_tmfass.tex +++ b/Master/texmf-dist/doc/latex/spectralsequences/examples/ASS-tmf_2.tex @@ -1,9 +1,5 @@ %% -%% Package: sseqpages.sty version 1.0 -%% Author: Hood Chatham -%% Email: hood@mit.edu -%% Date: 2017-06-18 -%% License: Latex Project Public License +%% Description: The Adams spectral sequence for $\tmf_2$ %% %% File: example_tmfass.tex %% @@ -29,17 +25,15 @@ % % deleting off page edge handling cuts off 1.4s (1s?) so I haven't found any of the big time holes yet. WHY IS THIS SO SLOW?? -\documentclass{article} -\usepackage[landscape,margin=0cm,top=2cm]{geometry} -\usepackage{spectralsequences} +\documentclass{spectralsequence-example} \begin{document} \NewSseqGroup\tower {} {% 25 \class(0,0) - \foreach \y in {1,...,22}{ - \class(0,\y) - \structline(0,\y-1,-1) (0,\y,-1) + \DoUntilOutOfBoundsThenNMore{2}{ + \class(\lastx,\lasty+1) + \structline(\lastclass1) (\lastclass) } } @@ -164,6 +158,7 @@ x tick step=2, Adams grading, classes={fill,inner sep=0.3ex,tooltip={(\xcoord,\ycoord)}}, + class placement transform={scale=1.5}, differentials={->,blue}, struct lines=red, %no struct lines, no differentials, yscale=0.6, xscale=0.5, @@ -245,8 +240,6 @@ \printpage[name=tmfass,page=0] -%\end{document} - \printpage[name=tmfass,page=2] @@ -289,4 +282,3 @@ \end{sseqpage} \end{document} - diff --git a/Master/texmf-dist/doc/latex/spectralsequences/examples/HFPSS-EO2_3.pdf b/Master/texmf-dist/doc/latex/spectralsequences/examples/HFPSS-EO2_3.pdf Binary files differnew file mode 100644 index 00000000000..ce90f2c83f1 --- /dev/null +++ b/Master/texmf-dist/doc/latex/spectralsequences/examples/HFPSS-EO2_3.pdf diff --git a/Master/texmf-dist/doc/latex/spectralsequences/examples/example_EO2_3.tex b/Master/texmf-dist/doc/latex/spectralsequences/examples/HFPSS-EO2_3.tex index c4a5f3650e2..b90f129512f 100644 --- a/Master/texmf-dist/doc/latex/spectralsequences/examples/example_EO2_3.tex +++ b/Master/texmf-dist/doc/latex/spectralsequences/examples/HFPSS-EO2_3.tex @@ -1,11 +1,5 @@ %% -%% Package: spectralsequences.sty version 1.0 -%% Author: Hood Chatham -%% Email: hood@mit.edu -%% Date: 2017-06-18 -%% License: Latex Project Public License -%% -%% File: example_EO2_3.tex +%% Description: The homotopy fixed point spectral sequence for a maximal finite subgroup of $\mathbb{G}_{p-1}$ acting on $E_{p-1}$ with $p=3$ %% %% This is the homotopy fixed point spectral sequence for EO_2 at the prime 3. The maximal finite subgroup of the Morava stabilizer for E_{p-1} is %% of size 2p(p-1)^2 = 24, and so there is a norm element v in degree 24. There's also a bunch of trace classes on the zero line, but the trace map @@ -18,15 +12,14 @@ %% HFPSS for KO = KU^{hC_2} (see example_KUHFPSS). %% -\documentclass{article} -\usepackage{spectralsequences} -\usepackage[landscape,margin=0cm,top=2cm]{geometry} +\documentclass{spectralsequence-example} \begin{document} \begin{sseqdata}[name=EO(2),Adams grading, y range={0}{14},x range={0}{160}, xscale=0.15, x tick step=5, - classes={fill, tooltip={(\xcoord,\ycoord)}} + classes={fill, tooltip={(\xcoord,\ycoord)}}, + title=Page \page ] \foreach \v in {0,...,8}{ \foreach \b in {0,...,11}{ @@ -55,20 +48,28 @@ } } \end{sseqdata} -\printpage[name=EO(2),page=0] +\printpage[name=EO(2),page=0,title={\phantom{Page 5}}] \newpage \printpage[name=EO(2),page=5] \newpage \printpage[name=EO(2),page=9] \newpage -\begin{sseqpage}[name=EO(2),page=10] +\begin{sseqpage}[name=EO(2),page=10,title={Page $\infty$}] \classoptions["a" left](3,1) \classoptions["b" right](10,2) \classoptions["ab" left](13,3) \classoptions["b^2" right](20,4) \classoptions["b^3" right](30,6) \classoptions["b^4" right](40,8) - \classoptions["v^3" right](72,0) + +% Doug's additions: +\classoptions["{\left<a,a,b^2\right>}" below](27,1) +\structline[dashed](27,1)(30,6) +\structline[dashed](37,3)(40,8) + +\structline[dashed](99,1)(102,6) +\structline[dashed](109,3)(112,8) + \end{sseqpage} \end{document}
\ No newline at end of file diff --git a/Master/texmf-dist/doc/latex/spectralsequences/examples/HFPSS-KO.pdf b/Master/texmf-dist/doc/latex/spectralsequences/examples/HFPSS-KO.pdf Binary files differnew file mode 100644 index 00000000000..6980ccb0067 --- /dev/null +++ b/Master/texmf-dist/doc/latex/spectralsequences/examples/HFPSS-KO.pdf diff --git a/Master/texmf-dist/doc/latex/spectralsequences/examples/example_KUHFPSS.tex b/Master/texmf-dist/doc/latex/spectralsequences/examples/HFPSS-KO.tex index 7207b38a986..7409a2a77de 100644 --- a/Master/texmf-dist/doc/latex/spectralsequences/examples/example_KUHFPSS.tex +++ b/Master/texmf-dist/doc/latex/spectralsequences/examples/HFPSS-KO.tex @@ -1,9 +1,5 @@ %% -%% Package: spectralsequences.sty version 1.0 -%% Author: Hood Chatham -%% Email: hood@mit.edu -%% Date: 2017-06-18 -%% License: Latex Project Public License +%% Description: The homotopy fixed point spectral sequence for $C_2$ acting on $KU$ by complex conjugation, compare the odd-primary case HFPSS-EO2_3 %% %% File: example_KUHFPSS.tex %% @@ -14,13 +10,11 @@ %% shows that \alpha v = \alpha_3, so dividing the differential by \alpha gives d3(v) = \alpha_1^3. Now there's no Kudo differential %% because the prime is 2, and the spectral sequence immediately collapses. %% -%% Second, a demonstration of the falsehood of ku^{hC_2} = ko -- ku^{hC_2} has an extra generator as a ring, which is in degree -4. +%% Second, a demonstration of the falsehood of ku^{hC_2} = ko -- ku^{hC_2} has an extra generator as a ring, which is in degree -4. %% In particular, it's not even connective. %% -\documentclass{article} -\usepackage[landscape,margin=2cm]{geometry} -\usepackage{spectralsequences} +\documentclass{spectralsequence-example} \begin{document} \sseqset{ Z2class/.sseq style={circle,inner sep=0.3ex,fill=black}, @@ -31,26 +25,28 @@ name=KRHFPSS, x range={-12}{14}, y range={0}{10}, - y axis style=center, + y axis type=center, y axis gap=0.425cm, tick step=4, classes=Z2class, differentials=->, degree={-1}{#1-1}, - scale=0.85, + scale=1.45, right clip padding=0.1cm, top clip padding=0.05cm, x axis extend start=0cm, x axis extend end=0.33cm, y axis extend end=0.3cm, + grid=go ] -\draw[background,xshift=-0.5cm,yshift=-0.51cm,step=1cm,gray,very thin] (\xmin+0.01,\ymin+0.01) grid (\xmax+0.9,\ymax+0.9); +% This is just to make sure the bounding box doesn't move around +\path[background] (\xmin-1,\ymin-1) rectangle (\xmax+1,\ymax+1); -\pgfmathsetmacro\xitstart{int(int(\xmin/8)*8-16)} -\pgfmathsetmacro\xitgap{int(\xitstart+4)} -\pgfmathsetmacro\xitend{int(\xmax+2)} -\pgfmathsetmacro\xmaxpp{int(\xmax+2)} +\sseqparseint\xitstart{\xmin/8*8-16} % division is integer division (I think with rounding towards 0...) so /8*8 rounds up to the nearest multiple of 8? +\sseqparseint\xitgap{\xitstart+4} +\sseqparseint\xitend{\xmax+2} +\sseqparseint\xmaxpp{\xmax+2} \foreach \x in {\xitstart,\xitgap,...,\xitend} { \class[Zclass](\x,0) @@ -60,8 +56,8 @@ } } -\pgfmathsetmacro\xitstart{int(\xitgap)} -\pgfmathsetmacro\xitgap{int(\xitstart+8)} +\sseqparseint\xitstart{\xitgap} +\sseqparseint\xitgap{\xitstart+8} \foreach \x in {\xitstart,\xitgap,...,\xitend} { \foreach\z in {0,...,\xmax}{ @@ -78,7 +74,7 @@ \newpage \begin{sseqpage}[name=KRHFPSS,page=0,keep changes] \pgfmathsetmacro\antidiag{min(-\xmin,\ymax+0.8)} -\clip[background,xshift=0.28cm,yshift=-0.4cm](-\antidiag,\antidiag)--(-1,1)--(-0.4,0)--(\xmax+2,0)--(\xmax+2,\antidiag)--cycle; +\clip[background,xshift=0.2cm,yshift=-0.33cm](-\antidiag,\antidiag)--(-1,1)--(-0.4,0)--(\xmax + 0.28,0)--(\xmax+0.28,\antidiag)--cycle; \foreach \z in {2,6}{ \doptions[draw=none]4(-\z-1,\z-1) \structlineoptions[draw=none](-\z-1,\z-1)(-\z,\z) diff --git a/Master/texmf-dist/doc/latex/spectralsequences/examples/J_RPinfty.pdf b/Master/texmf-dist/doc/latex/spectralsequences/examples/J_RPinfty.pdf Binary files differnew file mode 100644 index 00000000000..aaf1e1ed7b4 --- /dev/null +++ b/Master/texmf-dist/doc/latex/spectralsequences/examples/J_RPinfty.pdf diff --git a/Master/texmf-dist/doc/latex/spectralsequences/examples/example_endofVFoS.tex b/Master/texmf-dist/doc/latex/spectralsequences/examples/J_RPinfty.tex index a2a5245f43d..eee6ffea63f 100644 --- a/Master/texmf-dist/doc/latex/spectralsequences/examples/example_endofVFoS.tex +++ b/Master/texmf-dist/doc/latex/spectralsequences/examples/J_RPinfty.tex @@ -1,8 +1,8 @@ %% -%% Package: spectralsequences.sty version 1.0 +%% Package: spectralsequences v1.1.0 %% Author: Hood Chatham %% Email: hood@mit.edu -%% Date: 2017-06-18 +%% Date: 2017-08-02 %% License: Latex Project Public License %% %% File: example_endofVFoS.tex @@ -12,10 +12,8 @@ %% 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{article} -\usepackage[landscape,margin=0cm,top=2cm]{geometry} +\documentclass{spectralsequence-example} \usepackage{amssymb} -\usepackage{spectralsequences} \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)}} @@ -123,7 +121,6 @@ \printpage[name=mysseq, page=2] \newpage \printpage[name=mysseq, page=3] - \newpage \printpage[name=mysseq, page=4] \newpage diff --git a/Master/texmf-dist/doc/latex/spectralsequences/examples/example_A1_May_SS.pdf b/Master/texmf-dist/doc/latex/spectralsequences/examples/MaySS-bo-A1.pdf Binary files differindex 9367b1ce253..fa0a98f5b0f 100644 --- a/Master/texmf-dist/doc/latex/spectralsequences/examples/example_A1_May_SS.pdf +++ b/Master/texmf-dist/doc/latex/spectralsequences/examples/MaySS-bo-A1.pdf diff --git a/Master/texmf-dist/doc/latex/spectralsequences/examples/example_A1_May_SS.tex b/Master/texmf-dist/doc/latex/spectralsequences/examples/MaySS-bo-A1.tex index 7d1ab32c7f2..f8e97bac890 100644 --- a/Master/texmf-dist/doc/latex/spectralsequences/examples/example_A1_May_SS.tex +++ b/Master/texmf-dist/doc/latex/spectralsequences/examples/MaySS-bo-A1.tex @@ -1,21 +1,15 @@ %% -%% Package: spectralsequences.sty version 1.0 -%% Author: Hood Chatham -%% Email: hood@mit.edu -%% Date: 2017-06-18 -%% License: Latex Project Public License +%% Description: The May spectral sequence for $Ext(\HF_{2*}bo)$ %% -%% File: example_bo_May_SS.tex -%% -%% Draws the May spectral sequence computing Ext_{A(1)} ( F_2, F_2 ), which by a change of rings and a simple argument that the ASS has to collapse, +%% This is the May spectral sequence computing Ext_{A(1)} ( F_2, F_2 ), which by a change of rings and a simple argument that the ASS has to collapse, %% is telling us pi_* bo. See the Green Book for reference. %% The main purpose of this example from my perspective is to illustrate the utility of class "tags". %% -\documentclass{article} -\usepackage{spectralsequences} -\NewSseqGroup\tower {} { +\documentclass{spectralsequence-example} + +\NewSseqCommand\tower {} { \class(0,0) \foreach\i in {1,...,11}{ \class(0,\i) @@ -23,7 +17,7 @@ } } \NewSseqGroup\hvee {} { - \tower(0,0) + \tower \foreach\i in {1,...,11}{ \class(\i,\i) \structline(\i-1,\i-1,-1)(\i,\i,-1) diff --git a/Master/texmf-dist/doc/latex/spectralsequences/examples/MaySS-tmf-A2.pdf b/Master/texmf-dist/doc/latex/spectralsequences/examples/MaySS-tmf-A2.pdf Binary files differnew file mode 100644 index 00000000000..c1643f7bc19 --- /dev/null +++ b/Master/texmf-dist/doc/latex/spectralsequences/examples/MaySS-tmf-A2.pdf diff --git a/Master/texmf-dist/doc/latex/spectralsequences/examples/example_tmfmayss.tex b/Master/texmf-dist/doc/latex/spectralsequences/examples/MaySS-tmf-A2.tex index c4041a6eb5e..ab8b3e5a910 100644 --- a/Master/texmf-dist/doc/latex/spectralsequences/examples/example_tmfmayss.tex +++ b/Master/texmf-dist/doc/latex/spectralsequences/examples/MaySS-tmf-A2.tex @@ -1,20 +1,11 @@ %% -%% Package: sseqpages.sty version 1.0 -%% Author: Hood Chatham -%% Email: hood@mit.edu -%% Date: 2017-06-18 -%% License: Latex Project Public License -%% -%% File: example_tmfmayss.tex +%% Description: The May spectral sequence for $Ext(\HF_{2*}\tmf)$ %% %% I got this from Mike Hill's note: https://pdfs.semanticscholar.org/ddbb/8d584e4e81a71400088117b16cd241238c6c.pdf %% - -\documentclass{article} -\usepackage[landscape,left=1cm]{geometry} -\usepackage{spectralsequences} +\documentclass{spectralsequence-example} \begin{document} \sseqset{htwostructstyle/.sseq style = {gray,very thin, run off=-}} %\pgfkeys{/sseqpages/struct line/htwostructstyle/.show code} @@ -50,9 +41,8 @@ \pushstack(#2) } \savestack - \edef\towermax{\the\numexpr9-\lasty0} \begin{scope}[#1] - \foreach\i in {1,...,\towermax}{ + \DoUntilOutOfBounds{ \class(\lastx,\lasty+1) \structline(\lastclass1)(\lastclass) } @@ -63,8 +53,7 @@ \NewSseqCommand\honetower {O{}} { \savestack \begin{scope}[#1] - \edef\towermax{\the\numexpr9-\lasty0} - \foreach\i in {1,...,\towermax}{ + \DoUntilOutOfBounds{ \class(\lastx+1,\lasty+1) \structline(\lastclass1)(\lastclass) } @@ -84,13 +73,12 @@ \IfNoValueF{#2}{ \pushstack(#2) } - \edef\towermax{\the\numexpr-\lasty+8} \begin{scope}[#1] \gettag\thetag(\lastclass) \class(\lastx+3,\lasty+1) \structline[htwostructstyle](\lastclass)(\lastclass1) \savestack - \foreach\i in {1,...,\towermax}{ + \DoUntilOutOfBounds{ \class(\lastx,\lasty+1) \structline(\lastclass1)(\lastclass) \structline[htwostructstyle](\lastx-3,\lasty-1,\thetag)(\lastclass) @@ -106,7 +94,9 @@ } } -\begin{sseqdata}[name=tmfmayss,y range={0}{8}, x range={0}{25}, classes=fill, class labels={below=3pt},degree={-1}{1},differentials=blue, +\begin{sseqdata}[name=tmfmayss,y range={0}{8}, x range={0}{25}, degree={-1}{1}, + classes=fill, + class labels={below=3pt},differentials=blue, class pattern=linear, classes={ tooltip = {(\xcoord,\ycoord)} }, xscale=0.8, title = {Page \page}, run off differentials = -> diff --git a/Master/texmf-dist/doc/latex/spectralsequences/examples/example_KF3n.pdf b/Master/texmf-dist/doc/latex/spectralsequences/examples/SSS-KF3n.pdf Binary files differindex 7535a796aa9..e7f5f515d87 100644 --- a/Master/texmf-dist/doc/latex/spectralsequences/examples/example_KF3n.pdf +++ b/Master/texmf-dist/doc/latex/spectralsequences/examples/SSS-KF3n.pdf diff --git a/Master/texmf-dist/doc/latex/spectralsequences/examples/example_KF3n.tex b/Master/texmf-dist/doc/latex/spectralsequences/examples/SSS-KF3n.tex index dad6f608b58..e75319226c4 100644 --- a/Master/texmf-dist/doc/latex/spectralsequences/examples/example_KF3n.tex +++ b/Master/texmf-dist/doc/latex/spectralsequences/examples/SSS-KF3n.tex @@ -1,11 +1,5 @@ %% -%% Package: spectralsequences.sty version 1.0 -%% Author: Hood Chatham -%% Email: hood@mit.edu -%% Date: 2017-06-18 -%% License: Latex Project Public License -%% -%% File: example_KF3n.tex +%% Description: The Serre spectral sequence for $\HF_3$ cohomology of $K(\F_3,n-1)\to pt \to K(\F_3,n)$ for $n=2,3,4$, with Bockstein SS's for going up to $\Zbb_3$ coefficients. %% %% This is a computation of the Z_3 cohomology of K(F_3,n). This was part of a way-too-hard problem on Haynes Algebraic Topology II problem set which asked to compute %% the smallest k>0 such that H_{n+k}(K(--,n);Z_p) : Ab --> Ab is not the zero functor and to compute what functor it is. One of the main ideas is to use the Bockstein @@ -21,7 +15,7 @@ \sseqset{ cohomological Serre grading, title={Page \page}, - class placement transform={scale=3, rotate=90}, + class placement transform={scale=1.3, rotate=90}, class pattern=linear, classes={draw=none}, class label handler = {\sseqnormalizemonomial{#1}}, @@ -31,7 +25,6 @@ yscale=1.5, x axis extend end=40pt, y axis extend end = 40pt, x axis gap =50pt, class label handler = {}, } - %class labels=above, } \begin{sseqdata}[name=K(Z/3;2), @@ -42,7 +35,7 @@ ] \foreach \x/\xlabel in { 0/1, 2/\iota_2, 3/\beta\iota_2, 4/\iota_2^2, 5/\iota_2\beta\iota_2, 6/\iota_2^3, - 7/\iota_2^2\beta\iota_2, 7/P^1\beta\iota_2, 8/\iota_2^4, 8/\beta P^1\beta\iota_2 } + 7/\iota_2^2\beta\iota_2, 7/P^1\beta\iota_2, 8/\iota_2^4, 8/\beta P^1\beta\iota_2 } \foreach \y/\ylabel in { 0/1, 1/\alpha, 2/x, 3/\alpha x, 4/x^2, 5/\alpha x^2, 6/x^3} { \class["\ylabel\xlabel"](\x,\y) @@ -166,7 +159,7 @@ \draw[->] (8,0,1) to[bend right=30, "\beta^1"' {pos = 0.46}] (9,0); \class["\Z\{1\}"](0,-1) -\class["\Z/3\{\beta\iota_3\}"](2,-1) +\class["\Z/3\{\beta\iota_2\}"](3,-1) \class["\Z/3\{\beta\iota_2^2\}"](5,-1) \class["\Z/9\{\beta\iota_2^3\}"](7,-1) \class["\Z/3\{\beta P^1\iota_2\}"](8,-1) diff --git a/Master/texmf-dist/doc/latex/spectralsequences/examples/example_KZ3.pdf b/Master/texmf-dist/doc/latex/spectralsequences/examples/SSS-KZ3.pdf Binary files differindex d0da6d62c7e..762ffa938ad 100644 --- a/Master/texmf-dist/doc/latex/spectralsequences/examples/example_KZ3.pdf +++ b/Master/texmf-dist/doc/latex/spectralsequences/examples/SSS-KZ3.pdf diff --git a/Master/texmf-dist/doc/latex/spectralsequences/examples/example_KZ3.tex b/Master/texmf-dist/doc/latex/spectralsequences/examples/SSS-KZ3.tex index 94cf1fb643d..25c71433787 100644 --- a/Master/texmf-dist/doc/latex/spectralsequences/examples/example_KZ3.tex +++ b/Master/texmf-dist/doc/latex/spectralsequences/examples/SSS-KZ3.tex @@ -1,9 +1,5 @@ %% -%% Package: spectralsequences.sty version 1.0 -%% Author: Hood Chatham -%% Email: hood@mit.edu -%% Date: 2017-06-18 -%% License: Latex Project Public License +%% Description: The Serre spectral sequence for $\HZ$ cohomology of $\CP^\infty \to pt \to K(\Z,3)$ %% %% File: example_KZ3.tex %% @@ -12,7 +8,7 @@ \documentclass{article} \usepackage[landscape,margin=0.5cm,top=2cm]{geometry} -\usepackage[]{sseqpages} +\usepackage{spectralsequences} \usepackage{amssymb} \def\Z{\mathbb{Z}} % Last time test: 1.1 sec @@ -25,7 +21,6 @@ y range={0}{10}, cohomological Serre grading, differentials={->}, - labels=below, xscale=1.8, y axis gap=0.7cm, math nodes, @@ -35,9 +30,8 @@ x label = {$H^*(K(\Z,3))$}, y label = {$H^*(K(\Z,2))$} ] -%\tracingall + \column0["\Z\{\ifnum\y>0\relax x\ifnum\y>1\relax ^{\y}\fi\else1\fi\}"] -%\error \column3["\Z\{a\ifnum\y>0x\ifnum\y>1 ^{\y}\fi\fi\}"] diff --git a/Master/texmf-dist/doc/latex/spectralsequences/examples/example_EO2_3.pdf b/Master/texmf-dist/doc/latex/spectralsequences/examples/example_EO2_3.pdf Binary files differdeleted file mode 100644 index 8b5dc4f6293..00000000000 --- a/Master/texmf-dist/doc/latex/spectralsequences/examples/example_EO2_3.pdf +++ /dev/null diff --git a/Master/texmf-dist/doc/latex/spectralsequences/examples/example_KRHFPSS.pdf b/Master/texmf-dist/doc/latex/spectralsequences/examples/example_KRHFPSS.pdf Binary files differdeleted file mode 100644 index 3aff1b1fe8b..00000000000 --- a/Master/texmf-dist/doc/latex/spectralsequences/examples/example_KRHFPSS.pdf +++ /dev/null diff --git a/Master/texmf-dist/doc/latex/spectralsequences/examples/example_KUHFPSS.pdf b/Master/texmf-dist/doc/latex/spectralsequences/examples/example_KUHFPSS.pdf Binary files differdeleted file mode 100644 index c1d593951c7..00000000000 --- a/Master/texmf-dist/doc/latex/spectralsequences/examples/example_KUHFPSS.pdf +++ /dev/null diff --git a/Master/texmf-dist/doc/latex/spectralsequences/examples/example_ass.pdf b/Master/texmf-dist/doc/latex/spectralsequences/examples/example_ass.pdf Binary files differdeleted file mode 100644 index d5ab3fb620a..00000000000 --- a/Master/texmf-dist/doc/latex/spectralsequences/examples/example_ass.pdf +++ /dev/null diff --git a/Master/texmf-dist/doc/latex/spectralsequences/examples/example_ass.tex b/Master/texmf-dist/doc/latex/spectralsequences/examples/example_ass.tex deleted file mode 100644 index fcfca3ae84c..00000000000 --- a/Master/texmf-dist/doc/latex/spectralsequences/examples/example_ass.tex +++ /dev/null @@ -1,359 +0,0 @@ -%% -%% Package: spectralsequences.sty version 1.0 -%% Author: Hood Chatham -%% Email: hood@mit.edu -%% Date: 2017-06-18 -%% License: Latex Project Public License -%% -%% File: example_ass.tex -%% -%% Draws the Adams Spectral Sequence at the prime 2 through the 45 stem. -%% See pages 146 - 147 of Green book -%% https://mathoverflow.net/questions/102316/differentials-in-the-adams-spectral-sequence-for-spheres-at-the-prime-p-2 -%% https://en.wikipedia.org/wiki/Homotopy_groups_of_spheres#Table_of_stable_homotopy_groups -%% - - -\documentclass{article} -\usepackage[landscape,paperheight=14in,margin=0.1in]{geometry} -\usepackage{spectralsequences} - - -\begin{document} -\NewSseqGroup\tower {m} { - \class(0,0) - \foreach \y in {2,...,#1} { - \class(0, \y-1) - \structline(0, \y-2, -1)(0, \y-1, -1) - } -} - -\def\etaclass(#1,#2){ - \class(#1+1,#2+1) - \structline(#1,#2, -1)(#1+1,#2+1, -1) -} -\def\etasqclass(#1,#2){ - \class(#1+1,#2+1) - \class(#1+2,#2+2) - \structline(#1,#2, -1)(#1+1,#2+1, -1) - \structline(#1+1,#2+1, -1)(#1+2,#2+2, -1) -} -\def\etacubclass(#1,#2){ - \class(#1+1,#2+1) - \class(#1+2,#2+2) - \class(#1+3,#2+3) - \structline(#1,#2, -1)(#1+1,#2+1, -1) - \structline(#1+1,#2+1, -1)(#1+2,#2+2, -1) - \structline(#1+2,#2+2, -1)(#1+3,#2+3, -1) -} -\def\divtwoclass[#1](#2,#3){ - \class[#1](#2,#3-1) - \structline(#2,#3-1,-1)(#2,#3 ,-1) -} -\def\divfourclass[#1](#2,#3){ - \class(#2,#3-1) - \structline(#2,#3-1,-1)(#2,#3 ,-1) - \class[#1](#2,#3-2) - \structline(#2,#3-2,-1)(#2,#3-1,-1) -} -\def\diveightclass[#1](#2,#3){ - \class(#2,#3-1) - \structline(#2,#3-1,-1)(#2,#3 ,-1) - \class(#2,#3-2) - \structline(#2,#3-2,-1)(#2,#3-1,-1) - \class[#1](#2,#3-3) - \structline(#2,#3-3,-1)(#2,#3-2,-1) - -} -\def\nuclass(#1,#2){ - \class(#1+3,#2+1) - \structline(#1,#2,-1)(#1+3,#2+1,-1) -} -\def\nustruct(#1,#2){ - \structline(#1,#2,-1)(#1+3,#2+1,-1) -} - -\begin{sseqdata}[ - name = S0ASS, - Adams grading, - classes=fill, - class labels={above left=0.2em}, - x range={0}{45}, - y range={0}{23}, - xscale=0.7, - yscale=0.8, - differentials = red, - right clip padding = 3em, - classes = { tooltip = { (\xcoord,\ycoord) } }, - grid = go -] -\tower(0,0){25} - -% multiples of eta -\etacubclass(0,0) -\classoptions["h_1"](1,1) - -% divisibilities of nu -\divfourclass["h_2" below](3,3) - -\nustruct(0,0) - -\nuclass(3,1) - - - -\tower(7,1){4} -%\classoptions["h_3" left](7,1) -\etasqclass(7,1) -\structline(6,2)(9,3) - -\class["c_0" above](8,3) -\etaclass(8,3) - - - -\class["Ph_1"](9,5) -\etasqclass(9,5) -\divfourclass["Ph_2" below](11,7) - -\tower(14,2){2} -\classoptions["h_3^2" left](14,2) -\tower(14,4){3} -\classoptions["d_0" left](14,4) - -\tower(15,1){8} -\classoptions["h_4" left](15,1) -\d2(15,1) % d2(h_4) = h_0h_3^2 -\d3(15,2)\d3(15,3) % d2(h_0h_4) = h_0d_0 - -\etacubclass(15,1) -\divfourclass[](18,4) -\nustruct(15,1)\nustruct(15,2)\nustruct(15,3) - - -\nuclass(18,2) - -\etacubclass(14,4) -\diveightclass["e_0" left](17,7) -\nustruct(14,6)\nustruct(14,5)\nustruct(14,4) - -\nuclass(17,5) -\divfourclass["g" {below = 0.3em}](20,6) -\etaclass(17,4) -\divtwoclass["f_0" {below right=0em}](18,5) -\etaclass(20,4) -\nustruct(18,4) - -\classoptions["h_3^3" below](21,3) - -\d2(17,4)\d2(18,5)\d2(18,4,-1) % d2(e_0) = h1^2 d0, d2(f_0) = h0^2 e0 -\nustruct(17,4)\nuclass(20,5) -\divtwoclass[](23,6)\nustruct(20,4) -\nuclass(23,5) - -\tower(23,7){6} -\classoptions["i" left](23,7) - -\class["Pc_0" {xshift=3pt}](16,7)\etaclass(16,7) -\class["P^2c_0" {xshift=5pt,yshift=2pt}](24,11)\etaclass(24,11) - -\class["c_1" {above=0em}](19,3) -\nuclass(19,3) - -\class["h_4c_0" below](23,4) -\etaclass(23,4) - - -\class["P^2h_1"](17,9)\etasqclass(17,9) -\divfourclass["P^2h_2" {below=0em}](19,11) -\nuclass(19,9) -\divfourclass["Pd_0" left](22,10) -\etacubclass(22,8) -\diveightclass["Pe_0" below](25,11) -\etaclass(25,8)\divfourclass["j" below](26,9) -\d2(23,7)\d2(23,8) % d2(i)=h_0Pd_0 -\d2(25,8) % d2(Pe_0) = h_1^2 Pd -\d2(26,9)\d2(26,8)\d2(26,7) % d2(j) = h_0 Pe_0 - -\nustruct(22,10)\nustruct(22,9)\nustruct(22,8) - - -\class["P^3h_1"](25,13)\etasqclass(25,13) -\divfourclass["P^3h_2" {below=0em}](27,15) -\nuclass(27,13) -\divfourclass["P^2d_0" {left=0.2em}](30,14) -\etacubclass(30,12) -\diveightclass["P^2e_0" {below=0em}](33,15) -\d2(33,12) % d2(P^2e_0) = h_1^2 P^2d_0 -\nustruct(30,14)\nustruct(30,13)\nustruct(30,12) -\etaclass(33,12) -\divfourclass["Pj" {right}](34,13) -\d2(34,11)\d2(34,12)\d2(34,13) % d2(Pj) = h0 P^2e_0 - - - -\class(28,10)\divfourclass["{Pg=d_0^2}" {below left=-0.5em}](28,10) -\etaclass(28,8)\divfourclass["k" below](29,9) -\d2(29,7)\d2(29,8) % d2(k) = h_0 Pg = h_0 d_0^2 -\class["r" below](30,6) \d3(30,6) % d3(r) = h0^2 k -\tower(30,7){5} -\classoptions["s" below](30,7) - -\tower(30,2){4} -\classoptions["h_4^2" below](30,2) -\etaclass(30,2) - -\tower(31,1){16}\classoptions["h_5" below](31,1) -\d2(31,1)\d2(31,2)\d2(31,3,-1) % d2(h_5) = h_0 h_4^2 -\d3(31,4)\d3(31,5)\d3(31,6)\d3(31,7) \d3(31,8,1) % \d3(h_0^3 h_5) = s -\replaceclass[offset={(0,0)}](31,8) % d_0e_0 + h_0^7h_5 -\structline(31,8)(31,9) -\d4(31,8)\d4(31,9)\d4(31,10) % d4(d_0e_0 + h_0^7h_5) = P^2d_0, d4(h_0^8 h_5) = h_0 P^2d_0 -\etacubclass(31,1) -\divfourclass[](34,4) -\nustruct(31,3)\nustruct(31,2)\nustruct(31,1) -\nuclass(34,2) - -\class["n" above](31,5)\nuclass(31,5) - -\class(31,10) -\divfourclass["d_0e_0" {below right=0em,xshift=-5pt}](31,10) -\etaclass(31,8) -\divfourclass["l" {right=0em}](32,9) -\d3(31,8,-1) % d3(d_0e_0) = h_0^4 s = d3(h_0^7 h_5), see replaceclass above - -\d2(32,7,,-1)\d2(32,8,,-1) % d2(l) = h_0 d_0 e_0 -\d4(32,9,-1) % d4(h_0^2 l) = h_1 P^2d_0 - -\class["q"](32,6)\etaclass(32,6) - -\class["d_1"](32,4)\etaclass(32,4) -\nuclass(32,4)\nuclass(35,5) -\divtwoclass["p" above right](33,5) - -\class["P^3c_0"{xshift=4pt,yshift=2pt}](32,15)\etaclass(32,15) - -\class["P^4h_1"](33,17)\etasqclass(33,17) -\divfourclass["P^4h_2" right](35,19) - -\class(34,10) -\divfourclass["d_0g" left](34,10) -\etaclass(34,8) -\divfourclass["m" right](35,9) -\d2(35,7)\d2(35,8) % d2(m) = h_0 d_0 g - - -\class["t"](36,6)\etaclass(36,6) -\nustruct(34,6) - -\class(36,14) -\divfourclass["P^2g" left](36,14) -\etaclass(36,12) -\divfourclass["Pk" {right=0em}](37,13) -\d2(37,11)\d2(37,12) % d_2(P^1k) = h_0 P^2g - - -\tower(37,5){6}\classoptions["x"](37,5) - -\class["e_0g"](37,8)\etaclass(37,8) -\diveightclass["y" right](38,9) -\d4(37,8,-1) \d4(38,9)% d4(e_0g) = P^2g -\d2(38,6,-1)\d2(38,7,-1)\d2(38,8,-1) % d2(y) = h_0^3x - -\class(38,5) -\diveightclass["h_3h_5" below](38,5) -\etasqclass(38,2) - -\class["e_1" {below=0em,xshift=2pt}](38,4)\etasqclass(38,4) -\divfourclass["f_1" right](40,6) -\d3(38,4) % d_3(e_1) = h_2^2 n = h_1 t, see Bruner "A New Differential in the ASS" - -\tower(39,15){6}\classoptions["P^2i" {right=0em}](39,15) - -\class(38,18)\divfourclass["P^3d_0" {below left=0em}](38,18) -\etacubclass(38,16)\diveightclass["P^3e_0" {below=0em}](41,19) -\nustruct(38,18)\nustruct(38,17)\nustruct(38,16) -\etaclass(41,16)\divfourclass["P^2j" {below=0em}](42,17) -\d2(39,15)\d2(39,16) % d2(P^2i) = h_0 P^3d_0 -\d2(41,16,,1)\d2(42,17,,1) % d2(P^3e_0) = h_1^2 P^3d_0 -\d2(42,15)\d2(42,16) % d2(P^2j) = h_0 P^3e_0 - - - -\class["c_0 h_5" {below=-0.3em}](39,4)\etaclass(39,4) - -\d4(38,2,1,-1) \d4(38,3,1,-1) % d4(h_3h_5) = h_0x - - -\class(39,14) -\divfourclass["Pd_0e_0" {below=-0.2em}](39,14) -\etaclass(39,12) -\divfourclass["Pl" {below=0em}](40,13) -\d2(40,11)\d2(40,12) % d2(Pl) = h_0 P^2g -\d4(39,12)\d4(40,13,,-1) % d4(Pd_0e_0) = P^3d_0 - - - -\class["c_1g"](39,7) -\class["g^2"](40,8) -\class["u"](39,9)\etasqclass(39,9) -\divtwoclass["z"](41,11) -\class(41,5)\divfourclass["c_2"](41,5) -\class["v"](42,9) -\d2(42,9) % d2(v) = h_1^2 u - -\class["d_0^3"](42,12) - -\class["Ph_1h_5" {right=0em}](40,6)\etasqclass(40,6) -\divfourclass["Ph_2h_5" {right=0em}](42,8) - - -\class["P^4c_0"](40,18)\etaclass(40,18) - - -\class["P^5h_1"](41,20)\etasqclass(41,20) -\divfourclass["P^5h_2" right](43,22) - -\class(44,5)\divfourclass["g_2" below](44,5) -\etaclass(44,3) - -\class(44,18)\divfourclass["P^3g" left](44,18) -\etaclass(44,16)\divfourclass["P^2k" below](45,17) -\class["P^2r"](46,14) -\d2(45,15)\d2(45,16) % d2(P^2k) = h_0 P^3g -\d3(46,14)% d3(P^2r) = h0^2 P^2k -\class(45,4)\divtwoclass["h_4^3" below](45,4) - -\class(45,6)\divfourclass["h_5d_0" right](45,6) -\etaclass(45,4) - -\class["w"](45,9) - -\class["Pc_0g" left](45,12) -\d4(45,12) % d4(Pc_0g) = P^3g -\end{sseqdata} - -\printpage[name=S0ASS,page=0] - -\printpage[name=S0ASS,page=2] - -\printpage[name=S0ASS,page=3] - -\printpage[name=S0ASS,page=4] - -\begin{sseqpage}[name=S0ASS,page=5] -\structline[dashed,bend right=20](15,4)(16,7) -\structline[dashed](21,5)(22,8) -\structline[dashed,bend right=20](20,6)(23,9,-1) -\structline[dashed,bend right=20](23,6)(23,9,-1) -%\structline[dashed,bend right=20](32,6)(33,9) -%\structline[dashed,bend right=20](32,6)(33,9) -\classoptions["h_0^2i" left](23,9) -\classoptions["h_0^{10}h_5" left](31,11) -\classoptions["h_1h_5" below](32,2) -\classoptions["h_2h_5" below](34,2) -%\classoptions["h_0^2h_3h_5" {left=-0.1em}](38,4,1) -\classoptions["h_1h_3h_5" {below=-.4em}](39,3,1) -\classoptions["P^4h_3" {below=0em}](39,17) -\end{sseqpage} -\end{document}
\ No newline at end of file diff --git a/Master/texmf-dist/doc/latex/spectralsequences/examples/example_duggarKRAHSS.pdf b/Master/texmf-dist/doc/latex/spectralsequences/examples/example_duggarKRAHSS.pdf Binary files differdeleted file mode 100644 index a2189c047b4..00000000000 --- a/Master/texmf-dist/doc/latex/spectralsequences/examples/example_duggarKRAHSS.pdf +++ /dev/null diff --git a/Master/texmf-dist/doc/latex/spectralsequences/examples/example_duggarKRAHSS.tex b/Master/texmf-dist/doc/latex/spectralsequences/examples/example_duggarKRAHSS.tex deleted file mode 100644 index 001bdff30ad..00000000000 --- a/Master/texmf-dist/doc/latex/spectralsequences/examples/example_duggarKRAHSS.tex +++ /dev/null @@ -1,79 +0,0 @@ -%% -%% Package: spectralsequences.sty version 1.0 -%% Author: Hood Chatham -%% Email: hood@mit.edu -%% Date: 2017-06-18 -%% License: Latex Project Public License -%% -%% File: example_duggarKRAHSS.tex -%% -%% Draws the Atiyah Hirzebruch spectral sequence for KR. -%% To be honest, I can't really remember what this is, but based on the title, I copied it out of Duggar's paper computing KR. -%% - - - -\documentclass{article} -\usepackage[landscape]{geometry} -\usepackage{spectralsequences} -\begin{document} -\sseqset{Zclass/.sseq style={fill=none,draw,inner sep=0.6ex},2Zclass/.style={fill=none,rectangle,draw,inner sep=0.6ex}} -\begin{sseqdata}[ - name=KRAHSS, - Adams grading, - x range={-18}{17}, - y range={-10}{10}, - classes=fill, - no orphan edges, - run off differentials = {->}, - scale=0.5, - axes style=center, - tick step=4, - x tick gap=0.2cm, - y tick gap=0.4cm, - x axis gap=0.25cm, - y axis gap=0.25cm, - x axis extend start=0cm, - y axis extend start=0cm, - x axis extend end=0.25cm, - y axis extend end=0.25cm -] - -\draw[background,xshift=-0.5cm,yshift=-0.5cm,step=1cm,gray,very thin] (\xmin+0.1,\ymin+0.1) grid (\xmax+0.7,\ymax+0.7); -\pgfmathparse{\xmax+2} -\foreach \x in {0,4,...,\pgfmathresult} { - \class[Zclass](\x,0) - \foreach \z in {0,...,\pgfmathresult} { - \class(\x+\z+1,\z+1) - \structline(\x+\z,\z)(\x+\z+1,\z+1) - } -} - -\foreach \x in {4,12}{ - \foreach\z in {0,...,\xmax}{ - \d3(\x+\z,\z) - } - \replaceclass[2Zclass](\x,0) -} - -\foreach\x in {-4,-8,...,-\pgfmathresult}{ - \class[Zclass](\x,0) - \class(\x-2,0) - \foreach \z in {-1,...,-\pgfmathresult}{ - \class(\x+\z-2,\z) - \structline(\x+\z-1,\z+1)(\x+\z-2,\z) - } -} - -\foreach \x in {-6,-14}{ - \foreach\z in {-3,...,-\xmax}{ - \d3(\x+\z,\z) - } -} - -\end{sseqdata} -\printpage[name=KRAHSS,page=0] -\newpage -\printpage[name=KRAHSS,page=5] - -\end{document}
\ No newline at end of file diff --git a/Master/texmf-dist/doc/latex/spectralsequences/examples/example_endofVFoS.pdf b/Master/texmf-dist/doc/latex/spectralsequences/examples/example_endofVFoS.pdf Binary files differdeleted file mode 100644 index f0fcae52c21..00000000000 --- a/Master/texmf-dist/doc/latex/spectralsequences/examples/example_endofVFoS.pdf +++ /dev/null diff --git a/Master/texmf-dist/doc/latex/spectralsequences/examples/example_mayss.pdf b/Master/texmf-dist/doc/latex/spectralsequences/examples/example_mayss.pdf Binary files differdeleted file mode 100644 index d8e47ee1d18..00000000000 --- a/Master/texmf-dist/doc/latex/spectralsequences/examples/example_mayss.pdf +++ /dev/null diff --git a/Master/texmf-dist/doc/latex/spectralsequences/examples/example_mayss.tex b/Master/texmf-dist/doc/latex/spectralsequences/examples/example_mayss.tex deleted file mode 100644 index fd48445ca0c..00000000000 --- a/Master/texmf-dist/doc/latex/spectralsequences/examples/example_mayss.tex +++ /dev/null @@ -1,129 +0,0 @@ -%% -%% Package: spectralsequences.sty version 1.0 -%% Author: Hood Chatham -%% Email: hood@mit.edu -%% Date: 2017-06-18 -%% License: Latex Project Public License -%% -%% File: example_mayss.tex -%% -%% I think this is the May SS for the sphere. May spectral sequences are annoying to draw neatly it turns out -- there's too much stuff in them. -%% It helps a lot if you start at E_2 though, since E_1 is polynomial. They also have the problem with their crappy grading that makes all -%% differentials the same length. I seem to have graded this weirdly, probably because the normal grading looked too bad. -%% - -\documentclass{article} -\usepackage{fullpage} -\usepackage{spectralsequences} - -\begin{document} -\NewSseqGroup\tower {m} { - \class["#1"](0,0) - \foreach\i in {1,...,14}{ - \class(0,\i) - \structline(0,\i-1,-1)(0,\i,-1) - } -} - -\NewSseqGroup\hone {m} { - \foreach\i in {1,...,#1}{ - \class(\i,\i) - \structline(\i-1,\i-1,-1)(\i,\i,-1) - } -} - -\NewSseqCommand\dtower {u(u)} { - \foreach\i in {0,...,10}{ - \d[yshift=\i]#1(#2) - } -} - - -\def\single(#1)#2{\class["#2"](#1)} - -\NewSseqGroup\htwo {m} { - \foreach \n in {0,...,5}{ - \tower(3*\n,\n){\sseqifempty{#1}{}{#1}\sseqpowerempty{h_2}{\n}} - \ifnum\n>0\relax - \structline(3*\n-3,\n-1,-1)(3*\n,\n,-1) - \fi - } -} - -\NewSseqGroup\htwosinglejoin {mm} { - \foreach \n in {0,...,5}{ - \single(3*\n,\n){\sseqifempty{#1}{}{#1}\sseqpowerempty{h_2}{\n}} - \ifnum\n>0\relax - \structline(3*\n-3,\n-1,-1)(3*\n,\n,-1) - \fi - } - \foreach \n in {0,...,#2}{ - \structline(3*\n,\n,-1)(3*\n,\n+1,-1) - } -} - - - -\begin{sseqdata}[name=may, degree={-1}{1-#1},x range={0}{13}, y range={0}{13},class labels=below right,differentials=blue,x axis extend end=23pt,draw] -\tower(7,1){h_3} -\htwo(0,0){} -\classoptions[label position=above left](9,3) -\hone(0,0){3} -\htwo[label position={xshift=3pt,yshift=2pt}](4,4){b_{2,0}} -\dtower2(4,4,-1,-1) % d2(b_{2,0}h_0^n) = h_2h_0^{n+2} -\d2(4,4,-1,1) % d2(b_{2,0})= h_2h0^2 + h1^3 - -%\hone(4,4){3} -\htwo(8,8){b_{2,0}^2} -\hone(8,8){3} -\dtower4(8,8,,1) % d4(b_{2,0}^2) = h3 h0^4 -%\hone(8,8){3} -\hone(7,1){2} - - -\htwosinglejoin(7,4){x_7}{4} -\dtower2(7,4,2,-1) -\hone(7,4){2} -\htwosinglejoin(11,8){x_7b_{2,0}}{4} -\htwosinglejoin(10,4){b_{2,1}}{3} -%\hone(10,4){1} -\d2(10,4,-1,2) % d2(b21)=h2^3+h3h1^2 -\dtower2(10,4,1,1) % d2(b21 h0^n) = h2^3 h0^n - - -\tower(11,5){h_3b_{2,0}} -\tower(12,6){b_{3,0}} -\dtower2(12,6,-1,-1) - -\htwo(12,12){b_{2,0}^3} -\dtower2(12,12,-1,1) % d2(b20^3 h_0^n) = h0^n b20^2 d2(b20) = h0^{n+2} h2 b20^2 -\d2(12,12,-1,2) % d2(b_{2,0}^3)= b20^2 d2(b20) = h_2 h0^2 b20^2 + h1^3 b20^2 -\hone(12,12){3} -\replaceclass(11,11) - -\structline(11,10)(11,11) -\structline(10,10,2)(11,11) - -\replaceclass(3,3) - -\structline(2,2)(3,3) -\structline(3,2)(3,3) - - - - - -\replaceclass(9,3) -\structline(6,2)(9,3) -\structline(8,2)(9,3) - - - -%\dtower2(12,6,2,-1) -\end{sseqdata} -\printpage[name=may] -\newpage -\printpage[name=may, page=4] -\newpage -\printpage[name=may, page=5] -\end{document}
\ No newline at end of file diff --git a/Master/texmf-dist/doc/latex/spectralsequences/examples/example_tmfmayss.pdf b/Master/texmf-dist/doc/latex/spectralsequences/examples/example_tmfmayss.pdf Binary files differdeleted file mode 100644 index db413adf758..00000000000 --- a/Master/texmf-dist/doc/latex/spectralsequences/examples/example_tmfmayss.pdf +++ /dev/null diff --git a/Master/texmf-dist/doc/latex/spectralsequences/examples/example_hatcher.pdf b/Master/texmf-dist/doc/latex/spectralsequences/examples/hatcher.pdf Binary files differindex ddf0032ed0d..893474ce3b1 100644 --- a/Master/texmf-dist/doc/latex/spectralsequences/examples/example_hatcher.pdf +++ b/Master/texmf-dist/doc/latex/spectralsequences/examples/hatcher.pdf diff --git a/Master/texmf-dist/doc/latex/spectralsequences/examples/example_hatcher.tex b/Master/texmf-dist/doc/latex/spectralsequences/examples/hatcher.tex index a200354d1f1..ff079110c4b 100644 --- a/Master/texmf-dist/doc/latex/spectralsequences/examples/example_hatcher.tex +++ b/Master/texmf-dist/doc/latex/spectralsequences/examples/hatcher.tex @@ -1,19 +1,17 @@ %% -%% Package: spectralsequences.sty version 1.0 +%% Package: spectralsequences v1.1.0 %% Author: Hood Chatham %% Email: hood@mit.edu -%% Date: 2017-06-18 +%% Date: 2017-08-02 %% License: Latex Project Public License %% %% File: example_hatcher.tex %% -%% This comes from Hatcher's spectral sequences book. I think it's a good demonstration of the flexibility of sseqpages. +%% This comes from Hatcher's spectral sequences book. I think it's a good demonstration of the flexibility of sseqpages. %% Thanks to Antonio Ruiz for suggesting it. %% -\documentclass{article} -\usepackage[landscape,margin=1cm,top=2cm]{geometry} -\usepackage{spectralsequences} +\documentclass{spectralsequence-example} \usepackage{amssymb} \def\Z{\mathbb{Z}} @@ -22,18 +20,18 @@ 0/.sseq style={"0",draw=none}, homological Serre grading, classes={draw=none,inner sep=0.2em}, - tick gap=0.7em, + %tick gap=0.7em, } \begin{sseqdata}[ name=hatcherex1, permanent cycles={draw,minimum width={width("$Z_2$")+0.85em}}, yscale=0.6, - axes gap=1.2em, - axes clip padding=0em + axes gap=0.5cm, + tick gap=1em, ] \begin{scope}[background,opacity=0.1] \foreach \n in {1,3,...,9}{ - \fill(-1.1,\n-0.5)--(-1.1,\n+0.5)--(0,\n+0.5)--(\n+0.5,0)--(\n+0.5,-1.6)--(\n-0.5,-1.6)--(\n-0.5,0)--(0,\n-0.5)--cycle; + \fill(-1.3,\n-0.5)--(-1.3,\n+0.5)--(0,\n+0.5)--(\n+0.5,0)--(\n+0.5,-2)--(\n-0.5,-2)--(\n-0.5,0)--(0,\n-0.5)--cycle; } \end{scope} @@ -73,6 +71,8 @@ \end{sseqdata} \printpage[name=hatcherex1,page=0] +\vskip30pt + \begin{sseqdata}[ name=hatcherex2, yscale=0.6, @@ -81,7 +81,7 @@ \begin{scope}[background,opacity=0.1] \foreach \n in {1,3,...,9}{ - \fill(-1.1,\n-0.5)--(-1.1,\n+0.7)--(0,\n+0.7)--(\n+0.5,0)--(\n+0.5,-1.6)--(\n-0.5,-1.6)--(\n-0.5,0)--(0,\n-0.5)--cycle; + \fill(-1.3,\n-0.5)--(-1.3,\n+0.7)--(0,\n+0.7)--(\n+0.5,0)--(\n+0.5,-2)--(\n-0.5,-2)--(\n-0.5,0)--(0,\n-0.5)--cycle; } \end{scope} diff --git a/Master/texmf-dist/doc/latex/spectralsequences/examples/unstable_ASS_SO.pdf b/Master/texmf-dist/doc/latex/spectralsequences/examples/unstable_ASS_SO.pdf Binary files differnew file mode 100644 index 00000000000..2e6c622eb02 --- /dev/null +++ b/Master/texmf-dist/doc/latex/spectralsequences/examples/unstable_ASS_SO.pdf diff --git a/Master/texmf-dist/doc/latex/spectralsequences/examples/unstable_ASS_SO.tex b/Master/texmf-dist/doc/latex/spectralsequences/examples/unstable_ASS_SO.tex new file mode 100644 index 00000000000..159549a9c2e --- /dev/null +++ b/Master/texmf-dist/doc/latex/spectralsequences/examples/unstable_ASS_SO.tex @@ -0,0 +1,78 @@ +%% +%% Package: spectralsequences v1.1.0 +%% Author: Hood Chatham +%% Email: hood@mit.edu +%% Date: 2017-08-02 +%% License: Latex Project Public License +%% +%% File: example_unstable_ASS_SO.tex +%% +%% From Kathryn Lesh: A conjecture on the unstable Adams spectral sequences for SO and U top of page 21. +%% http://hopf.math.purdue.edu//Lesh/uass-so-model.pdf +%% + +\documentclass{spectralsequence-example} + +\begin{document} +\sseqset{ + M3M2/.sseq style = { fill }, + M4M3/.sseq style = { circlen = 2, fill } +} +%\pgfkeys{/sseqpages/class/M4M3/.show code} + +\NewSseqCommand \tower { O{} d() } { + \IfNoValueF{#2}{\class(#2)} + \savestack + \begin{scope}[#1] + \DoUntilOutOfBounds{ + \class(\lastx,\lasty+1) + \structline(\lastclass1)(\lastclass) + } + \end{scope} + \restorestack +} + +\NewSseqCommand \etaclass {} { + \class(\lastx+1,\lasty+1) + \structline(\lastclass1)(\lastclass) +} + +\NewSseqCommand \divtwoclass {} { + \class(\lastx,\lasty-1) + \structline(\lastclass1)(\lastclass) +} + +\begin{sseqdata}[ name = SO_UASS, tick step = 5, x range = {0}{20}, Adams grading, y range={0}{10} ] +\class(1,0) +\tower(3,0) + +\begin{scope}[M3M2] +\tower(7,0) +\etaclass\etaclass + +\tower(11,3) + +\class(14,4) +\divtwoclass\divtwoclass +\etaclass\etaclass\etaclass +\divtwoclass\divtwoclass + +\class(16,5)\etaclass +\end{scope} + +\begin{scope}[M4M3] +\tower(15,0) +\etaclass\etaclass\etaclass +\divtwoclass\divtwoclass +\end{scope} + +\d2(15,0)\d2(15,1)\d2(15,2) +\d2(16,1)\d2(17,2)\d2(18,3) +\d2(18,2)\d2(18,1) +\end{sseqdata} + + +\printpage[ name = SO_UASS, page = 2 ] +\newpage +\printpage[ name = SO_UASS, page = 3 ] +\end{document}
\ No newline at end of file |