Secondary Steenrod algebra calculations

This repository contains data files generated by ext-rs pertaining to the secondary Steenrod algebra algorithm. This supersedes https://zenodo.org/record/4766457 but is not a strict superset of the data. This repository contains three files. <code>d2-data.zip</code> is a zip file containing the generated data, which are as follows: <code>d2</code>: The d₂ differentials. If the target bidegree is empty, the differentials are omitted. <code>product_a</code>: The secondary product of all elements with <code>[a]</code>. <code>massey_a_b</code>: The secondary Massey product <code>&lt;[a], [b], -&gt;</code>. The only exception is <code>massey_P</code> which contains the Adams periodicity operator <code>&lt;[h_3], [h_0^4], -&gt;</code>. <code>filtration_one</code>: A list of all filtration one products. <code>charts.pdf</code>: The Adams charts showing the d₂'s and the E₃ page, drawn by TikZ. <code>clean_charts.pdf</code>: The same charts but without showing h₂ products. <code>differentials.gz</code>: The differentials in our minimal resolution, in a human-readable plain text format. <code>change_of_basis</code>: The correspondence between our basis and Bruner's basis in arXiv:2109.13117. Each row expresses one of our basis element in terms of Bruner's basis. Unless otherwise suggested by the file extension, all files are plain text (utf-8) files. The script and the save file are known to be compatible with the version of the code in https://zenodo.org/record/5898397 <code>script.sh</code> is a script that generates the files above, except for <code>change_of_basis</code> and the charts. This is to be run in the `ext/` directory of sseq. If the execution of the script is interrupted halfway through, it is safe to simply run the script again with the safe parameters to resume computation; the vast majority of the computation would have been saved in the save directory and need not be recomputed (If a save file was corrupted due to the interruption, the program will panic instead of silently propagate errors). Similarly, the script can be run with a larger/different range and previous computations would be reused. <code>S_2_milnor.tar</code> is an archive containing the algorithm's save file for the above computation, up to <code>(n, s) = (140, 72)</code>.