spectralsequences (7aug17)

git-svn-id: svn://tug.org/texlive/trunk@44973 c570f23f-e606-0410-a88d-b1316a301751

10 files changed, 318 insertions, 9 deletions

diff --git a/Master/texmf-dist/tex/latex/spectralsequences/spectralsequences.sty b/Master/texmf-dist/tex/latex/spectralsequences/spectralsequences.sty
new file mode 100644
index 00000000000..ed43f6884f2
--- /dev/null
+++ b/Master/texmf-dist/tex/latex/spectralsequences/spectralsequences.sty
@@ -0,0 +1,309 @@
+%%
+%% Package: spectralsequences v1.1.0
+%% Author: Hood Chatham
+%% Email: hood@mit.edu
+%% Date: 2017-08-06
+%% License: Latex Project Public License
+%%
+%% A package for drawing spectral sequences
+%%
+
+
+% TODO:
+%
+%  Make an argument type for the \d page argument.
+%
+%  Redo sseqerrortest and set up regression test script as part of build (damn I didn't realize we'd lost anything imporant with that find -d disaster)
+%  Maybe we should add some other regression tests too
+%
+%  Lower priority:
+%   speed up off page edges (uses 10% of the draw time for page 0 of tmfass)
+%   improve \DoUntilOutOfBounds progress check
+%   error messages that should be warnings by default?
+%   should we specify our favorite conditionals library?
+%
+
+
+\NeedsTeXFormat{LaTeX2e}
+\ProvidesPackage{spectralsequences}[2017/08/06 v1.1.0]
+
+\RequirePackage{tikz}
+\RequirePackage{etoolbox}
+\RequirePackage{xparse}
+\RequirePackage{verbatim}
+\RequirePackage{pdfcomment}
+
+\usetikzlibrary{quotes}
+\usetikzlibrary{fit}
+\usetikzlibrary{positioning}
+\usetikzlibrary{intersections}
+\usetikzlibrary{backgrounds}
+\usepgflibrary{arrows.meta}
+\usetikzlibrary{shapes}
+%\usetikzlibrary{patterns}
+%\usetikzlibrary{profiler}
+
+\newif\ifsseq@draftmode
+\DeclareOption{draft}{\sseq@draftmodetrue}
+\ProcessOptions\relax
+
+\def\sseq@authorname{Hood Chatham}
+\def\sseq@authoremail{hood@mit.edu}
+
+
+% Commands we are going to expose just inside of environments
+\def\sseq@macrolist{%
+    \xcoord\ycoord\page %\xmin\xmax\ymin\ymax % these just get protected
+    % These are defined in sseqmain:
+    \class\classoptions\replaceclass\d\doptions\kill\structline\structlineoptions\circleclasses
+    % The following are defined in sseqparsers:
+    \pgfmathparse\isalive\lastx\lasty\lastclass\savestack\restorestack\pushstack\nameclass\tagclass
+    \parsecoordinate\parsedifferential\getdtarget\gettag
+    \IfOutOfBoundsTF\IfOutOfBoundsT\IfOutOfBoundsF\IfInBoundsTF\IfInBoundsT\IfInBoundsF
+    % sseqforeach
+    \Do\DoUntilOutOfBounds\DoUntilOutOfBoundsThenNMore
+}
+
+
+% All the tikz commands. We replace these in our environment too. Replacements  defined in sseqparsers.
+\def\sseq@tikzcommands{%
+    \clip\coordinate\draw\fill\filldraw
+    \graph\matrix\node\path\pattern
+    \shade\shadedraw\useasboundingbox
+}
+
+
+%%%%%%                                            %%%%%%
+%%                                                    %%
+%%            Declarations and preliminaries          %%
+%%                                                    %%
+%%%%%%                                            %%%%%%
+\newif\ifsseq@inprogress
+
+\newif\ifsseq@hasname
+\newif\ifsseq@updateexisting
+\newif\ifsseq@ispageenv
+\newif\ifsseq@keepchanges
+\newif\ifsseq@keepglobaloptions
+\newif\ifsseq@globaldetone
+
+\newif\ifsseq@needstikz
+\newif\ifsseq@thispage
+\newif\ifsseq@outofrange
+\newif\ifsseq@classlabel
+\newif\ifsseq@draworphanedges
+\newif\ifsseq@draw
+\newif\ifsseq@drawedge
+\newif\ifsseq@tikzprims@integershift
+\newif\ifsseq@anchor
+\sseq@drawedgetrue
+\sseq@tikzprims@integershifttrue
+
+\newif\ifsseq@patchforeach
+\newif\ifsseq@patchfit
+\newif\ifsseq@patchxparseU
+
+\newif\ifsseq@tempif
+\newif\ifsseq@gtempif
+\newif\ifsseq@error
+
+\newtoks\sseq@temptoks
+\newtoks\sseq@temptoksii
+\newtoks\sseq@scope@toks
+
+\newcount\sseq@thepagecount
+\newcount\sseq@anonsseqcount
+\newcount\sseq@x
+\newcount\sseq@y
+\newcount\sseq@tempcount
+\newcount\sseq@tempcountb
+\newcount\sseq@tempx
+\newcount\sseq@tempy
+\newcount\sseq@tempxb
+\newcount\sseq@tempyb
+\newcount\sseq@xoffset % We add these to everything to avoid overflow errors as much as we possible
+\newcount\sseq@yoffset
+
+\newcount\sseq@stackdepth
+
+\newdimen\sseq@tempdimen
+\newdimen\sseq@tempxdimen
+\newdimen\sseq@tempydimen
+\newdimen\sseq@xscalecm
+\newdimen\sseq@yscalecm
+\newdimen\sseq@clip@xcenter
+\newdimen\sseq@clip@ycenter
+\newdimen\sseq@tooltip@height
+\newdimen\sseq@tooltip@width
+\newdimen\sseq@gridstrokethickness
+\sseq@gridstrokethickness=.1pt
+
+% Ensure \@xp and \@nx have the correct values in case that amsmath isn't loaded
+\let\@xp\expandafter
+\let\@nx\noexpand
+\def\@xptwo{\@xp\@xp\@xp}
+\def\@xpthree{\@xp\@xp\@xp\@xp\@xp\@xp\@xp}
+\def\sseq@nil{\sseq@thisshouldnthappen@nil unique expansion} % This expansion text should be unique so that \ifx\sseq@nil\othercommand is false.
+\def\sseq@infinity{10000} % Larger than any coordinate anyone will ever use.
+\newcount\sseq@infinitycount
+\sseq@infinitycount=\sseq@infinity\relax
+\def\sseq@macroname{\@xp\@gobble\string}
+\def\sseq@gobble@to@nil#1\sseq@nil{}
+\def\sseq@macrogobble#1->{}
+
+% These are only used by defertikzcommand now
+\def\sseq@callas#1{\def\sseq@callcmd{#1}}
+\def\sseq@call#1{\bgroup\@xp\let\sseq@callcmd#1\@xptwo\egroup\sseq@callcmd}
+
+\def\sseq@getfirstchar#1#2\sseq@nil{#1} % used in shift/checkshift transform
+\def\sseq@smuggle@macro#1#2\egroup{\@xp\egroup\@xp\def\@xp#1\@xp{#1}}
+
+
+\def\sseq@protected@edef{\let\sseq@store@slsl\\\def\\{\protect\\}\let\@@protect \protect \let \protect \@unexpandable@protect \afterassignment \sseq@restore@protect \edef}
+\def\sseq@protected@xdef{\let\sseq@store@slsl\\\def\\{\protect\\}\let\@@protect \protect \let \protect \@unexpandable@protect \afterassignment \sseq@restore@protect \xdef}
+\def\sseq@restore@protect{\let\protect\@@protect\let\\\sseq@store@slsl}
+
+\def\sseq@eval#1{\bgroup\edef\sseq@temp{#1}\@xp\egroup\sseq@temp}% I got this from sseq.sty
+\def\sseq@protectedeval#1{\bgroup\sseq@protected@edef\sseq@temp{#1}\@xp\egroup\sseq@temp}
+\def\sseq@eval@show#1{\bgroup\edef\sseq@temp{#1}\show\sseq@temp\@xp\egroup\sseq@temp}
+\def\sseq@profilenew#1#2{\pgfprofilenew{#1}\pretocmd#2{\pgfprofilestart{#1}}{}{\error}\apptocmd#2{\pgfprofileend{#1}}{}{\error}}
+
+%%%% add to macro commands
+\def\sseq@d@addto@macro#1#2{\@xp\def\@xp#1\@xp{#1#2}}
+\def\sseq@e@addto@macro#1#2{\edef#1{\unexpanded\@xp{#1}#2}} % let #2 be expanded
+\def\sseq@eo@addto@macro#1#2{\edef#1{\unexpanded\@xp{#1}\unexpanded\@xp{#2}}} % let #2 be expanded once
+\def\sseq@g@addto@macro#1#2{\@xp\gdef\@xp#1\@xp{#1#2}}
+\def\sseq@x@addto@macro#1#2{\xdef#1{\unexpanded\@xp{#1}#2}} % let #2 be expanded
+\def\sseq@xprotected@addto@macro#1#2{\sseq@protected@xdef#1{\unexpanded\@xp{#1}#2}}
+
+\def\sseq@d@addto@toks#1#2{#1\@xp{\the#1#2}}
+\def\sseq@e@addto@toks#1#2{\sseq@eval{#1{\the#1#2}}}
+
+\def\sseq@d@addto@temptoks{\sseq@d@addto@toks\sseq@temptoks}
+\def\sseq@e@addto@temptoks{\sseq@e@addto@toks\sseq@temptoks}
+
+
+% Used in sseqkeys to delete spaces from style commands.
+% Set the catcode of space to ignore, and then reparse the characters in #2.
+\def\sseq@setmacronospaces#1#2{%
+    \bgroup\catcode`\ =9\relax
+        \makeatletter
+        \scantokens{\expandafter\egroup\expandafter\def\expandafter#1\expandafter{\csname #2\endcsname}}%
+}
+
+\def\sseq@setnospaces#1#2{%
+    \bgroup\catcode`\ =9\relax
+        \makeatletter
+        \scantokens{\expandafter\egroup\expandafter\def\expandafter#1\expandafter{\@firstofone{#2}}}%
+}
+
+
+\def\sseq@removeparens{\@xp\sseq@removeparens@}
+\def\sseq@removeparens@(#1){#1}
+
+% Stolen from trimspaces.sty
+\bgroup
+\catcode`\Q=3
+\gdef\sseq@trimspaces#1{%
+  \romannumeral-`\q\sseq@trim@trim@\noexpand#1Q Q%
+}
+\long\gdef\sseq@trim@trim@#1 Q{\sseq@trim@trim@@#1Q}
+\long\gdef\sseq@trim@trim@@#1Q#2{#1}
+\egroup
+\def\sseq@trimleadingspaces{\romannumeral-`q}
+
+\def\sseq@ifempty#1{%
+    \@xp\ifx\@xp\sseq@nil\detokenize{#1}\sseq@nil
+        \@xp\@firstoftwo
+    \else
+        \@xp\@secondoftwo
+    \fi
+}
+
+\def\sseq@ifnil#1{
+    \ifx\sseq@nil#1
+        \@xp\@firstoftwo
+    \else
+        \@xp\@secondoftwo
+    \fi
+}
+
+\let\sseq@breakpoint\relax
+\let\sseq@breakpointfinally\@gobble
+\def\sseq@break#1\sseq@breakpoint{}
+\def\sseq@break@finally#1\sseq@breakpoint#2{#2}
+
+\def\sseq@breakfi{\fi\sseq@break}
+\def\sseq@breakfifi{\fi\fi\sseq@break}
+\def\sseq@breakfififi{\fi\fi\fi\sseq@break}
+\long\def\sseq@breakdataenv#1\end#2{
+    \def\sseq@tempa{sseqdata}\def\sseq@tempb{#2}\ifx\sseqtempa\sseqtempb
+        \@xp\sseq@breakdataenv@
+    \else
+        \@xp\sseq@breakdataenv
+    \fi
+}
+\def\sseq@breakdataenv@{\let\endsseqdata\sseq@breakendsseqdata\end{sseqdata}}
+
+\long\def\sseq@breakpageenv#1\end#2{
+    \def\sseq@tempa{sseqpage}\def\sseq@tempb{#2}\ifx\sseqtempa\sseqtempb
+        \@xp\sseq@breakpageenv@
+    \else
+        \@xp\sseq@breakpageenv
+    \fi
+}
+\def\sseq@breakpageenv@{\let\endsseqpage\sseq@breakendsseqpage\end{sseqpage}}
+\def\sseq@breakendsseqdata{}
+\def\sseq@breakendsseqpage{}
+
+\def\sseq@seteverythingtonoops{%
+    \let\sseqdata\comment
+    \let\sseqpage\comment
+    \let\sseqkeys\@gobble
+    \let\sseqnewgroup\@gobblethree
+}
+
+
+
+\input sseqmessages.code.tex        % Exposes directly: \sseqerrortowarning
+\input sseqcheckdefinitions.code.tex
+
+\ifsseq@tempif\else % Set to false in checkdefinitions if it failed to patch the key-value system.
+    \sseq@seteverythingtonoops
+    \sseq@pgfkeyspatchfailed
+\fi
+
+\input sseqloadstore.code.tex       % Responsible for installing environment-only macros
+\input sseqmacromakers.code.tex     % Exposes directly: \DeclareSseqCommand, \NewSseqCommand, \DeclareSseqGroup, \NewSseqGroup
+
+\input sseqparsers.code.tex         % Responsible for making tikz modifications, exposes directly \sseqnormalizemonomial, \sseqparseint
+
+
+\ifsseq@patchforeach
+    \input sseqforeach.code.tex
+\else
+    \def\sseq@patchfor{}
+\fi
+
+\input sseqkeys.code.tex            % Exposes directly: \sseqset, \sseqnewfamily
+\input sseqmain.code.tex            % Defines all the main commands. Exposes directly: the environments, \xmin, \xmax, etc.
+\input sseqdrawing.code.tex
+
+
+%%% Some default key settings
+\sseqset{
+    edge labels={auto=right},
+    classes={draw,circle,inner sep=0pt,minimum size=0.35em},
+    circle classes={newellipse, ellipse ratio=1.2,draw, inner sep=2pt},
+    edges=draw,
+    math nodes,
+    differentials=->,
+    pins=help lines
+}
+
+% Extra commands to expose:
+\let\sseqifempty\sseq@ifempty
+
+\def\sseqpower#1#2{\@xp\sseqtypesetpower@\@xp{\the\numexpr#2}{#1}{1}}
+\def\sseqpowerempty#1#2{\@xp\sseqtypesetpower@\@xp{\the\numexpr#2}{#1}{}}
+\def\sseqtypesetpower@#1#2#3{\ifnum#1=\z@#3\else\ifnum#1=\@ne#2\else#2^{#1}\fi\fi}
diff --git a/Master/texmf-dist/tex/latex/spectralsequences/sseqcheckdefinitions.code.tex b/Master/texmf-dist/tex/latex/spectralsequences/sseqcheckdefinitions.code.tex
index a9de53c794c..fdb8028bd6a 100644
--- a/Master/texmf-dist/tex/latex/spectralsequences/sseqcheckdefinitions.code.tex
+++ b/Master/texmf-dist/tex/latex/spectralsequences/sseqcheckdefinitions.code.tex
@@ -2,7 +2,7 @@
 %% Package: spectralsequences v1.1.0
 %% Author: Hood Chatham
 %% Email: hood@mit.edu
-%% Date: 2017-08-02
+%% Date: 2017-08-06
 %% License: Latex Project Public License
 %%
 %% File: sseqcheckdefinitions.code.tex
diff --git a/Master/texmf-dist/tex/latex/spectralsequences/sseqdrawing.code.tex b/Master/texmf-dist/tex/latex/spectralsequences/sseqdrawing.code.tex
index c8bba066b23..04587ea78dd 100644
--- a/Master/texmf-dist/tex/latex/spectralsequences/sseqdrawing.code.tex
+++ b/Master/texmf-dist/tex/latex/spectralsequences/sseqdrawing.code.tex
@@ -2,7 +2,7 @@
 %% Package: spectralsequences v1.1.0
 %% Author: Hood Chatham
 %% Email: hood@mit.edu
-%% Date: 2017-08-02
+%% Date: 2017-08-06
 %% License: Latex Project Public License
 %%
 %% File: sseqdrawing.code.tex
diff --git a/Master/texmf-dist/tex/latex/spectralsequences/sseqforeach.code.tex b/Master/texmf-dist/tex/latex/spectralsequences/sseqforeach.code.tex
index 4e2a5da7e89..54b23af1499 100644
--- a/Master/texmf-dist/tex/latex/spectralsequences/sseqforeach.code.tex
+++ b/Master/texmf-dist/tex/latex/spectralsequences/sseqforeach.code.tex
@@ -2,7 +2,7 @@
 %% Package: spectralsequences v1.1.0
 %% Author: Hood Chatham
 %% Email: hood@mit.edu
-%% Date: 2017-08-02
+%% Date: 2017-08-06
 %% License: Latex Project Public License
 %%
 %% File: sseqforeach.code.tex
diff --git a/Master/texmf-dist/tex/latex/spectralsequences/sseqkeys.code.tex b/Master/texmf-dist/tex/latex/spectralsequences/sseqkeys.code.tex
index a231aca7b42..737bee2aebf 100644
--- a/Master/texmf-dist/tex/latex/spectralsequences/sseqkeys.code.tex
+++ b/Master/texmf-dist/tex/latex/spectralsequences/sseqkeys.code.tex
@@ -2,7 +2,7 @@
 %% Package: spectralsequences v1.1.0
 %% Author: Hood Chatham
 %% Email: hood@mit.edu
-%% Date: 2017-08-02
+%% Date: 2017-08-06
 %% License: Latex Project Public License
 %%
 %% File: sseqkeys.code.tex
diff --git a/Master/texmf-dist/tex/latex/spectralsequences/sseqloadstore.code.tex b/Master/texmf-dist/tex/latex/spectralsequences/sseqloadstore.code.tex
index a72988b39dc..94a07805fad 100644
--- a/Master/texmf-dist/tex/latex/spectralsequences/sseqloadstore.code.tex
+++ b/Master/texmf-dist/tex/latex/spectralsequences/sseqloadstore.code.tex
@@ -2,7 +2,7 @@
 %% Package: spectralsequences v1.1.0
 %% Author: Hood Chatham
 %% Email: hood@mit.edu
-%% Date: 2017-08-02
+%% Date: 2017-08-06
 %% License: Latex Project Public License
 %%
 %% File: sseqloadstore.code.tex
diff --git a/Master/texmf-dist/tex/latex/spectralsequences/sseqmacromakers.code.tex b/Master/texmf-dist/tex/latex/spectralsequences/sseqmacromakers.code.tex
index b6ec7c5ec46..bc0eef017fe 100644
--- a/Master/texmf-dist/tex/latex/spectralsequences/sseqmacromakers.code.tex
+++ b/Master/texmf-dist/tex/latex/spectralsequences/sseqmacromakers.code.tex
@@ -2,7 +2,7 @@
 %% Package: spectralsequences v1.1.0
 %% Author: Hood Chatham
 %% Email: hood@mit.edu
-%% Date: 2017-08-02
+%% Date: 2017-08-06
 %% License: Latex Project Public License
 %%
 %% File: sseqmacromakers.code.tex
diff --git a/Master/texmf-dist/tex/latex/spectralsequences/sseqmain.code.tex b/Master/texmf-dist/tex/latex/spectralsequences/sseqmain.code.tex
index b7dea7f4149..e9d93abc8a4 100644
--- a/Master/texmf-dist/tex/latex/spectralsequences/sseqmain.code.tex
+++ b/Master/texmf-dist/tex/latex/spectralsequences/sseqmain.code.tex
@@ -2,7 +2,7 @@
 %% Package: spectralsequences v1.1.0
 %% Author: Hood Chatham
 %% Email: hood@mit.edu
-%% Date: 2017-08-02
+%% Date: 2017-08-06
 %% License: Latex Project Public License
 %%
 %% File: sseqmain.code.tex
diff --git a/Master/texmf-dist/tex/latex/spectralsequences/sseqmessages.code.tex b/Master/texmf-dist/tex/latex/spectralsequences/sseqmessages.code.tex
index 899a425a3c4..90a215d47e3 100644
--- a/Master/texmf-dist/tex/latex/spectralsequences/sseqmessages.code.tex
+++ b/Master/texmf-dist/tex/latex/spectralsequences/sseqmessages.code.tex
@@ -2,7 +2,7 @@
 %% Package: spectralsequences v1.1.0
 %% Author: Hood Chatham
 %% Email: hood@mit.edu
-%% Date: 2017-08-02
+%% Date: 2017-08-06
 %% License: Latex Project Public License
 %%
 %% File: sseqmessages.code.tex
diff --git a/Master/texmf-dist/tex/latex/spectralsequences/sseqparsers.code.tex b/Master/texmf-dist/tex/latex/spectralsequences/sseqparsers.code.tex
index f1804243fe5..59c7466a2d5 100644
--- a/Master/texmf-dist/tex/latex/spectralsequences/sseqparsers.code.tex
+++ b/Master/texmf-dist/tex/latex/spectralsequences/sseqparsers.code.tex
@@ -2,7 +2,7 @@
 %% Package: spectralsequences v1.1.0
 %% Author: Hood Chatham
 %% Email: hood@mit.edu
-%% Date: 2017-08-02
+%% Date: 2017-08-06
 %% License: Latex Project Public License
 %%
 %% File: sseqparsers.code.tex